Je change de sujet, mais j'ai un problème sur un calcul...
Enfait voilà, le but est de montrer montrer la transcendance de e^pi, en supposant quelques propriétés connues.
Bon je pense être parti sur la bonne voie en remarquand que :
e^pi = ((e^pi)^i)^(-i) = (e^pi*i)^(-i) = (-1)^(-i).
Bon après en déduire la transcendance c'est facil, car -1 est algébrique, i aussi, mais tout sauf rationnel.
MAIS, pourquoi si je mets :
e^pi = ((e^pi)^(-i))^i = (e^-pi*i)^i = (-1)^i = e^(-pi) ... ca ne marche évidement plus, il y a une erreure dans cette ligne, mais je vois pas pourquoi...