Геометрия on kenji.blog

Можно ли заполнить краской, но не покрасить поверхность?: Рог Гавриила

Thu, 10 Sep 2026 21:00:00 +0900

Что будет, если появится сосуд, у которого «объем конечен, а площадь поверхности бесконечна»? Интуитивно кажется, что такое невозможно, но в мире математики подобная фигура действительно существует. Это «Рог Гавриила» (Gabriel’s Horn), также известный как «Рог Торричелли».

Открытая в 1641 году итальянским математиком Эванджелистой Торричелли, эта фигура произвела огромное впечатление на математиков и философов того времени и вызвала ожесточенные споры о природе «бесконечности».

Парадокс маляра

Если попытаться применить свойства этой фигуры к обычной «краске», возникнет следующий странный парадокс.

Если заполнить рог краской: Поскольку объем рога конечен (точнее, $\pi$), достаточно влить всего $\pi$ литров (около 3,14 литра) краски, чтобы полностью заполнить его изнутри.
Если красить поверхность рога: Площадь поверхности рога бесконечна. Следовательно, если вы попытаетесь покрасить внутреннюю (или внешнюю) поверхность рога кистью, сколько бы краски вы ни приготовили, вы никогда не закончите эту работу.

«3,14 литрами краски можно заполнить объем, но для покраски поверхности потребуется бесконечно много краски» Почему возникает эта ситуация, противоречащая нашей интуиции?

graph TD A["Рог Гавриила"] --> B["Вычисление объема (интеграл)"] A --> C["Вычисление площади поверхности (интеграл)"] B --> B1["Объем = π (конечен)"] B1 --> B2["Можно заполнить изнутри краской"] C --> C1["Площадь поверхности = ∞ (бесконечна)"] C1 --> C2["Невозможно покрасить поверхность"] B2 --> D{"Парадокс!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

Математическое доказательство: Магия математического анализа

Рог Гавриила образуется вращением графика функции $y = \frac{1}{x}$ (при $x \ge 1$) вокруг оси $x$. Давайте вычислим объем $V$ и площадь поверхности $A$ этой фигуры с помощью математического анализа.

1. Вычисление объема (почему он конечен)

Объем тела вращения $V$ можно найти, интегрируя площадь поперечного сечения (круг радиусом $\frac{1}{x}$).

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

Если вычислить этот определенный интеграл:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

Результат сходится к конечному значению $\pi$.

2. Вычисление площади поверхности (почему она бесконечна)

С другой стороны, вычисление площади поверхности $A$ выглядит следующим образом.

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

Поскольку $\frac{dy}{dx} = -\frac{1}{x^2}$, выражение под корнем будет $1 + \frac{1}{x^4}$. Здесь для всех $x \ge 1$ выполняется условие $\sqrt{1 + \frac{1}{x^4}} > 1$, поэтому верно следующее неравенство:

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

Натуральный логарифм $\ln x$ стремится к бесконечности при $x \to \infty$. Следовательно, большая по значению площадь поверхности $A$, естественно, тоже расходится к бесконечности.

«Разоблачение» парадокса

Даже если можно математически доказать правильность, с точки зрения здравого смысла реального мира с этим трудно согласиться. «Если мы можем заполнить его краской, значит, эта краска касается внутренней поверхности, а значит, и поверхность должна быть покрашена, не так ли?»

Это расхождение с интуицией возникает из-за смешения математических концепций и физической реальности.

В математическом мире «толщину» краски можно сделать бесконечно малой, вплоть до нуля. Рог Гавриила становится бесконечно узким по мере продвижения вперед, но «математическая» краска может становиться сколь угодно тонкой и проникать в самые глубокие участки этого узкого конца, покрывая бесконечную площадь поверхности конечным объемом (однако толщина слоя краски при этом стремится к нулю ближе к концу рога).

Однако в физическом реальном мире краска состоит из атомов и молекул (частиц, имеющих конечный размер). Если залить настоящую краску, то как только трубка рога станет у́же «диаметра молекулы краски», краска больше не сможет продвигаться дальше. Иными словами, физически невозможно ни заполнить его до конца, ни покрыть краской бесконечную поверхность.

Рог Гавриила — это прекрасный пример, показывающий, что человеческая интуиция ограничена «правилами конечного мира» и не всегда совпадает с миром математического анализа, где работает понятие «бесконечности».

Парадокс Банаха-Тарского: если разрезать один шар, получатся два таких же?

Thu, 10 Sep 2026 02:00:00 +0900

1. Волшебная теорема: 1 = 1 + 1 ?

Представьте, что перед вами находится один шар из чистого золота. Вы разрезаете этот шар ножом на несколько частей. Затем вы собираете эти части вместе, словно пазл. Вы не растягиваете, не сгибаете части и не добавляете новое золото. Вы просто перемещаете их и соединяете.

Однако, взглянув на собранный пазл, вы обнаруживаете, что получились «два шара из чистого золота, абсолютно такого же размера, как и исходный шар».

Вы наверняка подумаете: «Что за вздор! Это противоречит закону сохранения массы и похоже на бред алхимика!» В реальном физическом мире это абсолютно невозможно. Однако в мире чистой математики (геометрии и теории множеств) это доказано как логически на 100% верная теорема.

Это и есть «парадокс Банаха-Тарского», доказанный в 1924 году двумя математиками — Стефаном Банахом и Альфредом Тарским.

2. Точное понимание сути парадокса

Если выразить теорему, доказанную Банахом и Тарским, математически точным языком, она будет звучать следующим образом:

Теорема Банаха-Тарского Любой шар $S$ в трехмерном пространстве может быть разбит на конечное число частей. Затем, путем перестановки этих частей (используя только вращение и параллельный перенос), можно составить два шара, имеющих точно такой же радиус, как и исходный шар $S$.

Что еще более удивительно, применяя эту теорему, можно утверждать следующее:

Разделив одну горошину на конечное число частей и собрав их заново, можно создать шар размером с Солнце. (Также известно как парадокс горошины и Солнца)

Почему же такие магические вещи допускаются в математике? Секрет кроется в двух ключевых понятиях: «бесконечность» и «аксиома выбора».

3. Удивительные свойства «бесконечности»

Первый шаг к пониманию этого парадокса — узнать о странных свойствах «бесконечных множеств».

В привычном нам «конечном» мире целое всегда больше своей части. Например, если из чисел от 1 до 10 (10 штук) выбрать только четные (5 штук), количество чисел уменьшится вдвое.

Однако в мире «бесконечности» этот здравый смысл не работает. Чего больше: всех «натуральных чисел» (1, 2, 3, 4, …) или всех «четных чисел» (2, 4, 6, 8, …)? Интуитивно кажется, что натуральных чисел больше, так как четные числа составляют лишь их половину. Но попробуйте составить пары следующим образом:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

Таким образом, для каждого натурального числа можно составить в пару ровно одно четное число, которое в два раза больше (взаимно однозначное соответствие). Ни одного числа не останется без пары. С математической точки зрения это означает, что «количество натуральных чисел (бесконечность)» и «количество четных чисел (бесконечность)» абсолютно одинаковы по размеру!

Мы вроде бы взяли половину (четные числа) из целого (натуральные числа), но размер остался прежним. В бесконечных множествах может случиться так, что «часть равна целому». Теорема Банаха-Тарского — это высшая форма применения этой «магии бесконечности» к множеству «точек» в трехмерном пространстве.

4. Точки пространства разбиваются на «неизмеримые» части

Если разрезать реальный объект (золото или яблоко) ножом, у каждой части обязательно будет «объем». Однако в математике шар — это «совокупность бесконечного числа точек», которые сами по себе не имеют объема.

Банах и Тарский разделили эти бесконечные точки на группы (части) весьма специфическим и сложным способом. Такое разделение настолько сложное и рассеянное, что полученные части приходят в состояние, когда их «объем невозможно измерить (неизмеримые множества)».

graph TD S["Исходный шар S (объем V)"] -->|Специфическое разбиение| P1["Часть 1 (объем неизмерим)"] S --> P2["Часть 2 (объем неизмерим)"] S --> P3["Часть 3 (объем неизмерим)"] S --> P4["Часть 4 (объем неизмерим)"] S --> P5["Часть 5 (объем неизмерим)"] P1 -->|Вращение и перенос| S1["Новый шар 1 (объем V)"] P2 -->|Вращение и перенос| S1 P3 -->|Вращение и перенос| S1 P4 -->|Вращение и перенос| S2["Новый шар 2 (объем V)"] P5 -->|Вращение и перенос| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

Когда каждая часть становится туманным скоплением точек, «не имеющим объема (неизмеримым)», мы можем обойти физическое правило о том, что «сумма частей должна быть равна исходному объему» (аддитивность меры).

А затем, если мы повернем и удачно скомбинируем эти туманные части точек, благодаря «магии бесконечности» получатся два шара, так же плотно заполненные точками, как и исходный шар. Фактически доказано, что операция «создания двух шаров из одного» возможна при разделении исходного шара всего на 5 частей.

5. Корень всех бед: что такое «аксиома выбора»?

Так почему же математически возможно такое «разбиение, настолько сложное, что невозможно измерить объем»? Это потому, что мы признаем правило, известное как «аксиома выбора (Axiom of Choice)», которое лежит в основе современной математики.

Грубо говоря, аксиома выбора — это следующее правило:

Суть аксиомы выбора Когда есть много коробок, в каждой из которых что-то лежит, это правило гласит: «можно выбрать по одному элементу из каждой коробки и создать из них новый набор (множество)».

Если количество коробок конечно, то любой с легкостью может это сделать. Однако, если коробок «бесконечно много», человек не может завершить процесс «выбора по одному» бесконечное число раз. Тем не менее, аксиома выбора позволяет утверждать, что «созданное путем такого выбора множество существует».

Эта аксиома оказалась чрезвычайно удобной и необходимой для построения современной математики. Большинство математиков приняли это правило, подумав: «Ну, это же очевидно».

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

6. Заключение: «Мир за пределами интуиции», нарисованный математикой

Парадокс Банаха-Тарского — это не парадокс в смысле «противоречия в логике». Это парадокс в том смысле, что логика на 100% верна, но выводы из нее резко противоречат человеческой интуиции и законам физики.

Когда эта теорема была опубликована, некоторые математики заявили: «Раз из нее следуют такие абсурдные выводы, значит, аксиома выбора наверняка ошибочна!» Но сегодня большинство математиков принимают аксиому выбора, а также признают теорему Банаха-Тарского как «странное, но прекрасное свойство трехмерного пространства и бесконечных множеств».

Поскольку физический мир, в котором мы живем, состоит из атомов, которые являются «частицами, имеющими размер (конечными)», мы не можем сделать горошину размером с Солнце. Однако на холсте «математики», созданном человеческим разумом, размер точки равен нулю, и допускаются бесконечные операции.

Парадокс Банаха-Тарского по праву можно назвать одним из величайших шедевров современной математики, показывающим, насколько легко понятие «бесконечности» превосходит наивную человеческую интуицию.