Continuit de fonctions construites partir de

E (x)

On va dans ce problme, tudier la continuit, ou plutt la discontinuit de la fonction partie entire E. 1 On va ensuite tudier celle de E qui ne sera pas trs surprenante. x 1 Dans un dernier eort, on va sintresser la fonction xE qui nous rservera une merveilleuse surprise en 0. x On rappelle que la fonction partie entire est dnie est dnie de R dans Z par : E : x 7 E (x) tel que E (x) x E (x) + 1 () Cest cette double ingalit qui sert de dnition la partie entire et qui sera trs frquemment utilise dans les questions ci-dessous. 1. Etude de la continuit de E (x) : On admettra que E (x) existe toujours, cest dire que tout nombre rel peut tre encadr par deux entiers. 1.1. Montrer que x R, E (x) est unique. 1.2. Pour tout n de Z, on considre un rel a ]n; n + 1[ . Montrer que pour tout x susamment voisin de a (on cherchera en fait la distance maximale), E (x) vaut n. En dduire que lim E (x) = n, puis que E (x) est continue sur ]n; n + 1[ . 1.3.Montrer que E (x) nest pas continue en n , (n Z). En conclusion, la fonction E (x) est continue en toute valeur relle non entire. 2. Dduire de ce qui prcde que E 1 1 dnie sur R est continue en toute valeur relle dirente de , n Z . x n 1 x
xa

3. On tudie maintenant la continuit de la fonction f : x 7 xE

1 3.1. Justier que f est continue en toute valeur relle dirente de , n Z . n 1 3.2. On nest cependant pas assur de la non continuit de f en . Ce nest en eet pas parce que le thormes gnraux n ne sappliquent pas, que leur conclusion est fausse. Dmontrons donc cette discontinuit : forcment 1 1 1 3.2.1. Montrer que <x< E = n. En dduire lim f (x). n+1 n x 1 x
n

3.2.2. Par le mme raisonnement, calculer

1 3.3. On se pose maintenant le problme de la continuit de f en 0. E (x) nest pas continue en 0, valeur entire, E ( ) x encore moins (elle nest pas dnie en 0 et ny admet pas de limite). Mais quen est-il de f ? On va essayer de dmontrer que f (x) admet une limite en 0 ; on pourra donc prolonger la fonction par continuit en rajoutant une valeur. 3.3.1. En utilisant () , montrer que x R, x 1 < E (x) x 1 3.3.2. En dduire un encadrement de E ( ) puis la limite de f en 0. x 1 x R , g (x) = xE est continue en 0 et plus gnralement en 3.3.3. Conclure que la fonction g dnie par x g (0) = 1 1 toute valeur dirente de , n Z . Il nest pas question de la tracer ! Il nest mme pas question dentrevoir lallure n quelle peut avoir pour des valeurs voisines de 0. Essayez pour voir ! ! !

1 x n

lim + f (x).

SOLUTION
1.1. Supposons que E (x) nest pas unique. Ainsi : E (x) = n et E (x) = p .avec n 6= p.et raisonnons par labsurde nx<n+1 np0 Alors () n p 0 < n p en faisant la dirence membre membre. Donc px<p+1 np>0 contradiction. Lhypothse faite est donc fausse. E (x) est unique 1.2. Un simple schma pour comprendre. En choisissant x dans lintervalle schmatis par la double che, x reste dans lintervalle ]n; n + 1[ et E (x) = n.

n+1

Ainsi, en choisissant x ]a d; a + d[ o d est le plus petit des nombres n + 1 a et a n (il ne doit sortir ni droite ni gauche), alors E (x) = n donc "rentre dans un tuyau centr sur n et de rayon nul" (donc aussi petit quon le dsire). Cela prouve que la limite de E (x) en a est E (a) (qui vaut n) Ainsi lim E (x) = E (a). la fonction E est continue en tout a de ]n; n + 1[ , et ce quel que soit n Z. xa 1.3. Facile puisquon montre aismment que limite gauche et limite droite de toute valeur entire sont direntes. 2. Il sagit de lapplication directe du thorme de la continuit de la compose de deux fonctions drivables. 1 / Z. Donc E u(x) est continue pour u(x) / Z donc Ainsi la fonction u : x 7 est continue sur R ; . E est continue pour x x 1 6= n. Do le rsultat. x 1 3.1. . f est continue en toute valeur qui nest pas de la forme comme produit de fonctions continues. n 1 1 1 1 3.2.1. lim < x < > n E( ) = n f (x) = 1 . n+1 n x x 1 x
n

3.2.2.

1 1 1 1 <x< n 1 < < n et cette fois E ( ) = n 1 n n1 x x

1 x n

1 . n 3.3.1. x R, E (x) x E (x) + 1 donc en retranchant 1 chaque terme : E (x) 1 x 1 E (x) On a donc x 1 < E (x) x 1 1 1 1 1 1 1x 3.3.2. si x 6= 0, on obtient pour lexpression : 1 < E ( ) < E( ) x x x x x x x Donc en multipliant par x non nul : 1 x < f (x) 1 do la limite de f (x) par encadrement qui vaut 1. 3.3.3. Il sagit dun simple prolongement par continuit. Cette fonction "bizarre" est donc continue en toute valeur relle 1 1 qui nest pas de la forme avec n entier relatif non nul mais qui est continue en 0. La non continuit en rend la n n courbe non traable, puisque ces points sont en nombre inni dans tout intervalle. Les limites tant direntes, la fonction est discontinue en

lim + f (x) =

n1 n