直角三角形斜边的平方等于两条直角边乘积的2倍,