Fie trg ABC isoscel de baza AC ⇒AB=BC=l
Construiesc diagonalele patratelor AD si BG ⇒AD=BG=l√2 (diagonala patratului)
<DAC=45 grd+<BAC
<GCA=45 grd+<BCA
dar <BAC=<BCA (trg ABC isoscel) ⇒ <DAC=<GCA
trg GAC si DAC : { AC latura comuna, <DAC=<GCA, DA=CG ⇒ trg sunt congruente ⇒ CD=AG ⇒ ACGD trapez isoscel ⇒ AC ||GD