wykazac ze jezeli ramoiona AD i BC trapezu ABCD o podstawach AB i CD zawierają się w prostych
prostopadłych to |AB|2+|CD|2=|AC|2+|BD|2
z tw. Pitagorasa w ΔDCE |CD|2=|DE|2+|EC|2
w ΔABE |AB|2=|AE|2+|BE|2
dodając stronami + −−−−−−−−−−−−−−−−
|AB|2+|CD|2= |DE|2+|EB|2+ |AE|2+|EC|2
i z tw. Pitagorasa w ΔACE i ΔBDE
|DE|2+|EB|2=|BD|2 i |AE|2+|EC|2=|AC|2
to: |AB|2+|CD|2= |AC|2+|BD|2