将勾股定理改写成如果 那么 的形式