Notations et objet du probl`eme
On d´esigne par :
Nl’ensemble des entiers naturels ;
Zl’anneau des entiers relatifs ;
Qle corps des nombres rationnels ;
Q∗l’ensemble des nombres rationnels non nuls ;
Rle corps des nombres r´eels ;
R∗[resp. R∗
+]l’ensemble des r´eels non nuls [resp. strictement positifs] ;
Cle corps des nombres complexes ;
C∗l’ensemble des nombres complexes non nuls ;
Z[x]l’anneau des fonctions polynomiales `a coefficients entiers relatifs.
Pour tout entier naturel n, on note n!la factorielle de navec la convention 0! = 1.
Si fest une fonction ind´efiniment d´erivable d´efinie sur R`a valeurs r´eelles et kest un entier
naturel non nul, on note f(k)la fonction d´eriv´ee d’ordre kde f. On utilise la convention habituelle,
f(0) =f.
Si Iest un intervalle r´eel non r´eduit `a un point et fune fonction d´erivable de Idans C∗,on
rappelle que la d´eriv´ee logarithmique de fest la fonction f0
f.
La premi`ere partie de ce probl`eme est consacr´ee `a la d´emonstration de quelques r´esultats utiles
pour la suite.
Dans la deuxi`eme partie, `a partir d’une caract´erisation des sous groupes additifs de R(ils sont
denses ou discrets), on d´eduit un crit`ere d’irrationalit´e et on d´ecrit une m´ethode permettant de
prouver qu’un r´eel est irrationnel.
Cette m´ethode est utilis´ee dans la troisi`eme partie pour montrer l’irrationalit´e de erpour tout
nombre rationnel non nul r. Ce proc´ed´e permet ´egalement d’obtenir des approximations rationnelles
de la fonction exponentielle.
Dans la quatri`eme partie on s’int´eresse aux racines r´eelles des solutions d’une ´equation diff´erentielle
lin´eaire d’ordre 2`a coefficients non constants et en particuliers aux racines r´eelles des fonctions de
Bessel d’indice entier.
Enfin dans la cinqui`eme partie, on montre que les racines r´eelles non nulles des fonctions de
Bessel d’indice entier sont irrationnelles en utilisant une m´ethode voisine de celle d´ecrite dans la
deuxi`eme partie.
On rappelle la formule d’int´egration par parties it´er´ee : si a, b sont des r´eels tels que a < b, n un
entier naturel non nul et f, g des fonctions d´efinies sur l’intervalle [a, b]`a valeurs r´eelles et admettant
des d´eriv´ees continues jusqu’`a l’ordre n, alors :
Zb
a
f(n)(t)g(t)dt ="n
X
k=1
(−1)k+1 f(n−k)g(k−1)#b
a
+ (−1)nZb
a
f(t)g(n)(t)dt.
– I – R´esultats pr´eliminaires
Pour cette partie, on d´esigne par pun entier naturel, par Pune fonction polynomiale dans Z[x]
non identiquement nulle, de degr´e p, et par nun entier naturel.
1. Soit Qla fonction polynomiale d´efinie par :
∀x∈R, Q (x) = xn
n!P(x).
1