As shown in the figure, ladder ABCD, e is the midpoint of AB, DC = AD + BC, prove de ⊥ EC

As shown in the figure, ladder ABCD, e is the midpoint of AB, DC = AD + BC, prove de ⊥ EC

Take the midpoint F of CD and connect EF
EF is the median line of ladder shaped ABCD, so it has: EF = (AD + BC) / 2 = CD / 2 = CF = DF
Because EF = CF, angular FEC = angular FCE
Because EF = DF, angular fed = angular FDE
So:
Angle Dec = angle def + angle CEF = (angle def + angle CEF + angle FDE + angle FCE) / 2 = 180 / 2 = 90
It's a right angle
So de vertical EC