勾股定理
Pythagorean theorem proof (rational trigonometry)