"Математика: алгебра и начала математического анализа, геометрия. Геометрия (углублённый уровень)", Александров А.Д., Вернер А.Л., Рыжик В.И.
Геометрия реального пространства — это модель, которую выбирают, сопоставляя геометрические выводы с измерениями. Евклидова геометрия принимает аксиому: через точку вне прямой проходит ровно одна прямая, не пересекающая данную. Если изменить это исходное положение, возникают другие системы, например геометрия Лобачевского. На сфере прямыми считают дуги больших окружностей, и их свойства отличаются от привычных свойств линий на плоскости. Какая модель точнее описывает мир, решают по измерениям с учётом их погрешности.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Аксиома параллельных — положение евклидовой геометрии: через точку вне прямой проходит ровно одна прямая, не пересекающая данную. Это правило задаёт, как ведут себя прямые на плоскости, и позволяет доказывать свойства фигур.
Геометрия Лобачевского — система, в которой через точку вне прямой можно провести более одной прямой, не пересекающей данную. Это определение нужно, чтобы увидеть: изменение одного исходного правила меняет геометрию в целом.
Сферическая геометрия — геометрия на сфере, где прямыми служат дуги больших окружностей. Большая окружность проходит по поверхности сферы и делит её на две равные части; такая модель описывает геометрические задачи на искривлённой поверхности.
Физическая геометрия — описание реального пространства с помощью геометрических моделей, проверяемых измерениями. Она нужна, чтобы сопоставлять математические выводы с наблюдениями и выяснять, какая модель работает на заданном масштабе.
Аксиома параллельных выделяется среди остальных положений Евклида своей формулировкой: она сложнее и менее очевидна. Поэтому долго казалось, что её можно доказать на основе других аксиом, а не принимать отдельно. Но если доказательство опирается на утверждение, равносильное самой аксиоме, оно не решает задачу. В итоге аксиому рассматривают как самостоятельное основание евклидовой геометрии.
Попытки вывести аксиому параллельных привели математиков к проверке того, что произойдёт при других исходных положениях. Если вместо единственной непересекающей прямой допустить несколько, получаются новые следствия о прямых и треугольниках. Так возникла геометрия Лобачевского. Это показало, что аксиому параллельных можно не доказывать, а выбирать как часть системы.
Геометрия Лобачевского непривычна, но это само по себе не делает её противоречивой. В математике противоречие означало бы, что из принятых правил можно вывести взаимоисключающие утверждения. Новые свойства здесь следуют из другой системы исходных положений. Поэтому непривычные результаты требуют проверки логики рассуждений, а не отбрасывания из-за несходства с обыденным опытом.
На сфере прямыми считают большие окружности, и это меняет поведение линий. Любые две такие окружности пересекаются, поэтому привычных параллельных больших окружностей нет. Стороны сферического треугольника являются дугами больших окружностей, а его углы в сумме больше 180°. Причина в кривизне поверхности: правила плоской евклидовой геометрии нельзя автоматически переносить на сферу.
Чтобы решить, какая геометрия описывает реальное пространство, одного логического рассуждения недостаточно: нужно сравнивать предсказания модели с измерениями. Например, измеряют углы большого треугольника и проверяют, близка ли их сумма к 180°. Приборы дают результат с погрешностью, поэтому малое отклонение может быть незаметно. Вывод относится лишь к точности измерений и масштабу исследованной области, а не автоматически ко всему пространству.
| Свойство | Евклидова геометрия | Геометрия Лобачевского | Сферическая геометрия |
|---|---|---|---|
| Через точку вне прямой: число непересекающихся прямых | Одна | Более одной | Ни одной для больших окружностей: любые две пересекаются |
| Какие линии считаются прямыми | Прямые на плоскости | Прямые в неевклидовой геометрии | Большие окружности или их дуги |
| Сумма углов треугольника | 180° | Меньше 180° | Больше 180° |
| Поведение параллельных или кратчайших линий | Параллельные прямые не пересекаются | Несколько прямых не пересекают данную | Кратчайшие линии по большим окружностям могут пересекаться |
| Пример пространства или поверхности, на которой рассматривают модель | Плоскость | Неевклидова модель пространства | Поверхность сферы |
Сравнивайте модели по одной строке: так видно, какое именно свойство меняется при выборе другой геометрии. Строка о прямых не означает, что все модели описывают один и тот же объект одинаковым способом. Для сферы речь идёт о геометрии поверхности, а не о прямых в обычном пространстве.
Задача 1. На сфере через точку проводят две «прямые», то есть дуги больших окружностей. Нужно определить, пересекутся ли они. Под «прямыми» здесь понимаются продолжения дуг до полных больших окружностей.
Ответ: сферические прямые пересекаются; параллельных больших окружностей нет. Если рассматривают только короткие дуги, точка пересечения может не попасть в выбранный участок, поэтому важно различать дугу и полную прямую.
Задача 2. Сравните сумму углов треугольника на плоскости и на сфере. Объясните, почему сферический треугольник может иметь сумму углов больше 180°. Нельзя применять к фигуре на сфере правило для плоского треугольника, не проверив, подходит ли модель.
Ответ: на плоскости сумма равна 180°, на сфере — больше 180°. Различие объясняется кривизной поверхности, поэтому свойство плоской геометрии не переносится на сферу автоматически.
Задача 3. Измерили углы большого треугольника на поверхности Земли и получили сумму, близкую к 180°, но не равную ей в точности. Нужно оценить, можно ли считать пространство евклидовым в масштабе измерений. Численного результата и точности приборов не дано, поэтому окончательный выбор модели по одному факту отклонения сделать нельзя.
Ответ: евклидову модель допустимо считать подходящей лишь в пределах точности измерений. Такой вывод относится к данному треугольнику и масштабу, а не ко всему пространству без дополнительных данных.
Считать аксиому параллельных доказанной, потому что она кажется очевидной, — значит смешивать привычность с доказательством. Её принимают как исходное положение евклидовой системы, а не выводят из остальных аксиом. Ошибку проверяют вопросом: из каких именно положений получен вывод? Если среди них есть равносильная формулировка аксиомы, доказательство не независимо.
Называть геометрию Лобачевского противоречивой только из-за непривычных свойств — ошибка: необычный результат ещё не равен логическому противоречию. Так думают, перенося привычные свойства плоскости на систему с другими исходными правилами. Проверяйте, следует ли вывод из принятых аксиом и найдены ли действительно взаимоисключающие утверждения, а не просто непривычное свойство.
Называть большие окружности на сфере параллельными нельзя, поскольку любые две такие окружности имеют общие точки. Ошибка возникает, если считать, что прямые на сфере ведут себя как параллельные прямые на плоскости. Для проверки вспомните определение сферической прямой и представьте пересечение плоскостей, проходящих через центр сферы: их общая линия задаёт точки пересечения окружностей со сферой.
По измерениям с ограниченной точностью или по одному масштабу нельзя делать вывод о геометрии всего реального пространства. Небольшое отклонение от предсказания может скрываться в погрешности, а локально подходящая модель не обязана быть верной на больших расстояниях. Сопоставляйте отклонение с точностью приборов и ограничивайте вывод исследованной областью и масштабом.
Для понимания темы нужны аксиомы евклидовой геометрии, понятия прямой и параллельных прямых, а также свойство суммы углов треугольника. Эти знания помогают увидеть, какие привычные результаты зависят от аксиомы параллельных. Связь с физикой проявляется в моделировании пространства и сравнении моделей с измерениями. Представления о геометриях Лобачевского и сферы готовят к изучению неевклидовой геометрии и геометрии поверхностей, где кривизна влияет на свойства фигур.
Почему аксиому параллельных нельзя просто доказать из остальных аксиом?
Аксиома принимается как исходное положение системы, а не выводится из других аксиом. Попытки доказать её, используя остальные положения Евклида, не дали такого доказательства. Более того, замена аксиомы приводит к другим геометрическим системам.
Чем геометрия Лобачевского отличается от геометрии Евклида?
В геометрии Евклида через точку вне прямой проходит ровно одна прямая, не пересекающая данную. В геометрии Лобачевского таких прямых больше одной, а многие привычные свойства фигур меняются. Это другая система исходных положений, а не логическое противоречие.
Как на сфере определить прямую?
Сферической прямой называют большую окружность, то есть окружность на сфере с центром в центре сферы. На сфере в качестве кратчайшего пути между точками рассматривают дугу такой окружности. Любые две большие окружности пересекаются.
Почему сумма углов треугольника на сфере больше 180°?
Сферическая поверхность искривлена, поэтому её геометрия не совпадает с геометрией плоскости. Стороны сферического треугольника — дуги больших окружностей, и углы между ними в сумме превышают 180°. Чем больше такой треугольник относительно сферы, тем заметнее эффект кривизны.
Можно ли экспериментально доказать, что реальное пространство евклидово?
Измерения могут показать, насколько хорошо евклидова модель описывает пространство на выбранном масштабе. Но точность приборов ограничена, поэтому нельзя исключить отклонения, которые меньше погрешности. Вывод делают только в пределах точности и масштаба проведённых измерений.
II. Возможная геометрия реального пространства
