Irrationalité de e/pi

[invite2b14cd41]

Salut,
Je me demande s'il existe une preuve de ce résultat ... C'est peut-être faux ?
En tout cas, cela ne me semble pas du tout trivial...
Si vous avez un lien/une idée, n'hésitez pas.
Cordialement, pol.
-----

[mimo13]

Salut,

D'après ce que je sais, ce résultat demeure encore un mystère pour les mathématiciens.

Cela dit, faudrait se demander à quoi ça peut servir...parce que des nombres comme ça, ce n'est vraiment pas ce qui manque.

[invite2b14cd41]

D'accord, en fait je me demandais si je pouvais utiliser le fait que (e,pi) était libre dans le Q-ev (R,+,.) afin de montrer que si un cercle dans R^2 est centré en (e,pi) il passe au plus par un point de coordonnées rationnelles.
Apparemment, c'est impossible de le montrer au vue des connaissances actuelles.