PRINCIPIA · THEOREM

Definition of sin / cos / tan

Depends on: Trig ratios depend only on the angle, Pythagorean theorem.

Statement

Let ABC\triangle ABC be a right triangle with C=90\angle C = 90^\circ, and let θ=A(0,90)\theta = \angle A \in (0^\circ,\,90^\circ) be one of its acute angles. Following the "opposite / adjacent / hypotenuse" naming convention, write

a=BC  (opposite to θ),b=CA  (adjacent to θ, not the hypotenuse),c=AB  (hypotenuse).a = BC \;(\text{opposite to } \theta),\qquad b = CA \;(\text{adjacent to } \theta,\text{ not the hypotenuse}),\qquad c = AB \;(\text{hypotenuse}).

The three trigonometric ratios of the acute angle θ\theta are then defined as the pairwise quotients of these three sides:

sinθ  :=  ac  =  opphyp,cosθ  :=  bc  =  adjhyp,tanθ  :=  ab  =  oppadj.\sin\theta \;:=\; \frac{a}{c} \;=\; \frac{\text{opp}}{\text{hyp}},\qquad \cos\theta \;:=\; \frac{b}{c} \;=\; \frac{\text{adj}}{\text{hyp}},\qquad \tan\theta \;:=\; \frac{a}{b} \;=\; \frac{\text{opp}}{\text{adj}}.

Well-definedness (that is, the fact that the three ratios above depend only on θ\theta and not on the chosen right triangle) is delivered directly by Trig ratios depend only on the angle.

Definition of sin/cos/tan: a right triangle \triangle ABC with acute angle \theta, sides a (opposite), b (adjacent), c (hypotenuse); the three ratios define \sin\theta=a/c, \cos\theta=b/c, \tan\theta=a/b.

10 foundational theorems free · one-time unlock for the rest

Unlock the complete proofs forever

Matching GeoSnap, 10 foundational theorems are completely free. Unlock every other proof, animation, and consequence with one $10 purchase.

Sign in to unlock
Help me make this theorem better