斜边的平方一定等于两条直角边的平方和。