Пусть угол FAB = α, тогда
ABC = 180° - α, угол
ABF = ABC/2 = 90° - α/2, а угол
AFB = 180° - FAB - ABF = 180° - α - (90° - α/2) = 90° - α/2 = ABF
Таким образом мы получаем, что:
Угол AFB = ABF, следовательно, треугольник
ABF - равнобедренный
AB = AF
Точно также доказывается, что треугольник
CDF - равнобедренный
CD = DF
Но в параллелограмме AB = CD, поэтому:
AF = AB = CD = DF
AD = BC = AF + DF = 2*AB