Так сколько же аксиом в геометрии?
Евклид в своих "Началах" описал пять аксиом:
1. Через каждые две точки можно провести ровно одну прямую;
2. Вдоль любого отрезка можно провести прямую;
3. Имея отрезок, можно провести окружность так, что отрезок — радиус, а один из его концов — центр окружности;
4. Все прямые углы равны.
5. Аксиома параллельности Евклида: Через точку А вне прямой а в плоскости, проходящей через А и а, можно провести лишь одну прямую, не пересекающую а.
А вот в учебнике по геометрии за 7-11 классы А.Погорелова их девять:
1. Какова бы ни была прямая, существуют точки, принадлежащие этой прямой, и точки, не принадлежащие ей. Через любые две точки можно провести прямую, и только одну;
2. Из трех точек на прямой одна и только одна лежит между двумя другими;
3. Каждый отрезок имеет определенную длину, большую нуля. Длина отрезка равна сумме длин частей, на которые он разбивается любой его точкой.
4. Прямая разбивает плоскость на две полуплоскости.
5. Каждый угол имеет определенную градусную меру, большую нуля. Развернутый угол равен 180 градусам. Градусная мера угла равна сумме градусных мер углов, на которые он разбивается любым лучом, проходящим между его сторонами.
6. На любой полупрямой от ее начальной точки можно отложить отрезок заданной длины, и только один.
7. От любой полупрямой в заданную полуплоскость можно отложить угол с заданной градусной мерой, меньшей 180 градосов, и только один.
8. Каков бы ни был треугольник, существует равный ему треугольник в заданном расположении относительно данной полупрямой.
9. Через точку, не лежащую на данной прямой, можно провести на плоскости не более одной прямой, параллельной данной.
Некоторые аксиомы схожи, например первые, а также 5-ая у Евклида и 9-ая в учебнике Погорелова. Но откуда Погорелов взял остальные аксиомы? Или он как-то вывел их из тех пяти евклидовских аксиом? Но тогда они должны быть теоремами! В стереометрии, например, добавляются еще три аксиомы, откуда они берутся? Кто их основоположник и предусматривал ли их Евклид? Немецкий математик Гильберт, например, в своей книге "Основания геометрии" (1923 год) вообще выкладывает аж 20 аксиом! И разделяет их на пять групп. Сам ли он придумал их?
Также кто знает, уточните, пожалуйста, какие из 9-ти аксиом Погорелова соответствуют 5-ти Евклидовым.
Например:
1-ая евклидова = 1-ая погорелова
5-ая евклидова = 9-ая погорелова
а остальные?
Наука не стоит на месте. В частности, с течением времени она развивается не только "вшиль". Улучшается и понимание ОСНОВ науки, даже таких базовых как аксиомы евклидовой геометрии. Евклиду многие вещи запросто могли не приходить в голову именно потому, что они очевидны. Даже более очевидны, чем то, что через две точки можно провести только одну прямую. И поэтому он их и не выделил явным образом (например, аксиома 3 из Погорелова. Ну ведь ежу пяному понятно, что это так!) .
Мне кажется, что появление дополнительных аксиом связано именно со стремлением более строго изложить основы геометрии. Еслипочитаете историю развития теории мноржеств - то там много таких поучительных моментов (она и по сей день до конца не разработана) . Все эти вещи - точка, прямая, плоскость, взаимоотношение между точками на прямой.. . -это всё прямо относится к понятиям теории множеств. Оказывается, что ФОРМАЛЬНО можно придумать такое множество, где эти очевидные вещи могут не выполняться. Например, на множестве векторов вообще не определить понятия "больше" или "меньше" или "между". Вот для того, чтоб исключить такие парадоксы, и предложены дополнительные аксиомы. Это повышает строгость изложения последующего материала.
Впрочем, всё это лишь мои домыслы...
5. Аксиома параллельности Евклида: Через точку А вне прямой а в плоскости, проходящей через А и а, можно провести лишь одну прямую, не пересекающую а.
Это не аксиома Евклида это аксиома Плейфера есть даже теорема : Аксиома параллельности Плейфера и 5-й постулат Евклида являются эквивалентнми предложениями
В книгах по школьной программе берут оксиоматику Гильберта (включает в себя аксиоматику Евклида и собственно сами "разработки" Гильберта) и в методических целях перерабатывают ее (для большей понятности учащимися)
Поэтому можно сказать, что школьная программа это геометрия Гильберта - Евклида переработанная из методических соображений автором книги
Пересчитывать аксиомы – это неблагодарное занятие. Во-первых, аксиомы Евклида – это планиметрия, а в школьной математике рассматривается стереометрия. У Евклида плоскость одна, в стереометрии рассматривается пересечение плоскостей. (так возникает разница в количестве) .
Если говорить об аксиоматике Гильберта, то основная задача этой системы аксиом – уйти от наглядности и построить абстрактную, а потому очень надежную логическую структуру.
Кому-то удобней работать с наглядными понятиями, кто-то предпочитает наглядность. В математике существует понятие изоморфизма. Суть очень проста: не важно какие принципы и соображения лежат в основании определенной математической модели, важно понять одинаковы ли модели. Если точка в одной модели совпадает точкой в другой модели, то остается понять простую вещь: совпадают ли аксиомы, если нет, то можно ли “чужую” аксиому превратить в “свою” теорему ми доказать. Если “стыковка” произошла успешно, то математические теории изоморфны, если нет, то возникают разные геометрии: Лобачевского, Римана и т. д.
Всем привет! Если кто нашол решебник : Геометрия, 7 класс, рабочая тетрадь, И. М. Смирнова и В. А. Смирнов. Если нетрудно найдите и киньте ссылку буду благодарен!
9