Чтобы доказать равенство двух равнобедренных треугольников TOS и DEF с основаниями TS и DF соответственно, достаточно доказать, что:

• ∠O = ∠E
• TS = DF и ∠T = ∠D
• TS = DF