梯形的定义及性质