Третья проблема Гильберта — третья из проблем, поставленных Давидом Гильбертом в его знаменитом докладе на II Международном Конгрессе математиков в Париже в 1900 году. Эта проблема посвящена вопросам равносоставленности многогранников: возможности разрезания двух многогранников равного объёма на конечное число равных частей-многогранников.
Постановка такого вопроса была связана с тем, что, с одной стороны, на плоскости любые два многоугольника равной площади равносоставлены — как утверждает теорема Бойяи — Гервина. С другой стороны, имевшиеся способы доказательства формулы для объёма тетраэдра (1/3 произведения высоты на площадь основания) так или иначе были связаны с предельными переходами, и тем самым с аксиомой Архимеда. Хотя буквально в предложенной Гильбертом формулировке речь шла о равносоставленности тетраэдров (а, точнее, о доказательстве невозможности такого разбиения в общем случае), она немедленно и естественно расширяется до вопроса о равносоставленности произвольных многогранников заданного объёма (а, точнее, о необходимых и достаточных для этого условиях).
Третья проблема оказалась самой простой из проблем Гильберта: пример неравносоставленных тетраэдров равного объёма был предъявлен уже через год, в 1901 году, в работеMax Dehn: «Über den Rauminhalt», Mathematische Annalen 55 (1901), no. 3, pages 465—478. ученика Гильберта М. В. Дена. А именно, им была построена (принимающая значения в некоторой абстрактной группе) величина — инвариант Дена — значения которой на равносоставленных многогранниках равны, и предъявлен пример тетраэдров равного объёма, для которых значения инварианта Дена различаются.
В дальнейшем в своей работеSydler, J.-P. «Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l’espace euclidean à trois dimensions.» Comment. Math. Helv. 40, 43-80, 1965. 1965 года показал, что совпадение объёма и инварианта Дена являются не только необходимыми, но и достаточными условиями равносоставленности многогранников.
Формулировка проблемы Третья проблема Гильберта формулируется так:
Инвариант Дена Инвариант, построенный Деном, принимает значения в абстрактной группе (и, более того, векторном пространстве над )
А именно, для многогранника с длинами рёбер и соответствующими им двугранными углами инвариант Дена полагается равным
При разрезании многогранника на части значение суммы «длина ребра прилежащий угол» может изменяться только при возникновении/исчезновении новых рёбер, возникающих внутри или на границе. Но у таких рёбер сумма прилегающих к ним двугранных углов равна или соответственно, поэтому как элемент фактора инвариант Дена не изменяется.
Пример Примером применения инварианта Дена является неравносоставленность куба и правильного тетраэдра равного ему объёма: для куба с ребром инвариант Дена равен , а для правильного тетраэдра с ребром —
поскольку
Примечания
Ссылки
Литература
Болтянский В. Г. Третья проблема Гильберта Dehn, M. «Über raumgleiche Polyeder.» Nachr. Königl. Ges. der Wiss. zu Göttingen f. d. Jahr 1900, 345—354, 1900. Dehn, M. «Über den Rauminhalt.» Math. Ann. 55, 465—478, 1902. D. Benko. «A new approach to Hilbert’s third problem». Amer. Math. Monthly 114.8 (2007), p. 665—676. P. Cartier, Décomposition des polyèdres : le point sur le troisième problème de Hilbert, Séminaire Bourbaki, 1984-85, n° 646, p. 261—288. Sydler, J.-P. «Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l’espace euclidean à trois dimensions.» Comment. Math. Helv. 40, 43-80, 1965.
Категория:Стереометрия #03 Категория:Равносоставленность