Định lý Gelfond-Schneider mang tên của nhà toán học người Nga Alexander Osipovich Gelfond (1906-1968) và của nhà toán học Theodor Schneider (1911-1988), hai người cùng độc lập chứng minh trong lý thuyết sốđịnh lý này trong năm 1934.
Nếu không có điều kiện a và b là các số đại số, định lý nói chung không đúng. Ví dụ,
ở đây, a là √2√2, là một số siêu việt. Tương tự, nếu a = 3 và b = (log 2)/(log 3) là một số siêu việt, thì ab = 2 là một số đại số.
Phân tích
Định lý này được tổng quát hóa thành định lý Baker, bởi nhà toán học người Anh Alan Baker (1939- ) chứng minh năm 1966, như sau:
Aleksandr Gelfond (1934). "Sur le septième Problème de Hilbert". Bulletin de l'Académie des Sciences de l'URSS. Classe des sciences mathématiques et na. VII (4): 623–634.