勾股定理及直角三角形的判定