Тангенс острого угла прямоугольного треугольника

Рассмотрим прямоугольные треугольники ABC и DEF с прямыми углами C и F, у которых AC = DF, M и N — середины AC и DF соответственно, BM = EN.

Поскольку AC = DF, CM = AC / 2, FN = DF / 2, то CM = FN. Рассмотрим треугольники BCM и EFN. Они прямоугольные, CM = FN по доказанному, BM = EN по условию. Тогда треугольники BCM и EFN равны по катету и гипотенузе, а значит, BC = EF.

Рассмотрим треугольники ABC и DEF. Они прямоугольные, AC = DF по условию, BC = EF по доказанному. Значит, они равны по двум катетам, что и требовалось доказать.