展开 梯形怎么证明勾股定理