梯形是初中数学学习中比较基础的一个图形，梯形有四边，其中两边是平行线，另外两边不平行。所谓梯形中位线，就是连接两个非平行线段中点的线段。
根据梯形中位线的定义，可以得到其公式：
梯形ABCD的中位线EF等于底边之和的一半，即：EF=(AB CD)/2
对于这个公式，我们可以通过推导来理解其原理。
如图所示，设梯形ABCD的上下底分别为AB和CD，高为h，梯形中位线EF的中点为M。
根据中位线的定义，EM=MF=AD/2，EN=NG=BC/2。
连接MN，可知三角形AEM和CFG全等，三角形BNG和CHF全等。因此，MN平行于AB、CD，且MN=EF=(AB CD)/2。
这个公式的应用相当广泛，它可以用来计算梯形的面积、高、底边之和等等。
