Краткое доказательство теоремы фалеса. Фалес Милетский, или о том, как важно знать подобие треугольников и теорему Фалеса
О параллельных и секущих.
Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том , что вписанный угол , опирающийся на диаметр окружности , является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла .
Формулировки
Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные отрезки.
Более общая формулировка, также называемая теорема о пропорциональных отрезках
Параллельные прямые отсекают на секущих пропорциональные отрезки :
A 1 A 2 B 1 B 2 = A 2 A 3 B 2 B 3 = A 1 A 3 B 1 B 3 . {\displaystyle {\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.
Доказательство в случае секущих
Рассмотрим вариант с несвязанными парами отрезков: пусть угол пересекают прямые A A 1 | | B B 1 | | C C 1 | | D D 1 {\displaystyle AA_{1}||BB_{1}||CC_{1}||DD_{1}} и при этом A B = C D {\displaystyle AB=CD} .
- Проведём через точки A {\displaystyle A} и C {\displaystyle C} прямые, параллельные другой стороне угла. A B 2 B 1 A 1 {\displaystyle AB_{2}B_{1}A_{1}} и C D 2 D 1 C 1 {\displaystyle CD_{2}D_{1}C_{1}} . Согласно свойству параллелограмма: A B 2 = A 1 B 1 {\displaystyle AB_{2}=A_{1}B_{1}} и C D 2 = C 1 D 1 {\displaystyle CD_{2}=C_{1}D_{1}} .
- Треугольники △ A B B 2 {\displaystyle \bigtriangleup ABB_{2}} и △ C D D 2 {\displaystyle \bigtriangleup CDD_{2}} равны на основании второго признака равенства треугольников
Доказательство в случае параллельных прямых
Проведем прямую BC . Углы ABC и BCD равны как внутренние накрест лежащие при параллельных прямых AB и CD и секущей BC , а углы ACB и CBD равны как внутренние накрест лежащие при параллельных прямых AC и BD и секущей BC . Тогда по второму признаку равенства треугольников треугольники ABC и DCB равны. Отсюда следует, что AC = BD и AB = CD . ■
Вариации и обобщения
Обратная теорема
Если в теореме Фалеса равные отрезки начинаются от вершины (часто в школьной литературе используется такая формулировка), то обратная теорема также окажется верной. Для пересекающихся секущих она формулируется так:
Таким образом (см. рис.) из того, что C B 1 C A 1 = B 1 B 2 A 1 A 2 = … {\displaystyle {\frac {CB_{1}}{CA_{1}}}={\frac {B_{1}B_{2}}{A_{1}A_{2}}}=\ldots } , следует, что A 1 B 1 | | A 2 B 2 | | … {\displaystyle A_{1}B_{1}||A_{2}B_{2}||\ldots } .
Если секущие параллельны, то необходимо требовать равенство отрезков на обеих секущих между собой, иначе данное утверждение становится неверным (контрпример - трапеция, пересекаемая линией, проходящей через середины оснований).
Этой теоремой пользуются в навигации: столкновение судов, двигающихся с постоянной скоростью, неизбежно, если сохраняется направление с одного судна на другое.
Лемма Соллертинского
Следующее утверждение, двойственно к лемме Соллертинского :
Пусть f {\displaystyle f} - проективное соответствие между точками прямой l {\displaystyle l} и прямой m {\displaystyle m} . Тогда множество прямых X f (X) {\displaystyle Xf(X)} будет множеством касательных к некоторому |
О параллельных и секущих.
Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том , что вписанный угол , опирающийся на диаметр окружности , является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла .
Формулировки
Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные отрезки.
Более общая формулировка, также называемая теорема о пропорциональных отрезках
Параллельные прямые отсекают на секущих пропорциональные отрезки :
A 1 A 2 B 1 B 2 = A 2 A 3 B 2 B 3 = A 1 A 3 B 1 B 3 . {\displaystyle {\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.
Доказательство в случае секущих
Рассмотрим вариант с несвязанными парами отрезков: пусть угол пересекают прямые A A 1 | | B B 1 | | C C 1 | | D D 1 {\displaystyle AA_{1}||BB_{1}||CC_{1}||DD_{1}} и при этом A B = C D {\displaystyle AB=CD} .
Доказательство в случае параллельных прямых
Проведем прямую BC . Углы ABC и BCD равны как внутренние накрест лежащие при параллельных прямых AB и CD и секущей BC , а углы ACB и CBD равны как внутренние накрест лежащие при параллельных прямых AC и BD и секущей BC . Тогда по второму признаку равенства треугольников треугольники ABC и DCB равны. Отсюда следует, что AC = BD и AB = CD . ■
Вариации и обобщения
Обратная теорема
Если в теореме Фалеса равные отрезки начинаются от вершины (часто в школьной литературе используется такая формулировка), то обратная теорема также окажется верной. Для пересекающихся секущих она формулируется так:
В обратной теореме Фалеса важно, что равные отрезки начинаются от вершины
Таким образом (см. рис.) из того, что C B 1 C A 1 = B 1 B 2 A 1 A 2 = … {\displaystyle {\frac {CB_{1}}{CA_{1}}}={\frac {B_{1}B_{2}}{A_{1}A_{2}}}=\ldots } , следует, что A 1 B 1 | | A 2 B 2 | | … {\displaystyle A_{1}B_{1}||A_{2}B_{2}||\ldots } .
Если секущие параллельны, то необходимо требовать равенство отрезков на обеих секущих между собой, иначе данное утверждение становится неверным (контрпример - трапеция, пересекаемая линией, проходящей через середины оснований).
Этой теоремой пользуются в навигации: столкновение судов, двигающихся с постоянной скоростью, неизбежно, если сохраняется направление с одного судна на другое.
Лемма Соллертинского
Следующее утверждение, двойственно к лемме Соллертинского :
Пусть f {\displaystyle f} - проективное соответствие между точками прямой l {\displaystyle l} и прямой m {\displaystyle m} . Тогда множество прямых будет множеством касательных к некоторому коническому сечению (возможно, вырожденному). |
В случае теоремы Фалеса коникой будет бесконечно удалённая точка, соответствующая направлению параллельных прямых.
Это утверждение, в свою очередь, является предельным случаем следующего утверждения:
Пусть f {\displaystyle f} - проективное преобразование коники. Тогда огибающей множества прямых X f (X) {\displaystyle Xf(X)} будет коника (возможно, вырожденная). |
Если стороны угла, пересекают прямые параллельные линии которые одну из сторон разделяют на несколько отрезков, то и вторую сторону, прямые так же разделят на равнозначны с другой стороной отрезки.
Теорему Фалеса
доказывает следующее: С 1 , С 2 , С 3 - это места где пересекаются прямые параллельные на любой стороне угла. С 2 находится посередине относительно С 1 и С 3 .. Точки D 1 , D 2 , D 3 - это места где пересекаются прямые, которые соответствуют прямым с другой стороной угла. Доказываем, что когда C 1 C 2 = C 2 C з, значит и D 1 D 2 =D 2 D 3 .
Проводим в месте D 2 прямой отрезок КР, параллельный участку C 1 C 3 . В свойствах параллелограмма C 1 C 2 =KD 2 , C 2 C 3 = D 2 P. Если C 1 C 2 =C 2 C 3 , то и KD 2 =D 2 P.
Полученные треугольные фигуры D 2 D 1 K и D 2 D 3 P равняются. И D 2 K=D 2 P по доказательству. Углы с верхней точкой D 2 равняются как вертикальные, а углы D 2 KD 1 и D 2 PD 3 равняются как внутренние накрест лежащие при параллельных C 1 D 1 и C 3 D 3 и разделяющей KP.
Так как D 1 D 2 =D 2 D 3 теорема доказана по равенству сторон треугольника
Заметка:
Если взять не стороны угла, а два прямых отрезка, доказательство будет такое же.
Любые прямые отрезки параллельные друг другу, которые пересекают две рассматриваемые нами прямые и разделяющие одну из них на одинаковые участки, тоже самое делают и со второй.
Рассмотрим несколько примеров
Первый пример
Условием задания требуется разбить прямую СD на п
одинаковых отрезков.
Проводим от точки С полу-прямую с, которая не лежит на прямой СD. Отметим на ней одинаковые по величине части. СС 1 , С 1 С 2 , С 2 С 3 .....С п-1 С п. Соединяем С п с D. Проводим прямые от точек С 1 ,С 2 ,....,С п-1 которые будут параллельны относительно С п D. Прямые будут пересекать СD в местах D 1 D 2 D п-1 и разделять прямую СD на п одинаковых отрезков.
Второй пример
На стороне АВ треугольника АВС отмечена точка СК. Отрезок СК пересекает медиану АМ треугольника в точке Р, при этом АК= АР. Требуется найти отношение ВК к РМ.
Проводим через точку М прямой отрезок, параллельный СК, который пересекает АВ в точке D
По теореме Фалеса
ВD=КD
По теореме пропорциональных отрезков получаем, что
РМ = КD = ВК/2, следовательно, ВК: РМ = 2:1
Ответ: ВК: РМ = 2:1
Третий пример
В треугольнике АВС, сторона ВС = 8 см. Прямая DE пересекает стороны АВ и ВС параллельно АС. И отсекает на стороне ВС отрезок ЕС = 4см. Доказать, что АD = DВ.
Так как ВС = 8 см и ЕС = 4см, то
ВЕ = ВС-ЕС, следовательно, ВЕ = 8-4 = 4(см)
По теореме Фалеса
, так как АС параллельна DE и ЕС = ВЕ то, следовательно, АD = DВ. Что и требовалось доказать.
В женском журнале - онлайн, Вы найдете много интересной информации для себя. Так же есть раздел, посвященный стихам которые написал Сергей Есенин . Заходите не пожалеете!
Теорема планиметрии о параллельных и секущих.
Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том , что вписанный угол , опирающийся на диаметр окружности , является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла .
Формулировки [ | ]
Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные отрезки.
Более общая формулировка, также называемая теорема о пропорциональных отрезках
Параллельные прямые отсекают на секущих пропорциональные отрезки :
A 1 A 2 B 1 B 2 = A 2 A 3 B 2 B 3 = A 1 A 3 B 1 B 3 . {\displaystyle {\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.
Доказательство в случае секущих
Рассмотрим вариант с несвязанными парами отрезков: пусть угол пересекают прямые A A 1 | | B B 1 | | C C 1 | | D D 1 {\displaystyle AA_{1}||BB_{1}||CC_{1}||DD_{1}} и при этом A B = C D {\displaystyle AB=CD} .
Доказательство в случае параллельных прямых
Проведем прямую BC . Углы ABC и BCD равны как внутренние накрест лежащие при параллельных прямых AB и CD и секущей BC , а углы ACB и CBD равны как внутренние накрест лежащие при параллельных прямых AC и BD и секущей BC . Тогда по второму признаку равенства треугольников треугольники ABC и DCB равны. Отсюда следует, что AC = BD и AB = CD . ■
Вариации и обобщения [ | ]
Обратная теорема [ | ]
Если в теореме Фалеса равные отрезки начинаются от вершины (часто в школьной литературе используется такая формулировка), то обратная теорема также окажется верной. Для пересекающихся секущих она формулируется так:
В обратной теореме Фалеса важно, что равные отрезки начинаются от вершины
Таким образом (см. рис.) из того, что C B 1 C A 1 = B 1 B 2 A 1 A 2 = … {\displaystyle {\frac {CB_{1}}{CA_{1}}}={\frac {B_{1}B_{2}}{A_{1}A_{2}}}=\ldots } , следует, что A 1 B 1 | | A 2 B 2 | | … {\displaystyle A_{1}B_{1}||A_{2}B_{2}||\ldots } .
Если секущие параллельны, то необходимо требовать равенство отрезков на обеих секущих между собой, иначе данное утверждение становится неверным (контрпример - трапеция, пересекаемая линией, проходящей через середины оснований).
Этой теоремой пользуются в навигации: столкновение судов, двигающихся с постоянной скоростью, неизбежно, если сохраняется направление с одного судна на другое.
Лемма Соллертинского [ | ]
Следующее утверждение, двойственно к лемме Соллертинского :
Пусть f {\displaystyle f} - проективное соответствие между точками прямой l {\displaystyle l} и прямой m {\displaystyle m} . Тогда множество прямых будет множеством касательных к некоторому коническому сечению (возможно, вырожденному). |
В случае теоремы Фалеса коникой будет бесконечно удалённая точка, соответствующая направлению параллельных прямых.
Это утверждение, в свою очередь, является предельным случаем следующего утверждения:
Пусть f {\displaystyle f} - проективное преобразование коники. Тогда огибающей множества прямых X f (X) {\displaystyle Xf(X)} будет коника (возможно, вырожденная). | ] |