WikiSort.ru - Не сортированное

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

Теорема Фалеса — теорема планиметрии о параллельных и секущих.

Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том, что вписанный угол, опирающийся на диаметр окружности, является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла.

Формулировки

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

Более общая формулировка, также называемая теорема о пропорциональных отрезках

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

{\frac {A_{1}A_{2}}{B_{1}B_{2}}}={\frac {A_{2}A_{3}}{B_{2}B_{3}}}={\frac {A_{1}A_{3}}{B_{1}B_{3}}}.

Замечания

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

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

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

Рассмотрим вариант с несвязанными парами отрезков: пусть угол пересекают прямые $AA_{1}||BB_{1}||CC_{1}||DD_{1}$ и при этом $AB=CD$ .

Проведём через точки $A$ и $C$ прямые, параллельные другой стороне угла. $AB_{2}B_{1}A_{1}$ и $CD_{2}D_{1}C_{1}$ . Согласно свойству параллелограмма: $AB_{2}=A_{1}B_{1}$ и $CD_{2}=C_{1}D_{1}$ .
Треугольники $\bigtriangleup ABB_{2}$ и $\bigtriangleup CDD_{2}$ равны на основании второго признака равенства треугольников

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

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

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

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

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

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

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

Таким образом (см. рис.) из того, что ${\frac {CB_{1}}{CA_{1}}}={\frac {B_{1}B_{2}}{A_{1}A_{2}}}=\ldots$ , следует, что $A_{1}B_{1}||A_{2}B_{2}||\ldots$ .

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

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

Лемма Соллертинского

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

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

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

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

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

Теорема Фалеса в культуре

Аргентинская музыкальная группа Les Luthiers^[es] представила песню, посвящённую теореме^[1].

Литература

Атанасян Л. C. и др. Геометрия 7-9. — Изд. 3-е. — М.: Просвещение, 1992.

Примечания

↑ Les Luthiers, Teorema de Thales, Aquí Les Luthiers на YouTube

См. также

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .

Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии

[1] Les Luthiers, Teorema de Thales, Aquí Les Luthiers на YouTube