Wiemy, że:

- czworokąt DEFG jest kwadratem zatem:

$DE=EF=FG=DG$     

- trójkąty ADG, GHC, CHF i FEB są przystające, zatem:

$AD=GH=HF=EB$  

oraz:

$DG=CH=EF$  

Zauważmy, że:

$AB=AD+DE+EB=\underset{GH+HF}{\underbrace{AD+EB}}+DE=\underset{DE}{\underbrace{GH+HF}}+DE=DE+DE=2\cdot DE$  

wysokość wychodząca z wierzchołka C tego trójkąta wynosi:

$CH+EF=EF+EF=DE+DE=2\cdot DE$