О параллельных и секущих.
Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том , что вписанный угол , опирающийся на диаметр окружности , является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла .
Формулировки
Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные отрезки.
Более общая формулировка, также называемая теорема о пропорциональных отрезках
Параллельные прямые отсекают на секущих пропорциональные отрезки :
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)} будет множеством касательных к некоторому |
Если параллельные прямые, пересекающие стороны угла, отсекают на одной его стороне равные отрезки, то они отсекают равные отрезки и на другой его стороне.
Доказательство. Пусть А 1 , А 2 , А 3 - точки пересечения параллельных прямых с одной из сторон угла и А 2 лежит между А 1 и А 3 (рис.1).
Пусть B 1 В 2 , В 3 - соответствующие точки пересечения этих прямых с другой стороной угла. Докажем, что если А 1 А 2 = A 2 A 3 , то В 1 В 2 = В 2 В 3 .
Проведем через точку В 2 прямую EF, параллельную прямой А 1 А 3 . По свойству параллелограмма А 1 А 2 = FB 2 , A 2 A 3 = B 2 E .
И так как А 1 А 2 = A 2 A 3 , то FB 2 = В 2 Е.
Треугольники B 2 B 1 F и В 2 В 3 Е равны по второму признаку. У них B 2 F = В 2 Е по доказанному. Углы при вершине В 2 равны как вертикальные, а углы B 2 FB 1 и B 2 EB 3 равны как внутренние накрест лежащие при параллельных А 1 В 1 и A 3 B 3 и секущей EF. Из равенства треугольников следует равенство сторон: В 1 В 2 = В 2 В 3 . Теорема доказана.
С использованием теоремы Фалеса устанавливается следующая теорема.
Теорема 2. Средняя линия треугольника параллельна третьей стороне и равна ее половине.
Средней линией треугольника называется отрезок, соединяющий середины двух его сторон. На рисунке 2 отрезок ED - средняя линия треугольника ABC.
ED - средняя линия треугольника ABC
Пример 1. Разделить данный отрезок на четыре равные части.
Решение. Пусть АВ - данный отрезок (рис.3), который надо разделить на 4 равные части.
Деление отрезка на четыре равные части
Для этого через точку А проведем произвольную полупрямую а и отложим на ней последовательно четыре равных между собой отрезка AC, CD, DE, ЕК.
Соединим точки В и К отрезком. Проведем через оставшиеся точки С, D, Е прямые, параллельные прямой ВК, так, чтобы они пересекли отрезок АВ.
Согласно теореме Фалеса отрезок АВ разделится на четыре равные части.
Пример 2. Диагональ прямоугольника равна а. Чему равен периметр четырехугольника, вершины которого являются серединами сторон прямоугольника?
Решение. Пусть условию задачи отвечает рисунок 4.
Тогда EF - средняя линия треугольника ABC и, значит, по теореме 2. $$ EF = \frac{1}{2}AC = \frac{a}{2} $$
Аналогично $$ HG = \frac{1}{2}AC = \frac{a}{2} , EH = \frac{1}{2}BD = \frac{a}{2} , FG = \frac{1}{2}BD = \frac{a}{2} $$ и, следовательно, периметр четырехугольника EFGH равен 2a.
Пример 3. Стороны треугольника равны 2 см, 3 см и 4 см, а вершины его - середины сторон другого треугольника. Найти периметр большого треугольника.
Решение. Пусть условию задачи отвечает рисунок 5.
Отрезки АВ, ВС, АС - средние линии треугольника DEF. Следовательно, согласно теореме 2 $$ AB = \frac{1}{2}EF\ \ ,\ \ BC = \frac{1}{2}DE\ \ ,\ \ AC = \frac{1}{2}DF $$ или $$ 2 = \frac{1}{2}EF\ \ ,\ \ 3 = \frac{1}{2}DE\ \ ,\ \ 4 = \frac{1}{2}DF $$ откуда $$ EF = 4\ \ ,\ \ DE = 6\ \ ,\ \ DF = 8 $$ и, значит, периметр треугольника DEF равен 18 см.
Пример 4. В прямоугольном треугольнике через середину его гипотенузы проведены прямые, параллельные его катетам. Найти периметр образовавшегося прямоугольника, если катеты треугольника равны 10 см и 8 см.
Решение. В треугольнике ABC (рис.6)
∠ А прямой, АВ = 10 см, АС = 8 см, KD и MD - средние линии треугольника ABC, откуда $$ KD = \frac{1}{2}AC = 4 см. \\ MD = \frac{1}{2}AB = 5 см. $$ Периметр прямоугольника К DMА равен 18 см.
Теорема планиметрии о параллельных и секущих.
Вне русскоязычной литературы теоремой Фалеса иногда называют другую теорему планиметрии, а именно, утверждение о том , что вписанный угол , опирающийся на диаметр окружности , является прямым. Открытие этой теоремы действительно приписывается Фалесу, о чём есть свидетельство Прокла .
Формулировки [ | ]
Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные отрезки.
Более общая формулировка, также называемая теорема о пропорциональных отрезках
Параллельные прямые отсекают на секущих пропорциональные отрезки :
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)} будет коника (возможно, вырожденная). | ]В теореме нет ограничений на взаимное расположение секущих (она верна как для пересекающихся прямых, так и для параллельных). Также не важно, где находятся отрезки на секущих. Доказательство в случае параллельных прямых Проведем прямую BC. Углы ABC и BCD равны как внутренние накрест лежащие при параллельных прямых AB и CD и секущей BC, а углы ACB и CBD равны как внутренние накрест лежащие при параллельных прямых AC и BD и секущей BC. Тогда по второму признаку равенства треугольников треугольники ABC и DCB равны. Отсюда следует, что AC = BD и AB = CD. ■ Также существует теорема о пропорциональных отрезках : Параллельные прямые отсекают на секущих пропорциональные отрезки :Теорема Фалеса является частным случаем теоремы о пропорциональных отрезках, поскольку равные отрезки можно считать пропорциональными отрезками с коэффициентом пропорциональности, равным 1. Обратная теоремаЕсли в теореме Фалеса равные отрезки начинаются от вершины (часто в школьной литературе используется такая формулировка), то обратная теорема также окажется верной. Для пересекающихся секущих она формулируется так: Таким образом (см. рис.) из того, что следует, что прямые . Если секущие параллельны, то необходимо требовать равенство отрезков на обеих секущих между собой, иначе данное утверждение становится неверным (контрпример - трапеция, пересекаемая линией, проходящей через середины оснований). Вариации и обобщенияСледующее утверждение, двойственно к лемме Соллертинского :
|