18) Avem proprietatile triunghiului isoscel :
Inalțimile duse din varfurile bazei sunt congruente, reciproca fiind ca daca inaltimile duse din varfurile bazei atunci triunghiul este isoscel, rezultand astfel ca DE ≡ DF.
16)
∡FDC = 90 - ∡CDE
∡ADE = 90 - ∡CDE } => ∡FDC = ∡ADE
∡FDC = ∡ADE } => ΔADE = ΔDFC => DE = DF => ΔDEF = isoscel
AD = DF