展开 勾股定理推理写过