如何证明一个三角形是直角三角形