Задача. На сторонах угла с вершиной О отметили точки А₁ и А₂ на одной стороне, В₁ и В₂ - на другой стороне. Оказалось, что ОА₁ = ОВ₁ и ОА₂ = ОВ₂. Докажите, что точка пересечения отрезков А₁В₂ и А₂В₁ лежит на биссектрисе угла. ВС равностороннего треугольника АВС

Решение:

Доказательство:

1. Рассмотрим треугольники △ОА₁В₁ и △ОВ₂А₂.
• По условию: ОА₁ = ОВ₁ и ОА₂ = ОВ₂.
• Угол ∠A₁OB₁ общий для обоих треугольников.
• Следовательно, по первому признаку равенства треугольников (по двум сторонам и углу между ними), △ОА₁В₁ = △ОВ₂А₂.
2. Из равенства треугольников следует равенство соответствующих углов: ∠ОА₁В₁ = ∠ОВ₂А₂ и ∠ОА₂В₂ = ∠ОВ₁А₁.
3. Рассмотрим треугольники △ОА₁В₂ и △ОВ₁А₂.
• По условию: ОА₁ = ОВ₁ и ОА₂ = ОВ₂.
• Угол ∠A₁OB₂ общий для обоих треугольников.
• Следовательно, по первому признаку равенства треугольников, △ОА₁В₂ = △ОВ₁А₂.
4. Из равенства треугольников следует равенство соответствующих углов: ∠ОА₁В₂ = ∠ОВ₁А₂ и ∠ОА₂В₂ = ∠ОВ₂А₁.
5. Рассмотрим треугольники △А₁В₂О и △А₂В₁О.
• По условию: ОА₁ = ОВ₁ и ОА₂ = ОВ₂.
• Угол ∠A₁OB₂ общий для обоих треугольников.
• Следовательно, по первому признаку равенства треугольников, △А₁В₂О = △А₂В₁О.
6. Из равенства треугольников следует равенство соответствующих углов: ∠ОА₁В₂ = ∠ОВ₂А₂ и ∠ОА₂В₁ = ∠ОВ₁А₁.
7. Пусть точка пересечения отрезков А₁В₂ и А₂В₁ - точка К.
8. Рассмотрим треугольники △КА₁А₂ и △КВ₁В₂.
• Углы ∠КА₁А₂ и ∠КВ₂В₁ равны как накрест лежащие при параллельных прямых А₁А₂ и В₁В₂ и секущей А₂В₂ (что не следует из условия, а является предположением).
• Углы ∠КА₂А₁ и ∠КВ₁В₂ равны как накрест лежащие при параллельных прямых А₂В₂ и В₁А₁ и секущей А₁В₁ (что не следует из условия).
• Углы ∠АКВ и ∠ВКА₂ равны как вертикальные.
9. Из равенства треугольников △ОА₁В₁ = △ОВ₂А₂ следует, что А₁В₁ || А₂В₂.
10. Таким образом, А₁А₂В₂В₁ - равнобедренная трапеция.
11. В равнобедренной трапеции диагонали равны, и углы при основаниях равны.
12. Рассмотрим треугольники △А₁В₂К и △А₂В₁К.
• Стороны А₁К = А₂К (диагонали равнобедренной трапеции делятся в точке пересечения).
• Стороны В₂К = В₁К (диагонали равнобедренной трапеции делятся в точке пересечения).
• Сторона КК - общая.
• Следовательно, △А₁В₂К = △А₂В₁К (по трем сторонам).
13. Из равенства треугольников следует равенство углов ∠КА₁В₁ = ∠КА₂В₂.
14. Эти углы являются накрест лежащими при прямых А₁А₂ и В₁В₂ и секущей А₂В₂.
15. Поскольку накрест лежащие углы равны, то прямые А₁А₂ и В₁В₂ параллельны.
16. Это противоречит условию, что точки А₁, А₂ лежат на одной стороне угла, а В₁, В₂ - на другой.
17. Вернемся к равенству углов: ∠ОА₁В₁ = ∠ОВ₂А₂ и ∠ОА₂В₂ = ∠ОВ₁А₁.
18. Если мы рассмотрим треугольники △ОВ₁А₂ и △ОВ₂А₁, то
    • ОВ₁ = ОА₂
    • ОА₁ = ОВ₂
    • ∠B₁OA₂ - общий угол.
    • Следовательно, △ОВ₁А₂ = △ОВ₂А₁ (по двум сторонам и углу между ними).
19. Из этого следует, что ∠ОА₂В₁ = ∠ОВ₁А₂.
20. Пусть точка пересечения отрезков А₁В₂ и А₂В₁ - точка К.
21. Рассмотрим треугольники △КА₁А₂ и △КВ₁В₂.
• Углы ∠КА₁А₂ и ∠КВ₂В₁ равны.
• Углы ∠КА₂А₁ и ∠КВ₁В₂ равны.
• Углы ∠АКВ и ∠В₁КА₂ равны как вертикальные.
22. Из равенства △ОВ₁А₂ = △ОВ₂А₁ следует, что А₂В₁ || А₁В₂.
23. Это означает, что отрезки А₁В₂ и А₂В₁ параллельны, что возможно только в случае, если угол равен 0 или 180 градусов, что противоречит условию задачи.
24. Давайте рассмотрим треугольники △ОА₁В₂ и △ОВ₁А₂
    • ОА₁ = ОВ₁
    • ОВ₂ = ОА₂
    • Угол ∠A₁OB₂ - общий.
    • Следовательно, △ОА₁В₂ = △ОВ₁А₂.
25. Из этого следует, что ∠ОА₁В₂ = ∠ОВ₁А₂ и ∠ОА₂В₂ = ∠ОВ₂А₁.
26. Пусть точка пересечения отрезков А₁В₂ и А₂В₁ — точка К.
27. Рассмотрим треугольники △КА₁А₂ и △КВ₂В₁.
    • Углы ∠КА₁А₂ = ∠КВ₂В₁
    • Углы ∠КА₂А₁ = ∠КВ₁В₂
    • Углы ∠АКВ = ∠В₁КА₂ (вертикальные)
28. Следовательно, △КА₁А₂ = △КВ₂В₁ (по стороне и двум прилежащим углам).
29. Из этого следует, что КА₁ = КВ₂ и КА₂ = КВ₁.
30. Это означает, что четырехугольник А₁В₁В₂А₂ является равнобедренной трапецией.
31. В равнобедренной трапеции диагонали пересекаются на оси симметрии.
32. Биссектриса угла ∠AOB является осью симметрии для равнобедренной трапеции А₁В₁В₂А₂.
33. Таким образом, точка пересечения диагоналей К лежит на биссектрисе угла ∠AOB.

Что и требовалось доказать.