如果一个三角形是直角三角形,那么斜边长度的平方等于两天直角边长度的平方和.