展开 梯形的三个推导公式