Третья из списка математических задач Гильберта , представленного в 1900 году, была решена первой. Проблема связана со следующим вопросом: для любых двух многогранников равного объема всегда ли возможно разрезать первый на конечное число многогранных частей, которые можно собрать заново, чтобы получить вторую? Основываясь на более ранних работах по Гаусс , [1] Гильберт высказал предположение , что это не всегда возможно. Это было подтверждено в течение года его учеником Максом Деном , который доказал, что в целом ответ - «нет», приведя контрпример. [2]
Ответ на аналогичный вопрос о многоугольниках в двух измерениях - «да», и он был известен давно; это теорема Уоллеса – Бойя – Гервиена .
Неизвестная Гильберту и Дену, третья задача Гильберта была также независимо предложена Владиславом Кретковским на математическом конкурсе 1882 года Краковской академией искусств и наук и была решена Людвиком Антони Биркенмайером другим методом, чем Ден. Биркенмайер не опубликовал результат, и оригинальная рукопись, содержащая его решение, была обнаружена заново спустя годы. [3]
История и мотивация
Формула объема пирамиды ,
был известен Евклиду , но все его доказательства включают некоторую форму ограничивающего процесса или исчисления , особенно метод исчерпания или, в более современной форме, принцип Кавальери . Подобные формулы в плоской геометрии могут быть доказаны более элементарными средствами. Гаусс сожалел об этом недостатке в двух своих письмах Кристиану Людвигу Герлингу , который доказал, что два симметричных тетраэдра равно составны . [3]
Письма Гаусса послужили мотивацией для Гильберта: можно ли доказать равенство объема элементарными методами «разрезания и склеивания»? Потому что в противном случае невозможно элементарное доказательство результата Евклида.
Ответ Дена
Доказательство Дена - это случай, когда абстрактная алгебра используется для доказательства невозможного результата в геометрии . Другие примеры - удвоение куба и деление угла пополам .
Два многогранника называются конгруэнтными ножницами, если первый можно разрезать на конечное число многогранников, которые можно собрать заново, чтобы получить второе. Любые два равных ножницам многогранника имеют одинаковый объем. Гильберт спрашивает об обратном .
Для каждого многогранника P Ден определяет значение, теперь известное как инвариант Дена D ( P ), со следующим свойством:
- Если P разрезать на две многогранные части P 1 и P 2 с одним разрезом плоскости, то D ( P ) = D ( P 1 ) + D ( P 2 ).
Из этого следует
- Если P разрезать на n многогранных частей P 1 , ..., P n , то D ( P ) = D ( P 1 ) + ... + D ( P n )
и в частности
- Если два многогранника конгруэнтны ножницам, то они имеют один и тот же инвариант Дена.
Затем он показывает, что каждый куб имеет нулевой инвариант Дена, в то время как каждый правильный тетраэдр имеет ненулевой инвариант Дена. Это решает вопрос.
Инвариант многогранника определяется на основе длин его ребер и углов между его гранями. Обратите внимание, что если многогранник разрезан на две части, некоторые ребра разрезаются на две части, и поэтому соответствующие вклады в инварианты Дена должны быть аддитивными в длинах ребер. Точно так же, если многогранник разрезан по ребру, соответствующий угол разрезается пополам. Однако при обычном разрезании многогранника появляются новые ребра и углы; нам нужно убедиться, что их вклады сокращаются. Сумма двух введенных углов всегда будет равна π ; поэтому мы определяем наш инвариант Дена так, что кратные углам π дают нулевой чистый вклад.
Все вышеперечисленные требования могут быть удовлетворены , если мы определим D ( P ) в качестве элемента тензорного произведения из действительных чисел R и фактор - пространство R / ( Q П ) , в которой все рациональные кратные П равны нулю. Для наших целей достаточно рассматривать это как тензорное произведение Z -модулей (или, что то же самое, абелевых групп). Однако, тем труднее Доказательство обратного (см ниже) использует векторное пространство структуры: Так как оба из факторов являются векторными пространствами над Q , тензор продукт может быть взят Q .
Пусть ℓ ( e ) - длина ребра e, а θ ( e ) - двугранный угол между двумя гранями, пересекающимися в точке e , измеренный в радианах . Тогда инвариант Дена определяется как
где сумма берется по всем ребрам е многогранника Р . Это оценка .
Дальнейшая информация
В свете приведенной выше теоремы Дена можно спросить, «какие многогранники конгруэнтны ножницам»? Сидлер (1965) показал, что два многогранника конгруэнтны ножницами тогда и только тогда, когда они имеют одинаковый объем и один и тот же инвариант Дена. [4] Бёрге Йессен позже распространил результаты Сидлера на четыре измерения. [ необходимая цитата ] В 1990 году Дюпон и Сах представили более простое доказательство результата Сидлера, переосмыслив его как теорему о гомологии некоторых классических групп . [5]
Debrunner показал в 1980 году , что инвариант Дена любого многогранника , с которой все три пространства могут быть плиточными периодически равен нуль. [6]
В сферической или гиперболической геометрии должны ли многогранники с одинаковым объемом и инвариантом Дена быть конгруэнтными по ножницам?
Джессен также поставил вопрос о том, остается ли аналог результатов Джессена верным для сферической геометрии и гиперболической геометрии . В этих геометриях метод Дена продолжает работать и показывает, что, когда два многогранника конгруэнтны ножницам, их инварианты Дена равны. Однако остается открытым вопрос , всегда ли пары многогранников с одинаковым объемом и одним и тем же инвариантом Дена в этих геометриях конгруэнтны по принципу ножниц. [7]
Исходный вопрос
Первоначальный вопрос Гильберта был более сложным: для любых двух тетраэдров T 1 и T 2 с равной площадью основания и равной высотой (и, следовательно, равным объемом) всегда можно найти конечное число тетраэдров, так что когда эти тетраэдры склеены в каким-то образом к Т 1 и тоже приклеиваем к Т 2 , получившиеся многогранники ножницы конгруэнтны?
Инвариант Дена можно использовать для получения отрицательного ответа и на этот более сильный вопрос.
Смотрите также
- Тетраэдр Хилла
- Онорато Николетти
Рекомендации
- ↑ Карл Фридрих Гаусс : Верке , т. 8. С. 241 и 244.
- ^ Ден, Макс (1901). "Убер ден Рауминхальт" (PDF) . Mathematische Annalen . 55 (3): 465–478. DOI : 10.1007 / BF01448001 .
- ^ а б Цесельска, Данута; Цесельский, Кшиштоф (2018-05-29). "Равносложимость многогранников: решение третьей проблемы Гильберта в Кракове до ICM 1900" . Математический интеллигент . 40 (2): 55–63. DOI : 10.1007 / s00283-017-9748-4 . ISSN 0343-6993 .
- ^ Сидлер, Ж.-П. (1965). "Условия, необходимые для обеспечения эквивалентности многоплановых пространств евклидийского пространства трех измерений". Комментарий. Математика. Helv. 40 : 43–80. DOI : 10.1007 / bf02564364 .
- ^ Дюпон, Йохан; Сах, Чих-Хан (1990). «Гомологии евклидовых групп движений сделаны дискретными и евклидовыми ножницами конгруэнции» . Acta Math. 164 (1-2): 1-27. DOI : 10.1007 / BF02392750 .
- ^ Дебруннер, Ханс Э. (1980). "Über Zerlegungsgleichheit von Pflasterpolyedern mit Würfeln". Arch. Математика. 35 (6): 583–587. DOI : 10.1007 / BF01235384 .
- ^ Дюпон, Йохан Л. (2001), Ножничные конгруэнции, групповая гомология и характеристические классы , Nankai Tracts in Mathematics, 1 , World Scientific Publishing Co., Inc., River Edge, NJ, p. 6, DOI : 10,1142 / 9789812810335 , ISBN 978-981-02-4507-8, MR 1832859 , архивируются с оригинала на 2016-04-29.
дальнейшее чтение
- Бенко, Д. (2007). «Новый подход к третьей проблеме Гильберта». Американский математический ежемесячник . 114 (8): 665–676. DOI : 10.1080 / 00029890.2007.11920458 .
- Шварц, Рич (2010). «Объяснение теоремы Дена – Сидлера» (PDF) . Цитировать журнал требует
|journal=
( помощь ) - Кодзи, Сига; Тошиказу Сунада (2005). Математический дар, III: Взаимодействие между топологией, функциями, геометрией и алгеброй . Американское математическое общество.
Внешние ссылки
- Доказательство теоремы Дена во всем2
- Вайсштейн, Эрик В. «Инвариант Дена» . MathWorld .
- Ден инвариантен во всем2
- Хазевинкель, М. (2001) [1994], "Инвариант Дена" , Энциклопедия математики , EMS Press