PRINCIPIA · THEOREM
30°-60°-90° right triangle: side opposite 30° = hypotenuse / 2
Dependencies: Right triangle: median to hypotenuse = half hypotenuse (D.08), Base angles of an isoceles triangle are equal (C.01), Isoceles with a 60° angle ⇒ equilateral (C.04).
Statement
Let right have interior angles , , . Then the leg opposite the angle is exactly half the hypotenuse:
Plugging in the other leg, the side ratio falls out immediately:

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 unlockHelp me make this theorem better