Реферат по геометрии на тему аксиомы

Обновлено: 02.07.2024

Аксиоматический метод появился в Древней Греции, а сейчас применяется во всех теоретических науках, прежде всего в математике. Аксиоматический метод построения научной теории заключается в следующем: выделяются основные понятия, формулируются аксиомы теории, а все остальные утверждения выводятся логическим путём, опираясь на них. Основные понятия выделяются следующим образом. Известно, что одно понятие должно разъясняться с помощью других, которые, в свою очередь, тоже определяются с помощью каких-то известных понятий. Таким образом, мы приходим к элементарным понятиям, которые нельзя определить через другие. Эти понятия и называются основными. Когда мы доказываем утверждение, теорему, то опираемся на предпосылки, которые считаются уже доказанными. Но эти предпосылки тоже доказывались, их нужно было обосновать. В конце концов, мы приходим к недоказываемым утверждениям и принимаем их без доказательства. Эти утверждения называются аксиомами. Набор аксиом должен быть таким, чтобы, опираясь на него, можно было доказать дальнейшие утверждения. Выделив основные понятия и сформулировав аксиомы, далее мы выводим теоремы и другие понятия логическим путём. В этом и заключается логическое строение геометрии. Аксиомы и основные понятия составляют основания планиметрии. Так как нельзя дать единое определение основных понятий для всех геометрий, то основные понятия геометрии следует определить как объекты любой природы, удовлетворяющие аксиомам этой геометрии. Таким образом, при аксиоматическом построении геометрической системы мы исходим из некоторой системы аксиом, или аксиоматики. В этих аксиомах описываются свойства основных понятий геометрической системы, и мы можем представить основные понятия в виде объектов любой природы, которые обладают свойствами, указанными в аксиомах. После формулировки и доказательства первых геометрических утверждений становится возможным доказывать одни утверждения (теоремы) с помощью других. Доказательства многих теорем приписываются Пифагору и Демокриту. Гиппократу Хиосскому приписывается составление первого систематического курса геометрии, основанного на определениях и аксиомах. Этот курс и его последующие обработки назывались "Элементы". Потом, в III в. до н.э., в Александрии появилась книга Евклида с тем же названием, в русском переводе "Начала". От латинского названия "Начал" произошёл термин "элементарная геометрия". Несмотря на то, что сочинения предшественников Евклида до нас не дошли, мы можем составить некоторое мнение об этих сочинениях по "Началам" Евклида. В "Началах" имеются разделы, логически весьма мало связанные с другими разделами. Появление их объясняется только тем, что они внесены по традиции и копируют "Начала" предшественников Евклида. "Начала" Евклида состоят из 13 книг. 1 - 6 книги посвящены планиметрии, 7 - 10 книги - об арифметике и несоизмеримых величинах, которые можно построить с помощью циркуля и линейки. Книги с 11 по 13 были посвящены стереометрии. "Начала" начинаются с изложения 23 определений и 10 аксиом. Первые пять аксиом - "общие понятия", остальные называются "постулатами". Первые два постулата определяют действия с помощью идеальной линейки, третий - с помощью идеального циркуля. Четвёртый, "все прямые углы равны между собой", является излишним, так как его можно вывести из остальных аксиом. Последний, пятый постулат гласил: "Если прямая падает на две прямые и образует внутренние односторонние углы в сумме меньше двух прямых, то, при неограниченном продолжении этих двух прямых, они пересекутся с той стороны, где углы меньше двух прямых". Пять "общих понятий" Евклида являются принципами измерения длин, углов, площадей, объёмов: "равные одному и тому же равны между собой", "если к равным прибавить равные, суммы равны между собой", "если от равных отнять равные, остатки равны между собой", "совмещающиеся друг с другом равны между собой", "целое больше части". Далее началась критика геометрии Евклида. Критиковали Евклида по трём причинам: за то, что он рассматривал только такие геометрические величины, которые можно построить с помощью циркуля и линейки; за то, что он разрывал геометрию и арифметику и доказывал для целых чисел то, что уже доказал для геометрических величин, и, наконец, за аксиомы Евклида. Наиболее сильно критиковали пятый постулат, самый сложный постулат Евклида. Многие считали его лишним, и что его можно и нужно вывести из других аксиом. Другие считали, что его следует заменить более простым и наглядным, равносильным ему: "Через точку вне прямой можно провести в их плоскости не более одной прямой, не пересекающей данную прямую".

Критика разрыва между геометрией и арифметикой привела к расширению понятия числа до действительного числа. Споры о пятом постулате привели к тому, что в начале XIX века Н.И. Лобачевский, Я. Бойяи и К.Ф. Гаусс построили новую геометрию, в которой выполнялись все аксиомы геометрии Евклида, за исключением пятого постулата. Он был заменён противоположным утверждением: "В плоскости через точку вне прямой можно провести более одной прямой, не пересекающей данную". Эта геометрия была столь же непротиворечивой, как и геометрия Евклида. Модель планиметрии Лобачевского на евклидовой плоскости была построена французским математиком Анри Пуанкаре в 1882 г. На евклидовой плоскости проведём горизонтальную прямую. Эта прямая называется абсолютом (x). Точки евклидовой плоскости, лежащие выше абсолюта, являются точками плоскости Лобачевского. Плоскостью Лобачевского называется открытая полуплоскость, лежащая выше абсолюта. Неевклидовы отрезки в модели Пуанкаре - это дуги окружностей с центром на абсолюте или отрезки прямых, перпендикулярных абсолюту (AB, CD). Фигура на плоскости Лобачевского - фигура открытой полуплоскости, лежащей выше абсолюта (F). Неевклидово движение является композицией конечного числа инверсий с центром на абсолюте и осевых симметрий, оси которых перпендикулярны абсолюту. Два неевклидовых отрезка равны, если один из них неевклидовым движением можно перевести в другой. Таковы основные понятия аксиоматики планиметрии Лобачевского. Все аксиомы планиметрии Лобачевского непротиворечивы. Определение прямой следующее: "Неевклидова прямая - это полуокружность с концами на абсолюте или луч с началом на абсолюте и перпендикулярный абсолюту". Таким образом, утверждение аксиомы параллельности Лобачевского выполняется не только для некоторой прямой и точки A, не лежащей на этой прямой, но и для любой прямой и любой не лежащей на ней точки A. За геометрией Лобачевского возникли и другие непротиворечивые геометрии: от евклидовой отделилась проективная геометрия, сложилась многомерная евклидова геометрия, возникла риманова геометрия (общая теория пространств с произвольным законом измерения длин) и др. Из науки о фигурах в одном трёхмерном евклидовом пространстве геометрия за 40 - 50 лет превратилась в совокупность разнообразных теорий, лишь в чём-то сходных со своей прародительницей - геометрией Евклида.

Аксиомы планиметрии

- Какова бы ни была прямая, существуют точки, принадлежащие этой прямой, и точки, не принадлежащие ей.

- Через любые две точки можно провести прямую, и только одну.

- Из трех точек на прямой одна и только одна лежит между двумя другими.

- Прямая разбивает плоскость на две полуплоскости.

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

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

- На любой полупрямой от ее начальной точки можно отложить отрезок, заданной длины, и только один.

- От любой полупрямой в заданную полуплоскость можно отложить угол заданной градусной мерой, меньшей 180 градусов, и только один.

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

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

Евклид (иначе Эвклид) – древнегреческий математик, автор первого из дошедших до нас теоретических трактатов по математике. Биографические сведения о Евклиде крайне скудны. Известно лишь, что учителями Евклида в Афинах были ученики Платона, а в правление Птолемея I (306-283 до н.э.) он преподавал в Александрийской академии.

Евклид – первый математик александрийской школы. Евклид – автор ряда работ по астрономии, оптике, музыке и др. Арабские авторы приписывают Евклиду и различные трактаты по механике, в том числе сочинения о весах и об определении удельного веса. Умер Евклид между 275 и 270 до н. э.

Другие сочинения Евклида

Н.И. Лобачевский

Другие математические достижения

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

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

1. Самин Д. К. 100 великих ученых

2. Диоген Лаэртский. О жизни, учениях и изречениях знаменитых философов. - М.: Наука, 1995.

Аксиомы геометрии ( реферат , курсовая , диплом , контрольная )

Содержание

1. ВВЕДЕНИЕ
2. АКСИОМЫ СОЕДИНЕНИЯ
3. АКСИОМЫ ПОРЯДКА
4. АКСИОМЫ РАВЕНСТВА (КОНГРУЭНТНОСТИ)
5. АКСИОМЫ РАССТОЯНИЯ
6. АКСИОМЫ ПАРАЛЛЕЛЬНОСТИ
7. ЛИТЕРАТУРА

е. наложится на точку М1 внутренней области треугольника А1В1С1. Таким же образом можно доказать и обратное: на любую точку внутренней области треугольника А1В1С1 наложится некоторая точка внутренней области треугольника АВС. Итак, при указанном наложении треугольники АВС и А1В1С1 полностью совместятся, т. е. они равны.

5. Аксиомы расстояния

Следующие две аксиомы связаны с измерением отрезков. Прежде чем их сформулировать, напомним, как измеряются отрезки. Пусть отрезок АВ — измеряемый отрезок, PQ — выбранная единица измерения отрезков. На луче АВ отложим отрезок АА1=PQ, на луче А1В — отрезок А1А2=PQ и т. д. до тех пор, пока точка Аn не совпадет с точкой В либо точка В не окажется лежащей между Аn и An+1. В первом случае говорят, что длина отрезка АВ при единице измерения PQ выражается числом n (или что отрезок PQ укладывается на отрезке АВ n раз). Во втором случае можно сказать, что длина отрезка АВ при единице измерения PQ приближенно выражается числом n. Для более точного измерения отрезок PQ делят на равные части, обычно на 10 равных частей, и с помощью одной из этих частей измеряют описанным способом остаток АnВ.

Если при этом десятая часть отрезка PQ не укладывается целое число раз в измеряемом остатке, то ее также делят на 10 равных частей и продолжают процесс измерения. Мы утверждаем, что таким способом можно измерить любой отрезок, т. е. выразить его длину при данной единице измерения конечной или бесконечной десятичной дробью. Это утверждение кратко формулируем так:

IV1 При выбранной единице измерения отрезков длина каждого отрезка выражается положительным числом.

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

IV2 При выбранной единице измерения отрезков для любого положительно числа существует отрезок, длина которого выражается этим числом [25, "https://referat.bookap.info"].

6. Аксиомы параллельности

V1 В любой плоскости через точку, не лежащую на данной прямой этой плоскости, проходит только одна прямая, параллельная данной.

Литература

Для учеников 1-11 классов и дошкольников
Бесплатные сертификаты учителям и участникам

Аксиоматический метод появился в Древней Греции, а сейчас применяется во всех теоретических науках, прежде всего в математике.

Аксиоматический метод построения научной теории заключается в следующем : выделяются основные понятия, формулируются аксиомы теории, а все остальные утверждения выводятся логическим путём, опираясь на них.

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

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

Выделив основные понятия и сформулировав аксимы, далее мы выводим теоремы и другие понятия логическим путём. В этом и заключается логическое строение геометрии. Аксиомы и основные понятия составляют основания планиметрии.

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

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

Потом, в III в. до н.э., в Александрии появилась книга Евклида с тем же названием, в русском переводе "Начала". От латинского названия "Начал" произошёл термин "элементарная геометрия". Несмотря на то, что сочинения предшественников Евклида до нас не дошли, мы можем составить некоторое мнение об этих сочинениях по "Началам" Евклида. В "Началах" имеются разделы, логически весьма мало связанные с другими разделами. Появление их объясняется только тем, что они внесены по традиции и копируют "Начала" предшественников Евклида.

"Начала" Евклида состоят из 13 книг. 1 - 6 книги посвящены планиметрии, 7 - 10 книги - об арифметике и несоизмеримых величинах, которые можно построить с помощью циркуля и линейки. Книги с 11 по 13 были посвящены стереометрии.

"Начала" начинаются с изложения 23 определений и 10 аксиом. Первые пять аксиом - "общие понятия", остальные называются "постулатами". Первые два постулата определяют действия с помощью идеальной линейки, третий - с помощью идеального циркуля. Четвёртый, "все прямые углы равны между собой", является излишним, так как его можно вывести из остальных аксиом. Последний, пятый постулат гласил : "Если прямая падает на две прямые и образует внутренние односторонние углы в сумме меньше двух прямых, то, при неограниченном продолжении этих двух прямых, они пересекутся с той стороны, где углы меньше двух прямых".

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

Далее началась критика геометрии Евклида. Критиковали Евклида по трём причинам : за то, что он рассматривал только такие геометрические величины, которые можно построить с помощью циркуля и линейки; за то, что он разрывал геометрию и арифметику и доказывал для целых чисел то, что уже доказал для геометрических величин, и, наконец, за аксиомы Евклида. Наиболее сильно критиковали пятый постулат, самый сложный постулат Евклида. Многие считали его лишним, и что его можно и нужно вывести из других аксиом. Другие считали, что его следует заменить более простым и наглядным, равносильным ему : "Через точку вне прямой можно провести в их плоскости не более одной прямой, не пересекающей данную прямую".

Модель планиметрии Лобачевского на евклидовой плоскости была построена французским математиком Анри Пуанкаре в 1882 г.

На евклидовой плоскости проведём горизонтальную прямую (см. рисунок 1). Эта прямая называется абсолютом (x). Точки евклидовой плоскости, лежащие выше абсолюта, являются точками плоскости Лобачевского. Плоскостью Лобачевского называется открытая полуплоскость, лежащая выше абсолюта. Неевклидовы отрезки в модели Пуанкаре - это дуги окружностей с центром на абсолюте или отрезки прямых, перпендикулярных абсолюту (AB, CD). Фигура на плоскости Лобачевского - фигура открытой полуплоскости, лежащей выше абсолюта (F). Неевклидово движение является композицией конечного числа инверсий с центром на абсолюте и осевых симметрий, оси которых перпендикулярны абсолюту. Два неевклидовых отрезка равны, если один из них неевклидовым движением можно перевести в другой. Таковы основные понятия аксиоматики планиметрии Лобачевского.

Все аксиомы планиметрии Лобачевского непротиворечивы. Определение прямой следующее : "Неевклидова прямая - это полуокружность с концами на абсолюте или луч с началом на абсолюте и перпендикулярный абсолюту". Таким образом, утверждение аксиомы параллельности Лобачевского выполняется не только для некоторой прямой a и точки A, не лежащей на этой прямой, но и для любой прямой a и любой не лежащей на ней точки A

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

Функция "чтения" служит для ознакомления с работой. Разметка, таблицы и картинки документа могут отображаться неверно или не в полном объёме!

МОУ “ООШ №16" Доклад на тему:

“Аксиомы планиметрии” Выполнила:

Ученица 7 класса

Аулова Евгения Астрахань 2010

Из истории аксиом Аксиоматический метод появился в Древней Греции, а сейчас применяется во всех теоретических науках, прежде всего в математике. Аксиоматический метод построения научной теории заключается в следующем: выделяются основные понятия, формулируются аксиомы теории, а все остальные утверждения выводятся логическим путём, опираясь на них. Основные понятия выделяются следующим образом. Известно, что одно понятие должно разъясняться с помощью других, которые, в свою очередь, тоже определяются с помощью каких-то известных понятий. Таким образом, мы приходим к элементарным понятиям, которые нельзя определить через другие. Эти понятия и называются основными. Когда мы доказываем утверждение, теорему, то опираемся на предпосылки, которые считаются уже доказанными. Но эти предпосылки тоже доказывались, их нужно было обосновать. В конце концов, мы приходим к недоказываемым утверждениям и принимаем их без доказательства. Эти утверждения называются аксиомами. Набор аксиом должен быть таким, чтобы, опираясь на него, можно было доказать дальнейшие утверждения. Выделив основные понятия и сформулировав аксиомы, далее мы выводим теоремы и другие понятия логическим путём. В этом и заключается логическое строение геометрии. Аксиомы и основные понятия составляют основания планиметрии. Так как нельзя дать единое определение основных понятий для всех геометрий, то основные понятия геометрии следует определить как объекты любой природы, удовлетворяющие аксиомам этой геометрии. Таким образом, при аксиоматическом построении геометрической системы мы исходим из некоторой системы аксиом, или аксиоматики. В этих аксиомах описываются свойства основных понятий геометрической системы, и мы можем представить основные понятия в виде объектов любой природы, которые обладают свойствами, указанными в аксиомах. После формулировки и доказательства первых геометрических утверждений становится возможным доказывать одни утверждения (теоремы) с помощью других. Доказательства многих теорем приписываются Пифагору и Демокриту. Гиппократу Хиосскому приписывается составление первого систематического курса геометрии, основанного на определениях и аксиомах. Этот курс и его последующие обработки назывались "Элементы". Потом, в III в. до н.э., в Александрии появилась книга Евклида с тем же названием, в русском переводе "Начала". От латинского названия "Начал" произошёл термин "элементарная геометрия". Несмотря на то, что сочинения предшественников Евклида до нас не дошли, мы можем составить некоторое мнение об этих сочинениях по "Началам" Евклида. В "Началах" имеются разделы, логически весьма мало связанные с другими разделами. Появление их объясняется только тем, что они внесены по традиции и копируют "Начала" предшественников Евклида. "Начала" Евклида состоят из 13 книг. 1 - 6 книги посвящены планиметрии, 7 - 10 книги - об арифметике и несоизмеримых величинах, которые можно построить с помощью циркуля и линейки. Книги с 11 по 13 были посвящены стереометрии. "Начала" начинаются с изложения 23 определений и 10 аксиом. Первые пять аксиом - "общие понятия", остальные называются "постулатами". Первые два постулата определяют

Значение понятия "аксиома". Полное выяснение роли и подлинного значения. Впервые термин "аксиома" встречается у Аристотеля и перешёл в математику от философов Древней Греции. Евклид различает понятия "постулат" и "аксиома", не объясняя их различия.

Подобные документы

Геометрическая теория, основанная на системе аксиом, впервые изложенная в "Началах" математика Евклида (III век до н.э.). Аксиома как "фундамент" для построения доказательств утверждений или теорем. Научные исследования и педагогические заслуги Евклида.

презентация, добавлен 21.02.2017

Аксиомы теории Цернело-Френкеля по устранению. Аксиома выбора как один из важнейших теоретико-множественных принципов, альтернативные формулировки аксиомы и её применение. Принцип вполне упорядочивания и лемма Цорна для частично упорядоченных множеств.

реферат, добавлен 11.10.2014

Развитие новых идей и методов в математике. Определения, изложенные в "Началах" Евклида. Аксиома о свойствах прямоугольного треугольника. Критика евклидовского обоснования геометрии. Основоположники неевклидовой геометрии. Идеи Лобачевского и Бояй.

реферат, добавлен 20.11.2010

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

реферат, добавлен 04.09.2014

Сущность аксиомы как положения, принимаемого без логического доказательства в силу непосредственной убедительности. Аксиомы геометрии: история и ученые-разработчики. Общепринятый аксиоматический метод в математике и его понятие за пределами математики.

доклад, добавлен 04.12.2008

Система аксиом Гильберта. Аксиоматика школьного курса по учебнику Погорелова. Основное назначение группы аксиом непрерывности. Аксиомы меры для углов и отрезков. Аксиома существования треугольника, равного данному. Аксиома о параллельных Н. Лобачевского.

контрольная работа, добавлен 14.07.2012

Определение содержания и исследование истории доказательств аксиомы параллельности Евклида, или пятого постулата, как одной из аксиом, лежащих в основании классической планиметрии. Разработка Николаем Ивановичем Лобачевским доказательства V постулата.

презентация, добавлен 13.04.2012

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

презентация, добавлен 13.04.2012

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

презентация, добавлен 12.03.2015

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

Читайте также:

Реферат по геометрии на тему аксиомы

Аксиомы геометрии ( реферат , курсовая , диплом , контрольная )

Содержание

Литература

Похожие работы

Подобные документы