Построение с помощью циркуля и линейки

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Построение с помощью циркуля и линейки
Изображение
Логотип Викисклада Медиафайлы на Викискладе

Построе́ния с по́мощью ци́ркуля и лине́йки — раздел евклидовой геометрии, известный с античных времён.

В задачах на построение циркуль и линейка предполагаются идеальными инструментами, в частности:

  • Линейка не имеет делений и имеет сторону бесконечной длины, но только одну.
  • Циркуль может иметь какой угодно (большой или малый) раствор (может чертить окружность произвольного радиуса) и сохраняет последний раствор, то есть может проводить одинаковые окружности где угодно.
Разбиение отрезка пополам

Задача на бисекцию. С помощью циркуля и линейки разбить данный отрезок AB на две равные части. Одно из решений показано на рисунке:

  • Циркулем проводим окружности с центром в точках A и B радиусом AB.
  • Находим точки пересечения P и Q двух построенных окружностей (дуг).
  • По линейке проводим отрезок или линию, проходящую через точки P и Q.
  • Находим искомую середину отрезка AB — точку пересечения AB и PQ.

Формальное определение

[править | править код]

В задачах на построение рассматривается множество следующих объектов: все точки плоскости, все прямые плоскости и все окружности плоскости. В условиях задачи изначально задается (считается построенными) некоторое множество объектов. К множеству построенных объектов разрешается добавлять (строить):

  1. произвольную точку;
  2. произвольную точку на заданной прямой;
  3. произвольную точку на заданной окружности;
  4. точку пересечения двух заданных прямых;
  5. точки пересечения/касания заданной прямой и заданной окружности;
  6. точки пересечения/касания двух заданных окружностей;
  7. произвольную прямую, проходящую через заданную точку;
  8. прямую, проходящую через две заданные точки;
  9. произвольную окружность с центром в заданной точке;
  10. произвольную окружность с радиусом, равным расстоянию между двумя заданными точками;
  11. окружность с центром в заданной точке и с радиусом, равным расстоянию между двумя заданными точками.

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

Решение задачи на построение содержит в себе три существенные части:

  1. Описание способа построения заданного множества.
  2. Доказательство того, что множество, построенное описанным способом, действительно находится в заданном соотношении с исходным множеством. Обычно доказательство построения производится как обычное доказательство теоремы, опирающееся на аксиомы и другие доказанные теоремы.
  3. Анализ описанного способа построения на предмет его применимости к разным вариантам начальных условий, а также на предмет единственности или неединственности решения, получаемого описанным способом.

Этапы при решении задач на построения

[править | править код]

Решения неэлементарных[1] построений оформляются по соответствующей схеме, состоящей из этапов. Ниже приведены четыре этапа с указанием их сути.

  1. Анализ:
    • составить план решения задачи,
    • допустить или предположить, что задача решена,
    • выполнить рисунок.
  2. Построение:
    • реализация плана решения задачи.
  3. Доказательство:
    • доказать, что построенная фигура принадлежит требуемому семейству [используется определение данной геометрической фигуры либо её признаки] и
    • удовлетворяет условию задачи.
  4. Исследование:
    • при каких ограничениях на данные искомую фигуру можно построить,
    • сколько решений (конфигураций) имеет задача.

Методы построений циркулем и линейкой

[править | править код]

Основные методы

[править | править код]

Основными методами решения геометрических задач на построение являются четыре метода:

  1. метод геометрических мест точек (ГМТ), или метод пересечений множеств;
  2. метод геометрических преобразований;
  3. алгебраический метод;
  4. метод цепочки многоугольников и, в частности, метод цепочки треугольников.

Более детальная классификация приведена в таблице.

Название метода Что лежит в основе этого метода
1 Метод геометрических мест точек Геометрические места точек
2 Методы геометрических преобразований:
  1. метод движения (по виду движения): а) параллельный перенос; б) симметрия: центральная и осевая; в) вращение (поворот);
  2. метод подобия;
  3. метод гомотетии;
  4. метод инверсии;
  5. метод спрямления;
  6. метод обратности.
Геометрические соответствия
3 Алгебраический метод:
  1. построение отрезков, длины которых заданы формулами;
  2. выражения уравнением связи известных и неизвестных величин в задаче, а затем нахождение (построение) корней этого уравнения.
Алгебраические выражения геометрических соответствий
4 Метод цепочки треугольников Последовательность треугольников

Метод ГМТ (метод пересечений)

[править | править код]

Метод симметрии

[править | править код]

Метод спрямления

[править | править код]

Метод подобия

[править | править код]

Метод параллельного переноса

[править | править код]

Алгебраический метод

[править | править код]

Дополнительные методы

[править | править код]

Метод гомотетии

[править | править код]

Метод инверсии

[править | править код]

Известные задачи

[править | править код]

Построение правильных многоугольников

[править | править код]
Построение правильного пятиугольника

Античным геометрам были известны способы построения правильных n-угольников для , , и .

В 1796 году Гаусс показал возможность построения правильных n-угольников при , где  — различные простые числа Ферма. В 1836 году Ванцель доказал, что других правильных многоугольников, которые можно построить циркулем и линейкой, не существует.

Неразрешимые задачи

[править | править код]

Следующие три задачи на построение были поставлены ещё древними греками:

Лишь в XIX веке было строго доказано, что все эти три задачи неразрешимы при использовании только циркуля и линейки. Доказательство неразрешимости этих задач построения было достигнуто с помощью алгебраических методов, основанных на теории Галуа[2]. В частности, невозможность построения квадратуры круга следует из трансцендентности числа π.

Другая известная и неразрешимая с помощью циркуля и линейки задача — построение треугольника по трём заданным длинам биссектрис[3]. Эта задача остаётся неразрешимой даже при наличии инструмента, выполняющего трисекцию угла, например томагавка.[4]

Допустимые отрезки для построения с помощью циркуля и линейки

[править | править код]
Построение квадратного корня из 2.
Построение квадратного корня из 3.
Построение среднего геометрического двух отрезков.
Из подобия треугольников следует: Если принять длину отрезка за единицу, то длина будет численно равна квадратному корню из длины отрезка . Это один из способов построения квадратного корня заданного числа.

С помощью этих инструментов возможно построение отрезка, который по длине:

  1. равен сумме длин нескольких отрезков;
  2. равен разности длин двух отрезков;
  3. численно равен произведению длин двух отрезков;
  4. численно равен частному от деления длин двух отрезков;
  5. численно равен квадратному корню из длины заданного отрезка (следует из возможности построения среднего геометрического двух отрезков, см. иллюстрацию).[5]

Для построения отрезка с длиной численно равной произведению, частному и квадратному корню из длин заданных отрезков необходимо задание на плоскости построения единичного отрезка (то есть отрезка длины 1), иначе задача неразрешима из-за отсутствия масштаба. Извлечение корней из отрезков с иными натуральными степенями, не являющимися степенью числа 2, невозможны с помощью циркуля и линейки. Так, например, невозможно при помощи циркуля и линейки из единичного отрезка построить отрезок длиной . Из этого факта, в частности, следует неразрешимость задачи об удвоении куба.[6]

Возможные и невозможные построения

[править | править код]

С формальной точки зрения, решение любой задачи на построение сводится к графическому решению некоторого алгебраического уравнения, причем коэффициенты этого уравнения связаны с длинами заданных отрезков. Поэтому можно сказать, что задача на построение сводится к отысканию действительных корней некоторого алгебраического уравнения.

Поэтому удобно говорить о построении числа — графического решения уравнения определённого типа.

Исходя из возможных построений отрезков возможны следующие построения:

Иначе говоря, возможно строить лишь отрезки, равные арифметическим выражениям с использованием квадратного корня из исходных чисел (заданных длин отрезков).

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

Возможность построить правильный 17-угольник следует из выражения для косинуса центрального угла его стороны:

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

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

[править | править код]
  • Построения с помощью одного циркуля. По теореме Мора — Маскерони с помощью одного циркуля можно построить любую фигуру, которую можно построить циркулем и линейкой. При этом прямая считается построенной, если на ней заданы две точки.
  • Построения с помощью одной линейки. Очевидно, что с помощью одной линейки можно проводить только проективно-инвариантные построения. В частности,
    • невозможно даже разбить отрезок на две равные части,
    • также невозможно найти центр данной окружности.
Однако,
  • при наличии на плоскости заранее проведённой окружности с отмеченным центром с одной линейкой можно провести те же построения, что и циркулем и линейкой (теорема Штейнера — Понселе).
  • Если на линейке есть две засечки, то построения с её помощью эквивалентны построениям с помощью циркуля и линейки (важный шаг в доказательстве этого сделал Наполеон).
  • Построения с помощью инструментов с ограниченными возможностями. В задачах такого рода инструменты (в противоположность классической постановке задачи) считаются не идеальными, а ограниченными: прямую через две точки с помощью линейки можно провести только при условии, что расстояние между этими точками не превышает некоторой величины; радиус окружностей, проводимых с помощью циркуля, может быть ограничен сверху, снизу или одновременно и сверху, и снизу.
  • Построения с помощью плоского оригами см. правила Фудзиты
  • Построения с помощью шарнирных механизмов — это построения на плоскости и в пространстве с помощью единичных стержней, связанных на концах шарнирами. Этим способом можно построить любое алгебраическое число[7].

Интересные факты

[править | править код]
  • Программные пакеты динамической геометрии позволяют выполнять виртуальные построения с помощью циркуля и линейки на мониторе компьютера.

Примечания

[править | править код]
  1. Элементарные построения — это основные задачи на построение такие, как построение биссектрисы угла, серединного перпендикуляра к отрезку, четвёртого пропорционального отрезка, угла, равного данному и пр. Как правило, они проводятся в два этапа, а именно построение и доказательство. Элементарных построений насчитывается свыше 20.
  2. Кириченко, 2005, с. 1.
  3. Кто и когда доказал невозможность построения треугольника по трем биссектрисам? Архивная копия от 18 октября 2009 на Wayback Machine. Дистанционный консультационный пункт по математике МЦНМО.
  4. Можно ли построить треугольник по трем биссектрисам, если кроме циркуля и линейки разрешается использовать трисектор Архивная копия от 26 августа 2015 на Wayback Machine. Дистанционный консультационный пункт по математике МЦНМО.
  5. Кириченко, 2005, с. 4.
  6. Кириченко, 2005, с. 9.
  7. Maehara, Hiroshi (1991), "Distances in a rigid unit-distance graph in the plane", Discrete Applied Mathematics, 31 (2): 193—200, doi:10.1016/0166-218X(91)90070-D.
  8. Стандарт флага Ирана Архивная копия от 21 июня 2012 на Wayback Machine (перс.)

Литература

[править | править код]