Сфера (от греч. σφαῖρα , sphaîra ) [1] — геометрический объект, являющийся трёхмерным аналогом двумерного круга . Формально сфера — это набор точек , находящихся на одинаковом расстоянии r от заданной точки трехмерного пространства . [2] Эта данная точка является центром сферы, а r — радиус сферы . Самые ранние известные упоминания о сферах появляются в работах древнегреческих математиков .
Сфера является фундаментальным объектом во многих областях математики . Сферы и почти сферические формы встречаются также в природе и промышленности. Пузыри , такие как мыльные пузыри, в равновесии принимают сферическую форму. В географии Землю часто называют сферой , а небесная сфера является важным понятием в астрономии . Промышленные изделия, включая сосуды под давлением , а также большинство изогнутых зеркал и линз , основаны на сферах. Сферы плавно катятся в любом направлении, поэтому большинство мячей , используемых в спорте и игрушках, имеют сферическую форму, как и шарикоподшипники .
Как упоминалось ранее, r — радиус сферы; любая линия, идущая от центра к точке сферы, также называется радиусом. [3]
Если радиус продлить через центр на противоположную сторону сферы, получится диаметр . Как и радиус, длину диаметра также называют диаметром и обозначают d . Диаметры — это самые длинные отрезки линий, которые можно провести между двумя точками сферы: их длина в два раза больше радиуса, d = 2 r . Две точки на сфере, соединенные диаметром, являются точками, противоположными друг другу. [3]
Единичная сфера — это сфера с единичным радиусом ( r = 1 ). Для удобства центр сферы часто находится в начале системы координат , а сферы в этой статье имеют центр в начале координат, если центр не упоминается.
Большой круг на сфере имеет тот же центр и радиус, что и сфера, и делит ее на два равных полушария .
Хотя форма Земли не является идеально сферической, к сфере удобно применять термины, заимствованные из географии. Конкретная линия, проходящая через его центр, определяет ось (как в случае с осью вращения Земли ). Пересечение оси сферы определяет два противоположных полюса ( северный полюс и южный полюс ). Большой круг, равноудаленный от полюсов, называется экватором . Большие круги, проходящие через полюса, называются линиями долготы или меридианами . Маленькие кружки на сфере, параллельные экватору, — это круги широты (или параллели ). В геометрии, не связанной с астрономическими телами, геоцентрическую терминологию следует использовать только для иллюстрации и отмечать как таковую, если только нет риска неправильного понимания. [3]
Математики рассматривают сферу как двумерную замкнутую поверхность , погруженную в трехмерное евклидово пространство . Они проводят различие между сферой и шаром , который представляет собой трехмерное многообразие с границей , включающей объем, содержащийся в сфере. Открытый шар исключает саму сферу, а закрытый шар включает сферу: закрытый шар — это объединение открытого шара и сферы, а сфера — граница шара (замкнутого или открытого). Различие между шаром и сферой не всегда сохранялось, и особенно в старых математических источниках говорится о сфере как о твердом теле. Различие между « кругом » и « диском » на плоскости аналогично.
Маленькие сферы или шарики иногда называют сферулами, например, марсианскими сферулами .
В аналитической геометрии сфера с центром ( x 0 , y 0 , z 0 ) и радиусом r является геометрическим местом всех точек ( x , y , z ) таких, что
Поскольку сфера может быть выражена в виде квадратичного многочлена, она является квадричной поверхностью , разновидностью алгебраической поверхности . [3]
Пусть a, b, c, d, e — действительные числа с a ≠ 0 , и положим
Тогда уравнение
не имеет действительных точек в качестве решений, если и называется уравнением мнимой сферы . Если , единственным решением является точка , и уравнение называется уравнением точечной сферы . Наконец , в случае – уравнение сферы с центром и радиусом . [2]
Если a в приведенном выше уравнении равно нулю, то f ( x , y , z ) = 0 — уравнение плоскости. Таким образом, плоскость можно рассматривать как сферу бесконечного радиуса, центром которой является точка, находящаяся на бесконечности . [4]
Параметрическое уравнение сферы с радиусом и центром можно параметризовать с помощью тригонометрических функций .
Используемые здесь символы такие же, как и в сферических координатах . r является постоянным, а θ изменяется от 0 до π и изменяется от 0 до 2 π .
В трех измерениях объем внутри сферы (то есть объем шара , но классически называемый объемом сферы) равен
где r — радиус, а d — диаметр сферы. Архимед впервые вывел эту формулу, показав, что объем внутри сферы в два раза превышает объем между сферой и описанным цилиндром этой сферы (имеющим высоту и диаметр, равные диаметру сферы). [6] Это можно доказать, вписав перевернутый конус в полусферу, заметив, что площадь поперечного сечения конуса плюс площадь поперечного сечения сферы равна площади поперечного сечения сферы. описывающий цилиндр и применение принципа Кавальери . [7] Эту формулу также можно вывести с помощью интегрального исчисления , то есть дискового интегрирования для суммирования объемов бесконечного числа круглых дисков бесконечно малой толщины, сложенных рядом и центрированных вдоль оси x от x = - r до x = r , предполагая, что сфера радиуса r находится в центре координат.
Для большинства практических целей объем внутри сферы, вписанной в куб, можно приблизительно определить как 52,4% объема куба, поскольку V =π/6 d 3 , где d — диаметр сферы, а также длина стороны куба иπ/6 ≈ 0,5236. Например, сфера диаметром 1 м занимает 52,4% объема куба с длиной ребра 1 м, или около 0,524 м 3 .
Площадь поверхности сферы радиуса r равна:
Архимед впервые вывел эту формулу [9] из того факта, что проекция на боковую поверхность описанного цилиндра сохраняет площадь. [10] Другой подход к получению формулы исходит из того факта, что она равна производной формулы для объема по r , поскольку общий объем внутри сферы радиуса r можно рассматривать как сумму площади поверхности бесконечное количество сферических оболочек бесконечно малой толщины, концентрически уложенных друг в друга от радиуса 0 до радиуса r . При бесконечно малой толщине несоответствие между площадью внутренней и внешней поверхности любой данной оболочки бесконечно мало, а объем элемента на радиусе r представляет собой просто произведение площади поверхности на радиусе r и бесконечно малой толщины.
Сфера имеет наименьшую площадь поверхности из всех поверхностей, заключающих данный объем, и заключает в себе самый большой объем среди всех замкнутых поверхностей с заданной площадью поверхности. [11] Таким образом, сфера возникает в природе: например, пузырьки и маленькие капли воды имеют примерно сферическую форму, потому что поверхностное натяжение локально минимизирует площадь поверхности.
Площадь поверхности относительно массы шара называется удельной площадью поверхности и может быть выражена из приведенных выше уравнений как
где ρ – плотность (отношение массы к объему).
Сферу можно построить как поверхность, образованную вращением круга на половину оборота вокруг любого из его диаметров ; это очень похоже на традиционное определение сферы, данное в « Началах» Евклида . Поскольку круг представляет собой особый тип эллипса , сфера представляет собой особый тип эллипсоида вращения . Заменив круг эллипсом, повернутым вокруг своей большой оси , форма становится вытянутым сфероидом ; вращается вокруг малой оси и представляет собой сплюснутый сфероид. [12]
Сфера однозначно определяется четырьмя некомпланарными точками . В более общем смысле, сфера однозначно определяется четырьмя условиями, такими как прохождение через точку, касание плоскости и т. д. [13] Это свойство аналогично свойству, согласно которому три неколлинеарные точки определяют уникальный круг на плоскости.
Следовательно, сфера однозначно определяется (то есть проходит через) окружностью и точкой, не лежащей в плоскости этой окружности.
Рассмотрев общие решения уравнений двух сфер , можно увидеть, что две сферы пересекаются по окружности, а плоскость, содержащая эту окружность, называется радикальной плоскостью пересекающихся сфер. [14] Хотя радикальная плоскость является реальной плоскостью, круг может быть воображаемым (сферы не имеют общей реальной точки) или состоять из одной точки (сферы касаются в этой точке). [15]
Угол между двумя сферами в реальной точке пересечения — это двугранный угол , определяемый касательными плоскостями к сферам в этой точке. Две сферы пересекаются под одинаковым углом во всех точках окружности их пересечения. [16] Они пересекаются под прямым углом ( ортогональны ) тогда и только тогда, когда квадрат расстояния между их центрами равен сумме квадратов их радиусов. [4]
Если f ( x , y , z ) = 0 и g ( x , y , z ) = 0 являются уравнениями двух различных сфер, то
также является уравнением сферы для произвольных значений параметров s и t . Набор всех сфер, удовлетворяющих этому уравнению, называется пучком сфер , определяемым двумя исходными сферами. В этом определении сфера может быть плоскостью (бесконечный радиус, центр в бесконечности), и если обе исходные сферы являются плоскостями, то все сферы карандаша являются плоскостями, в противном случае в сфере есть только одна плоскость (радикальная плоскость). карандаш. [4]
В своей книге «Геометрия и воображение» Дэвид Гильберт и Стефан Кон-Воссен описывают одиннадцать свойств сферы и обсуждают, определяют ли эти свойства однозначно сферу. [17] Несколько свойств справедливы для плоскости , которую можно рассматривать как сферу с бесконечным радиусом. Эти свойства:
Основными элементами евклидовой геометрии плоскости являются точки и линии . На сфере точки определяются в обычном смысле. Аналогом «линии» является геодезическая , представляющая собой большой круг ; Определяющей характеристикой большого круга является то, что плоскость, содержащая все его точки, также проходит через центр сферы. Измерение длины дуги показывает, что кратчайший путь между двумя точками, лежащими на сфере, — это более короткий сегмент большого круга , включающий эти точки.
Многие теоремы классической геометрии справедливы и для сферической геометрии, но не все, потому что сфера не удовлетворяет некоторым постулатам классической геометрии , включая постулат параллельности . В сферической тригонометрии углы определяются между большими кругами. Сферическая тригонометрия во многом отличается от обычной тригонометрии . Например, сумма внутренних углов сферического треугольника всегда превышает 180 градусов. Кроме того, любые два подобных сферических треугольника конгруэнтны.
Любая пара точек на сфере, лежащая на прямой, проходящей через центр сферы (т.е. диаметр), называется антиподальными точками — на сфере расстояние между ними составляет ровно половину длины окружности. [примечание 2] Любая другая (т.е. не антиподальная) пара различных точек на сфере.
Сферическая геометрия — это форма эллиптической геометрии , которая вместе с гиперболической геометрией составляет неевклидову геометрию .
Сфера представляет собой гладкую поверхность с постоянной гауссовой кривизной в каждой точке, равной 1/ r 2 . [9] Согласно теореме Гаусса Egregium , эта кривизна не зависит от встраивания сферы в трехмерное пространство. Также, следуя Гауссу, сферу нельзя отобразить на плоскости, сохранив при этом как площади, так и углы. Поэтому любая картографическая проекция вносит некоторую форму искажения.
Сфера радиуса r имеет элемент площади . Это можно найти из элемента объема в сферических координатах с постоянным значением r . [9]
Сфера любого радиуса с центром в нуле представляет собой целую поверхность следующей дифференциальной формы :
Это уравнение показывает, что вектор положения и касательная плоскость в точке всегда ортогональны друг другу. Более того, обращенный наружу вектор нормали равен вектору положения, масштабированному на 1/r .
В римановой геометрии гипотеза о площади заполнения утверждает, что полусфера представляет собой оптимальное (наименьшей площади) изометрическое заполнение риманова окружности .
Примечательно, что в трехмерном пространстве можно вывернуть обычную сферу наизнанку с возможными самопересечениями, но без создания каких-либо складок, в процессе, называемом выворотом сферы .
Антиподальный фактор сферы — это поверхность, называемая реальной проективной плоскостью , которую также можно рассматривать как Северное полушарие с идентифицированными антиподальными точками экватора.
Круги на сфере, как и круги на плоскости, состоят из всех точек, находящихся на определенном расстоянии от фиксированной точки сферы. Пересечение сферы и плоскости представляет собой круг, точку или пустоту. [18] Большие круги — это пересечение сферы плоскостью, проходящей через центр сферы: другие называются малыми кругами.
Более сложные поверхности также могут пересекать сферу по окружностям: пересечение сферы с поверхностью вращения , ось которой содержит центр сферы ( соосны ), состоит из кругов и/или точек, если не пусто. Например, на диаграмме справа показано пересечение сферы и цилиндра, состоящего из двух окружностей. Если бы радиус цилиндра был радиусом сферы, пересечение было бы одним кругом. Если бы радиус цилиндра был больше радиуса сферы, пересечение было бы пустым.
В навигации румбическая линия или локсодромия представляет собой дугу, пересекающую все меридианы долготы под одним и тем же углом. Локсодромы — это то же самое, что прямые линии в проекции Меркатора . Ромбовидная линия не является сферической спиралью . За исключением некоторых простых случаев, формула прямой линии сложна.
Кривая Клелия — это кривая на сфере, для которой долгота и широта удовлетворяют уравнению
Особыми случаями являются: кривая Вивиани ( ) и сферические спирали ( ), такие как спираль Зейферта . Кривые Клелии аппроксимируют траекторию движения спутников на полярной орбите .
Аналогом конического сечения на сфере является сферический конус , кривая четвертой степени , которую можно определить несколькими эквивалентными способами, в том числе:
Многие теоремы, относящиеся к плоским коническим сечениям, распространяются и на сферические коники.
Если сфера пересекается другой поверхностью, могут возникнуть более сложные сферические кривые.
Пересечение сферы с уравнением и цилиндра с уравнением — это не просто одна или две окружности. Это решение нелинейной системы уравнений
(см. неявную кривую и диаграмму)
Эллипсоид — это сфера , растянутая или сжатая в одном или нескольких направлениях. Точнее, это изображение сферы при аффинном преобразовании . Эллипсоид имеет такое же отношение к сфере, как эллипс к кругу.
Сферы можно обобщить до пространств любого числа измерений . Для любого натурального числа n n -сфера, часто обозначаемая S n , представляет собой набор точек в ( n + 1 )-мерном евклидовом пространстве, которые находятся на фиксированном расстоянии r от центральной точки этого пространства, где r , как и прежде, положительное действительное число. В частности:
Сферы для n > 2 иногда называют гиперсферами .
n - сфера единичного радиуса с центром в начале координат обозначается S n и часто называется «n - сферой» . Обычная сфера является двумерной сферой, потому что это двумерная поверхность, погруженная в трехмерное пространство.
В топологии n - сфера является примером компактного топологического многообразия без края . Топологическая сфера не обязательно должна быть гладкой ; если он гладкий, он не обязательно должен быть диффеоморфен евклидовой сфере ( экзотической сфере ).
Сфера является обратным образом одноточечного множества относительно непрерывной функции ‖ x ‖ , поэтому она замкнута; Sn также ограничен , поэтому он компактен по теореме Гейне–Бореля .
В более общем смысле, в метрическом пространстве ( E , d ) сфера с центром x и радиусом r > 0 представляет собой набор точек y таких, что d ( x , y ) = r .
Если центр — это выделенная точка, которая считается началом координат E , как в нормированном пространстве, она не упоминается в определении и обозначениях. То же самое относится и к радиусу, если его принять равным единице, как в случае с единичной сферой .
В отличие от шара , даже большая сфера может оказаться пустым множеством. Например, в Z n с евклидовой метрикой сфера радиуса r непуста только в том случае, если r 2 можно записать как сумму n квадратов целых чисел .
Октаэдр — это сфера в геометрии такси , а куб — это сфера в геометрии с использованием расстояния Чебышева .
Геометрию сферы изучали греки. «Элементы» Евклида дают определение сферы в книге XI, обсуждают различные свойства сферы в книге XII и показывают, как вписать пять правильных многогранников в сферу в книге XIII. Евклид не включает площадь и объем сферы, а только теорему о том, что объем сферы изменяется в третьей степени ее диаметра, вероятно, принадлежит Евдоксу Книдскому . Формулы объема и площади впервые были определены в работе Архимеда « О сфере и цилиндре» методом истощения . Зенодор был первым, кто заявил, что при данной площади поверхности сфера представляет собой тело максимального объема. [3]
Архимед писал о задаче разделения сферы на сегменты, объемы которых находятся в заданном соотношении, но не решил ее. Решение с помощью параболы и гиперболы было дано Дионисодором . [19] Аналогичная задача — построить сегмент, равный по объёму данному сегменту, а по поверхности другому сегменту — была решена позже аль-Кухи . [3]
Что еще более важно, Витрувий («Об архитектуре», Vitr. 9.8) связал конические солнечные часы с Дионисодором (начало II века до н. э.), а Дионисодор, согласно Евтоцию Аскалонскому (ок. 480–540 н. э.), использовал конические сечения, чтобы завершить решение Архимеда. ' Задача о разрезании сферы плоскостью так, чтобы соотношение полученных объемов было таким же, как заданное соотношение.