勾股定理是直角三角形的什么定理,它的逆定理是直角三角形的什么定理