勾股定理：直角三角形两直角边的平方和等于斜边的平方。