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