Сфе́ра (др.-греч. σφαῖρα «мяч, шар[1]») — это геометрическое место точек в пространстве, равноудаленных от некоторой заданной точки (центра сферы).
Сфера является поверхностью вращения, образованной при вращении полуокружности вокруг своего диаметра. Площадь сферы в градусной мере с учётом непостоянства значения размеров дуг составляет 41252,96 кв. градусов.
Сфера является частным случаем эллипсоида, у которого все три оси (полуоси, радиусы) равны. Сфера является поверхностью шара. Сфера имеет наименьшую площадь из всех поверхностей, ограничивающих данный объём, также из всех поверхностей с данной площадью сфера ограничивает наибольший объём. Поэтому тела сферической формы встречаются в природе, например, маленькие капли воды при свободном падении приобретают сферическую форму именно из-за минимизации площади поверхности силой поверхностного натяжения.
Объём цилиндра, объём вписанного в него шара, касающегося обоих его оснований, и объём конуса, с вершиной в центре одного основания цилиндра и с основанием, совпадающим с другим основанием цилиндра, находятся в соотношении 3 : 2 : 1[2].
Совершенство сферической формы издавна привлекало внимание мыслителей и учёных, которые с помощью сфер пытались объяснить гармонию окружающего мира. Древнегреческий учёный Пифагор вместе с шарообразной Землёй в центре Вселенной ввёл окружающую Землю удалённую хрустальную сферу, к которой прикреплены звёзды, и семь более близких вращающихся хрустальных сфер, к которым прикреплены Солнце, Луна и пять известных к тому времени планет. Эта модель впоследствии усложнялась: Евдокс Книдский рассматривал уже 27 подобных сфер, а Аристотель — 55 хрустальных сфер[3]. Представления о вращающихся небесных сферах господствовали по крайней мере до средних веков и даже вошли в гелиоцентрическую систему мира Николая Коперника, который назвал свой основной труд «О вращении небесных сфер» (лат. De revolutionibus orbium coelestium).
Небесные сферы со времён Древней Греции были частью более общей концепции гармонии сфер о музыкально-астрономическом устройстве мира, куда также входило понятие «музыка сфер». Эта концепция также существовала как минимум до средневековья. У одного из известнейших астрономов, Иоганна Кеплера, сфера занимала центральное место во всей его системе религиозно-мистических представлений, он писал: «Образ триединого бога есть сферическая поверхность, а именно: бог-отец в центре, бог-сын — на поверхности и святой дух — в симметричном отношении между центром и описанной вокруг него сферической поверхностью»[4][5]. Одно из первых значительных сочинений Кеплера, «Тайна мироздания» (лат. Mysterium Cosmographicum), было посвящено параметрам небесных сфер, Кеплер считал, что он открыл замечательную связь между правильными многогранниками, которых только пять, и небесными сферами, являвшимися, по Кеплеру, описанными и вписанными сферами этих многогранников. Представления о гармонии сфер сыграли большую роль при открытии Кеплером третьего закона движений небесных тел (во всяком случае, могут рассматриваться как стимул к поиску астрономических соотношений)[6]. Однако у Кеплера небесные сферы являлись уже чисто математическими объектами, а не физически существующими телами. К тому времени Тихо Браге показал, что движение комет, в частности, Большой кометы 1577 года, несовместимо с существованием твердых небесных сфер[7]. Как удобная математическая модель, осталась одна небесная сфера, с помощью которой астрономы по сей день представляют видимые положения звезд и планет.
Уравнение сферы в прямоугольной системе координат:
где — координаты центра сферы, — её радиус.
Параметрическое уравнение сферы с центром в точке :
где и
Гауссова кривизна сферы постоянна и равна 1/R².
Окружность, лежащая на сфере, центр которой совпадает с центром сферы, называется большим кругом (большой окружностью) сферы. Большие окружности являются геодезическими линиями на сфере; любые две из них пересекаются в двух точках. Иными словами, большие круги сферы являются аналогами прямых на плоскости, расстояние между точками на сфере — длина дуги проходящего через них большого круга. Углу же между прямыми на плоскости соответствует двугранный угол между плоскостями больших кругов. Многие теоремы геометрии на плоскости справедливы и в сферической геометрии, существуют аналоги теоремы синусов, теоремы косинусов для сферических треугольников. В то же время, существует немало отличий, например, в сферическом треугольнике сумма углов всегда больше 180 градусов, к трём признакам равенства треугольников добавляется их равенство по трём углам, у сферического треугольника может быть два и даже три прямых угла — например, у сферического треугольника, образованного экватором и меридианами 0° и 90°.
Если даны сферические координаты двух точек, то расстояние между ними можно найти так:
Однако, если угол задан не между осью Z и вектором на точку сферы, а между этим вектором и плоскостью XY (как это принято в земных координатах, заданных широтой и долготой), то формула будет такая:
В общем случае уравнение (n-1)-мерной сферы (в n-мерном евклидовом пространстве) имеет вид:
где — центр сферы, а — радиус.
Пересечением двух n-мерных сфер является n-1-мерная сфера, лежащая на радикальной гиперплоскости этих сфер.
В n-мерном пространстве могут попарно касаться друг друга (в разных точках) не более n+1 сфер.
n-мерная инверсия переводит n-1-мерную сферу в n-1-мерную сферу или гиперплоскость.