前三个较简单的已看出来,求最难的一个直角三角形的证明