EF || AB || CD
|∡BAE| = |∡AEF|
|∡CDE| = |∡FED|
po to są kąty naprzemianległe
Teza: ∡AED=∡BAE+∡CDE
Dowód:
a+b+d+e=180o (suma miar kątów przy jednym z ramion trapezu)
b+c+d=180o (suma miar kątów w ΔAED)
−−−−−−−−−−−−−−−−−− odejmując stronami uzyskamy
a+b+d+e−b−c−d=180o−180o
a+e−c=0
a+e=c
c.n.u.