ZY. Другими словами, если бы верхняя прямая была зеркалом, точка Y´ была бы отражением точки Y.
Треугольники PZY и PZY´ будут конгруэнтными согласно аксиоме по двум сторонам и лежащему между ними углу: PZ = PZ, ∠PZY = 90° = ∠PZY´, а ZY = ZY´. Следовательно, PY = PY´, из чего и будем исходить далее.
Периметр треугольника YXP есть сумма длин трех отрезков:
а так как мы только что доказали, что PY = PY´, тот же периметр можно представить в виде
Длина YX не зависит от P, так что задачу по поиску ее местонахождения можно упростить до поиска наименьшего значения XP + PY´.
Отрезки XP и PY образуют ломаную линию, которая соединяет точки X и Y´. Но так как наиболее кратким путем между двумя точками будет не ломаная, а прямая линия, в оптимальном варианте точка P* должна располагаться на одной прямой с точками X и Y´, причем на месте ее пересечения с верхней горизонталью, как на рисунке ниже. Все? Нет, еще не все: нам же нужно доказать, что P* находится точно над центральной точкой отрезка XY.
Обозначим точку, находящуюся прямо под точкой P* буквой M. Отрезок P*M при этом будет перпендикулярен XY. Так как верхняя прямая параллельна нижней, длина P*M должна быть равна длине ZY. В принципе, это понятно и так, ведь расстояние между двумя параллельными прямыми равно всегда – хоть на видимом участке, хоть в бесконечности, – но дополнительным подтверждением тому является отрезок MZ, который дает нам два конгруэнтных (согласно теореме – по двум углам и прилежащей к одному из них стороне) треугольника MYZ и ZP*M.
Чтобы доказать, что точка M лежит ровно в центре отрезка XY, докажем сначала подобность треугольников MXP* и YXY´. Обратите внимание, что ∠MXP* и ∠YXY´ суть один и тот же угол, ∠P*MX = ∠Y´YX, так как они оба прямые, а раз мы имеем полное совпадение в двух парах углов, совпасть должны углы и в третьей паре, чтобы в каждом треугольнике получилось по 180°. Каким будет масштабирующий коэффициент? Согласно построению,
поэтому масштабирующий коэффициент будет равен 2. Следовательно, длина XM составляет ровно половину от длины XY, а отрезок XM заканчивается ровно в центре отрезка XY.
Обобщая, мы можем утверждать, что для того, чтобы треугольник XYP имел наименьший периметр, точка P* верхней прямой должна располагаться точно над центральной точкой отрезка XY.◻
Порой геометрические задачи можно решить с помощью алгебры. Предположим, например, что отрезок AB лежит на поверхности с координатами (a1, a2) для точки A и координатами (b1, b2) для точки B. Тогда точка M, располагающаяся в середине этого отрезка, будет иметь координаты
как показано на графике. То есть если, скажем, A = (1, 2), а B = (3, 4), центром отрезка AB является точка M = ((1 + 3)/2, (2 + 4)/2) = (2, 3).
За этим кроется один полезный факт о треугольниках. Начертите треугольник и соедините друг с другом центральные точки любых двух его сторон. Видите, что получается? Ответ кроется в следующей теореме.
Теорема о центральных точках треугольника: В треугольнике ABC линия между центральной точкой стороны AB и центральной точкой стороны BC будет параллельна стороне AC. Более того, при длине стороны AC, равной b, длина отрезка, соединяющего центральные точки двух других сторон, будет равна b/2.
Доказательство: Поместим треугольник ABC на плоскость так, чтобы точка A располагалась в координатах (0, 0), сторона AC была строго горизонтальной, а точка C, таким образом, имела координаты (b, 0), как показано на рисунке ниже. Обозначим координаты точки B как (x, y). Тогда центральная точка отрезка AB будет находиться в координатах (x/2, y/2), а центральная точка отрезка BC – в координатах ((x + b)/2, y/2). Так как у них одни и те же y-координаты, соединяющая их линия должна быть строго горизонтальна, то есть параллельна стороне AC. Более того, длина этой линии составит (x + b)/2 – x/2 = b/2, что и требовалось доказать.
Теорема о центральных точках треугольника поможет нам разгадать фокус, с которого начиналась эта глава: тогда мы взяли четырехугольник ABCD и соединили центральные точки его сторон так, что образовался еще один четырехугольник, EFGH, который оказался (и всегда окажется) параллелограммом. Давайте разберемся, почему так происходит. Диагональная линия, проведенная от вершины A к вершине C, образует два треугольника ABC и ADC (см. рисунок).
Применив теорему о центральных точках треугольника, мы обнаружим, что отрезок EF будет параллелен отрезку AC, который в свою очередь будет параллелен отрезку GH. Следовательно, EF будет параллельна GH. (Более того, EF и GH будут иметь одинаковую длину, равную половине AC.)
Проведем точно такую же диагональ из вершины B к вершине D и увидим, что FG и HE также параллельны и равны по длине. Следовательно, EFGH является параллелограммом.
Большинство из разобранных нами теорем связано с треугольниками, что ничуть не удивительно, ведь в геометрии этой фигуре уделяется много внимания. Кстати сказать, треугольник есть не что иное, как наипростейшая разновидность полигонов (многоугольников). Дальше идут четырехугольник (четырехсторонний полигон), пятиугольник (пятисторонний полигон) и так далее. Полигон, количество сторон которого равно n, иногда называется n-угольником. Мы уже доказывали, что сумма всех углов треугольника равна 180°. А что насчет остальных полигонов? Любой четырехугольник, будь то квадрат, прямоугольник или параллелограмм, имеет четыре стороны. В прямоугольнике, как явствует из его названия, все 4 угла являются прямыми, то есть равными 90°, а значит, составляют в сумме 360°.
Следующая наша теорема будет верна для любого четырехугольника.
Теорема: Сумма углов четырехугольника равна 360°.
Доказательство: Возьмем любой четырехугольник с вершинами A, B, C и D (вроде того, что изображен на рисунке). Из угла A в угол C проведем линию так, чтобы она разделила четырехугольник на 2 треугольника, сумма углов каждого из которых равна 180°. Следовательно, сумма углов четырехугольника составит 2 × 180° = 360°
Чтобы проследить общую закономерность, разберем еще одну теорему.
Теорема: Сумма углов пятиугольника равна 540°.
Доказательство: Возьмем пятиугольник с вершинами A, B, C, D и E (вроде того, что изображен на рисунке). Линия, проведенная от вершины A к вершине C, разделит пятиугольник на четырех– и треугольник. Сумма углов треугольника ABC составляет 180° (это мы знаем уже давно), сумма углов четырехугольника ACDE – 360° (это мы доказали только что). Следовательно, сумма углов пятиугольника – 180° + 360° = 540°.
Этот алгоритм можно применять снова и снова, к любому полигону, вплоть до n-угольника.
Здесь отлично сработает метод индукции: для этого надо разделить наш n-угольник на n – 2 треугольников, поэтапно соединяя линиями вершину A со всеми остальными.
Теорема: сумма углов n-угольника равна 180(n – 2) градусам.
А теперь… просто следите за волшебной палочкой! Начертите восьмиугольник (восьмисторонний полигон) и поставьте внутри него 5 точек – где угодно. А теперь соедините их с вершинами углов и друг с другом так, чтобы у вас получались треугольники (именно треугольники – никаких других фигур). Процесс этот называется триангуляцией, и вот несколько его примеров. (Последний восьмиугольник я оставил пустым, чтобы вы могли проделать это сами.)
В обоих моих примерах восьмиугольники разбиты ровно на 16 треугольников. Столько же должно получиться у вас в третьем октагоне вне зависимости от того, где именно вы поставили 5 точек. (А если вдруг нет, значит, вы где-то ошиблись – в этом случае просто внимательно приглядитесь к каждой доле и убедитесь, что в ней ровно 3 точки, а не 4; если же их все-таки 4, проведите линию от одного угла доли к другому, чтобы разделить ее на два треугольника.) Объяснить это можно с помощью следующей теоремы.
Теорема: В процессе триангуляции n-сторонний полигон, имеющий внутри некое количество точек, равное p, будет разделен ровно на 2p + n – 2 треугольников.
В нашем предыдущем примере n = 8, а p = 5, поэтому треугольников получается 10 + 8 – 2 = 16.
Доказательство: Предположим, что в процессе триангуляции у нас получается количество треугольников, равное T. Мы можем доказать, что T = 2p + n – 2, решив одну арифметическую задачку двумя разными способами. Итак, внимание!
Вопрос: Чему будет равна сумма углов всех треугольников?
Ответ 1: Так как количество треугольников равно T, а сумма углов каждого из них – 180°, общая сумма составит 180T градусов.