勾股定理的互逆定理的形式是怎样的