Теорема Менелая и теорема Чевы
ТЕОРЕМА МЕНЕЛАЯ
На сторонах треугольника АВС (или их продолжениях) отметили точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 таким образом, что они не совпадают с вершинами треугольника:
По теореме Менелая точки A 1 , B 1 и C 1 A_{1}{,\ B}_{1}\ и\ C_{1} A 1 , B 1 и C 1 лежат на одной прямой, если:
A C 1 C 1 B ∙ B A 1 A 1 C ∙ C B 1 B 1 A = 1 \frac{AC_{1}}{C_{1}B} \bullet \frac{BA_{1}}{A_{1}C} \bullet \frac{CB_{1}}{B_{1}A} = 1 C 1 B A C 1 ∙ A 1 C B A 1 ∙ B 1 A C B 1 = 1
Отрезки в данном отношении располагаются по порядку: от вершины к точке (AC1 ) , от точки к вершине (C1 B) , и так далее.
ВЕКТОРНАЯ ТЕОРЕМА МЕНЕЛАЯ
Данную теорему можно доказать, используя векторный метод. Рассмотрим теорему Менелая, обратную её теорему и её доказательство.
На сторонах треугольника АВС (или их продолжениях) отметили точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 таким образом, что они не совпадают с вершинами треугольника, при этом:
A C 1 → = p C 1 B → \overrightarrow{AC_{1}} = p\overrightarrow{C_{1}B} A C 1 = p C 1 B
BA 1 → = q A 1 C → \overrightarrow{\text{BA}_{1}} = q\overrightarrow{A_{1}C} BA 1 = q A 1 C
CB 1 → = r B 1 A → \overrightarrow{\text{CB}_{1}} = r\overrightarrow{B_{1}A} CB 1 = r B 1 A
где p, q, r – некоторые числа
Тогда, если точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 лежат на одной прямой, то:
p q r = – 1 pqr = \ –1 pq r = –1
ОБРАТНАЯ ТЕОРЕМА МЕНЕЛАЯ
Если p q r = – 1 pqr = \ –1 pq r = –1 , то точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 лежат на одной прямой.
Доказательство:
Рассмотрим треугольник, на продолжении сторон которых поставили точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 таким образом, что они находятся на одной прямой. Расположим на координатной плоскости этот треугольник так, чтобы точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 лежали на прямой Оу. В таком случае их абсциссы равны нулю.
Тогда для вершин треугольника обозначим абсциссы, не равные нулю. Для точки А абсцисса равна a , для точки B – b . Для точки С – c .
Докажем, что при
A C 1 → = p C 1 B → \overrightarrow{AC_{1}} = p\overrightarrow{C_{1}B} A C 1 = p C 1 B
BA 1 → = q A 1 C → \overrightarrow{\text{BA}_{1}} = q\overrightarrow{A_{1}C} BA 1 = q A 1 C
CB 1 → = r B 1 A → \overrightarrow{\text{CB}_{1}} = r\overrightarrow{B_{1}A} CB 1 = r B 1 A
произведение p q r равно – 1 pqr\ равно\ –1 pq r равно –1 .
рассмотрим абсциссы векторов A C 1 → и C 1 B → \overrightarrow{AC_{1}}\ и\ \overrightarrow{C_{1}B} A C 1 и C 1 B :
Тогда абсциссы A C 1 → = p C 1 B → \overrightarrow{AC_{1}} = p\overrightarrow{C_{1}B} A C 1 = p C 1 B равны:
0 – a = p ( b – 0 ) 0\ –\ a = p(b\ –\ 0) 0 – a = p ( b – 0 )
a = – p b a = \ –pb a = – p b
аналогично рассмотрим абсциссы векторов BA 1 → и q A 1 C → \overrightarrow{\text{BA}_{1}}\ и\ q\overrightarrow{A_{1}C} BA 1 и q A 1 C :
Тогда абсциссы BA 1 → = q A 1 C → \overrightarrow{\text{BA}_{1}} = q\overrightarrow{A_{1}C} BA 1 = q A 1 C равны:
0 – b = q ( c – 0 ) 0\ –b = q\left( c–0 \right) 0 – b = q ( c –0 )
b = – q c b = \ –qc b = – q c
для CB 1 → и B 1 A → \overrightarrow{\text{CB}_{1}}\ и\ \overrightarrow{B_{1}A} CB 1 и B 1 A :
Тогда абсциссы CB 1 → = r B 1 A → \overrightarrow{\text{CB}_{1}} = r\overrightarrow{B_{1}A} CB 1 = r B 1 A :
0 – c = r ( a – 0 ) 0\ –c = r\left( a–0 \right) 0 – c = r ( a –0 )
c = – r a c\ = \ –ra c = – r a
Выразим абсциссу a через полученные значения:
a = – p b a = \ –pb a = – p b
a = – p ( – q c ) a = \ –p\left( –qc \right) a = – p ( – q c )
a = – p ( – q ( – r a ) ) a = \ –p\left( –q(–ra) \right) a = – p ( – q ( – r a ) )
a = – p q r ∙ a a = \ –pqr \bullet a a = – pq r ∙ a
a ( p q r + 1 ) = 0 a(pqr + 1) = 0 a ( pq r + 1 ) = 0
Тогда либо a = 0 a = 0 a = 0 , либо pqr = – 1 \text{pqr} = \ –1 pqr = –1 .
Что и требовалось доказать.
ТЕОРЕМА ЧЕВЫ
На сторонах треугольника АВС (или их продолжениях) отметили точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 таким образом, что они не совпадают с вершинами треугольника:
По теореме Чевы прямые A A 1 , B B 1 , C C 1 AA_{1},\ BB_{1},\ CC_{1} A A 1 , B B 1 , C C 1 пересекаются в одной точке или попарно параллельны, если:
A C 1 C 1 B ∙ B A 1 A 1 C ∙ C B 1 B 1 A = 1 \frac{AC_{1}}{C_{1}B} \bullet \frac{BA_{1}}{A_{1}C} \bullet \frac{CB_{1}}{B_{1}A} = 1 C 1 B A C 1 ∙ A 1 C B A 1 ∙ B 1 A C B 1 = 1
Так же, как и в т. Менелая используются те же отношения отрезков по порядку: от вершины к точке, от точки к вершине.
ВЕКТОРНАЯ ТЕОРЕМА ЧЕВЫ
Аналогично теореме Менелая теорему Чевы можно представить и доказать с помощью векторного метода.
На сторонах треугольника АВС (или их продолжениях) отметили точки A 1 , B 1 , C 1 A_{1},B_{1},C_{1} A 1 , B 1 , C 1 таким образом, что они не совпадают с вершинами треугольника, при этом:
A C 1 → = p C 1 B → \overrightarrow{AC_{1}} = p\overrightarrow{C_{1}B} A C 1 = p C 1 B
BA 1 → = q A 1 C → \overrightarrow{\text{BA}_{1}} = q\overrightarrow{A_{1}C} BA 1 = q A 1 C
CB 1 → = r B 1 A → \overrightarrow{\text{CB}_{1}} = r\overrightarrow{B_{1}A} CB 1 = r B 1 A
где p, q, r – некоторые числа
Тогда, если прямые A A 1 , B B 1 , C C 1 AA_{1},\ BB_{1},\ CC_{1} A A 1 , B B 1 , C C 1 пересекаются в одной точке или попарно параллельны, то:
p q r = 1 pqr = 1 pq r = 1
ОБРАТНАЯ ТЕОРЕМА ЧЕВЫ
Если p q r = 1 pqr = 1 pq r = 1 , то прямые А A 1 , BB 1 , C C 1 {АA}_{1},\text{BB}_{1},CC_{1} А A 1 , BB 1 , C C 1 пересекаются в одной точке.
Доказательство:
Расположим на координатной плоскости треугольник и попарно параллельные прямые А A 1 , BB 1 , C C 1 {АA}_{1},\text{BB}_{1},CC_{1} А A 1 , BB 1 , C C 1 :
Тогда у точек будут следующие абсциссы:
A = A 1 = a A = A_{1} = a A = A 1 = a
B = B 1 = b B = B_{1} = b B = B 1 = b
C = C 1 = c C = C_{1} = c C = C 1 = c
Аналогично теореме Менелая найдем абсциссы каждого вектора:
абсциссы векторов A C 1 → и C 1 B → \overrightarrow{AC_{1}}\ и\ \overrightarrow{C_{1}B} A C 1 и C 1 B :
Тогда абсциссы A C 1 → = p C 1 B → \overrightarrow{AC_{1}} = p\overrightarrow{C_{1}B} A C 1 = p C 1 B равны:
c – a = p ( b – c ) c\ –\ a = p(b\ –\ c) c – a = p ( b – c )
p = c – a b – c p = \frac{c\ –\ a}{b\ –\ c} p = b – c c – a
абсциссы векторов BA 1 → и q A 1 C → \overrightarrow{\text{BA}_{1}}\ и\ q\overrightarrow{A_{1}C} BA 1 и q A 1 C :
Тогда абсциссы BA 1 → = q A 1 C → \overrightarrow{\text{BA}_{1}} = q\overrightarrow{A_{1}C} BA 1 = q A 1 C равны:
a – b = q ( c – a ) a\ –b = q\left( c–a \right) a – b = q ( c – a )
p = a – b c – a p = \frac{a\ –\ b}{c\ –\ a} p = c – a a – b
для CB 1 → и B 1 A → \overrightarrow{\text{CB}_{1}}\ и\ \overrightarrow{B_{1}A} CB 1 и B 1 A :
Тогда абсциссы CB 1 → = r B 1 A → \overrightarrow{\text{CB}_{1}} = r\overrightarrow{B_{1}A} CB 1 = r B 1 A :
b – c = r ( a – b ) b\ –c = r\left( a–b \right) b – c = r ( a – b )
r = b – c a – b r = \frac{b\ –\ c}{a\ –\ b} r = a – b b – c
Найдем произведение pqr :
p q r = c – a b – c ∙ a – b c – a ∙ b – c a – b = 1 pqr = \frac{c\ –\ a}{b\ –\ c} \bullet \frac{a\ –\ b}{c\ –\ a} \bullet \frac{b\ –\ c}{a\ –\ b} = 1 pq r = b – c c – a ∙ c – a a – b ∙ a – b b – c = 1
Что и требовалось доказать.