S423 勾股定理欧式证明