Hilberts tredje problem er det tredje af de problemer , som David Hilbert stillede i hans berømte foredrag på II International Congress of Mathematicians i Paris i 1900. Dette problem er afsat til spørgsmålene om ens sammensætning af polyedre : muligheden for at skære to polyedre af samme volumen til et endeligt antal lige dele-polyedre.
Stillingen af et sådant spørgsmål skyldtes det faktum, at på den ene side, på et plan, er to polygoner med samme areal ligeligt sammensat - som Bolyai-Gervin-sætningen siger . På den anden side var de eksisterende metoder til at bevise formlen for volumenet af et tetraeder (1/3 af produktet af højden og arealet af basen) på en eller anden måde forbundet med grænseovergange og dermed med aksiomet for Arkimedes [1] . Selvom det bogstaveligt talt i den af Hilbert foreslåede formulering handlede om den lige sammensætning af tetraedre (eller mere præcist, om beviset for umuligheden af en sådan opdeling i det generelle tilfælde), udvides det umiddelbart og naturligt til spørgsmålet om den lige sammensætning af vilkårlige polyedre af et givet volumen (eller mere præcist, om det nødvendige og tilstrækkelige til disse forhold).
Det tredje problem viste sig at være det enkleste af Hilberts problemer: et eksempel på ulige tetraedre af samme volumen blev præsenteret et år senere, i 1901, i værket [2] af Hilberts elev M. V. Dehn . Han konstruerede nemlig (ved at tage værdier i en eller anden abstrakt gruppe ) en størrelse - Dehn-invarianten - hvis værdier på ligeligt sammensatte polyedre er ens, og præsenterede et eksempel på tetraedre med samme volumen, for hvilke værdierne af Dehn invariant er forskellige.
Senere Seidleri sit arbejde [3] i 1965 viste han, at sammenfaldet af volumenet og Dehn-invarianten ikke kun er nødvendige, men også tilstrækkelige betingelser for ækvikompositionen af polyedre.
Hilberts tredje problem er formuleret som følger:
![]() |
Gauss udtrykker i sine to breve til Gerling sin beklagelse over, at nogle velkendte stereometripositioner afhænger af udmattelsesmetoden, det vil sige i moderne termer på kontinuitetsaksiomet (eller af Arkimedes' aksiom). Gauss bemærker specifikt Euklids sætning, ifølge hvilken mængderne af trekantede pyramider med samme højde er relateret til arealet af deres baser. Et lignende problem med planimetri er nu fuldstændig løst. Det lykkedes også Gerling at bevise ligheden af volumen af symmetriske polyedre ved at opdele dem i kongruente dele. Ikke desto mindre forekommer det mig, at beviset for den nævnte Euklids sætning på denne måde i det almindelige tilfælde er umuligt, og dette kan tilsyneladende bekræftes af et strengt bevis for umuligheden. Et sådant bevis kunne opnås, hvis det var muligt at angive to tetraedre med lige store baser og lige højder, som ikke kan nedbrydes til kongruente tetraedre på nogen måde, og som heller ikke kan fuldføres med kongruente tetraedre til sådanne polyedre, for hvilke nedbrydningen til kongruente tetraedre Måske . |
![]() | ||
David Hilbert (citeret fra bogen af V. G. Boltyansky [4] ) |
Invarianten konstrueret af Dehn tager værdier i en abstrakt gruppe (og desuden et vektorrum over )
Nemlig, for en polytop P med kantlængder og tilsvarende dihedriske vinkler sættes Dehn-invarianten D(P) lig med
Når du skærer et polyeder i dele, kan værdien af summen "længde af kant inkluderet vinkel" kun ændre sig, når nye kanter dukker op/forsvinder, der vises inden for eller på grænsen. Men for sådanne kanter er summen af de dihedriske vinkler, der støder op til dem, lig med eller henholdsvis, som et element i faktoren V ændres Dehn-invarianten ikke.
Et eksempel på anvendelsen af Dehn-invarianten er den ujævne sammensætning af en terning og et regulært tetraeder med samme volumen: for en terning med en kant l er Dehn-invarianten , og for et regulært tetraeder med en kant a -
fordi
Hilbert problemer | |
---|---|