19.9(3)勾股定理逆定理