勾股定理
Note that from Pythagorean theorem,