三角形中一边的平方等于另两边乘积的平方