梯形中位线定理

梯形中位线定理是指在一个梯形中，连接两个非平行边中点的线段被称为梯形的中位线。梯形的中位线与平行边平行，并且长度等于平行边长度的平均值。

具体而言，设ABCD为一个梯形，AB和CD是平行边，E和F分别是AB和CD的中点。则EF是梯形ABCD的中位线，并且EF与AB和CD平行，并且有EF = (AB + CD) / 2。