勾股定理
which, after simplification, expresses the Pythagorean theorem: