в пространстве (рис. 1); точки на плоскости
и
на плоскости
считаются соответствующими друг другу (изображениями одной и той же точки на разных «картинах»), если
и
лежат на одной прямой, проходящей через
. Так что если на
имеется некоторая фигура
, то се точки соединяются с
прямыми, а из пересечений этих прямых с плоскостью
собирается фигура
на
, соответствующая
(
называется центральной проекцией на
из точки
фигуры
). Такого рода преобразования фигур уже возникали раньше при построении изображений.
«Основная идея этой чистой геометрии родилась из желания художников Возрождения создать «зрительную» геометрию. Как выглядят предметы в действительности и как их можно изобразить в плоскости чертежа?». С. Г. Гульд
Присмотритесь более внимательно к возникающему преобразованию. Может случиться так, что прямая, соединяющая точку с точкой
, будет параллельна плоскости
и в результате точка
на плоскости
не будет соответствовать никакой точке. Дезарг предлагает считать, что образом
тогда является бесконечно удаленная точка на
(образ «ушел на бесконечность»). Если провести через
плоскость, параллельную
, то в пересечении с
получится прямая
, которой в силу сказанного естественно поставить в соответствие на плоскости
бесконечно удаленную прямую. Если же, напротив, провести через точку
плоскость, параллельную
, то при пересечении с
получится прямая
, в точки которой при проектировании не будут переходить никакие конечные точки плоскости
, и принимается, что в
переходит бесконечно удаленная прямая плоскости
. Итак, по Дезаргу, одни и те же фигуры по-разному изображаются на разных плоскостях в пространстве. В частности, одна и та же прямая на одной плоскости предстанет перед нами как бесконечно удаленная, а на другой как конечная. Поэтому если мы не хотим, чтобы точки на одних картинах исчезали, а на других возникали из ничего, то мы должны рассматривать расширенную (проективную) плоскость.
Для того чтобы сделать эту точку зрения рабочей, надо выяснить, насколько же различаются изображения одних и тех же объектов. Ясно, что искажение при центральном проектировании весьма велико, но присущи ли различным изображениям хоть какие-то общие черты? Прежде всего сохраняется прямолинейность: прямые переходят в прямые, пересекающиеся прямые в пересекающиеся (параллельность частный случай!). Обратите внимание на то, сколько исключений пришлось бы оговорить уже здесь, не введи мы бесконечно удаленных элементов.
Замечательная догадка Дезарга заключалась в том, что имеются содержательные геометрические утверждения, в которых речь идет лишь о пересечениях прямых. Теорема, приведенная ниже, носит его имя. Пусть для треугольников и
прямые (рис. 2), соединяющие вершины,
и
,
и
,
и
пересекаются в одной точке
. Тогда точки
пересечения соответствующих сторон (
и
,
и
,
и
) лежат на одной прямой. Верна и обратная теорема. Самое известное сегодня доказательство теоремы Дезарга очень красиво и связано с переходом к ее пространственному варианту. Весьма поучителен и другой способ рассуждения. Поскольку в теореме речь идет лишь о взаимном положении точек и прямых, сохраняющихся при центральном проектировании, из справедливости теоремы в одной картине следует ее справедливость в любой другой. Другими словами, можно сделать центральную проекцию так, чтобы ситуация стала особенно простой. Например, если сделать точки
бесконечно удаленными (соответствующие стороны будут параллельны), то получится элементарное утверждение, которое легко доказать, пользуясь подобием треугольников. Общий случай будет получаться автоматически!
,
которая называется двойным отношением четырех прямых , проходящих через одну точку
(оно также сохраняется при проективных преобразованиях).
Аналитическая геометрия изучает фигуры и преобразования, задаваемые алгебраическими уравнениями в прямоугольных координатах, используя при этом методы алгебры. Дифференциальная геометрия, возникшая в 18 в. в результате работ Л. Эйлера, Геометрия Монжа и др., исследует уже любые достаточно гладкие кривые линии и поверхности, их семейства (т. е. их непрерывные совокупности) и преобразования (понятию «дифференциальная Геометрия» придаётся теперь часто более общий смысл, о чём см. в разделе Современная геометрия). Её название связано в основном с её методом, исходящим из дифференциального исчисления. К 1-й половине 17 в. относится зарождение проективной геометрии в работах Ж. Дезарга и Б. Паскаля. Она возникла из задач изображения тел на плоскости; её первый предмет составляют те свойства плоских фигур, которые сохраняются при проектировании с одной плоскости на другую из любой точки. Окончательное оформление и систематическое изложение этих новых направлений Геометрии были даны в 18 — начале 19 вв. Эйлером для аналитической Геометрии (1748), Монжем для дифференциальной Геометрии (1795), Ж. Понселе для проективной Геометрии (1822), причём само учение о геометрическом изображении (в прямой связи с задачами черчения) было ещё раньше (1799) развито и приведено в систему Монжем в виде начертательной геометрии. Во всех этих новых дисциплинах основы (аксиомы, исходные понятия) Геометрия оставались неизменными, круг же изучаемых фигур и их свойств, а также применяемых методов расширялся.
Н. И. Лобачевский в 1826 строит новую, неевклидовую Геометрию, называемую теперь Лобачевского геометрией. Независимо от Лобачевского в 1832 ту же Геометрия построил Я. Больяй (те же идеи развивал К. Гаусс, но он не опубликовал их). Источник, сущность и значение идей Лобачевского сводятся к следующему. В геометрии Евклида имеется аксиома о параллельных, утверждающая: «через точку, не лежащую на данной прямой, можно провести не более чем одну прямую, параллельную данной». Многие геометры пытались доказать эту аксиому, исходя из других основных посылок геометрии Евклида, но безуспешно. Лобачевский пришёл к мысли, что такое доказательство невозможно. Утверждение, противоположное аксиоме Евклида, гласит: «через точку, не лежащую на данной прямой, можно провести не одну, а по крайней мере две параллельные ей прямые». Это и есть аксиома Лобачевского. По мысли Лобачевского, присоединение этого положения к другим основным положениям Геометрия приводит к логически безупречным выводам. Система этих выводов и образует новую, неевклидову Геометрия Заслуга Лобачевского состоит в том, что он не только высказал эту идею, но действительно построил и всесторонне развил новую Геометрия, логически столь же совершенную и богатую выводами, как евклидова, несмотря на её несоответствие обычным наглядным представлениям. Лобачевский рассматривал свою Геометрия как возможную теорию пространственных отношений; однако она оставалась гипотетической, пока не был выяснен (в 1868) её реальный смысл и тем самым было дано её полное обоснование (см. раздел Истолкования геометрии).
Переворот в Геометрия, произведённый Лобачевским, по своему значению не уступает ни одному из переворотов в естествознании, и недаром Лобачевский был назван «Коперником геометрии». В его идеях были намечены три принципа, определившие новое развитие Геометрия Первый принцип заключается в том, что логически мыслима не одна евклидова Геометрия, но и другие «геометрии». Второй принцип — это принцип самого построения новых геометрических теорий путём видоизменения и обобщения основных положений евклидовой Геометрия Третий принцип состоит в том, что истинность геометрической теории, в смысле соответствия реальным свойствам пространства, может быть проверена лишь физическим исследованием и не исключено, что такие исследования установят, в этом смысле, неточность евклидовой Геометрия Современная физика подтвердила это. Однако от этого не теряется математическая точность евклидовой Геометрия, т.к. она определяется логической состоятельностью (непротиворечивостью) этой Геометрия Точно так же в отношении любой геометрической теории нужно различать их физическую и математическую истинность; первая состоит в проверяемом опытом соответствии действительности, вторая — в логической непротиворечивости. Лобачевский дал, т. о., материалистическую установку философии математики. Перечисленные общие принципы сыграли важную роль не только в Геометрия, но и в математике вообще, в развитии её аксиоматического метода, в понимании её отношения к действительности.
Главная особенность нового периода в истории Геометрии, начатого Лобачевским, состоит в развитии новых геометрических теорий — новых «геометрий» и в соответствующем обобщении предмета Геометрия; возникает понятие о разного рода «пространствах» (термин «пространство» имеет в науке два смысла: с одной стороны, это обычное реальное пространство, с другой — абстрактное «математическое пространство»). При этом одни теории складывались внутри евклидовой Геометрия в виде её особых глав и лишь потом получали самостоятельное значение. Так складывались проективная, аффинная, конформная Геометрия и др., предметом которых служат свойства фигур, сохраняющиеся при соответствующих (проективных, аффинных, конформных и др.) преобразованиях. Возникло понятие проективного, аффинного и конформного пространств; сама евклидова Геометрия стала рассматриваться в известном смысле как глава проективной Геометрия Др. теории, подобно геометрии Лобачевского, с самого начала строились на основе изменения и обобщения понятий евклидовой Геометрия Так, создавалась, например, многомерная Геометрия; первые относящиеся к ней работы (Геометрия Грасман и А. Кэли, 1844) представляли формальное обобщение обычной аналитической Геометрия с трёх координат на n. Некоторый итог развития всех этих новых «геометрий» подвёл в 1872 Ф. Клейн, указав общий принцип их построения.
Принципиальный шаг был сделан Б. Риманом (лекция 1854, опубликована 1867). Во-первых, он ясно формулировал обобщённое понятие пространства как непрерывной совокупности любых однородных объектов или явлений (см. раздел Обобщение предмета геометрии). Во-вторых, он ввёл понятие пространства с любым законом измерения расстояний бесконечно малыми шагами (подобно измерению длины линии очень малым масштабом). Отсюда развилась обширная область Геометрия, т. н. риманова геометрия и её обобщения, нашедшая важные приложения в теории относительности, в механике и др.
В тот же период зародилась топология как учение о тех свойствах фигур, которые зависят лишь от взаимного прикосновения их частей и которые тем самым сохраняются при любых преобразованиях, не нарушающих и не вводящих новых прикосновений, т. е. происходящих без разрывов и склеиваний. В 20 в. топология развилась в самостоятельную дисциплину.
Так Геометрия превратилась в разветвленную и быстро развивающуюся в разных направлениях совокупность математических теорий, изучающих разные пространства (евклидово, Лобачевского, проективное, римановы и т.д.) и фигуры в этих пространствах.
Ситуация была осмыслена после выхода книги Д. Гильберта «Основания геометрии», он и предложил то понятие аксиоматического метода, с которого мы начали. Гильберт понял, что для того, чтобы разобраться с основаниями геометрии, необходимо полностью исключить из аксиом все, кроме логики. Он красочно выразил эту мысль следующим образом: «Справедливость аксиом и теорем ничуть не поколеблется, если мы заменим привычные термины «точка, прямая, плоскость» другими, столь же условными: «стул, стол, пивная кружка»!
Именно Гильберт построил первую последовательную и полную систему аксиом для элементарной геометрии, это произошло в самом конце XIX века. Таким образом, аксиоматический метод был фактически создан для того, чтобы доказать невозможность доказательства некоторых, в данном случае геометрических, утверждений.
Гильберт был горд своим открытием и думал, что этот метод можно распространить на всю математику в целом: не только на элементарную геометрию, но и на арифметику, анализ, теорию множеств. Он провозгласил «программу Гильберта», целью которой было разработать системы аксиом для всех частей математики (и даже частей физики) и затем установить непротиворечивость математики ограниченными средствами. Как только Гильберт осознал возможности аксиоматического метода, казалось, что для такого развития открыта прямая дорога. Гильберт даже произнес в 1930 году знаменитую фразу, которая в переводе на русский язык звучит как «Мы должны знать, и мы будем знать», имея в виду, что все, что математики должны знать, они рано или поздно узнают. Эта цель, однако, оказалась неосуществимой, что выяснилось значительно позже. Что самое удивительное: теорема, которая фактически опровергла эти надежды, а именно теорема Курта Гёделя о неполноте, была провозглашена на той же самой конференции, в 1930 году, на которой Гильберт произнес свою знаменитую речь, ровно за день до этого события.
Топология как геометрия XX века
Аксиоматический метод Гильберта позволяет построить математические теории на четко выделенных математических утверждениях, из которых прочие получаются логическим путем. Гильберт на самом деле пошел дальше и решил, что сведение математики к логике можно продолжить. Можно дальше задать вопрос: «А можно ли избавиться от объяснения смысла того, что такое логическая операция?» Саму логику можно убрать из аксиоматического метода. От аксиоматических теорий мы переходим к формальным аксиоматическим теориям — это теории, записанные в символьном виде, при этом математика превращается уже не просто в последовательность логических выводов, а в некоторую игру переписывания формальных выражений по определенным правилам. Именно эта игра, абсолютно лишенная смысла, если смотреть на нее наивно, дает точную математическую модель того, что такое «доказательство». С помощью анализа этой игры можно доказывать, что математические теоремы невозможно доказать. Но главное: в результате формализации математики впервые построили полностью формализованные языки, которые привели к созданию языков программирования, языков баз данных. Современное развитие компьютерных технологий в конечном счете базируется на открытиях, которые были совершены в математике в начале XX века.
6. Критика аксиоматического метода
Многие математики критикуют аксиоматический метод за то, ради чего он был создан: он избавляет математику от смысла. Потому что сначала мы избавляем математику от разных геометрических представлений, от интуиции. Переходя к формальной аксиоматической теории, мы, в общем-то, и логику изгоняем из математики. И в результате от содержательного доказательства остается лишь скелет, состоящий из формальных символов. Преимущество последнего ровно том, что мы не знаем, что такое «смысл» и «интуиция», но зато точно знаем, что такое манипуляции с конечными строками символов. Это и позволяет нам построить точную математическую модель сложного явления — доказательства — и подвергнуть ее математическому анализу.
Математическое доказательство изначально было психологическим процессом убеждения собеседника в верности того или иного утверждения. В формальной системе это не так: все свелось к чисто механическому процессу. Этот чисто механический процесс способен выполнять компьютер. Однако, как и всякая модель, механический процесс передает лишь некоторые черты реальных доказательств. У такой модели есть свои границы применимости. Неверно думать, что формальные доказательства и есть «настоящие» математические доказательства или что математики на самом деле работают в рамках определенных формальных систем.
Отдельно стоит сказать о преподавании математики. Нет ничего хуже, чем строить обучение школьников на выполнении механических действий (алгоритмов) или же на построении формальных логических выводов. Так можно загубить в человеке любое творческое начало. Соответственно, при обучении математике не стоит подходить с позиции строгого аксиоматического метода в смысле Гильберта — не для того он был создан.
Евклидова геометрия — это геометрическая теория, основанная на системе аксиом, которая была впервые изложена в третьем веке до нашей эры великим древнегреческим математиком Евклидом в грандиозном научном труде «Начала».
Система аксиом Евклида базируется на основных геометрические понятиях таких, как точка, прямая, плоскость, движение, а также на следующие отношения: «точка лежит на прямой на плоскости», «точка лежит между двумя другими».
В «Началах» Евклид представил следующую аксиоматику:
· От всякой точки до всякой точки можно провести прямую.
· Ограниченную прямую можно непрерывно продолжать по прямой.
· Из всякого центра всяким раствором может быть описан круг.
· Все прямые углы равны между собой.
· Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Тщательное изучение аксиоматики Евклида во второй половине XIX века показало её неполноту. В 1899 году Д. Гилберт предложил первую строгую аксиоматику евклидовой геометрии. Впоследствии еще не раз ученые предпринимали попытки усовершенствовать аксиоматику евклидовой геометрии. Кроме аксиоматики Гилберта, известными считаются: аксиоматики Тарского и аксиоматики Биргофа, которая состоит всего лишь из 4 аксиом.
В современной трактовке система аксиом Евклида может быть разделена на пять а групп:
· Во-первых, через каждые две точки можно провести прямую и притом только одну.
· Во-вторых, на каждой прямой лежат по крайней мере две точки. При этом существуют хотя бы три точки, которые не лежат на одной прямой.
· В-третьих, через каждые три точки, не лежащие на одной прямой, можно провести плоскость и притом только одну.
· В-четвертых, на каждой плоскости есть по крайней мере три точки, а также существуют хотя бы четыре точки, не лежащие в одной плоскости.
· В-пятых, если две точки данной прямой лежат на данной плоскости, значит и сама прямая лежит на этой плоскости.
· В-шестых, если две плоскости имеют общую точку, то, следовательно они имеют и общую прямую.
· Во-первых, если точка В лежит между А и С, то все три лежат на одной прямой.
· Во-вторых, для каждых точек А, В существует такая точка С, что В лежит между А и С.
· В-третьих, из трёх точек прямой только одна лежит между двумя другими.
· В-четвертых, если прямая пересекает одну сторону треугольника, значит она пересекает при этом и другую его сторону или проходит через вершину (отрезок AB определяется как множество точек, лежащих между А и В; аналогично определяются стороны треугольника).
· Во-первых, движение ставит в соответствие точкам точки, прямым прямые, плоскостям плоскости, сохраняя принадлежность точек прямым и плоскостям.
· Во-вторых, два последовательных движения вновь дают движение, и для всякого движения есть обратное.
· В-третьих, если даны точки А, A’ и полуплоскости A, A‘, ограниченные продолженными полупрямыми а, а’, которые исходят из точек А, A’, то существует единственное движение, переводящее А, а, A в A’, a’, A’ (полупрямая и полуплоскость легко определяются на основе понятий сочетания и порядка).
· Во-первых, как гласит аксиома Архимеда, всякий отрезок можно перекрыть любым отрезком, откладывая на первом его достаточное количество раз (откладывание отрезка осуществляется движением).
· Во-вторых, согласно аксиоме Кантора: если дана последовательность отрезков, вложенных один в другой, то все они имеют хотя бы одну общую точку.
Аксиома параллельности Евклида: через точку А вне прямой а в плоскости, проходящей через А и а, можно провести лишь одну прямую, не пересекающую а.
Евклидова геометрия стала результатом систематизации и обобщения наглядных представлений человека об окружающем мире.
Жаркие споры с целью выяснения истины и правильных способов рассуждений велись в Древней Греции, и именно в таких спорах возникли геометрические рассуждения и доказательства. Фалес Милетский доказывал очень простые и очевидные на первый взгляд теоремы. Он осознал, что очевидность может оказаться обманчивой и доказывать нужно даже очевидные утверждения. Это было очень важным шагом в становлении математики.
Древнегреческие математики не только обосновали правила вычисления площадей, применявшиеся в Древнем Египте и Вавилонии, но и продвинулись далеко вперед. Для вычисления площади круга и объема пирамиды Eвдокс Книдский разработал специальный метод, впоследствии получивший название метода исчерпывания. Труды самого Евдокса не сохранились, но его результаты детально изложены в «Началах» Евклида. Значительная часть «Начал» посвящена стереометрии; они завершаются теорией правильных многогранников.
Архимед (287-212 гг. до н. э.) первым вычислил объем шара, доказав, что объем цилиндра, описанного вокруг шара, в 1,5 раза больше объема шара. Архимед считал это одним из важнейших своих достижений и даже завещал установить на его надгробии цилиндр и шар; по этому знаку впоследствии Цицерон нашел на Сицилии заброшенную и заросшую терновником могилу Архимеда. Архимед сумел также найти площадь и объем нескольких сложных геометрических фигур, и эти результаты очень долго оставались непревзойденными.
Архимед получил весьма точные оценки числа π, рассматривая правильные многоугольники, вписанные в окружность, и правильные многоугольники, описанные около окружности. Он доказал, что 3(10/71)
Несколько изящных геометрических теорем Архимед собрал в «Книгу лемм», сохранившуюся только в арабском переводе. Еще несколько теорем Архимеда сохранилось в изложении аль-Бируни (973-1048). Когда были обнаружены и переведены сочинения аль-Бируни, выяснилось, что задолго до Герона Архимед вывел формулу, выражающую площадь треугольника через длины его сторон; ныне ее называют формулой Герона.
Архимед обнаружил 13 полуправильных многогранников, грани которых правильные многоугольники, но необязательно равные. Четырнадцатый полуправильный многогранник был обнаружен лишь в 1957 г. советским математиком В, Г. Ашкинузи.
Древний Рим, многое перенявший из культурного наследия Древней Греции, оказался совершенно невосприимчивым к математике. Геометрия там не только не развивалась, но даже почти не изучалась. По свидетельству Цицерона, в Древнем Риме развитие математики ограничивалось надобностями денежных расчетов и земельных межеваний. Но уже сами эти слова Цицерона показывают, что говорить в такой ситуации о развитии математики – сильное преувеличение.
Греческие традиции изучения геометрии в большей степени, чем в средневековой Европе, распространились в арабских странах. Многие труды греческих геометров сохранились лишь в арабских переводах. Арабские математики не только переводили и комментировали сочинения древнегреческих геометров, но и сами получали важные результаты. Исследованием пятого постулата Евклида занимались Сабит ибн Курра (836-901) и Омар Хайям. Аль-Каши с большой точностью вычислил число π. Абу-ль-Вафа изучал задачи на построение циркулем фиксированного раствора.
Независимо от Древней Греции геометрия развивалась в Китае и в Индии. В Китае в первые века нашей эры умели вычислять площадь круга, объем цилиндра, усеченного конуса и усеченной пирамиды. Индийский математик Брахмагупта (598-660) детально изучил свойства вписанных четырехугольников.
Возрождение математики в Европе началось с изучения трудов древнегреческих математиков и с переводов их на латинский язык, Первым важным достижением европейских математиков в геометрии было введение координат на плоскости французскими математиками Рене Декартом (1596-1650) и Пьером Ферма (1601-1665). Метод координат позволил связать геометрию с алгеброй. Интересно, что для Декарта основным стимулом для введения координат послужила следующая задача, предложенная древнегреческими геометрами: найти множество всех точек, для каждой из которых произведение расстояний до двух данных прямых равно произведению расстояний до двух других данных прямых. Ферма тоже внимательно изучал труды древнегреческих математиков, делая на полях замечания о своих обобщениях их результатов. Идея ввести координаты не только на плоскости, но и в пространстве встречается уже у Декарта и Ферма, но разработал эту идею и применил на практике французский математик и физик Алексис Клод Клеро, много занимавшийся вопросом о том, какую форму имеет Земля – сколь существенно отличается она от шара.
Декарт занимался также исследованием выпуклых многогранников. Он установил в 1620 г., что число вершин V, число ребер E и число граней F связаны соотношением V – E + F = 2, но не опубликовал этот результат. В 1758 г. эту формулу переоткрыл Эйлер, и теперь ее обычно называют формулой Эйлера.
Геометрия была настолько важной составляющей частью математики, что в XIX в. всех математиков, даже занимавшихся в основном алгеброй или анализом, называли геометрами, Понятие вектора в математику и физику ввел ирландский математик Уильям Роуан Гамильтон (1805-1865), но некоторое представление о векторах задолго до него имели Галилей и Ньютон. Гамильтон определял векторы с помощью координат. Такой подход позволил рассматривать векторы не только с двумя или тремя координатами, но и с любым числом координат. Так Гамильтон смог ввести понятие n-мерного пространства, в котором векторы имеют n координат. Одновременно с Гамильтоном понятие многомерного пространства ввел немецкий математик Герман Грассман (1809-1877). Подход Грассмана был более абстрактный и сначала воспринимался математиками с большим трудом, но впоследствии этот подход оказался очень плодотворным и нашел широкое применение не только в геометрии, но и в алгебре.
В 1854 г. немецкий математик Бернхард Риман обобщил понятие многомерного пространства и разработанную К. Р. Гауссом теорию поверхностей. Введенные им пространства, получившие название римановых, широко применяются в современной физике. Именно в терминах римановых пространств формулируется общая теория относительности Эйнштейна.
Большую роль в формировании современного представления о геометрии сыграла так называемая эрлангенская программа немецкого математика Феликса Клейна (1849-1925). В ней Клейн предложил систематизацию геометрии на основе движений. По мнению Клейна, важнейшая задача геометрии – изучение свойств, сохраняющихся при движениях. Под геометрией Клейн подразумевал не только евклидову геометрию, но и другие геометрии – геометрию Лобачевского, геометрию на сфере, проективную геометрию.
Не следует думать, что к настоящему времени развитие геометрии завершено, что все, что можно, в ней открыто и обосновано. Геометрия, как и другие науки, успешно развивается и обогащается новыми крупными результатами, расширяет сферу своих приложений и находит все новых и новых приверженцев.
Теперь вы знаете какие однокоренные слова подходят к слову Кто написал первый учебник геометрии как он назывался, а так же какой у него корень, приставка, суффикс и окончание. Вы можете дополнить список однокоренных слов к слову "Кто написал первый учебник геометрии как он назывался", предложив свой вариант в комментариях ниже, а также выразить свое несогласие проведенным с морфемным разбором.