一个边的平方等于另两个边相乘的平方