<BAE = <EAD = a
Założenie:
AE - dwusieczna kąta DE - dwusieczna kąta <AED
<BAD
<ADC
Teza:
90
Dowód:
Jako połowy kąta <BAD
<ADE = <EDC = fi
Jako połowy kąta <ADC
2a + 2p= 180°| :2 Jako kąty przy tym samym ramieniu równoległoboku (trapezu). cc + P = 90°
<AED= 180°-(a + j3)= 180°-90°= 90°