Trigonometric Properties
Trigonometric properties are the algebraic relationships (identities) connecting the six trigonometric functions sine, cosine, tangent, cosecant, secant, and cotangent. The key result: these functions are bound together by the Pythagorean identity and an entire web of derived relations that hold for every angle. They apply wherever angles, rotation, waves, or periodic phenomena appear — from surveying to signal processing. Systematised by Greek, Indian, and Islamic mathematicians between roughly 150 BCE and 1000 CE.
A point moving on the unit circle has coordinates . Because that point always lies a distance 1 from the centre, its coordinates must satisfy . Every trigonometric property is a consequence of this fact plus the geometry of rotating that point. Master the unit circle, and you do not need to memorise identities — you can rebuild them.
Formal Statement
For an angle measured counterclockwise from the positive -axis, let be the corresponding point on the unit circle. The six functions are defined as follows.
Derivation hint: definitions — the coordinates of the unit-circle point ARE cosine and sine.
Derivation hint: tangent is the slope of the radius to ; cotangent is its reciprocal.
Derivation hint: definitions of the reciprocal functions; valid where denominators are nonzero. Here is the angle (in radians or degrees), and are the horizontal and vertical coordinates of , and all quantities are dimensionless ratios.
For an acute angle in a right triangle with hypotenuse , opposite side , and adjacent side :
Derivation hint: the unit-circle definitions scaled by the hypotenuse ; equivalent for acute angles.
For all angles (where defined), the following hold.
Pythagorean identities:
Derivation hint: apply with .
Derivation hint: divide identity [5] through by .
Derivation hint: divide identity [5] through by .
Angle-sum identities:
Derivation hint: rotate the unit-circle point through then ; or use the rotation matrix product.
Derivation hint: same rotation construction; signs reverse relative to the sine formula.
Double-angle identities:
Derivation hint: set in [8] and [9].
Even/odd (symmetry) and periodicity:
Derivation hint: reflecting across the -axis negates but keeps ; a full turn returns to start.
Why It Holds / Derivation
1. Place an angle in standard position; let be where its ray crosses the unit circle. 2. By the distance formula, the distance from the origin to is . 3. By definition the radius of the unit circle is , so , hence . 4. Substitute the definitions [1], and , to obtain , which is identity [5].
∎1. Start from identity [5]: . 2. Assume and divide every term by :
Derivation hint: legitimate division because . 3. Recognise (from [2]) and (from [3]). 4. This yields , which is identity [6].
∎Often called the founder of trigonometry, Hipparchus compiled the first known table of chords — a precursor to the sine table — to solve problems in astronomy. He needed to relate the central angle of a circle to the length of the chord it subtends, effectively tabulating . His work on the lengths of chords made the systematic study of triangle-angle relationships possible and underpinned Ptolemy's later Almagest.
Building Intuition
Picture a clock hand of length 1 sweeping around. Its shadow on the floor (horizontal projection) is ; its shadow on the wall (vertical projection) is . As the hand turns, these two shadows trade size: when one is long the other is short, and they do so in exactly the way that keeps pinned at 1. The Pythagorean identity is just the statement that the hand never changes length. Tangent is the slope of the hand — steep near vertical (blowing up to infinity at ), flat near horizontal.
```svg
```
Worked Examples
Given: Simplify .
Steps: 1. From identity [5], . 2. Factor the numerator as a difference of squares: . 3. Substitute:
Derivation hint: factor numerator, then cancel the common factor (valid for ). 4. Cancel .
Given: Find the exact value of (dimensionless).
Steps: 1. Write — two angles with known exact values. 2. Apply identity [9] with the case:
Derivation hint: substitute into the cosine sum formula. 3. Insert exact values , , :
Derivation hint: multiply fractions and combine over the common denominator 4.
Common Misconceptions
does NOT mean . The notation is shorthand for . Worse, means the inverse function , not . The exponent notation is genuinely inconsistent, and you must read it by convention: positive integer powers multiply, but signals inversion.
The angle-sum identities do not distribute. It is a common and serious error to write . This is almost always false. The correct expansion is identity [8], which mixes both functions of both angles.
Test with . The left side is . The right side is . Since , the "distributed" version is false. Only the genuine identity [8] gives . ✓
Connections
Trigonometric properties tie together a remarkable swath of mathematics. The Pythagorean identity is literally the Pythagorean Theorem in disguise. The angle-sum formulas are encoded compactly by Euler's Formula, , which converts trigonometric identities into ordinary exponent laws. The periodicity of these functions makes them the building blocks of Fourier Series, and their derivatives () link them to Differential Calculus. The Law of Cosines generalises the Pythagorean identity to non-right triangles.
Real-World Applications
Historical Development
Subtleties & Limits
The identities hold "where defined," and the exceptions matter. Functions like , , , and have domain restrictions — they are undefined wherever a denominator vanishes (e.g., at ), and an identity manipulation that cancels a factor like silently excludes points where that factor is zero. A subtler open-ended question concerns generalisation: the functions extend to complex arguments (where and are unbounded), to hyperbolic analogues (, with ), and to q-deformed and spherical versions — and tracking which classical identities survive each generalisation remains a rich theme in higher mathematics.
See Also
The Unit Circle · Pythagorean Theorem · Law of Cosines · Euler's Formula · Fourier Series · Trigonometric Equations · Radian Measure