Puissance rationnelle d’un nombre réel positif

#2bacsef

I. Définiton

Définition

Soient xR+x \in \mathbb{R}^{*+}, nNn \in \mathbb{N}^* et mNm \in \mathbb{N}, on pose r=mnQr = \frac{m}{n} \in \mathbb{Q}.

  • Le nombre xmn\sqrt[n]{x^m} s’écrit :
    xmn=xmn=xr\sqrt[n]{x^m} = x^{\frac{m}{n}} = x^r
    xrx^r est appelé puissance rationnelle du nombre réel positif xx d’exposant rr.
  • 0r=00^r = 0 avec r0r \ne 0.

Remarque

La définition de l’exposant dans Q\mathbb{Q} est un prolongement de l’exposant dans Z\mathbb{Z}.

Exercice

Écrire les nombres suivants sous la forme xrx^r (rQr \in \mathbb{Q}) :
(59)3;(73)4;(134)12(\sqrt[9]{5})^3 \quad ; \quad (\sqrt[3]{7})^{-4} \quad ; \quad (\sqrt[4]{13})^{12}

Correction

  • (59)3=539=513(\sqrt[9]{5})^3 = 5^{\frac{3}{9}} = 5^{\frac{1}{3}}
  • (73)4=743(\sqrt[3]{7})^{-4} = 7^{\frac{-4}{3}}
  • (134)12=13124=133(\sqrt[4]{13})^{12} = 13^{\frac{12}{4}} = 13^3

II. Propriétés

Soient r,rQr, r' \in \mathbb{Q} et a,bR+a, b \in \mathbb{R}^{*+} :

  • ar>0a^r > 0
  • a0=1a^0 = 1 avec a0a \ne 0
  • ar=bra=ba^r = b^r \Leftrightarrow a = b
  • (ar)r=arr(a^r)^{r'} = a^{r \cdot r'}
  • (ab)r=arbr\left(\frac{a}{b}\right)^r = \frac{a^r}{b^r}
  • ar=1ara^{-r} = \frac{1}{a^r}
  • arar=arr\frac{a^r}{a^{r'}} = a^{r - r'}
  • arbr=(ab)ra^r \cdot b^r = (a \cdot b)^r
  • arar=ar+ra^r \cdot a^{r'} = a^{r + r'}

III. Exercice

  1. Simplifier :
    A=(213)5412823A = (2^{\frac{-1}{3}})^5 \cdot 4^{\frac{-1}{2}} \cdot 8^{\frac{2}{3}}

  2. Résoudre dans R\mathbb{R} :
    (2x1)23=16(2x - 1)^{\frac{2}{3}} = 16

Correction

1.

A=(213)5412823=253(22)12(23)23=2532122=2531+2=232 \begin{align*} A &= (2^{\frac{-1}{3}})^5 \cdot 4^{\frac{-1}{2}} \cdot 8^{\frac{2}{3}} \\ &= 2^{\frac{-5}{3}} \cdot (2^2)^{\frac{-1}{2}} \cdot (2^3)^{\frac{2}{3}} \\ &= 2^{\frac{-5}{3}} \cdot 2^{-1} \cdot 2^2 \\ &= 2^{\frac{-5}{3} - 1 + 2} = 2^{\frac{-3}{2}} \end{align*}

2.

(2x1)23=16Deˊfinie si 2x10x12Soit x[12,+[((2x1)23)32=16322x1=(42)32=43=642x=65x=652 \begin{align*} (2x - 1)^{\frac{2}{3}} &= 16 \\ \text{Définie si } &2x - 1 \ge 0 \Rightarrow x \ge \frac{1}{2} \\ \text{Soit } &x \in \left[\frac{1}{2}, +\infty\right[ \\ \left((2x - 1)^{\frac{2}{3}}\right)^{\frac{3}{2}} &= 16^{\frac{3}{2}} \\ 2x - 1 &= \left(4^2\right)^{\frac{3}{2}} = 4^3 = 64 \\ 2x &= 65 \Rightarrow x = \frac{65}{2} \end{align*}

Comme 652[12,+[\frac{65}{2} \in \left[\frac{1}{2}, +\infty\right[, c’est une solution de l’équation.