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 dfinie est dfinie 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 dfinition 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[ .
xa

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
dfinie sur R est continue en toute valeur relle dirente de , n Z .
x
n

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

1
x

1
3.1. Justifier 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 estforcment
fausse. Dmontrons donc cette discontinuit :

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

lim
+ f (x).

1
x n

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 dfinie 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 dfinie 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 ! ! !

SOLUTION
1.1. Supposonsque 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 flche, 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

lim
+ f (x) =

1
x n

n1
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 infini dans tout intervalle.
Les limites tant direntes, la fonction est discontinue en