证明直角三角形的难题