PRINCIPIA · THEOREM

Solving the right triangle

Dependencies: Definition of sin / cos / tan, Pythagorean theorem, Triangle interior angles sum to 180°.

Statement

A right triangle △ABC\triangle ABC (∠C=90∘\angle C = 90^\circ) has 5 unknowns in total: two acute angles ∠A\angle A, ∠B\angle B and three sides a=BCa = BC (opposite ∠A\angle A), b=CAb = CA (adjacent to ∠A\angle A), c=ABc = AB (the hypotenuse). These 5 quantities are subject to two structural constraints:

∠C=90∘,∠A+∠B=90∘(by triangle-angle-sum).\angle C = 90^\circ,\qquad \angle A + \angle B = 90^\circ \quad(\text{by \textbf{triangle-angle-sum}}).

After removing the two constraints, 3 free parameters remain; subtracting one more for the "overall similarity-scaling" degree of freedom leaves an effective degree of freedom equal to 2.

Conclusion. Specifying any 2 non-trivial elements — provided the 2 are not both acute angles — uniquely determines the remaining three quantities via Definition of sin / cos / tan and Pythagorean theorem. The three concrete branches:

  • (a) One acute angle + one side: the other acute angle =90∘−θ= 90^\circ - \theta; the remaining two sides come directly from sin⁡θ\sin\theta, cos⁡θ\cos\theta, tan⁡θ\tan\theta.
  • (b) Two sides: use Pythagorean theorem to find the third side, then read off the two acute angles via inverse trig functions.
  • (c) Two acute angles: insufficient degrees of freedom (locks only the shape, not the size), unsolvable.

The 5 quantities of a right triangle and the principle "knowing 2 ⇒ solve all".

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