Septième problème de Hilbert

Un article de Wikipédia, l'encyclopédie libre.

Le septième problème de Hilbert concerne l'irrationalité et la transcendance de certains nombres (Irrationalität und Transzendenz bestimmter Zahlen). Dans sa formulation géométrique, il demande quand l'assertion suivante est démontrable :

Dans un triangle isocèle, si le rapport de l'angle de la base à l'angle du sommet est algébrique mais non rationnel, alors le rapport entre la base et le côté est toujours transcendant.

Un cas particulier de ce problème demande :

a^b\, est-il un transcendant, pour a \ne 0\, et a\ne 1\, algébrique et b algébrique irrationnel ?

Lorsque b est rationnel, a^b\, sera algébrique.

Le problème particulier fut résolu par Aleksandr Gelfond en 1934, et raffiné par Theodor Schneider en 1935. Ils ont démontré que a^b\, est transcendant lorsque b est algébrique et irrationnel. Ce résultat est connu comme le théorème de Gelfond ou de Gelfond-Schneider.

À partir du point de vue des généralisations, ceci est le cas

b \log (\alpha) + \log(\beta) = 0\,

de la forme linéaire générale en logarithmes.

[modifier] Voir aussi


Problèmes de Hilbert
Premier problème - Deuxième problème - Troisième problème - Quatrième problème - Cinquième problème - Sixième problème - Septième problème - Huitième problème - Neuvième problème - Dixième problème - Onzième problème - Douzième problème - Treizième problème - Quatorzième problème - Quinzième problème - Seizième problème - Dix-septième problème - Dix-huitième problème - Dix-neuvième problème - Vingtième problème - Vingt-et-unième problème - Vingt-deuxième problème - Vingt-troisième problème


Autres langues