勾股定理
into the form of the Pythagorean theorem: