Для анализа этой ситуации предположим ( без потери общности ), что ось цилиндра совпадает с осью z ; точки на цилиндре (с радиусом ) удовлетворяют
Мы также предполагаем, что сфера с радиусом имеет центр в точке на положительной оси x, в точке . Ее точки удовлетворяют
Пересечение — это совокупность точек, удовлетворяющих обоим уравнениям.
Тривиальные случаи
Сфера полностью лежит внутри цилиндра
Если , сфера целиком лежит внутри цилиндра. Пересечение — пустое множество.
Сфера касается цилиндра в одной точке
Если сфера меньше цилиндра ( ) и , сфера лежит внутри цилиндра за исключением одной точки. Пересечение — единственная точка .
Сфера с центром на оси цилиндра
Если центр сферы лежит на оси цилиндра, . В этом случае пересечение состоит из двух окружностей радиуса . Эти окружности лежат в плоскостях
Если , то пересечение представляет собой одну окружность на плоскости .
Нетривиальные случаи
Вычитание двух уравнений, приведенных выше, дает
Так как является квадратичной функцией , то проекция пересечения на плоскость xz является сечением ортогональной параболы; это только сечение из-за того, что . Вершина параболы лежит в точке , где
Пересечение состоит из двух замкнутых кривых
Если , то условие разрезает параболу на два сегмента. В этом случае пересечение сферы и цилиндра состоит из двух замкнутых кривых, являющихся зеркальными отображениями друг друга. Их проекции на плоскость xy представляют собой окружности радиуса .
Каждая часть пересечения может быть параметризована углом :
Кривые содержат следующие экстремальные точки:
Пересечение представляет собой одну замкнутую кривую.
Если , пересечение сферы и цилиндра состоит из одной замкнутой кривой. Его можно описать тем же уравнением параметров, что и в предыдущем разделе, но угол
должен быть ограничен , где .
Кривая содержит следующие экстремальные точки:
Предельный случай
В случае цилиндр и сфера касаются друг друга в точке . Пересечение напоминает восьмерку: это замкнутая кривая, которая пересекает сама себя. Приведенная выше параметризация становится
где сейчас проходит два полных оборота.
В частном случае пересечение известно как кривая Вивиани . Его параметрическое представление:
Объем пересечения двух тел, иногда называемый объемом Вивиани, равен [1] [2] [3]
Грефе, Ева-Мария; Корш, Ханс Дж.; Стржис, Мартин П. (2014). «Димеры Бозе-Хаббарда, окна Вивиани и динамика маятника». Дж. Физ. А: Математика. Теор . 47 (8): 085304. arXiv : 1308.3569 . Бибкод : 2014JPhA...47h5304G. дои : 10.1088/1751-8113/47/8/085304. S2CID 55754306.
Ссылки
^ Lamarche, F.; Leroy, Claude (1990). «Оценка объема пересечения сферы с цилиндром с помощью эллиптических интегралов». Comput. Phys. Commun . 59 (2): 359–369. Bibcode :1990CoPhC..59..359L. doi :10.1016/0010-4655(90)90184-3.
^ Вивиани, В. (1692), """", Acta Eruditorum : 273–279.
^ Вудхаус, Роберт (1801). "VII. Демонстрация теоремы, посредством которой определяются такие части твердости сферы, которые допускают алгебраическое выражение". Philos. Trans. R. Soc. Lond . 91 : 153. doi :10.1098/rstl.1801.0009. S2CID 122654753.