A Gelfond-Schneider konstans (jelölése [1] : ) egy transzcendentális szám [1] , kettő a kettő négyzetgyökének hatványa szerint: [1]
Ennek a számnak a meghaladását R. O. Kuzmin bizonyította 1930-ban. [2] 1934-ben Alexander Gelfond és Theodor Schneider egymástól függetlenül bebizonyították az általánosabb Gelfond-Schneider tételt [3] , amely az alábbiakban ismertetett hetedik Hilbert-probléma egy részét megoldotta .
A Gelfond-Schneider állandó négyzetgyöke egy transzcendentális szám:
Ugyanez a szám használható annak bizonyítására, hogy egy irracionális szám hatványa szerint lehet racionális , anélkül, hogy először bebizonyítanánk, hogy transzcendens. A bizonyítás a következőképpen zajlik. Ha a szám racionális, akkor ez a tétel bizonyítása. Másképp:
,
amely racionális szám és ezért bizonyítja a tételt. Ez a bizonyítás nem építő jellegű, mivel nem mondja meg, melyik eset igaz, de sokkal egyszerűbb, mint R. O. Kuzmin bizonyítása.
Hilbert huszonhárom problémája közül a hetedik , amelyet 1900-ban állított fel, az volt, hogy bizonyítson vagy ellenpéldát találjon egy olyan állításra, amely mindig felülmúlja az algebrai és az irracionális algebrát . Hilbert beszédében két feltűnő példát hozott fel, amelyek közül az egyik a Gelfond-Schneider állandó.
Irracionális számok | ||
---|---|---|
| ||