已知梯形ABCD,AB平行于CD,EF分别是AB ,CD的中点,且角D加角C等于90度,证明EF=1/2(CD-AB)

延长ca,db,交于一点g,因为角cd相加得90度,故角g位直角.三角形abg与cdg全等,（三角相等）.eg与fg重合.
斜边等于2倍直角的中线,所以gf=af=bf,ge=ce=de.
ef=ge-gf=ce-af=1/2(cd-ab)