Fonctions puissances

Définitions et propriétés

Définition

Pour tout a a réel strictement positif, et tout réel r r on pose :

a r = e r ln a a^r=e^{r ln a}

Remarque

Cette définition est cohérente avec la définition usuelle des puissances entières. En effet, a a étant un réel strictement positif, on peut écrire, par exemple :

a 3 = ( e ln a ) 3 = e 3 ln a a^3 = left ( e^{ln a} right ) ^3= e^{3 ln a}

Elle donne un sens à des écritures telles que 5 2 5^{sqrt 2} ou encore 2 π 2^{-%pi} .

Attention, cependant, lorsque r r est réel, l'écriture a r a^r n'est possible que si a > 0 a > 0

Les propriétés de la fonction exponentielle permettent d'écrire :

FondamentalPropriété

Pour tous réels a a et b b strictement positifs, et pour tous réels x x et y y :

a x + y = a x × a y ; a x y = a x a y ; a x = 1 a x ; ( a x ) y = a x y ; a x × b x = ( a b ) x ; ( a b ) x = a x b x a^{x+y}=a^x times a^y " ; " a^{x-y}=a^x over a^y " ; " a^{-x}=1 over a^x " ; " (a^x)^y=a^{x y} " ; " a^x times b^x =(a b)^x " ; " left (a over b right )^x = a^x over b^x

Exemple

Résoudre dans setR : 2 x + 1 = 3 x 2^{x+1}=3^x

Pour tout x x réel, on a : 2 x + 1 = 3 x 2 x × 2 = 3 x 2^{x+1}=3^x dlrarrow 2^x times 2 = 3^x

Soit 3 x 2 x = 2 3^x over 2^x = 2 , ce que l'on peut écrire : ( 3 2 ) x = 2 left ( 3 over 2 right )^x = 2

On obtient : e x ln 3 2 = 2 e^{x ln {3 over 2}} = 2 , finalement : x = ln 2 ln 3 2 x = {ln 2} over {ln {size 10 {3 over 2}}}

Cas particulier des racines n-ièmes

Soit a a un réel strictement positif et n n un entier naturel non nul, on a :

a n = a 1 n nroot n a = a ^{1 over n}

En effet, on a : ( a n ) n = a left ( nroot n a right )^n = a , donc ln ( a n ) n = ln a ln left ( nroot n a right )^n = ln a

Or ln ( a n ) n = n ln a n ln left ( nroot n a right )^n = n ln nroot n a , donc : ln a n = 1 n ln a ln nroot n a = 1 over n ln a

Enfin, e ln a n = e 1 n ln a e^{ln nroot n a} = e^{1 over n ln a} , ce qui s'écrit : a n = a 1 n nroot n a = a ^{1 over n}

Exemple

Calculer ( 54 3 ) 6 left( nroot 3 54 right )^6

( 54 3 ) 6 = ( 2 × 3 3 3 ) 6 = ( 2 1 3 × 3 3 3 ) 6 = 2 6 3 × 3 6 = 2 2 × 3 6 = 4 × 729 = 2916 left( nroot 3 54 right )^6 = left( nroot 3 {2 times 3^3} right )^6 = left( {2^{1 over 3} times 3^{3 over 3}} right )^6 = 2^{6 over 3} times 3^6 = 2^2 times 3^6 = 4 times 729 = 2916