勾股定理是直角三角形的( )定理;勾股定理的逆定理是直角三角形的( )定理