梯形面积求下底公式是什么时候学的