Pythagorean theorem
也就是直角三角形的勾股定理：