Просмотр кода страницы Третья проблема Гильберта

'''Третья проблема Гильберта''' — третья из [[проблемы Гильберта|проблем]], поставленных [[Гильберт, Давид|Давидом Гильбертом]] в его знаменитом докладе на [[Международный конгресс математиков|II Международном Конгрессе математиков]] в Париже в 1900 году. Эта проблема посвящена вопросам [[равносоставленность|равносоставленности]] [[многогранник]]ов: возможности разрезания двух многогранников равного объёма на конечное число равных частей-многогранников.

Постановка такого вопроса была связана с тем, что, с одной стороны, на плоскости любые два многоугольника равной площади равносоставлены — как утверждает [[теорема Бойяи — Гервина]]. С другой стороны, имевшиеся способы доказательства формулы для объёма тетраэдра (1/3 произведения высоты на площадь основания) так или иначе были связаны с предельными переходами, и тем самым с [[аксиома Архимеда|аксиомой Архимеда]]<ref>{{Cite web |url=http://ilib.mirror1.mccme.ru/djvu/klassik/gilprob.htm |title=Архивированная копия |accessdate=2010-03-25 |archive-date=2011-10-17 |archive-url=https://web.archive.org/web/20111017232946/http://ilib.mirror1.mccme.ru/djvu/klassik/gilprob.htm |deadlink=unfit }}{{Cite web |url=http://ilib.mirror1.mccme.ru/djvu/klassik/gilprob.htm |title=Архивированная копия |accessdate=2010-03-25 |archive-date=2011-10-17 |archive-url=https://web.archive.org/web/20111017232946/http://ilib.mirror1.mccme.ru/djvu/klassik/gilprob.htm |deadlink=unfit }}</ref>. Хотя буквально в предложенной Гильбертом формулировке речь шла о равносоставленности тетраэдров (а, точнее, о доказательстве невозможности такого разбиения в общем случае), она немедленно и естественно расширяется до вопроса о равносоставленности произвольных многогранников заданного объёма (а, точнее, о необходимых и достаточных для этого условиях).

Третья проблема оказалась самой простой из проблем Гильберта: пример неравносоставленных тетраэдров равного объёма был предъявлен уже через год, в 1901 году, в работе<ref>Max Dehn: «Über den Rauminhalt», Mathematische Annalen 55 (1901), no. 3, pages 465—478.</ref> ученика Гильберта [[Ден, Макс|М. В. Дена]]. А именно, им была построена (принимающая значения в некоторой абстрактной [[группа (математика)|группе]]) величина — '''инвариант Дена''' — значения которой на равносоставленных многогранниках равны, и предъявлен пример тетраэдров равного объёма, для которых значения инварианта Дена различаются.

В дальнейшем {{нп3|Сайдлер, Жан-Пьер|Сайдлер||Jean-Pierre Sydler}} в своей работе<ref>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.</ref> 1965 года показал, что совпадение объёма и инварианта Дена являются не только необходимыми, но и достаточными условиями равносоставленности многогранников.

== Формулировка проблемы ==
Третья проблема Гильберта формулируется так:

{{цитата2|
Гаусс в двух своих письмах к Герлингу выражает сожаление по поводу того, что некоторые
известные положения стереометрии зависят от метода исчерпывания, то есть, говоря современным языком, от аксиомы непрерывности (или от аксиомы Архимеда).

Гаусс специально отмечает теорему Евклида, согласно которой объёмы треугольных пирамид, имеющих равные высоты, относятся как площади их оснований. Аналогичная задача планиметрии ныне полностью решена. Герлингу удалось также доказать равенство объёмов симметричных многогранников при помощи разбиения их на [[Конгруэнтность (геометрия)|конгруэнтные]] части.

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

Такое доказательство можно было бы получить, если бы удалось указать такие два тетраэдра с равными основаниями и равными высотами, которые никаким способом не могут быть
разложены на конгруэнтные тетраэдры и которые также не могут быть дополнены конгруэнтными тетраэдрами до таких многогранников, для которых разложение на конгруэнтные
тетраэдры возможно.||[[Давид Гильберт]]
(цитируется по книге В. Г. Болтянского<ref>{{Книга |автор=[[Болтянский В. Г.]] |заглавие=Третья проблема Гильберта |ссылка=http://ilib.mccme.ru/djvu/3problem.htm |ответственный= |издание= |место=М. |издательство=Наука |год=1977 |страницы=46 |страниц=208 |isbn= |isbn2= |archive-date=2017-04-21 |archive-url=https://web.archive.org/web/20170421122322/http://ilib.mccme.ru/djvu/3problem.htm }}</ref>)}}

== Инвариант Дена ==
Инвариант, построенный Деном, принимает значения в абстрактной группе (и, более того, векторном пространстве над <math>\Q</math>)
: <math>
V=\R\otimes_{\Q} \R / \langle \{l\otimes \pi \mid l\in \R\} \rangle.
</math>
А именно, для многогранника {{math|''P''}} с длинами рёбер <math>l_1,\dots,l_n</math> и соответствующими им двугранными углами <math>\alpha_1,\dots,\alpha_n</math> инвариант Дена {{math|''D(P)''}} полагается равным
: <math>
D(P):=\sum_i l_i \otimes \alpha_i \in V
</math>
При разрезании многогранника на части значение суммы «длина ребра <math>\otimes</math> прилежащий угол» может изменяться только при возникновении/исчезновении новых рёбер, возникающих внутри или на границе. Но у таких рёбер сумма прилегающих к ним двугранных углов равна <math>2\pi</math> или <math>\pi</math> соответственно, поэтому как элемент фактора {{math|''V''}} инвариант Дена не изменяется.

=== Пример ===
Примером применения инварианта Дена является неравносоставленность куба и правильного тетраэдра равного ему объёма: для куба с ребром {{math|''l''}} инвариант Дена равен <math>12 l \otimes \frac{\pi}{2} = 6l\otimes \pi =0</math>, а для правильного тетраэдра с ребром {{math|''a''}} —
: <math>
6a\otimes 2\arctan \frac{1}{\sqrt{2}}\neq 0,
</math>
поскольку <math>\arctan \frac{1}{\sqrt{2}}\notin \Q \pi.</math>

== Примечания ==
{{примечания}}
== Ссылки ==
* {{MathWorld|urlname=DehnInvariant|title=Dehn Invariant}}

== Литература ==

* {{книга|автор= |часть= |заглавие=Проблемы Гильберта |оригинал= |ссылка=https://web.archive.org/web/20111017232946/http://ilib.mirror1.mccme.ru/djvu/klassik/gilprob.htm |ответственный=под ред. [[Александров, Павел Сергеевич|П. С. Александрова]] |издание= |место={{М}} |издательство=Наука |год=1969 |том= |страницы= |страниц=240 |серия= |isbn= |тираж=10700}} {{Wayback|url=http://ilib.mirror1.mccme.ru/djvu/klassik/gilprob.htm |date=20111017232946 }}

* Болтянский В. Г. Третья проблема Гильберта

* 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, [http://archive.numdam.org/ARCHIVE/SB/SB_1984-1985__27_/SB_1984-1985__27__261_0/SB_1984-1985__27__261_0.pdf 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]]
[[Категория:Равносоставленность]]