Лемма
Пусть на сторонах AB и BC треугольника ABC отмечены точки M и N соответственно. Тогда
- Если BM:MA=BN:NC, то MN∥AC;
- Если MN∥AC, то BM:MA=BN:NC;
Доказательство
Докажем первый пункт леммы.
Пусть BM=a,MA=xa,BN=b,NC=xb.
Тогда BMBA=aa+ax=11+x=bb+bx=BNBC.
Тогда треугольники BMN и ABC подобны по второму признаку подобия
треугольников, так как ∠B – общий.
Следовательно, ∠1=∠2,
а так как это соответственные углы при секущей AB, то MN∥AC.
Докажем второй пункт теоремы.
Так как MN∥AC, то ∠1=∠2, а поскольку ∠B – общий, то
треугольники BMN и ABC подобны.
Тогда BMBA=BNBC, откуда
BMBM+MA=11+MABM=11+NCBN.
Следовательно, MABM=NCBN.
Обобщенная теорема Фалеса
Доказательство
Пусть параллельные прямые l1,l2,l3 пересекают прямые a и
b в точках A1,A2,A3 и B1,B2,B3 соответственно.
Пусть при этом A1A2:A2A3=x.
Докажем, что тогда B1B2:B2B3=x.
Рассмотрим случай, когда прямые a и b параллельны.
Тогда A2A1B1B2 и A3A2B2B3 –
параллелограммы, следовательно, A1A2=B1B2 и A2A3=B2B3, и
так как A1A2:A2A3=B1B2:B2B3=x.
Рассмотрим случай, когда прямые a и b не параллельны.
Проведем через точку B1 прямую c, параллельную прямой a.
Пусть прямые l2,l3,l4 и прямая c пересекаются в точках C2,C3,C4.
По первому случаю B1C2:C2C3=x, кроме того B2C2∥B3C3.
Тогда по второму пункту леммы B1C2:C2C3=B1B2:B2B3=x.