En effet, si x∈Ret si nest entier, on peut toujours définir xnpar x×x×x··· × x
|{z }
nfois
. Ainsi, la fonction
x7→ xnest bien définie pour x∈Ret n∈Nen n’utilisant que le produit.
On a alors les relations xn+m=xn×xmet (xn)m=xnm.
En passant par l’inverse, on peut définir si (x6= 0) et n∈N,x−n=1
xn. Ainsi, la fonction x7→ xkest bien
définie pour x∈R∗et k∈Zen n’utilisant que le produit et le passage à l’inverse.
Les relations xn+m=xn×xmet (xn)m=xnm restent alors vraies.
La situation se complique si on veut définir xp
qpour p∈Z,q∈Net x < 0 : déjà −11
2n’est pas défini
puisqu’il n’existe pas de solution à l’équation x2=−1. De plus, si on considère h(−1)2i1
2, on a d’un côté :
h(−1)2i1
2=p(−1)2et de l’autre h(−1)2i1
2= (−1)1=−1.
On se restreint donc à x > 0, et on définit xp
qpour p∈Z,q∈N: comme (xp)
1
q, c’est-à-dire comme la
solution de l’équation en yq=xpd’inconnue y(cette équation a toujours une solution unique).
Notons que l’on a la relation : (xp)
1
q=x1
qp
=xp
q. En effet, x1
qest la solution de l’équation yq=x
(d’inconnue y), et on a donc : "x1
qp#q
=x1
qpq
="x1
qq#p
=xp.
Ainsi, xp
qest parfaitement défini si x > 0, p∈Zet q∈N, par la composée de fonction puissance et de
réciproque de fonction puissance.
Par contre, si on considère x√2ou xπ, on ne peut plus écrire cela en utilisant des fonctions puissances et
leur réciproque. On est donc amené à définir x√2comme e√2 ln(x).
On retiendra : ne pas écrire xasans être assuré que x > 0, dans ce cas la notation xadésigne ealn(x).
Note: Pour une suite de la forme (un)vnil faut aussi systématiquement revenir à la forme exponentielle
pour calculer la limite.
Les propriétés de ces fonctions sont :
– en 0 : elles vérifient n
√0 = 0, avec de plus tangente verticale en 0, plus nest grand, plus les
fonctions sont verticales,
– en +∞: elles vérifient lim+∞
n
√x= +∞, d’autant plus vite que nest petit. Ce qui signifie que
si n>m,n
√xest négligeable devant m
√x(on note parfois cela : n
√x≪m
√x).
– en 1, on a n
√1 = 1 et elles sont d’autant plus plates que nest grand.
0 1 2 3
0
1
2
3
Figure 3 – Les fonctions x7→ √xet x7→ 3
√x
3