Theorem Statement:
In a right-angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
$$\mathbf{AC^2 = AB^2 + BC^2}$$Proof via Right Triangle Altitude Similarity:
Given: $\triangle ABC$ with $\angle B = 90^\circ$.
Construction: Draw altitude $BD \perp AC$, meeting hypotenuse $AC$ at $D$.
Step 1: Compare $\triangle ADB$ and $\triangle ABC$:
- $\angle ADB = \angle ABC = 90^\circ$
- $\angle A = \angle A$ (Common angle)
- By AA Similarity: $\triangle ADB \sim \triangle ABC$
- Equating ratios of corresponding sides: $$\frac{AD}{AB} = \frac{AB}{AC} \implies \mathbf{AB^2 = AD \times AC} \quad \text{--- (1)}$$
Step 2: Compare $\triangle BDC$ and $\triangle ABC$:
- $\angle BDC = \angle ABC = 90^\circ$
- $\angle C = \angle C$ (Common angle)
- By AA Similarity: $\triangle BDC \sim \triangle ABC$
- Equating ratios of corresponding sides: $$\frac{CD}{BC} = \frac{BC}{AC} \implies \mathbf{BC^2 = CD \times AC} \quad \text{--- (2)}$$
Step 3: Add Equations (1) and (2):
$$AB^2 + BC^2 = (AD \times AC) + (CD \times AC)$$ $$AB^2 + BC^2 = AC(AD + CD)$$Since $D$ lies on segment $AC$, $AD + CD = AC$:
$$AB^2 + BC^2 = AC(AC) = AC^2$$ $$\therefore \mathbf{AC^2 = AB^2 + BC^2} \quad \blacksquare$$