Gelfond-Schneiderin vakio (merkintä [1] : ) on transsendentaalinen luku [1] , kaksi kahden neliöjuuren potenssilla: [1]
Tämän luvun ylittävyyden todisti R. O. Kuzmin vuonna 1930. [2] Vuonna 1934 Alexander Gelfond ja Theodor Schneider todistivat itsenäisesti yleisemmän Gelfond-Schneiderin lauseen [3] , joka ratkaisi osan alla kuvatusta seitsemännestä Hilbertin ongelmasta .
Gelfond-Schneiderin vakion neliöjuuri on transsendentaalinen luku:
Samaa lukua voidaan käyttää osoittamaan, että irrationaaliluku irrationaalisen luvun potenssiin nähden voi olla rationaalinen , ilman että ensin todistetaan, että se on transsendentti. Todistus menee seuraavasti. Jos luku on rationaalinen, tämä on lauseen todiste. Muuten:
,
joka on rationaalinen luku ja siten todistaa lauseen. Tämä todiste ei ole rakentava, koska se ei kerro, mikä tapaus on totta, mutta se on paljon yksinkertaisempi kuin R. O. Kuzminin todiste.
Seitsemäs Hilbertin 23 tehtävästä, joka esitettiin vuonna 1900, oli todistaa tai löytää vastaesimerkki väitteestä, joka on aina ylivoimainen algebrallinen ja irrationaalinen algebrallinen . Puheessaan Hilbert antoi kaksi silmiinpistävää esimerkkiä, joista yksi on Gelfond-Schneiderin vakio.
Irrationaalisia lukuja | ||
---|---|---|
| ||