Сфера (от греч. σφαῖρα , sphaîra ) [1] — геометрический объект, являющийся трёхмерным аналогом двумерной окружности . Формально сфера — это множество точек , которые находятся на одинаковом расстоянии r от заданной точки в трёхмерном пространстве . [2] Эта заданная точка является центром сферы, а r — радиусом сферы . Самые ранние известные упоминания о сферах встречаются в трудах древнегреческих математиков .
Сфера является фундаментальным объектом во многих областях математики . Сферы и почти сферические формы также встречаются в природе и промышленности. Пузыри, такие как мыльные пузыри, принимают сферическую форму в равновесии. Землю часто аппроксимируют сферой в географии , а небесная сфера является важным понятием в астрономии . Изготовленные изделия, включая сосуды под давлением и большинство изогнутых зеркал и линз, основаны на сферах. Сферы плавно катятся в любом направлении, поэтому большинство мячей, используемых в спорте и игрушках, являются сферическими, как и шарикоподшипники .
Как упоминалось ранее, r — радиус сферы; любая линия от центра до точки на сфере также называется радиусом. «Радиус» используется в двух смыслах: как отрезок линии, а также как его длина. [3]
Если радиус продлить через центр до противоположной стороны сферы, он создаст диаметр . Как и радиус, длина диаметра также называется диаметром и обозначается d . Диаметры — это самые длинные отрезки, которые можно провести между двумя точками на сфере: их длина в два раза больше радиуса, d = 2r . Две точки на сфере, соединенные диаметром, являются антиподами друг друга. [3]
Единичная сфера — это сфера с единичным радиусом ( r = 1 ). Для удобства часто предполагается, что центр сферы находится в начале системы координат , и в этой статье сферы имеют центр в начале координат, если центр не указан.
Большой круг на сфере имеет тот же центр и радиус, что и сфера, и делит ее на два равных полушария .
Хотя фигура Земли не идеально сферическая, термины, заимствованные из географии, удобно применять к сфере. Конкретная линия, проходящая через ее центр, определяет ось ( как ось вращения Земли ). Пересечение сферы и оси определяет два антиподных полюса ( северный и южный полюс ). Большой круг, равноудаленный от полюсов, называется экватором . Большие круги, проходящие через полюса, называются линиями долготы или меридианами . Малые круги на сфере, которые параллельны экватору, являются кругами широты (или параллелями ). В геометрии, не связанной с астрономическими телами, геоцентрическая терминология должна использоваться только для иллюстрации и отмечаться как таковая, если только нет никакой возможности недопонимания. [3]
Математики считают сферу двумерной замкнутой поверхностью, вложенной в трехмерное евклидово пространство . Они проводят различие между сферой и шаром , который является трехмерным многообразием с границей , включающей объем, содержащийся в сфере. Открытый шар исключает саму сферу, в то время как закрытый шар включает сферу: закрытый шар является объединением открытого шара и сферы, а сфера является границей (закрытого или открытого) шара. Различие между шаром и сферой не всегда сохранялось, и особенно старые математические справочники говорят о сфере как о твердом теле. Различие между « кругом » и « диском » на плоскости аналогично.
Небольшие сферы или шарики иногда называют сферулами (например, марсианскими сферулами ).
В аналитической геометрии сфера с центром ( x0 , y0 , z0 ) и радиусом 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] Большие окружности — это пересечение сферы с плоскостью, проходящей через центр сферы: другие называются малыми окружностями.
Более сложные поверхности могут пересекать сферу также по окружностям: пересечение сферы с поверхностью вращения , ось которой содержит центр сферы ( соосны ), состоит из окружностей и/или точек, если не пусто. Например, на диаграмме справа показано пересечение сферы и цилиндра, который состоит из двух окружностей. Если бы радиус цилиндра был равен радиусу сферы, пересечение было бы одной окружностью. Если бы радиус цилиндра был больше радиуса сферы, пересечение было бы пустым.
В навигации локсодромия или румбовая линия — это путь , направление которого , угол между его касательной и направлением на север, постоянен. Локсодромии проецируются на прямые линии в проекции Меркатора . Двумя особыми случаями являются меридианы , которые выровнены непосредственно с севера на юг, и параллели, которые выровнены непосредственно с востока на запад. Для любого другого направления локсодромия бесконечно закручивается по спирали вокруг каждого полюса. Для Земли, смоделированной как сфера, или для общей сферы, заданной сферической системой координат , такая локсодромия является своего рода сферической спиралью . [19]
Другой вид сферической спирали — кривая Клелия, для которой долгота (или азимут) и коширота (или полярный угол) находятся в линейной зависимости, . Кривые Клелия проецируются в прямые линии при равнопромежуточной проекции . Кривая Вивиани ( ) является особым случаем. Кривые Клелия аппроксимируют наземную траекторию спутников на полярной орбите .
Аналогом конического сечения на сфере является сферическая коника , четвертая кривая, которая может быть определена несколькими эквивалентными способами.
Многие теоремы, относящиеся к плоским коническим сечениям, распространяются также на сферические коники.
Если сфера пересекается с другой поверхностью, могут быть более сложные сферические кривые.
Пересечение сферы с уравнением и цилиндра с уравнением — это не просто одна или две окружности. Это решение нелинейной системы уравнений
(см. неявную кривую и диаграмму)
Эллипсоид — это сфера, которая была растянута или сжата в одном или нескольких направлениях. Точнее, это изображение сферы при аффинном преобразовании . Эллипсоид имеет такое же отношение к сфере, как эллипс к окружности.
Сферы можно обобщить на пространства любого количества измерений . Для любого натурального числа n n -сфера, часто обозначаемая S n , представляет собой множество точек в ( n + 1 )-мерном евклидовом пространстве, которые находятся на фиксированном расстоянии r от центральной точки этого пространства, где r , как и прежде, является положительным действительным числом. В частности:
Сферы для n > 2 иногда называют гиперсферами .
N - сфера единичного радиуса с центром в начале координат обозначается S n и часто упоминается как " n -сфера". Обычная сфера является 2-сферой, поскольку она представляет собой 2-мерную поверхность, вложенную в 3-мерное пространство.
В топологии n -сфера является примером компактного топологического многообразия без границы . Топологическая сфера не обязательно должна быть гладкой ; если она гладкая, она не обязательно должна быть диффеоморфной евклидовой сфере ( экзотическая сфера ).
Сфера является прообразом одноточечного множества при непрерывной функции ‖ x ‖ , поэтому она замкнута; S n также ограничено, поэтому оно компактно по теореме Гейне–Бореля .
В более общем смысле, в метрическом пространстве ( E , d ) сфера с центром x и радиусом r > 0 представляет собой множество точек y, таких что d ( x , y ) = r .
Если центр является выделенной точкой, которая считается началом E , как в нормированном пространстве, то он не упоминается в определении и обозначениях. То же самое относится к радиусу, если он принимается равным единице, как в случае единичной сферы .
В отличие от шара , даже большая сфера может быть пустым множеством. Например, в Z n с евклидовой метрикой сфера радиуса r непуста, только если r 2 можно записать как сумму n квадратов целых чисел .
Октаэдр — это сфера в геометрии такси , а куб — это сфера в геометрии, использующей расстояние Чебышева .
Геометрия сферы изучалась греками. В «Началах» Евклида в книге XI дается определение сферы, в книге XII обсуждаются различные свойства сферы, а в книге XIII показывается, как вписать пять правильных многогранников в сферу. Евклид не включает площадь и объем сферы, а только теорему о том, что объем сферы изменяется как третья степень ее диаметра, вероятно, благодаря Евдоксу Книдскому . Формулы объема и площади были впервые определены в труде Архимеда «О сфере и цилиндре» методом исчерпывания . Зенодор был первым, кто заявил, что для данной площади поверхности сфера является телом максимального объема. [3]
Архимед писал о задаче деления сферы на сегменты, объемы которых находятся в заданном отношении, но не решил ее. Решение с помощью параболы и гиперболы дал Дионисодор . [20] Похожую задачу — построить сегмент, равный по объему данному сегменту, а по поверхности другому сегменту — позже решил аль-Кухи . [3]
Что еще более важно, Витрувий (Об архитектуре, Vitr. 9.8) связывал конические солнечные часы с Дионисодором (начало II в. до н. э.), а Дионисодор, согласно Евтокию из Аскалона (ок. 480–540 гг. н. э.), использовал конические сечения для завершения решения задачи Архимеда о разрезании сферы плоскостью так, чтобы отношение полученных объемов было таким же, как заданное отношение.