2378. Дан угол с вершиной O
и в нём точка A
. Рассмотрим точки M
и N
на разных сторонах данного угла такие, что \angle MAO=\angle OAN
. Докажите, что все прямые MN
проходят через одну точку (или параллельны).
Решение. Лемма. Пусть точки A
, B
, C
и D
(в указанном порядке) лежат на одной прямой l
, а точка O
— вне этой прямой. Тогда
\frac{AC}{CD}:\frac{AB}{BD}=\frac{\sin\angle AOC}{\sin\angle COD}:\frac{\sin\angle AOB}{\sin\angle BOD}.
Доказательство. Высоты треугольников AOC
, COD
, AOB
и BOD
, проведённые из общей вершины O
, равны, поэтому площади треугольников пропорциональны основаниям AC
, CD
, AB
и BD
. Значит,
\frac{AC}{CD}=\frac{S_{\triangle AOC}}{S_{\triangle COD}}=\frac{\frac{1}{2}OA\cdot OC\sin\angle AOC}{\frac{1}{2}OC\cdot OD\sin\angle COD}=\frac{OA\sin\angle AOC}{OD\sin\angle COD}.
Аналогично
\frac{AB}{BD}=\frac{OA\sin\angle AOB}{OD\sin\angle BOD}.
Следовательно,
\frac{AC}{CD}:\frac{AB}{BD}=\frac{OA\sin\angle AOC}{OD\sin\angle COD}:\frac{OA\sin\angle AOB}{OD\sin\angle BOD}=\frac{\sin\angle AOC}{\sin\angle COD}:\frac{\sin\angle AOB}{\sin\angle BOD}.
Лемма доказана.
Перейдём к нашей задаче. Рассмотрим некоторую прямую l
, не проходящую через точку A
. Рассмотрим также прямую m
, перпендикулярную OA
и проходящую через точку A
. Пусть W
и V
— точки пересечения прямой m
со сторонами данного угла. Точки W
и V
удовлетворяют условию задачи, так как \angle WAO=\angle OAV=90^{\circ}
.
Если m\parallel l
, то OA\perp l
. Тогда OA
— биссектриса данного угла, и все прямые MN
параллельны.
Пусть прямые l
и m
пересекаются в точке X
, а прямые l
и OA
— в точке Y
. Докажем, что положение точки X
на прямой m
не зависит от выбора прямой l
. Отсюда будет следовать, что все прямые MN
проходят через точку X
.
Обозначим \angle MAO=\angle OAN=\alpha
. По доказанной лемме
\frac{\sin\angle XOY}{\sin\angle YOM}:\frac{\sin\angle XON}{\sin\angle NOM}=\frac{XY}{YM}:\frac{XN}{NM}=\frac{\sin\angle XAY}{\sin\angle YAM}:\frac{\sin\angle XAN}{\sin\angle NAM}=
=\frac{1}{\sin\alpha}:\frac{\sin(90^{\circ}-\alpha)}{\sin2\alpha}=\frac{1}{\sin\alpha}:\frac{\cos\alpha}{2\sin\alpha\cos\alpha}=2.
Аналогично получим, что
\frac{XA}{AW}:\frac{XV}{VW}=\frac{\sin\angle XOY}{\sin\angle YOM}:\frac{\sin\angle XON}{\sin\angle NOM}=2.
Значит, отношение, в котором точка X
делит отрезок AV
, не зависит от выбора прямой l
. Отрезок в данном отношении делят две точки: одна — внутри отрезка, вторая — вне. Точка X
не может лежать внутри данного угла, так как иначе точки M
и N
лежали бы по разные стороны от прямой m
, а тогда один из углов MAO
и OAN
был бы больше прямого, а второй — меньше. Следовательно, точка X
лежит вне отрезка AV
, т. е. задаётся отношением \frac{VW}{AW}
однозначно и не зависит от выбора прямой l
. Что и требовалось доказать.