Дано: Угол \(BAC\) имеет биссектриссу \(AD\), при этом угол \(1\) равен углу \(2\) (\(\angle 1 = \angle 2\)).
Доказательство: Поскольку \(AD\) является биссектриссой угла \(BAC\), это означает, что она делит угол пополам. Следовательно, углы \(BAD\) и \(CAD\) равны (\(\angle BAD = \angle CAD\)). Таким образом, у нас есть два треугольника: \(\triangle ABD\) и \(\triangle ACD\), которые имеют:
- Угол \(BAD\) равен углу \(CAD\) (по определению биссектриссы).
- Угол \(1\) равен углу \(2\) (\(\angle ABD = \angle ACD\)).
- Сторона \(AD\) общая для обоих треугольников.
По теореме о равенстве треугольников по двум углам и стороне (любой из вариантов), мы можем утверждать, что:
\[ \triangle ABD \cong \triangle ACD \]
Следовательно, углы \(ABD\) и \(ACD\) равны.
Решение: Таким образом, мы доказали, что углы \(ABD\) и \(ACD\) равны.