Дано: DA перпендикулярно AB
FB перпендикулярно AB
BD = AF
Доказать:  ABD =  BAF

Доказательство:Рассмотрим ΔABD и  ΔBAF. Они прямоугольные по условию, т.к. DA⊥AB, FB⊥AB. Треугольники равны по гипотенузе и катету. Действительно, катет AB общий, гипотенузы AF и BD равны по условию. Равенство треугольников доказано по признаку равенства прямоугольных треугольников.