Теорема Фалеса

Эта теорема о параллельных прямых. Об угле, опирающемся на диаметр, см. другую теорему.

Теорема Фалеса — одна из теорем планиметрии.

Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные между собой отрезки.

В теореме нет ограничений на взаимное расположение секущих (она верна как для пересекающихся прямых, так и для параллельных). Также неважно, где находятся отрезки на секущих.

Доказательство в случае секущих

Доказательство теоремы Фалеса

Рассмотрим вариант с несвязанными парами отрезков: пусть угол пересекают прямые $AA_1||BB_1||CC_1||DD_1$ и при этом $AB=CD$ .

Проведём через точки $A$ и $C$ прямые, параллельные другой стороне угла. Получим два параллелограмма $AB_2B_1A_1$ и $CD_2D_1C_1$ . Согласно свойству параллелограмма: $AB_2=A_1B_1$ и $CD_2=C_1D_1$ .
Треугольники $\bigtriangleup ABB_2$ и $\bigtriangleup CDD_2$ равны на основании второго признака равенства треугольников:

$AB=CD$ согласно условию теоремы,

$\angle ABB_2=\angle CDD_2$ как соответственные, образовавшиеся при пересечении параллельных $BB_1$ и $DD_1$ прямой BD.

Аналогично каждый из углов $\angle BAB_2$ и $\angle DCD_2$ оказывается равным углу с вершиной в точке пересечения секущих.
$AB_2=CD_2$ как соответственные элементы в равных треугольниках.
$A_1B_1=AB_2=CD_2=C_1D_1$ ■

Доказательство в случае параллельных прямых

Проведем прямую BC. Углы ABC и BCD равны как внутренние накрест лежащие при параллельных прямых AB и CD и секущей BC, а углы ACB и CBD равны как внутренние накрест лежащие при параллельных прямых AC и BD и секущей BC. Тогда по первому признаку равенства треугольников треугольники ABC и DCB равны. Отсюда следует, что AC = BD и AB = CD. ■

Также существует обобщённая теорема Фалеса:

Параллельные прямые отсекают на секущих пропорциональные отрезки:

$\frac{A_1A_2}{B_1B_2}=\frac{A_2A_3}{B_2B_3}=\frac{A_1A_3}{B_1B_3}.$

Теорема Фалеса является частным случаем обобщённой теоремы Фалеса, поскольку равные отрезки можно считать пропорциональными отрезками с коэффициентом пропорциональности, равным 1.

Обратная теорема

Если в теореме Фалеса равные отрезки начинаются от вершины (часто в школьной литературе используется такая формулировка), то обратная теорема также окажется верной. Для пересекающихся секущих она формулируется так:

Если прямые, пересекающие стороны угла, отсекают на одной и на другой стороне угла равные (или пропорциональные) между собой отрезки, начиная от вершины, то такие прямые параллельны.

В обратной теореме Фалеса важно, что равные отрезки начинаются от вершины

Таким образом (см. рис.) из того, что $\frac{CB_1}{CA_1}=\frac{B_1B_2}{A_1A_2}=\ldots = {\rm idem}$ следует, что прямые $A_1B_1||A_2B_2||\ldots$ .

Если секущие параллельны, то необходимо требовать равенство отрезков на обеих секущих между собой, иначе данное утверждение становится неверным (контрпример — трапеция, пересекаемая линией, проходящей через середины оснований).

Вариации и обобщения

Следующее утверждение, двойственно к лемме Соллертинского:

Пусть $f$ — проективное соответствие между точками прямой $l$ и прямой $m$ . Тогда множество прямых $Xf(X)$ будет множеством касательных к некоторому коническому сечению (возможно, вырожденному).

В случае теоремы Фалеса коникой будет бесконечно удалённая точка, соответствующая направлению параллельных прямых.

Это утверждение, в свою очередь, является предельным случаем следующего утверждения:

Пусть $f$ — проективное преобразование коники. Тогда огибающей множества прямых $Xf(X)$ будет коника (возможно, вырожденная).