[math]AB\parallel DC\wedge AE=DE\wedge BF=CF[/math][br] [math]\Downarrow[/math][br][math]AB\parallel EF\parallel DC\wedge EF=\frac{AB+DC}{2}[/math]