Доказательство:
а) углы BFA = DFC , как вертикальные.
Треугольники BFA и DFC равны по гипотенузе и острому углу.
б) Рассмотрим треугольники ADC и BCD. CD - общий катет.
Треугольники ADC и BCD равны по катету и острому углу.
в) Рассмотрим треугольники ABC и CDA. AC - общий катет.
Треугольники ABC и CDA равны по катету и острому углу.