Одна из основополагающих теорем (теорема Фалеса) в геометрии говорит о том, что проведенные через концы одинаковых отрезков прямой параллельные линии отсекают на другой прямой тоже одинаковые по длине отрезки. Причем происходит это независимо от угла между прямыми. Это достаточно произвольная формулировка теоремы Фалеса, но достаточно емко описывающая ее суть. Разные учебники приводят разные формулировки, но суть остается неизменной.
Ключевые слова в теореме (при любой формулировке) — прямые, отрезки, равные, пропорциональные, параллельные. Это говорит о том, что теорема Фалеса касается только планиметрии, то есть изображения линий на плоскости. Она очень важна для картографии и навигации, широко используется в архитектуре и живописи, строительстве и проектировании.
Классической формулировки, единой в своем роде нет. Например, формулировку можно услышать в такой редакции:
Если на одной из двух прямых отложить последовательно несколько отрезков и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой пропорциональные отрезки.
А можно и в такой:
Если параллельные прямые, пересекающие стороны угла, отсекают на одной его стороне равные отрезки, то они отсекают равные отрезки и на другой его стороне.
Рис 2.
Если внимательно присмотреться, то можно увидеть, что одно утверждение не противоречит другому, а рисунки практически идентичны. Если продолжить прямые на первом рисунке по получим тот же угол.
Кроме прямых, которые проходят под углом, такая же картина происходит при пересечении параллельных прямых. Разница состоит в том, что на пересекающихся прямых отрезки АВ и А1В1 могут быть как одинаковыми, так и пропорциональными, в зависимости от угла наклона секущих. А для случая параллельных — только одинаковыми. Если обобщить два случая, то обобщенная теорема Фалеса звучит так: Параллельные прямые отсекают на секущих пропорциональные отрезки.
A1A2/B1B2=A2A3/B2B3=A1A3/B1B3
Для иллюстрации можно воспользоваться рисунком 1.
Теорема Фалеса это не только теоретическое утверждение, доказанное методами математики, но и практический инструмент для построения различных фигур. Простейшая задача — разделить на равные части произвольный отрезок ВА. Пусть этих частей будет 7.
Для решения задачи нарисуем отрезок ВС, образующий с данным ВА угол. Как видим, отрезок ВС проходит вдоль клеток на бумаге, что позволяет выбрать на нем равные отрезки. В нашем случае, это:
BD=DE=EF=FG=GH=HJ=JC.
Начиная от крайних точек А и С проведем параллельные линии, пересекающие отрезок ВА. На нем тоже получиться семь равных отрезков: BR=RP=PN=NM=ML=LK=KA.
С таким же успехом мы можем разделить отрезок на 5, 6, 4 или любое другое количество равных частей. Суть метода состоит в том, что длину отрезка ВС мы заведомо выбираем такой, чтобы его можно было легко разделить на заданное количество частей. Например, длина отрезка ВА 37 см, а его нужно разделить на 5 частей. Выбираем длину отрезка ВС в 25 см, отмечаем точки и выполняем построение по теореме Фалеса.
Не менее широко используется и теорема, названная обратной. То есть, доказательства требует не равность или пропорциональность отрезков, а параллельность прямых. Формулируется обратная теорема Фалеса так:
Если две или более прямых (a, b, c) отсекают от двух других прямых (d, f) равные или пропорциональные отрезки, то они параллельные.
Утверждение справедливо, независимо от того, параллельные d, f или пересекаются.
Математика, тем более, геометрия, наука точная. Каждое утверждение, кроме аксиом, требует доказательства. В геометрии под термином «теорема» подразумевается утверждение, которое доказано на базе ранее полученных знаний в виде аксиом и других теорем.
Теорема Фалеса с доказательством приведена в большинстве учебников. В отличие от теоремы Пифагора, доказательств у нее меньше, но все они четкие, понятные и аргументированные. Покажем одно из них.
Не будем повторять формулировок, продемонстрируем только ход мыслей и выполним необходимые построения:
Выберем точку В2 и проведем прямую, параллельную стороне угла ОС. При этом отмечаем, что А1А3 || EF. Рассматривая четырехугольник
А1FЕА3 замечаем, что А1F и ЕА3 параллельны по определению, а А1А3 и FВ3 параллельны по построению. Отсюда вытекает, что А1 FЕА 3 — параллелограм и А1А3 = EF.
Аналогичным образом доказываем равенство других сторон и получаем, что по равенству вертикальных и внутренних углов ∠B1B2F=∠B3B2E и ∠B2FB1=∠B2EB3 треугольники B2B1F и B2B3E равны, откуда вытекает, что B1B2=B2B3.
Именно это и требовалось доказать.
По легенде, впервые на практике использовал теорему греческий философ Фалес Милетский. Он применил ее для измерения высоты пирамиды Хеопса, пользуясь падающей на песок тенью. Для сравнения длины отрезков использовалась воткнутая рядом палка.
Но доказательство теоремы, самое давнее из известных, зафиксированных в письменных источниках, дано в книге «Элементы» другого философа и математика — Эвклида. Тем не менее, утверждение получило имя Фалеса, под которым известно до сих пор.