Габриэль Хорн - Википедия - Gabriels Horn

Трехмерная иллюстрация рога Габриэля.

Рог Габриэля (также называемый Труба торричелли) является частным геометрический фигура с бесконечным площадь поверхности но конечный объем. Название относится к христианской традиции, которая идентифицирует архангела. Габриэль как ангел, который трубит в рог, чтобы объявить День суда, связывая божественное, или бесконечный, с конечным. Свойства этой фигуры впервые изучил итальянский физик и математик. Евангелиста Торричелли в 17 веке.

Математическое определение

График

{ displaystyle y = {1} / {x}}

.

Рог Габриэля формируется путем взятия график из

{ displaystyle y = { frac {1} {x}},}

с домен ${ Displaystyle х geq 1}$ и вращающийся это в три размеры о $Икс$ -ось. Открытие было сделано с использованием Принцип Кавальери до изобретения исчисление, но сегодня исчисление можно использовать для расчета объема и площади поверхности рога между $Икс = 1$ и $Икс = а$ , куда $а > 1$ . Используя интеграцию (см. Твердая революция и Поверхность революции для подробностей) можно найти объем $V$ и площадь поверхности $А$ :

{ displaystyle V = pi int limits _ {1} ^ {a} left ({ frac {1} {x}} right) ^ {2} mathrm {d} x = pi left (1 - { frac {1} {a}} right)}

{ displaystyle A = 2 pi int limits _ {1} ^ {a} { frac {1} {x}} { sqrt {1+ left (- { frac {1} {x ^ { 2}}} right) ^ {2}}} mathrm {d} x> 2 pi int limits _ {1} ^ {a} { frac { mathrm {d} x} {x}} = 2 pi ln (a).}

Значение $а$ может быть сколь угодно большим, но из уравнения видно, что объем части рупора между $Икс = 1$ и $Икс = а$ никогда не превысит $π$ ; однако он постепенно приближается к $π$ в качестве $а$ увеличивается. Математически объем подходы $π$ в качестве $а$ подходы бесконечность. С использованием предел обозначение исчисления:

{ displaystyle lim _ {a to infty} V = lim _ {a to infty} pi left (1 - { frac {1} {a}} right) = pi cdot lim _ {a to infty} left (1 - { frac {1} {a}} right) = pi.}

Приведенная выше формула площади поверхности дает нижнюю границу площади как 2 $π$ раз натуральный логарифм из $а$ . Здесь нет верхняя граница для натурального логарифма $а$ , так как $а$ приближается к бесконечности. Это означает, что в данном случае рупор имеет бесконечную площадь поверхности. То есть,

{ displaystyle lim _ {a to infty} A geq lim _ {a to infty} 2 pi ln (a) = infty.}

Очевидный парадокс

Когда были обнаружены свойства рога Габриэля, тот факт, что вращение бесконечно большого участка $ху$ -самолет о $Икс$ - ось, образующая объект конечного объема, считалась парадокс. Пока раздел лежит в $ху$ -плоскость имеет бесконечную площадь, любое другое параллельное ей сечение имеет конечную площадь. Таким образом, объем, рассчитываемый по «взвешенной сумме» сечений, конечен.

Другой подход - рассматривать рог как стопку дисков с уменьшающимся радиусы. Сумма радиусов дает гармонический ряд, уходящий в бесконечность. Однако правильный расчет - это сумма их квадратов. У каждого диска есть радиус $р = .mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px;white-space:nowrap} 1 / Икс$ и площадь $π р 2$ или же $π / Икс 2$ . Сериал $1 / Икс$ расходится, но $1 / Икс 2$ сходится. В общем, для любого реального $ε > 0$ , $1 / Икс 1+ ε$ сходится.

Кажущийся парадокс стал частью спора о природе бесконечности, в котором участвовали многие ключевые мыслители того времени, включая Томас Гоббс, Джон Уоллис и Галилео Галилей.^[1]

Аналогичное явление применимо к длинам и площадям на плоскости. Площадь между кривыми $1 / Икс 2$ и $-1 / Икс 2$ от 1 до бесконечности конечно, но длины двух кривых явно бесконечны.

Парадокс художника

Поскольку рог имеет конечный объем, но бесконечную площадь поверхности, возникает очевидный парадокс, что рог можно было заполнить конечным количеством краски, но этой краски было бы недостаточно для покрытия его внутренней поверхности. Парадокс разрешается осознанием того, что конечное количество краски на самом деле может покрыть бесконечную площадь поверхности - она просто должна становиться тоньше с достаточно высокой скоростью (во многом как серия 1/2^N становится меньше достаточно быстро, чтобы его сумма была конечной). В том случае, когда рог заполнен краской, это разбавление достигается за счет увеличения диаметра горловины рожка.

Converse

Оборотная сторона рога Габриэля - поверхность вращения, имеющая конечный площадь поверхности, но бесконечный объем - не может возникнуть при вращении непрерывной функции на замкнутом множестве:

Теорема

Позволять $ж : [1,\infty) \to [0,\infty)$ - непрерывно дифференцируемая функция. Написать $S$ для твердый революционный графика $у = ж (Икс)$ о $Икс$ -ось. Если площадь поверхности $S$ конечно, то и объем тоже.

Доказательство

Поскольку площадь боковой поверхности $А$ конечно, предел высшего:

{ displaystyle { begin {align} lim _ {t to infty} sup _ {x geq t} f (x) ^ {2} ~ - ~ f (1) ^ {2} & = limsup _ {t to infty} int limits _ {1} ^ {t} left (f (x) ^ {2} right) ' mathrm {d} x & leq int пределы _ {1} ^ { infty} left | left (f (x) ^ {2} right) ' right | mathrm {d} x = int limits _ {1} ^ { infty } 2f (x) left | f '(x) right | mathrm {d} x & leq int limits _ {1} ^ { infty} 2f (x) { sqrt {1+ f '(x) ^ {2}}} mathrm {d} x = { frac {A} { pi}} & < infty. end {выравнивается}}}

Следовательно, существует $т 0$ так что супремум $Как дела{ж (Икс) | Икс \geq т 0$ } конечно. Следовательно,

M = sup {ж (Икс) | Икс \geq 1

} должен быть конечным, поскольку

ж

это непрерывная функция, откуда следует, что

ж

ограничена на интервале

[1,\infty)

.

Наконец, объем:

{ Displaystyle { begin {align} V & = int limits _ {1} ^ { infty} f (x) cdot pi f (x) mathrm {d} x & leq int ограничения _ {1} ^ { infty} { frac {M} {2}} cdot 2 pi f (x) mathrm {d} x & leq { frac {M} {2}} cdot int limits _ {1} ^ { infty} 2 pi f (x) { sqrt {1 + f '(x) ^ {2}}} mathrm {d} x = { frac { M} {2}} cdot A. end {align}}}

Следовательно: если область $А$ конечно, то объем $V$ также должно быть конечным.

Смотрите также

Гипербола - Плоская кривая: коническое сечение
Коха снежинка - Фрактальная и математическая кривая
Рог Пикарда
Псевдосфера
Форма вселенной - Локальная и глобальная геометрия Вселенной
Поверхность революции - математический термин
Парадоксы Зенона - Набор философских задач

дальнейшее чтение

Ройер, Мелвин (2012). «Другие владения Габриэля». ПРИМУС: проблемы, ресурсы и проблемы в бакалавриате по математике. 22 (4): 338–351. Дои:10.1080/10511970.2010.517601.
Флерон, Джулиан Ф. "Свадебный торт Габриэля" (PDF). Архивировано из оригинал (PDF) на 2016-12-13.
Линч, Марк. "Парадоксальное ведро с краской".
С любовью, Уильям П. (январь 1989 г.). «Сверхтвердые тела: твердые тела с конечным объемом и бесконечной поверхностью». Учитель математики. 82 (1): 60–65. JSTOR 27966098.

внешняя ссылка

Труба Торричелли в PlanetMath
Вайсштейн, Эрик В. "Рог Габриэля". MathWorld.
"Рог Габриэля" Джона Снайдера, Вольфрам Демонстрационный проект, 2007.
Рог Габриэля: понимание твердого тела с конечным объемом и бесконечной площадью поверхности Жан С. Джозеф.

[1] Хэвил, Джулиан (2007). В тупике !: математическое доказательство неправдоподобных идей. Издательство Принстонского университета. стр.82–91. ISBN 0-691-12056-0.

[1]