Чтобы доказать признак равенства треугольников по высоте и двум углам, на которые она делит угол треугольника, рассмотрим два треугольника ( \triangle ABC ) и ( \triangle DEF ), такие что:
- Высота ( AD ) в треугольнике ( \triangle ABC ) делит угол ( \angle BAC ) на два угла ( \angle BAD ) и ( \angle CAD ).
- Высота ( EH ) в треугольнике ( \triangle DEF ) делит угол ( \angle EDF ) на два угла ( \angle DEH ) и ( \angle HEF ).
- Углы ( \angle BAD ) и ( \angle DEH ) равны.
- Углы ( \angle CAD ) и ( \angle HEF ) равны.
- Высоты ( AD ) и ( EH ) равны.
Мы должны доказать, что треугольники ( \triangle ABC ) и ( \triangle DEF ) равны.
Рассмотрим треугольники ( \triangle ABD ) и ( \triangle DEH ):
- В этих треугольниках углы ( \angle BAD ) и ( \angle DEH ) равны по условию.
- Высоты ( AD ) и ( EH ) равны по условию.
- Углы ( \angle ABD ) и ( \angle DEH ) являются прямыми, так как ( AD ) и ( EH ) — это высоты.
Таким образом, треугольники ( \triangle ABD ) и ( \triangle DEH ) равны по признаку равенства треугольников по двум углам и стороне между ними (так как у них два угла и сторона между ними соответственно равны).
Теперь рассмотрим треугольники ( \triangle ACD ) и ( \triangle HEF ):
- В этих треугольниках углы ( \angle CAD ) и ( \angle HEF ) равны по условию.
- Высоты ( AD ) и ( EH ) равны по условию.
- Углы ( \angle ACD ) и ( \angle HEF ) являются прямыми, так как ( AD ) и ( EH ) — это высоты.
Таким образом, треугольники ( \triangle ACD ) и ( \triangle HEF ) равны по признаку равенства треугольников по двум углам и стороне между ними (так как у них два угла и сторона между ними соответственно равны).
Так как треугольники ( \triangle ABD ) и ( \triangle DEH ) равны, и треугольники ( \triangle ACD ) и ( \triangle HEF ) равны, то треугольники ( \triangle ABC ) и ( \triangle DEF ) равны по признаку равенства треугольников по двум углам и стороне между ними, состоящей из сумм соответствующих равных частей.
Таким образом, мы доказали, что треугольники ( \triangle ABC ) и ( \triangle DEF ) равны, если их высоты равны и они имеют равные углы, на которые эти высоты делят углы треугольников.