Содержание

Определение

Определим отношение направленных отрезков следующим образом:

  1. $\dfrac{\overrightarrow{AB}}{\overrightarrow{CD}}=\dfrac{|AB|}{|CD|}$, если векторы $\overrightarrow{AB}$ и $\overrightarrow{CD}$ сонаправленные.
  2. $\dfrac{\overrightarrow{AB}}{\overrightarrow{CD}}=-\dfrac{|AB|}{|CD|}$, если векторы $\overrightarrow{AB}$ и $\overrightarrow{CD}$ противонаправленные.

Замечание

Из определения следуют свойства:

  1. Можно менять знак: $\dfrac{\overrightarrow{AB}}{\overrightarrow{CD}}=-\dfrac{\overrightarrow{AB}}{\overrightarrow{DC}}$
  2. Можно «сокращать»: $\dfrac{\overrightarrow{AB}}{\overrightarrow{CD}}\cdot \dfrac{\overrightarrow{CD}}{\overrightarrow{EF}}=\dfrac{\overrightarrow{AB}}{\overrightarrow{EF}}$
  3. Можно делить обе части равенства на отношение: если $\dfrac{\overrightarrow{AB}}{\overrightarrow{CD}}=\dfrac{\overrightarrow{EF}}{\overrightarrow{KL}}$, то $\dfrac{\overrightarrow{AB}}{\overrightarrow{CD}}\cdot\dfrac{\overrightarrow{KL}}{\overrightarrow{EF}}=1$

Теорема Менелая

Точки $A_1,B_1$ и $C_1$, лежащие на сторонах треугольника $ABC$ или на их продолжениях, лежат на одной прямой тогда и только тогда, когда $\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1B}}\cdot\dfrac{\overrightarrow{BA_1}}{\overrightarrow{A_1C}}\cdot\dfrac{\overrightarrow{CB_1}}{\overrightarrow{B_1A}}=-1$.

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

Докажем прямую теорему

Рассмотрим треугольник $ABC$, и пусть прямая $l$ пересекает стороны $AB, BC, CA$ или их продолжения в точках $C_1, A_1$ и $B_1$ соответственно.

Докажем, что тогда $\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1B}}\cdot\dfrac{\overrightarrow{BA_1}}{\overrightarrow{A_1C}}\cdot\dfrac{\overrightarrow{CB_1}}{\overrightarrow{B_1A}}=-1$.

Проведем через вершину $C$ прямую $p$, параллельную прямой $l$.

Пусть $K$ – это точка пересечения прямых $p$ и $AC$.

По теореме Фалеса $\dfrac{\overrightarrow{AB_1}}{\overrightarrow{B_1C}}=\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1K}}, \dfrac{\overrightarrow{CA_1}}{\overrightarrow{A_1B}}=-\dfrac{\overrightarrow{C_1K}}{\overrightarrow{C_1B}}$.

Перемножив эти равенства, получим $\dfrac{\overrightarrow{AB_1}\cdot \overrightarrow{CA_1}}{\overrightarrow{B_1C}\cdot \overrightarrow{A_1B}}=-\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1B}}$, откуда следует, что $\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1B}}\cdot\dfrac{\overrightarrow{BA_1}}{\overrightarrow{A_1C}}\cdot\dfrac{\overrightarrow{CB_1}}{\overrightarrow{B_1A}}=-1$.

Докажем обратную теорему.

Рассмотрим треугольник $ABC$. Пусть на прямых $AB, BC$ и $AC$ выбраны точки $C_1, A_1$ и $B_1$ соответственно.

Докажем, что если $\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1B}}\cdot\dfrac{\overrightarrow{BA_1}}{\overrightarrow{A_1C}}\cdot\dfrac{\overrightarrow{CB_1}}{\overrightarrow{B_1A}}=-1$, то точки $A_1, B_1$ и $C_1$ лежат на одной прямой.

Пусть прямая $A_1B_1$ пересекает прямую $AB$ в точке $C_2$.

Докажем, что $C_2=C_1$.

Действительно, так как точки $A_1, B_1$ и $C_2$ лежат на одной прямой, то для них выполняется равенство $\dfrac{\overrightarrow{AC_2}}{\overrightarrow{C_2B}}\cdot\dfrac{\overrightarrow{BA_1}}{\overrightarrow{A_1C}}\cdot\dfrac{\overrightarrow{CB_1}}{\overrightarrow{B_1A}}=-1$.

Но тогда $\dfrac{\overrightarrow{AC_2}}{\overrightarrow{C_2B}}=-\dfrac{\overrightarrow{A_1C}}{\overrightarrow{BA_1}}\cdot\dfrac{\overrightarrow{B_1A}}{\overrightarrow{CB_1}}=\dfrac{\overrightarrow{AC_1}}{\overrightarrow{C_1B}}$, что и означает, что $C_1=C_2$.

Замечание

Картинка может отличаться от той, что дана при доказательстве теоремы. Но все рассуждения останутся верны. (Нужен рисунок)

Следствие

Теорема Менелая в скалярной форме.

Следствие (теорема о двух чевианах)

Пусть в треугольнике $ABC$ чевианы $AA_1$ и $BB_1$ пересекаются в точке $O$. Тогда $\dfrac{AO}{OA_1}=\dfrac{AB_1}{B_1C}\left(\dfrac{CA_1}{A_1B}+1\right)$.