Размещено на http://www.allbest.ru/

Введение

Геометрия возникла очень давно, это одна из самых древних наук. Геометрия (греческое, от geо - земля и metrein - измерять)- наука о пространстве, точнее - наука о формах, размерах и границах тех частей пространства, которые в нем занимают вещественные тела. Таково классическое определение геометрии, или, вернее, таково действительное значение классической геометрии. Однако современная геометрия во многих своих дисциплинах выходит далеко за пределы этого определения. Развитие геометрии принесло с собой глубоко идущую эволюцию понятия о пространстве. В том значении, в котором пространство как математический термин широко употребляется современными геометрами, оно. уже не может служить первичным понятием, на котором покоится определение геометрии, а, напротив, само находит себе определение в ходе развития геометрических идей.

Геометрические построения, решение некоторых геометрических задач при помощи вспомогательных инструментов (линейка, циркуль и т.п.), которые предполагаются абсолютно точными. В исследованиях по геометрическим построениям выясняется круг задач, разрешимых с помощью заданного набора инструментов, и указываются способы решения этих задач. Геометрические построения обычно разделяются на построения на плоскости и в пространстве. Отдельные задачи на геометрические построения на плоскости рассматривались ещё в древности (например, знаменитые задачи о трисекции угла, удвоении угла, квадратуре круга). Как и многие другие, они относятся к задачам на геометрические построения с помощью циркуля и линейки. Геометрические построения на плоскости имеют богатую историю. Теория этих построений разработана датским геометром Г. Мором (1672) и затем итальянским инженером Л. Маскерони (1797). Значительный вклад в теорию геометрических построений был сделан швейцарским учёным Я. Штейнером (1833). Лишь в 19 в. был выяснен круг задач, разрешимых с помощью указанных инструментов. В частности, отмеченные выше знаменитые задачи древности не разрешимы с помощью циркуля и линейки.

Геометрические построения на плоскости Лобачевского занимался сам Н. И. Лобачевский. Общая теория таких построений и построений на сфере была развита советским геометром Д. Д. Мордухай-Болтовским.

Геометрические построения. в пространстве связаны с методами начертательной геометрии. Теория геометрических построений представляет интерес лишь в части, связанной с практическими приложениями в начертательной геометрии.

Главные цели моей работы:

-изучить литературу;

-рассмотреть способ выполнения геометрических построений с помощью одной линейки;

-применить полученные знания при решении практических задач.

1. Историческая справка

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

Более того, они умели с помощью циркуля и линейки делить угол пополам, поэтому они умели строить и правильные 6-ти, 10-ти и 15-ти угольники и все правильные n-угольники. Очень важно, что с помощью линейки проводятся только отрезки прямых, а длины отрезков измеряются с помощью циркуля, а не делений на линейке. Так, используя эти инструменты можно построить отрезок, длина которого выражается числом, полученным из 1 с помощью четырех арифметических действий (сложения, вычитания, умножения, деления) и извлечением квадратного корня. Т.е. вначале есть только отрезок, длина которого принимается за 1. Тогда можно построить отрезок, длина которого равна рациональному числу или квадратному корню из рационального числа. Далее, если отрезок длины a уже построен с помощью циркуля и линейки, то можно построить с помощью этих инструментов отрезок длины b, если число b выражается через а с помощью арифметических действий и квадратного корня. Говорят, что такое число выражается в квадратных радикалах.

Таким образом, с помощью циркуля и линейки можно построить отрезок, длина которого выражается в квадратных радикалах. Все это знали еще математики древней Греции. Задачу построения других правильных многоугольников (или доказательство невозможности таких построений) не могли решить в течение двух последующих тысячелетий, а решена она была немецким студентом филологического факультета Гёттингенского университета Карлом Фридрихом Гауссом в 1796 году. В то время Гауссу было 18 лет, и он разрывался между занятиями филологией и математикой и не мог сделать окончательного выбора. Решение древней задачи помогло ему сделать окончательный выбор в пользу (и на пользу) математики. Страшно даже подумать, насколько бы затормозилось развитие математики останься Гаусс филологом. До сих пор математики всего мира называют Гаусса королем математики.

Однако вернемся к обсуждаемой задаче. Сначала Гаусс доказал, что с помощью циркуля и линейки можно построить только такие отрезки, длины которых выражаются в квадратных радикалах и только они. Гаусс использовал для решения задачи комплексные числа, в частности, корни из единицы. Так как корни из 1 делят окружность на равные дуги, то задача построения правильного n-угольника сводится к вопросу: при каких n корни n-ой степени из 1 выражаются в квадратных радикалах. Здесь имеются ввиду их действительные и мнимые части. Таким образом, геометрическая задача была сведена к чисто алгебраической.

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

Но Гаусс не был бы Гауссом, если бы он остановился на этом. Позднее он решил задачу полностью, выяснив при каких n задача построения правильного n-угольника может быть решена, а при каких нет. Чтобы понять этот результат нам понадобится одно определение.

Гаусс очень ценил эту свою математическую работу и перед смертью просил высечь на своей могильной плите правильный 17-ти угольник. Увы, это не было сделано. Но в городе Брауншвейг стоит на 17-ти угольном постаменте памятник Карлу Фридриху Гауссу - королю математики.

2. ПОСТРОЕНИЕ ЦИРКУЛЕМ И ЛИНЕЙКОЙ

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

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

· Линейка не имеет делений и имеет только одну сторону бесконечной длины.

· Циркуль может иметь сколь угодно большой или сколь угодно малый раствор.

Построение циркулем и линейкой занимает важное место в школьном курсе геометрии. Среди задач на построение отметим следующие:

а) деление отрезка пополам и построение серединного перпендикуляра к отрезку;

б) построение биссектрисы угла;

в) проведение прямой, проходящей через данную точку и перпендикулярную данной прямой;

г) проведение прямой, проходящей через данную точку и параллельную данной прямой;

д) построение касательной к окружности, проходящей через данную точку;

е) построение треугольника по его элементам;

ж) построение правильных многоугольников, вписанных и описанных около данной окружности и др.

Здесь мы рассмотрим вопрос о том, какие задачи на построение выполнимы с помощью циркуля и линейки, а какие - нет.

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

1. Проведение прямой через две данные точки.

2. Проведение окружности с центром в данной точке и данным радиусом.

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

а) точку пересечения двух прямых, полученных в результате операции 1;

б) точки пересечения прямой и окружности, полученных в результате операций 1 и 2:

в) точки пересечения двух окружностей, полученных в результате операции 2.

Выясним, какие точки можно построить циркулем и линейкой, исходя из данной совокупности точек A₀, A₁, … .

С помощью циркуля и линейки построим оси координат так, чтобы A₀ было началом координат, а отрезок A₀A₁ - единичным отрезком на оси абсцисс.

Каждой точке A на плоскости можно сопоставить ее координаты (x, y). Ясно, что точку A можно построить тогда и только тогда, когда можно построить ее координаты.

Переходя от точек плоскости к их координатам, выясним, какие числа можно построить, исходя из данной совокупности действительных чисел.

Для совокупности X действительных чисел обозначим через Q[X] числа, полученные из чисел совокупности X применением (возможно многократным) к ним операций сложения, вычитания, умножения и деления.

Простым квадратичным расширением Q¹[X] множества Q[X] назовем совокупность чисел вида a + b , где a, b - произвольные числа множества Q[X], а c - некоторое фиксированное число множества Q[X] такое, что не принадлежит Q[X]. Легко видеть, что Q[X] содержится в Q¹[X], и сумма, разность, произведение и частное чисел множества Q¹[X] снова принадлежит множеству Q¹[X]. Через Q²[X] обозначим простое квадратичное расширение множества Q¹[X], …, через Qⁿ⁺¹[X] обозначим простое квадратичное расширение множества Qⁿ[X]. Наконец, квадратичным расширением Q^*[X] множества Q[X] назовем объединение всех Qⁿ[X]. Квадратичное расширение Q*[X] можно рассматривать, как множество чисел, получаемых из чисел совокупности X, применением (возможно многократным) к ним операций сложения, вычитания, умножения, деления и извлечения квадратного корня.

Теорема 1. Число c можно построить исходя из данной совокупности X действительных чисел тогда и только тогда, когда оно выражается через них с помощью операций сложения, вычитания, умножения, деления и извлечения квадратного корня, т.е. принадлежит квадратичному расширению Q^*[X].

Доказательство. Покажем достаточность. Если числа a и b можно построить, то можно построить и числа a + b, a - b, ab, a/b (рис. 1).

Далее, если число c > 0 можно построить, то можно построить и число (рис. 2). Следовательно, любое число, получающееся из чисел данной совокупности с помощью операций сложения, вычитания, умножения, деления и извлечения квадратного корня, можно построить. Для краткости, будем в дальнейшем называть такие операции квадратичными.

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

1. Пусть точка A(x, y) получена как пересечение двух прямых, проходящих через точки A₁(x₁, y₁), A₂(x₂, y₂) и A₃(x₃, y₃), A₄(x₄, y₄), координаты которых принадлежат данной совокупности.

Тогда координаты точки A удовлетворяют системе линейных уравнений

Переобозначив коэффициенты, перепишем эту систему в виде

Откуда

Следовательно, координаты x и y выражаются через координаты точек A₁, A₂, A₃ и A₄ с помощью операций сложения, вычитания, умножения и деления, входящих в квадратичные операции.

2. Пусть точка A(x, y) получена как пересечение прямой, проходящей через данные точки A₁(x₁, y₁), A(x₂, y₂), и окружности с центром в данной точке A(x₃, y₃) и радиусом r. При этом координаты данных точек и радиус принадлежат данной совокупности.

Тогда координаты точки A удовлетворяют системе уравнений

Переобозначив коэффициенты, перепишем эту систему в виде

Выразим x или y из первого уравнения и подставим во второе. Получим квадратное уравнение, коэффициенты которого выражаются через координаты данных точек с помощью операций сложения, вычитания, умножения и деления. Тогда корни этого уравнения выражаются с помощью этих же операций и операции извлечения квадратного корня, т. е. квадратичных операций.

3. Пусть точка A(x, y) получена как пересечение двух окружностей, проходящей через данные точки A₁(x₁, y₁), A(x₂, y₂), и данными радиусами r₁, r₂. При этом координаты данных точек и радиусы принадлежат данной совокупности.

Тогда координаты точки A удовлетворяют системе уравнений

Вычтем из первого уравнения второе. Получим линейное уравнение

2 (x₂ - x₁)x + 2(y₂ - y₁)y = r₁² - r₂² - x₁² - y₁² + x₂² + y₂²

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

б) Рассмотрим некоторые классические задачи на построение

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

Длина ребра искомого куба является действительным корнем кубического уравнения x³- 2 = 0. Поэтому для ответа на вопрос: можно или нельзя выполнить построение циркулем и линейкой, нужно ответить на вопрос: выражается или нет число с помощью квадратичных операций, применяемых к числу 1.

II. Задача о трисекции угла состоит в делении произвольного угла на три равные части.

Конечно, некоторые углы, например, угол, равный 90 можно разделить на три равные части с помощью циркуля и линейки. Рассмотрим вопрос о возможности такого деления произвольного угла .

Используя тригонометрические формулы, нетрудно получить уравнение

Следовательно, число является корнем уравнения

4x³ - 3x - cos = 0.

В частности, если = 60 получаем уравнение 8x³ - 6x - 1 = 0, которое заменой 2x на y можно привести к виду y³ - 3y - 1 = 0.

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

Эти две задачи приводят к необходимости исследования корней кубического уравнения.

Теорема 2. Если уравнение x³ + px² + qx + r = 0 с коэффициентами из поля Q не имеет корней в поле P. то оно не имеет корней и в его простом квадратичном расширении.

Доказательство. Пусть число a + b является корнем данного уравнения, где a, b, c принадлежат P, не принадлежит P. Заметим, что a + b является корнем квадратного уравнения (x -(a + b))(x - (a - b)) = 0, которое можно переписать в виде x² + Ax + B = 0, где A и B принадлежат P.

Разделим исходное уравнение на полученное квадратное уравнение с остатком.

Получим равенство x³ + px² + qx + r =( x² + Ax + B)(x + p - A) + Cx + D, в котором все коэффициенты принадлежат P. Так как число a + bявляется корнем кубического и квадратного уравнения то должно выполняться равенство C(a + b) + D = 0, из которого следует, что a + b принадлежит P. Значит, b = 0 и a является корнем данного уравнения.

Противоречие.

Следствие. Если уравнение x³ + px² + qx + r = 0 с рациональными коэффициентами не имеет рациональных корней, то его корни не выражаются с помощью квадратичных операций, применяемых к числу 1.

Заметим, что всякий рациональный корень уравнения x³ + px² + qx + r = 0 с целыми коэффициентами является целым числом и делителем свободного члена.

Действительно, пусть (m и n взаимно просты) является корнем кубического уравнения. Тогда имеет место равенство

или m³ + pm²n + qmn² + rn³ = 0.

Из последнего равенства следует, что r делится на m и m делится на n. Но m и n взаимно просты, значит n = 1.

Полученные выше уравнения x³ - 2 = 0 и y³ - 3y - 1 = 0, как легко видеть, не имеют рациональных корней и, следовательно, их корни не выражаются с помощью квадратичных операций. Поэтому, задачи об удвоении куба и трисекции угла неразрешимы.

Рассмотрим еще примеры неразрешимых задач на построение циркулем и линейкой.

III. Задача о квадратуре круга состоит в построении квадрата, равновеликого данному кругу

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

IV. Задача о построении правильных многоугольников, вписанных в единичную окружность.

Пусть дана окружность единичного радиуса. С помощью циркуля и линейки можно вписать в эту окружность правильные треугольник, шестиугольник и т. д. 32ⁿ-угольник (рис. 3).

Аналогично, в единичную окружность можно вписать правильные 22ⁿ-угольники (рис. 4), правильные 52ⁿ-угольники (рис. 5).

Полностью вопрос о возможности построений правильных многоугольников с помощью циркуля и линейки был исследован Гауссом. А именно, он доказал, что правильный n-угольник может быть построен с помощью циркуля и линейки тогда и только тогда, когда n представимо в виде произведения степени двойки и различных простых чисел Ферма, т.е. простых чисел вида . В частности, из этого следует, что правильный семиугольник нельзя построить циркулем и линейкой. Докажем это отдельно с использованием комплексных чисел.

Вершины правильного семиугольника в комплексной плоскости, вписанного в единичную окружность, являются корнями уравнения z⁷ - 1 = 0. Один из корней есть z = 1, а остальные удовлетворяют уравнению z⁶ + z⁵ + z⁴ + z³ + z² + z + 1 = 0. Деля на z³, получим уравнение

Простые алгебраические преобразования приводят его к виду

Положив теперь z + 1/z=t, окончательно приходим к уравнению

t³ + t² - 2t - 1 = 0 (*).

Так как комплексное число z представляется в виде z = cos + i sin, то 1/z = cos - i sin и, следовательно, t = 2cos является действительным числом.

Как легко видеть, уравнение (*) не имеет рациональных корней и, следовательно, его корни не выражаются с помощью квадратичных операций.

Таким образом, задача построения правильного семиугольника циркулем и линейкой неразрешима.

3. Общие аксиомы конструктивной геометрии. Аксиомы математических инструментов

Раздел геометрии, в котором изучаются геометрические построения, называется конструктивной геометрией.

Основным понятием конструктивной геометрии является понятие построить геометрическую фигуру.

Это понятие принимается без определения, конкретный его смысл известен из практики, где оно означает: начертить, провести (линию), отметить (точку). В интересах логической строгости изложения основное понятие конструктивной геометрии - построить фигуру - характеризуется через основные требования (общие аксиомы конструктивной геометрии).

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

Рассмотрим эти общие аксиомы теории геометрии.

I. Каждая данная фигура построена, т.е. если о какой-либо фигуре сказано, что она дана, то под этим подразумевается, что она уже изображена, начерчена, по-другому говоря, построена.

2. Если даны две фигуры, то построено:

а) их объединение

б) пересечение (если оно непустое)

в) разность (если она не равна пустому множеству)

3. Если дана некоторая фигура, то можно построить точку:

а) принадлежащую данной фигуре

б) не принадлежащую ей.

Замечание. Аксиомы За и 3б дают возможность построить новые точки, но этим точкам не приписывают никаких свойств.

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

Аксиома линейки. Линейка (односторонняя) позволяет построить прямую, проходящую через две данные точки.

Аксиома циркуля. Циркуль позволяет построить окружность с центром в данной точке и радиусом, равным длине данного отрезка.

Аксиомы двусторонней линейки. Двусторонняя линейка позволяет: а) выполнить любое построение, выполнимое линейкой;

б) в каждой из полуплоскостей, определяемых построенной прямой, построить прямую, параллельную этой прямой и проходящую от нее на расстоянии h, где h - фиксированный элемент для данной двусторонней линейки (ширина);

в) если построены две точки А и В, то установить, будет ли АВ > h, и если AB > h, то построить 2 пары параллельных прямых, проходящих соответственно через А и В и отстоящих одна от другой на расстоянии h ,

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Аксиомы угла. Угол позволяет: а) сделать все построения, выполнимые линейкой; б) через данную точку плоскости провести под углом б к некоторой данной прямой; в) если построены отрезок АВ и фигура Ф, то установить, содержит ли фигура Ф точку, из которой отрезок АВ виден под углом б, и если такая существует, то построить ее.

4. Геометрические построения одной линейкой

Геодезисты в своей работе тесно связаны с геометрическими построениями и измерениями, причём в практике геодезических работ приходится пользоваться почти исключительно проведением прямых линий.

В связи с этим внимание математиков ещё в XVII в. было привлечено к изучению геометрических построений, производимых исключительно линейкой. Такого рода построения рассматривал упоминавшийся уже нами Мор (в не дошедшей до нас книге „Euclides curiosus", о которой упоминается в переписке некоторых математиков того времени). Ряд задач на построение с линейкой рассматривали: И. Ламберт (в 1744), Бриан-шон (1783--1864), написавший книгу „Приложения теории трансверсалей" (1818), предназначенную для лиц, занимающихся землемерными работами, Понселе (1788 -- 1867) в связи с его исследованиями по проективной геометрии.

Наиболее полные исследования в этой области произведены швейцарским геометром Я. Штейнером (1796--1863), который изложил их в известном сочинении „Геометрические построения, производимые с помощью прямой линии и неподвижного круга" (1833).

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

Рассмотрим некоторые построения этого рода. Для этого нам понадобится одно вспомогательное предложение.

Лемма о трапеции:

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

Доказательство. Пусть АВСD (рис. 225) --данная трапеция, АВ и СD её основания, О -- точка пересечения диагоналей, Р -- точка пересечения продолженных боковых сторон, М и N--точки пересечения прямой ОР с основаниями трапеции. Из подобия треугольников АОМ и CОN следует, что АМ:СN=ОМ:ОN, а из подобия треугольников ВОМ и DОN следует, что ВМ : DN = ОМ : ОN. Из двух последних пропорций следует:

АМ*DN = СN*ВМ. (1)

Из подобия треугольников АРМ и DРN следует, что АМ : DN = РМ : РN, а из подобия треугольников ВРМ и СРN вытекает, что ВМ : СN = РМ : РN. Из этих двух пропорций заключаем, что

АM*СN=DN*ВМ. (2)

Из соотношений (1) и (2) заключаем, что АМ² = ВМ², откуда АМ = ВМ. Теперь уже не составляет труда убедиться, что DN = СN.

Решим теперь несколько задач, пользуясь исключительно линейкой.

Задача 1. Даны две параллельные прямые а и Ь и на одной из них, например а, отрезок АВ. Построить середину этого отрезка.

Решение:

Изберём произвольную точку Р, лежащую вне полосы, ограниченной заданными прямыми (рис. 226). Проведём прямые РА и РВ и отметим точки D и С их пересечения с прямой Ь. Пусть О -- точка пересечения прямых АС и ВD. Тогда, согласно предыдущей лемме, прямая РО пересечёт отрезок АВ в его середине М.

Задача 2. Зная середину М данного отрезка АВ, провести через данную точку С прямую, параллельную АВ.

Решение:

Изберём на прямой ВС, вне отрезка ВС, произвольную точку Р (рис. 227) и соединим эту точку с точками А и М. Пусть О -- точка пересечения прямых РМ и АС, D -- точка пересечения прямых АР и 0В. Тогда прямая СD искомая. Доказательство проводится на основании леммы о трапеции по методу „от противного".

Задача 3. Через центр данного параллелограмма провести прямую параллельно его стороне.

Решение:

Пусть АВСD (рис. 228)--данный параллелограмм, О -- его центр. Учтя, что АО = СО и ВО = DО, можно воспользоваться предыдущей задачей и провести СЕ\\ВD и DF\\АС. Если М -- точка пересечения прямых СЕ и DF, то прямая ОМ параллельна стороне АD.

Для доказательства рассмотрим треугольник АСК, где К -- точка пересечения прямых АD и СМ. Треугольник DКМ равен треугольнику АDС по двум сторонам и углу между ними. А поэтому КМ = ОD = СМ. Следовательно, прямая ОМ служит средней линией треугольника АСК и поэтому параллельна его основанию.

Легко заметить, что с помощью одной линейки можно проводить только проективно-инвариантные построения. В частности, невозможно даже разбить отрезок на две равные части, либо найти центр нарисованной окружности. Но при наличии на плоскости заранее проведённой окружности с отмеченным центром с помощью линейки можно провести те же построения, что и циркулем и линейкой (теорема Понселе-Штейнера), 1833г.

Штейнер (Steiner) Якоб (18.III.1796-1.IV.1863).

Швейцарский геометр, один из создателей проективной геометрии, член Берлинской АН (1834). Профессор Берлинского университета (1835). Штейнер уточнил и систематизировал идею проективного образования сложных геометрических образов из более простых. Автор работ «Систематическое развитие зависимости геометрических образов друг от друга», «Геометрические построения, выполняемые с помощью прямой линии и неподвижного круга».

5. Теорема Штейнера

Пользуясь только линейкой, нельзя решить всякую задачу, разрешимую с помощью циркуля и линейки. Но исследования этого вопроса показали, что для решения как угодно сложной геометрической задачи на построение, разрешимой циркулем и линейкой, достаточно воспользоваться циркулем не более одного раза. Точнее говоря: всякая геометрическая задача на построение фигуры, состоящей из конечного числа точек, разрешимая циркулем и линейкой, может быть решена одной линейкой, если на плоскости построена какая-либо окружность и отмечен ее центр. При этом предполагается, что данная фигура состоит только из конечного числа точек, прямых, лучей, отрезков и дуг окружностей. Это предложение было доказано швейцарским математиком Я. Штейнером в 1833 г.

Без доказательства оно было приведено ещё в 1822г. французским геометром Понселе в его „Трактате о проективных свойствах фигур". Поэтому эту теорему называют иногда теоремой Понселе-Штейнера.

Доказательство теоремы Штейнера проводится аналогично тому, как было проведено выше доказательство теоремы Мора-Маскерони.

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

Для доказательства теоремы Штейнера достаточно установить, что при наличии линейки и построенной окружности с отмеченным центром (которую мы в дальнейшем называем вспомогательной или штейнеровой) можно выполнить следующие построения.

(2"). Построение общих точек известной окружности и построенной прямой (если такие точки существуют).

(3"). Построение общих точек двух известных окружностей (если такие точки существуют).

(5"). Построение любого конечного числа точек, принадлежащих известной окружности.

(6"), Построение точки, не принадлежащей соединению конечного числа построенных точек, построенных прямых и известных окружностей.

Выполнимость остальных построений из числа построений (1)--(6), в условиях теоремы Штейнера не вызывает сомнений.

Перейдём к рассмотрению интересующих нас построений.

Решим предварительно несколько вспомогательных задач.

1-я вспомогательная задач а. Через данную точку Р провести прямую, параллельную данной прямой а.

Пусть (рис. 229) О -- центр вспомогательной окружности. Выберем на прямой а произвольную точку М. Выберем на вспомогательной окружности такую точку A, чтобы прямая МА не была касательной и не проходила через точку О. Прямая МА пересечёт вспомогательную окружность ещё в одной точке С.

Проведём через А и С два диаметра АВ и СD.

Ясно, что четырёхугольник АСВD -- параллелограмм (даже прямоугольник). Пусть Оk -- прямая, параллельная АС (см. задачу 3). Если прямые АС, Оk и ВD пересекают данную прямую а соответственно в точках М, L и K, то МL=LК, так как АО--ВО. Для выполнения требуемого построения остаётся применить задачу 2.

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

2-я вспомогательная задача. Через данную точку Р провести прямую, перпендикулярную данной прямой а (рис. 230).

Проведём прежде всего диаметр АВ вспомогательной окружности, параллельный данной прямой. Пусть прямые РА и РВ пересекаются со вспомогательной окружностью в точках С и D. Обозначая через Q точку пересечения прямых ВС и АD, найдём, что РQ+АВ, а следовательно РQ+ а. Действительно, прямые CQ и DP служат высотами треугольника APQ. Следовательно, AB- третья его высота, так как все три высоты треугольника должны пройти через одну точку.

Замечание: описанное построение невозможно в двух случаях. 1)Если прямая PB (или прямая PA) касается окружности. В этом случае прямая PB (соответственно PA) является искомой. 2) Если точка P расположена на окружности или на прямой AB. В этом случае изберем вспомогательную точку P', не принадлежащую ни окружности, ни прямой AB, проведем через P' перпендикуляр к данной прямой а указанным способом, а затем проведем через точку P прямую, параллельную этому перпендикуляру.

3-я вспомогательная задача. На данной прямой a отложить от данной точки P отрезок, равный данному отрезку AB. рис. 231)

Пусть O-центр вспомогательной окружности. Строим параллелограмм OABC (см. 1-ую вспомогательную задачу).Пусть луч OC встречает вспомогательную окружность в точке M, а прямая OL, проведенная через O, параллельно прямой a, встречает окружность в точке N. Пусть, далее, прямая, проведенная через точку С параллельно прямой MN, встречает прямую OL в точке Q. Прямая QR, проведенная параллельно OP, встречает прямую a в искомой точке X. Действительно

PX=OQ=OC=AB.

6. Примеры на построения одной линейкой

1) Пара параллельных прямых

Предположим, что на плоскости имеем пару параллельных прямых а и b. Тогда точка пересечения Р этих прямых является точкой несобственной прямой u. Таким образом, пара параллельных прямых определяет одну точку несобственной прямой u, в остальном последняя остается неопределённой, то есть может быть любой прямой пучка Р.

Какие задачи могут быть решены при этих условиях с помощью одной линейки? Очевидно, что могут быть решены те задачи аффинного характера, которые связаны с несобственной точкой Р. Приведем примеры.

1. Через данную точку С провести прямую, параллельную данной прямой а.

В самом деле, прямая СР будет служить решением задачи.

2. Отрезок МN разделить пополам.

Деление отрезка пополам означает построение четвертой геометрической точки Q к несобственной точке Р относительно концов отрезка М и N. Такая задача может быть решена при помощи одной линейки. Этот пример показывает, что возможно обращение данных и искомых. Так, если на прямой а дан отрезок MN, разделенный в точке Q пополам, то не собственная точка Р прямой может быть построена как четвертая гармоническая к точке Q относительно пары М, N. поэтому можно строить прямые (b, c), параллельные прямой а.

Следует отметить, что построение прямой, параллельной произвольной прямой d, остается невозможным, так-так может быть любым лучом пучка Р, и, следовательно, несобственная точка D прямой d остается неопределенной.

геометрия построение линейка окружность штейнер

2) Параллелограмм (две пары параллельных прямых)

Предположим, что даны две пары параллельных прямых, образующих параллелограмм ABCD. В этом случае мы имеем две не собственные точки P и Q, в которых пересекаются противоположные стороны параллелограмма. Несобственная прямая PQ вполне определена. следовательно, все задачи, связанные с несобственной прямой проективными отношениями, могут быть решены с помощью одной линейки. приведем примеры.

1. через точку F требуется провести прямую, параллельную данной прямой g.

Так как несобственная точка G прямой g может быть построена G = g х u , то прямая FG является решением задачи.

2. произвольный отрезок MN требуется разделить пополам

Для решения задачи следует построить точку L которая было бы четвертой гармонической к точке G по отношению к паре M и N.

3) квадрат

Квадрат может быть определен как такой параллелограмм, у которого смежные стороны перпендикулярны и диагонали так же перпендикулярны.

Пусть ABCD - данный квадрат. тогда противоположные стороны AD и BC определяют несобственную точку Р, а стороны AB и DC несобственную точку P'. Так как прямые AD и AB перпендикулярны , то их не собственные точки Р и Р' являются соответственными в абсолютной инволюции на прямой. То же самое можно сказать о не собственных точках Q и Q' диагоналей AC и BD. Таким образом, абсолютная инволюция на несобственной прямой u вполне определена двумя соответственными парами: (P , P') и (Q , Q'). Это показывает, что данная фигура (квадрат) определяет абсолют плоскости.

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

1. дана прямая g и точка М. требуется из данной точки М опустить перпендикуляр на данную прямую g. Так как абсолютная инволюция задана двумя парами точек [(Р,P') и (Q , Q')] , то с помощью одной линейки можем построить точку G' , соответственную в абсолютной инволюции несобственной точке G данной прямой g. Тогда прямая M G' является искомым перпендикуляром к прямой g. В самом деле, прямые MG' и g проходят через соответственные точки абсолютной инволюции.

2. удвоить данный угол ( a, b ).

Чтобы дать этой задаче проективную форму рассмотрим ее в условиях обычной метрической геометрии. Пусть S - вершина, а b и a - стороны данного угла. При удвоении угла (a ,b) получим новую прямую с, при чем угол (b ,c) = углу (a,b). Следовательно, прямая b является биссектрисой угла (a,c). Прямая d , перпендикулярная прямой b, является второй биссектрисой угла (a,c). Тогда будем иметь: (acbd) = -1, то есть искомая прямая с гармонически сопряжена прямой а относительно прямых b и d. Этот анализ задачи показывает, что она может быть решена при помощи одной линейки, если задан квадрат. В самом деле, возвращаясь к условиям чертежа 3 видим, что все построения требуют лишь проведения прямых линий. Прямую d, перпендикулярную к данной прямой b и проходящую через вершину угла S, можно построить аналогично построению перпендикуляра M G' на чертеже 3. после этого прямую с строим как четвертую гармоническую к трем прямым: a,b,d. Все построение выполняется одной линейкой. Очевидно, что подобным же образом может быть решена и более общая задача об умножении данного угла на целое число.

3) Окружность и ее центр (построение Штейнера)

Предположим что на проективной плоскости дана окружность k и ее цент О. будем считать, что все точки окружности k фактически построены на чертеже, то есть окружность дана как начерченная кривая. Проведем через центр О два произвольных диаметра AC и BD. Построим затем полный четырехугольник ABCD, диагональными точками которого являются центр О и точки P и P'. Последние определяют несобственную прямую - поляру центра о данной окружности. Диаметры OP и OP' являются сопряженными (так как треугольник OPP' есть полярный), а следовательно, взаимно перпендикулярными. Поэтому несобственные точки P и P' соответственно в абсолютной инволюции. Так как можно построить сколько угодно пар сопряженных диаметров, то будем иметь сколько угодно пар соответственно точек абсолютной инволюции и несобственной прямой u. От сюда заключаем, что данная окружность и ее центр вполне определяют абсолют плоскости.

Напротив, если центр данной окружности не известен, то его нельзя построить с помощью одной линейки (то есть, проводя прямые линии), так как центр является полюсом несобственной прямой u, положение же последней остается произвольным.

Все эти важные выводы являются теперь совершенно очевидными.

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

Этот фундаментальный результат Штейнера может быть обоснован следующим образом. Всякое геометрическое построение, выполненное линейкой и циркулем, состоит из ряда операций, в число которых, кроме операций линейкой, то есть проведения прямых линий, могут входить и операции с участием циркуля. Эти последние сводятся в конечном счете к определению точек пересечения: 1)окружности с прямой и 2) двух окружностей.

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

Обращаясь к первой операции, предположим, что требуется построить точки пересечения окружности, заданной центром О и точкой А, с данной прямой g .

Так как абсолют плоскости определяется заданием штейнеровой окружности, то мы можем при помощи одной линейки построить сколько угодно точек окружности (О , А). для этого находим точку B окружности , гармонически сопряженную с точкой А относительно пары О,N, где через N обозначена несобственная точка прямой ОА. Далее , проводим произвольную прямую через точку А и строим перпендикулярную к ней прямую в точке B. Эта операция так же выполняется одной линейкой, так как абсолютная инволюция вполне определяется штейнеровой окружностью. Точка М пресечения прямых АМ и ВМ принадлежит окружности (О, А). Итак, может быть построено (с помощью одной линейки) сколько угодно точек этой окружности. В таком случае построение точек пересечения последней с прямой g представляет собой задачу, рассмотренную в более общей форме. Как было сказано, задача разрешается одной линейкой при условии задания начерченной кривой второго порядка. Такой кривой в нашем случае является окружность Штейнера.

Переходим ко второй операции. Предположим, что требуется построить точки пересечения окружностей (О',A') и (O”,A”). Эта задача может быть сведена к предыдущей, если удастся построить радикальную ось PQ обеих окружностей. В самом деле, тогда искомые точки явятся точками пересечения одной из окружностей с радикальной осью. Покажем, как можно с помощью одной линейки построить точку радикальной оси. Соединим точку A' первой окружности с точкой A” второй. Найдем точки A”' и A”” , в которых прямая A'A” вторично пересекает данные окружности. Как мы знаем, построение точек A”' и A”” может быть выполнено одно линейкой. Таким образом мы будем иметь две соответственные пары точек ( A',A”') и (A”,A””) инволюции, образованные на прямой A'A” пучком окружностей с радикальной осью PQ. Радикальная ось PQ окружностей пересекает прямую A'A” в центре О инволюции. Но центр О инволюции может быть построен ( одной линейкой) как точка инволюции, соответственная несобственной точке прямой A'A”. Так может быть построена точка О радикальной оси. Выбрав затем вместо A'A” другую пару точек обеих окружностей (мы знаем, что их можно сколько угодно), найдем вторую точку радикальной оси. Следовательно, задача сведется к определению точек P и Q пересечении одной из окружностей с радикальной осью. Мы уже рассмотрели решение этой задачи при помощи одной линейки, если на плоскости дана окружность Штейнера. Таким образом, предложение Штейнера доказано.

ЗАКЛЮЧЕНИЕ

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

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

Так же рассмотрела построения Штейнера- окружность и ее центр.

В общем, были изучены построения Штейнера, то есть геометрические построения на плоскости, выполняемые одной линейкой при условии, что задана некоторая вспомогательная фигура (параллельные прямые, квадрат и т.д.).

Литература

А. Адлер Теория геометрических построений / Перевод с немецкого Г. М. Фихтенгольца. -- Издание третье. -- Л.: Учпедгиз, 1940. -- 232 с.

И. И. Александров Сборник геометрических задач на построение. -- Издание восемнадцатое. -- М.: Учпедгиз, 1950. -- 176 с.

Б. И. Аргунов, М. Б. Балк Геометрические построения на плоскости. Пособие для студентов педагогических институтов. -- Издание второе. -- М.: Учпедгиз, 1957. -- 268 с.

А. М. Воронец Геометрия циркуля. -- М.-Л.: ОНТИ, 1934. -- 40 с. -- (Популярная библиотека по математике под общей редакцией Л. А. Люстерника).

В. А. Гейлер Неразрешимые задачи на построение // СОЖ. -- 1999. -- № 12. -- С. 115--118.

В. А. Кириченко Построения циркулем и линейкой и теория Галуа // Летняя школа «Современная математика». -- Дубна: 2005.

Ю. И. Манин Книга IV. Геометрия // Энциклопедия элементарной математики. -- М.: Физматгиз, 1963. -- 568 с.

Ю. Петерсен Методы и теории решения геометрических задач на построение. -- М.: Типография Э. Лисснера и Ю. Романа, 1892. -- 114 с.

В. В. Прасолов Три классические задачи на построение. Удвоение куба, трисекция угла, квадратура круга. -- М.: Наука, 1992. -- 80 с. -- (Популярные лекции по математике).

Я. Штейнер Геометрические построения, выполняемые с помощью прямой линии и неподвижного круга. -- М.: Учпедгиз, 1939. -- 80 с.

Размещено на Allbest.ru