Русская Википедия:Куб принца Руперта

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Prince-Rupert-cube.gif
Единичный куб с прорезанным в нём отверстием, через которое может пройти куб принца Руперта <math>3\sqrt{2}/4 \approx 1.061</math>

Куб принца Руперта (Шаблон:Lang-en) — задача, заключающееся в том, что в нём можно проделать отверстие, через которое возможно протащить копию изначального куба (то есть через куб, рёбра которого имеют размер 1). Ребро куба Руперта приблизительно на 6 % длиннее, чем ребро куба, через который он проходит. Задача поиска такого куба тесно связана с задачей поиска самого большего квадрата, который полностью расположен в пределах единичного куба, и имеет аналогичное решение[1][2][3][4].

История

Согласно истории, рассказанной в 1693 году английским математиком Джоном Валлисом, принц Руперт Пфальцский поспорил, что в кубе можно вырезать отверстие, достаточно большое, чтобы через него можно было протащить куб такого же размера. Валлис доказал, что такое отверстие на самом деле возможно (с определёнными ошибками, которые были исправлены гораздо позже), и принц Руперт выиграл свой спор[1][2]. Валлис предположил, что такое отверстие будет параллельно Шаблон:Iw куба. Проекция куба на плоскость, перпендикулярная этой диагонали, является правильным шестиугольником, а самое большое отверстие, параллельное диагонали, можно получить, нарисовав наибольший квадрат, который можно вписать в этот шестиугольник. Подсчёт размера такого квадрата показывает, что куб с длиной ребра: <math>\sqrt 6 -\sqrt 2\approx 1.03527</math>, то есть чуть больше единицы, может пройти через такое отверстие[1].

Примерно через 100 лет голландский математик Шаблон:Iw вычислил, что лучшее (оптимальное) решение может быть получено при прорезании отверстия под другим углом, чем пространственная диагональ. Ньюланд умер в 1794 году (спустя год после того, как стал профессором Лейденского университета), однако его решение было опубликовано после его смерти в 1816 году его наставником Яном Хенри ван Свинденом[1][2].

С того времени задача приводилась во многих книжках по развлекательной математике, порой с решением Валлиса вместо оптимального[3][5][6][7][8][9][10][11][12].

Решение

Если две точки будут помещены на двух соприкасающихся рёбрах исходного единичного куба на расстоянии 3/4 от их общей вершины, то расстояние между этими двумя точками будет <math>\tfrac{3\sqrt{2}}{4} \approx 1.0606601</math>.

Эти две точки вместе со второй парой точек, помещённых симметрично на противоположной грани, формируют четыре вершины квадрата, который находится полностью в пределах единичного куба. Если «вытеснить» этот квадрат в обоих направлениях перпендикулярно к себе, то получится отверстие, через которое может пройти куб большего размера, чем исходный (с длиной ребра <math>\tfrac{3\sqrt{2}}{4}</math>)[3].

Части куба, оставшиеся после вырезания отверстия, образуют две треугольные призмы и два неправильных тетраэдра, связанные тонкими «мостиками» в четырёх вершинах квадрата. Каждая призма имеет шесть вершин, две из которых являются соседними вершинами куба, а остальные четыре вершины лежат на рёбрах куба (на расстоянии 1/4 от этих вершин). Каждый тетраэдр имеет одну вершину, совпадающую с вершиной куба, и три вершины, находящиеся на ребрах, выходящих из этой вершины (две на расстоянии 3/4, и одна на расстоянии 3/16 от неё)[5].

Модели

Файл:3D-printed Prince Rupert Cube.jpg
Модель, напечатанная на 3D-принтере. Отношение внутреннего и внешнего кубов равно 1:1.

Построение физической модели куба принца Руперта довольно проблематично из-за требований к аккуратности и точности измерений, тонкости мостиков между остаточными частями единичного куба после вырезания отверстия; из-за этого проблему часто называли «математически возможной, но практически не реализуемой»[13]. Однако в публикации исследования проблемы в 1950 году Д. Дж. И. Шрек привёл фотографии модели куба, проходящей через отверстие в другом кубе[14]. Мартин Рейнсфорд разработал шаблон для построения бумажных моделей куба, через который проходит другой куб; с учётом неточностей конструирования из бумаги и чтобы не порвать бумагу в тонких соединениях прорезанного куба, отверстия в модели где-то на 2 % больше, чем куб, который через неё проходит[15].

Обобщения

Куб не единственная фигура, которая может пройти через вырезанное отверстие в своей копии; то же верно и для правильных тетраэдра и октаэдра[16].

Другой вариант формулировки этой же задачи — вопрос о самом большом квадрате, который лежит внутри единичного куба. Более обобщённо, Шаблон:Harvtxt показывают, как найти наибольший прямоугольник с заданным соотношением сторон, который лежит внутри единичного куба. Они демонстрируют, что оптимальный прямоугольник всегда должен пересекать центр куба и иметь вершины на гранях куба. Как следствие, в зависимости от заданного соотношения сторон, оптимальный прямоугольник должен лежать либо в плоскости, по диагонали пересекающей четыре вершины куба, либо формироваться равнобедренным прямоугольным треугольником с вершиной в одной из вершин куба и двумя противоположными точками, как в случае с кубом принца Руперта[2]. Если соотношение сторон не задано, то наибольшая площадь прямоугольника, вписанного в куб, будет у прямоугольника, имеющего два противоположных ребра куба как две стороны и две противоположные плоскостные диагонали как ещё две стороны[17].

Альтернативно, можно вычислить наибольший <math>m</math>-мерный гиперкуб, который можно нарисовать внутри <math>n</math>-мерного единичного гиперкуба. Ответ всегда будет выражаться алгебраическим числом. Например, для <math>(m,n)=(3,4)</math> требуется поместить обычный куб внутри четырёхмерного гиперкуба. После того, как Мартин Гарднер поставил эту задачу в Scientific American, Кей ДеВиччи и ещё несколько авторов продемонстрировали, что для пары (3,4) — решением является квадратный корень меньшего из действительных корней полинома <math>4x^4-28x^3-7x^2+16x+16</math>, что составляет примерно 1.007435[3][18]. Для <math>m=2</math> оптимальная длина стороны самого большого квадрата в <math>n</math>-мерном гиперкубе равна или <math>\sqrt{n/2}</math>, или <math>\sqrt{n/2-3/8}</math> в зависимости от того, является ли <math>n</math> чётным или нечётным соответственно[19].

Примечания

Шаблон:Refbegin Шаблон:Примечания Шаблон:Refend

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Добротная статья