勾股定理
Algebraic proof using the Pythagorean theorem.