Stim din enunt:
DE=DF
G simetric⇒ DE=EG
H simetric ⇒ EF=FH
DE=DF
DG=2DE=2DF
⇒ ΔDFG este dreptunghic cu un unghi de 30°
∡DGF=30° ⇒ ∡GDF=60°
DE=DF=EF=EG=FH
2DE=EH⇒ ΔEDH dreptunghic cu un unghi de 30°⇒ ∡DEH=30°⇒ ∡EHD=60°
ED=DF
∡DHE=∡FGD (30°) ⇒ C.U ⇒ΔEDH ≡ ΔDFG⇒ DH=FG