有余弦定理
cosC=(a²+b²-c²)/(2ab)
a,b,c为一三角形的三边长
C为边c的对角
则当a²+b²-c²=0时
cosC=0
即C=90°