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.

First 20 free · sign in for #21 onward

Sign in to unlock the full proof

The first 20 theorems are free to read; this one and the rest require an account to see the full proof, animation, and consequences. Free, email-code sign-in only.

Sign in to unlock
Help me make this theorem better