Bonjour
Soit x=p/q avec p,q des entiers >0.
Supposons que e^x=a/b avec a,b des entiers >0. On considère
Montrer que
1) Pour tout n il existe un polynôme P_n tel que
x^(2n+1)I_n(x)=P_n(x)e^x-P_n(-x)e^(-x)
2) La suite (abp^(2n+1)I_n(x)) est dans Z et elle tend vers 0.
En déduire une contradiction
3) Si x rationnel <0 , e^x est irrationnel
4) Si x rationnel >0 et x#1, ln(x) est irrationnel
AA+