Hilbertův sedmý problém je jedním z 23 problémů , které David Hilbert navrhl 8. srpna 1900 na II. mezinárodním kongresu matematiků . Problém souvisí s důkazem a studiem transcendence a iracionality některých čísel.
Níže je uveden výňatek z Hilbertovy zprávy [1] věnované sedmému problému.
Hermitovy aritmetické teorémy exponenciální funkce a jejich vývoj Lindemannem nepochybně zůstanou ohromující pro matematiky všech generací. Nyní ale nastává problém – jít dál po dlážděné cestě, jak už to udělal Hurwitz ve svých dvou zajímavých studiích „O aritmetických vlastnostech určitých transcendentálních funkcí“ [2] . Rád bych proto poukázal na třídu problémů, které by podle mého názoru měly být v tomto směru považovány za nejbližší. Když se dozvíme, že určité speciální transcendentální funkce , které hrají zásadní roli v analýze , nabývají algebraických hodnot pro určité algebraické hodnoty argumentu, pak se nám tato okolnost zdá obzvláště překvapivá a hodná dalšího studia. Vždy očekáváme, že transcendentální funkce nabývají, obecně řečeno, transcendentální hodnoty pro algebraické hodnoty argumentů, a přestože si dobře uvědomujeme, že existují i takové celé transcendentální funkce, které nabývají racionálních hodnot pro všechny algebraické hodnoty argumentu stále považujeme za velmi pravděpodobné, že taková funkce, jako je například exponenciální , která samozřejmě pro všechny racionální hodnoty argumentu nabývá algebraických hodnot, na druhou stranu bude vždy nabývat hodnot transcendentálních pro všechny algebraické iracionální hodnoty . Toto tvrzení může mít také geometrický tvar následovně. Jestliže v rovnoramenném trojúhelníku je poměr úhlu na základně k úhlu na vrcholu algebraické, ale ne racionální číslo, pak poměr základny ke straně je transcendentální číslo . Navzdory jednoduchosti tohoto tvrzení, stejně jako jeho podobnosti s problémy řešenými Hermitem a Lindemannem, se mi jeho důkaz zdá extrémně obtížný, stejně jako důkaz, že stupeň algebraického základu a algebraického iracionálního exponentu - jako je např. číslo nebo - vždy existuje buď transcendentální číslo, nebo alespoň iracionální. Můžeme si být jisti, že řešení tohoto a podobných problémů by nás mělo přivést k novým úhlům pohledu na podstatu speciálních iracionálních a transcendentálních čísel [3] .
Sám Hilbert považoval sedmý problém za velmi obtížný. Karl Siegel cituje Hilberta [4] , ve kterém připisuje čas na vyřešení sedmého problému mnohem dále než k prokázání Riemannovy hypotézy a Fermatova teorému .
Přesto dílčí řešení související s transcendencí poměru základny k boční straně rovnoramenného trojúhelníku získal A. O. Gelfond již v roce 1929 [5] , transcendenci čísla prokázal R. O. Kuzmin v roce 1930 [6 ] . V roce 1934 získal Gelfond konečné řešení problému [7] : dokázal, že číslo ve tvaru , kde je jiné algebraické číslo než a a je iracionální algebraické číslo, je vždy transcendentální [8] (číslo později dokonce obdrželo jméno Gelfondovy konstanty ). O něco později roztok získal také Theodor Schneider [9] .
Hilbertovy problémy | |
---|---|