已知三角形ABC顶点 证明 ABC是直角三角形