The Theorem
The relationship holds for every right-angled triangle and only for right-angled triangles. The hypotenuse is always the side facing the right angle, and it is always the longest side, so a valid set of inputs must have c greater than both a and b.
Formulas
c = √(a² + b²)
a = √(c² − b²)
Angle A = arcsin(a / c)
Area = ½ × a × b
Because the two acute angles must sum to 90 degrees, finding one gives you the other by subtraction. The altitude drawn from the right angle to the hypotenuse — reported above — equals ab/c, and it splits the triangle into two smaller triangles that are both similar to the original.
Pythagorean Triples
A Pythagorean triple is a set of three whole numbers that satisfies the theorem exactly. They are worth memorising because they let you check a right angle without a calculator, and any multiple of a triple is itself a triple.
3, 4, 5 — and its multiples 6-8-10, 9-12-15, 12-16-20
The basis of the builder's 3-4-5 method: measure 3 units along one wall, 4 along the other, and if the diagonal between those marks is exactly 5, the corner is square. Larger multiples give better accuracy over long runs.
5, 12, 13 and 8, 15, 17
The next two primitive triples, meaning their three numbers share no common factor. They are useful when the 3-4-5 proportions do not fit the space you are working in.
7, 24, 25 and 20, 21, 29
Less common but exact. The 20-21-29 triple is notable for having two legs of almost equal length, giving angles close to 45 degrees without being isosceles.
Practical Uses
Any time you need a straight-line distance across a rectangle you are using this theorem: the diagonal of a room, the length of a ladder needed to reach a given height at a given standoff, the screen size implied by a width and height, or the true length of a roof rafter from its run and rise.
It also underlies the distance formula in coordinate geometry. The distance between two points is the hypotenuse of the right triangle formed by their horizontal and vertical separation, which is why that formula is √((x₂ − x₁)² + (y₂ − y₁)²) — the same equation with the legs written as coordinate differences.