L’expression \(\puissance{} (x, n)\) est notée aussi \(x^n\) et se lit “\(x\) à la puissance \(n\)”. \(n\) est appelé l’exposant et \(x\) la base. Pour éviter des irrégularités, on impose \(x \neq 0.\) En effet, comme on réalise des multiplications par \(x,\) nous allons aussi recourir à l’inverse de \(x,\) qui est défini lorsque \(x\neq 0.\)
Exercice 5.1 (Implémentation en Python (N-1)) Implémenter1 la fonction \(\puissance{}\) en Python.
Solution (N-1)
def puissance(x, n) : r =1for i inrange(0, n) : # 0, ..., n-1, soit n valeurs au total r = x * rreturn r# testprint("2^10 : "+str(puissance(2, 10)))print("2^0 : "+str(puissance(2, 0)))
2^10 : 1024
2^0 : 1
Nous nous intéressons aux lois algébriques2 vérifiées par la fonction \(\puissance{}.\) Pratiquement, les lois algébriques pour une fonction se présentent principalement sous la forme d’identités induites par des propriétés de morphisme. Un morphisme est une fonction qui préserve la structure des calculs, notamment qui peut se distribuer sur les opérations. Voici quelques exemples.
On peut aussi représenter les identités par des schémas comme celui présenté dans la Figure 5.1. Les entrées sont représentées par le symbole ◡, alors que les sorties sont représentées par ◠.
stateDiagram-v2
state "=" as egal
FSomme --> egal
FSomme: f(x+y)
state FSomme {
state "◡" as e1
state "◡" as e2
state "+" as s
state "f" as f
state "◠" as r
e1 --> s
e2 --> s
s --> f
f --> r
}
SommeF --> egal
SommeF: f(x) + f(y)
state SommeF {
state "◡" as e3
state "◡" as e4
state "f" as f3
state "f" as f4
state "+" as s2
state "◠" as r2
e3 --> f3
e4 --> f4
f3 --> s2
f4 --> s2
s2 --> r2
}
Figure 5.1: Morphisme additif
Dans la suite, on cherche à déterminer toutes les lois algébriques de la fonction \(\puissance{}\) et à les démontrer.
Exercice 5.2 (Définition récursive (N-1)) Un entier naturel est soit égal à \(0,\) soit égal au successeur \(\succ{}(n)\) d’un entier naturel \(n,\) soit \(n+1.\) Définir les deux cas de la décomposition par des équations, dont l’une est récurrente.
En \(0 :\)\(\puissance{}(x, 0) = \ldots\) ?
En \(\succ{}(n) :\)\(\puissance{}(x, n+1) = \ldots\) ?
En déduire une seconde implémentation de \(\puissance{},\) sur le modèle de la définition d’une suite récurrente. Cette implémentation est dite récursive.
Solution (N-1)
Conformément à la définition initiale et à son implémentation, on peut énoncer :
Lorsque l’exposant est l’élément neutre de l’addition, le résultat est l’élément neutre de la multiplication. Quant au successeur \(\succ{}(n),\) soit \((n+1),\) il se traduit par la multiplication par \(x.\) Dans les deux cas, la fonction \(\puissance{}\) se comporte comme un morphisme. On remarque aussi que cette définition étendue en \(x = 0\) donne \(\puissance{}(0, 0) = 1\) ; c’est la convention naturelle avec cette définition.
Étant donné un réel \(x,\) si on définit explicitement la suite \((u_n)\) par \((u_n = \puissance{}(x, n)),\) on s’aperçoit que la définition précédente est équivalente à la définition implicite suivante de la suite \((u_n) :\)
Cette suite récurrente d’ordre un est une suite géométrique de raison \(x\) et de premier terme \(1.\) A vrai dire, cette définition récurrente est la définition mathématique de la fonction \(\puissance{} :\) elle permet d’éviter l’imprécision des points de suspension utilisés dans la définition initiale, qu’on peut à ce stade qualifier de naïve.
Une suite récurrente peut être implémentée très facilement en Python en utilisant une fonction récursive.
def puissanceRec(x, n) :if(n ==0) : ## == ? test de l'égalité entre n et 0return1else : # n > 0return x * puissanceRec(x, n-1) # Appel récursif comme dans la définition récurrente# testprint("2^10 : "+str(puissanceRec(2, 10)))print("2^0 : "+str(puissanceRec(2, 0)))
2^10 : 1024
2^0 : 1
Exercice 5.3 (Lois pour la base (N-1, N-0)) Étudier la préservation de la structure algébrique de la base (le premier argument de la fonction \(\puissance{}\)).
Addition pour la base : \(\puissance{}(x + y, n) = \ldots\) ?
Multiplication pour la base : \(\puissance{}(x * y, n) = \ldots\) ?
Opposition pour la base : \(\puissance{}(-x, n) = \ldots\) ?
Inversion pour la base : \(\puissance{}(1/x, n) = \ldots\) ?
Le développement de \((x+y)^n\) se réalise en choisissant \(n\) fois \(x\) ou \(y :\) si on choisit \(k\) fois \(x,\) c’est qu’on a choisi \((n-k)\) fois \(y,\) et le binôme obtenu est de la forme \(x^k*y^{n-k}.\) Il reste à compter le nombre de fois où l’on obtient un tel binôme : c’est exactement le nombre de parties de \(k\) éléments dans un ensemble à \(n\) éléments, soit le coefficient binomial\(\binom{n}{k},\) car les parties et les combinaisons de \(n\) choix sont en bijection (en correspondance \(1-1\)). Voir la Figure 5.2 qui illustre l’arborescence des choix dans le cas \(n = 3.\)
stateDiagram-v2
state "+" as p0
state "*" as m1
state "*" as m2
state "*" as m21
state "*" as m22
state "*" as m23
state "*" as m24
state "x³" as m31
state "x²*y" as m32
state "x²*y" as m33
state "x*y²" as m34
state "x²*y" as m35
state "x*y²" as m36
state "x*y²" as m37
state "y³" as m38
p0 --> m1: x
p0 --> m2: y
m1 --> m21: x
m1 --> m22: y
m2 --> m23: x
m2 --> m24: y
m21 --> m31: x
m21 --> m32: y
m22 --> m33: x
m22 --> m34: y
m23 --> m35: x
m23 --> m36: y
m24 --> m37: x
m24 --> m38: y
Figure 5.2: Développement du binôme \((x+y)^3\)
Formule du binôme de Newton : démonstration par récurrence (N-0)
On utilise l’égalité \(\binom{n+1}{k} = \binom{n}{k} + \binom{n}{k-1},\) qui se démontre ainsi : si on choisit un des éléments parmi les \(n+1,\) il y a \(\binom{n}{k-1}\) parties de \(k\) éléments qui le contiennent, et \(\binom{n}{k}\) parties de \(k\) éléments qui ne le contiennent pas, et leur somme donne le nombre de parties de \(k\) éléments dans un ensemble de \(n+1\) éléments, soit \(\binom{n+1}{k}.\)
Conclusion : pour tout \(n\in\Nat{},\)\((x+y)^n = \Sigma_{k=0}^n \binom{n}{k} * x^k*y^{n-k}\)
Remarque : la seconde égalité s’obtient soit en permutant \(x\) et \(y,\) et en utilisant la commutativité, soit en sommant dans l’autre sens, \(\Sigma_{k=0}^n \binom{n}{k} * x^k*y^{n-k} = \Sigma_{j=0}^n \binom{n}{n-j} * x^{n-j}*y^{j},\) avec \(k = n-j,\) et en remarquant que \(\binom{n}{k} = \binom{n}{n-k},\) du fait que les parties de \(k\) éléments et celles de \((n-k)\) se correspondent exactement, par complémentarité.
Dans le produit \((x*y)^n,\) il y a \(n\) occurrences de \(x * y,\) donc \(n\) occurrences de \(x\) et \(n\) occurrences de \(y.\) De même pour \(x^n * y^n.\) Ces deux produits sont donc égaux.
On peut aussi facilement démontrer cette égalité par récurrence.
L’opposé de \(x,\)\(-x,\) est égal aussi au produit \((-1) * x,\) du fait que \((1 + (-1)) * x = x + (-1) * x = 0.\) Ainsi on peut utiliser la loi de multiplication pour la base.
On utilise le fait que l’inverse est un morphisme multiplicatif : \(1/(x * y) = (1/x) * (1/y).\) Dans le produit \((1/x)^n,\) on peut donc progressivement transformer un produit de fractions en une fraction, pour finalement obtenir \(1/x^n.\)
Formellement, on peut facilement démontrer cette égalité par récurrence.
Exercice 5.4 (Lois pour l’exposant (N-1)) Étudier la préservation de la structure algébrique de l’exposant (le second argument de la fonction \(\puissance{}\)).
Addition pour l’exposant : \(\puissance{}(x, n + p) = \ldots\) ?
Multiplication pour l’exposant : \(\puissance{}(x, n * p) = \ldots\) ?
Dans le produit \(x^{n+p},\) il y a \(n+p\) occurrences de \(x,\) donc \(n\) occurrences de \(x\) suivies de \(p\) occurrences, séparées par une multiplication. De même pour \(x^n * x^p.\) Ces deux produits sont donc égaux.
On peut aussi facilement démontrer cette égalité par récurrence.
Solution - Multiplication pour l’exposant (N-1, N-0)
Dans le produit \(x^{n*p},\) il y a \(n*p\) occurrences de \(x,\) donc \(n\) occurrences de \(x\) répétées \(p\) fois ou \(p\) occurrences de \(x\) répétées \(n\) fois. De même pour \((x^n)^p\) et \((x^p)^n\) respectivement. Ces produits sont donc égaux.
On peut aussi facilement démontrer ces égalités par récurrence. Voici un exemple pour l’égalité \(x^{n*p} = (x^n)^p.\)
\(n = 0 :\)\(x^{0*p} = (x^0)^p,\) car \(1 = 1^p.\)
\(n\in\Nat{} :\) supposons \(x^{n*p} = (x^n)^p.\) On a :
Pour ce dernier morphisme, on utilise la composition3 des fonctions puissance pour traduire le produit des exposants : ainsi la fonction puissance se distribue bien sur le produit. C’est une simple reformulation des égalités \(x^{n * p} = (x^n)^p = (x^p)^n\) dans le but de mettre en évidence un morphisme.
Les théories mathématiques se développent souvent en recourant à la généralisation et à l’abstraction. On cherche à généraliser la définition de la fonction \(\puissance{}\) de manière à ce qu’elle puisse s’appliquer à des exposants qui soient non seulement des entiers naturels, mais aussi
des entiers relatifs (entiers positifs et négatifs) et
des rationnels (les fractions).
La définition naturelle initiale, où \(x\) apparaît \(n\) fois, devient insensée : que pourrait signifier \(-5\) apparitions de \(x,\) ou une demie apparition de \(x\) ? La solution pour généraliser est alors de proposer les extensions possibles qui permettent de préserver toutes les lois naturelles. On exclut de ces lois naturelles à préserver la définition récursive qui ne peut concerner que les entiers naturels puisqu’elle repose sur l’induction (le principe de récurrence) et doit plutôt être vue comme la définition mathématique originelle de la fonction puissance.
Exercice 5.6 (Extension aux entiers relatifs (N-1)) Étant donné un entier naturel \(n,\) en utilisant la caractérisation de l’opposé \(-n\) de \(n\) par l’égalité \(n + (-n) = 0,\) et la loi pour l’addition des exposants, donner une définition de \(\puissance{}(x, -n).\)
Solution - Inversion de la puissance pour l’opposé de l’exposant (N-1, N-0)
Si la loi pour l’addition des exposants est préservée, on a alors :
Ainsi \(x^{-n} = 1/x^n.\) C’est la définition que nous retenons pour les entiers relatifs. Plus généralement, cette définition étend la fonction puissance par un morphisme transformant l’opposé des exposants en un inverse.
En combinant l’égalité \(x^{-n} = 1/x^n\) avec la loi de l’inversion pour la base, nous obtenons l’égalité \(x^{-n} = (1/x)^n,\) qui elle-même pourrait être déduite directement de l’égalité \(x^{-n} = x^{(-1)*n},\) en appliquant la loi de la multiplication pour l’exposant. Cependant, nous ne savons pas si elle est préservée par l’extension aux relatifs. C’est pourquoi nous étudions désormais systématiquement la préservation des lois naturelles par cette première extension.
Exercice 5.7 (Extension aux entiers relatifs : préservation des lois (N-0)) Montrer que l’extension aux entiers relatifs préserve les lois naturelles.
Solution (N-1, N-0)
Morphisme multiplicatif pour la base.
\((x * y)^n = x^n * y^n :\) si \(n\) est négatif, on a bien l’égalité par commutation.
Morphisme pour l’opposé variant avec la parité.
\((-x)^{2*n} = x^{2*n} :\) si \(n\) est négatif, c’est immédiat, par inversion.
\((-x)^{2*n + 1} = - x^{2*n+1} :\) idem.
Morphisme inversif pour la base.
\((1/x)^n = 1/x^n\) car si \(n\) est négatif et égal à \(-p,\)\[
\begin{array}{rclcl}
(1/x)^{-p} & = & 1/(1/x)^p & \quad & \textrm{(définition)} \\
& = & (1/(1/x))^p = x^p & & \textrm{(morphisme inversif)} \\
& = & 1/x^{-p} & & \textrm{(définition).} \\
\end{array}
\]
Morphisme additif/multiplicatif pour l’exposant.
\(x^{n + p} = x^n * x^p :\) il suffit de procéder par cas, suivant le signe de \(n\) et de \(p,\) et de \(n+p\) lorsqu’ils sont de signe opposé.
\(n > 0, p > 0 :\) c’est le cas connu des entiers naturels.
\(n < 0, p < 0 :\) on a \(x^{n + p} = x^{-((-n) + (-p))}\) et il suffit de développer en appliquant la définition de l’extension et les lois connues.
\(n > 0, p < 0, n + p \geq 0 :\) on peut procéder par récurrence sur \(n,\) à partir de \(-p.\)
\(n > 0, p < 0, n + p < 0 :\) on a \(x^{n + p} = x^{-((-n) + (-p))}\) et il suffit de développer en appliquant la définition de l’extension et les lois connues, dont celle précédente.
Les autres cas se ramènent aux deux précédents, par commutativité.
Morphisme multiplication par un scalaire/puissance pour l’exposant
\(x^{n * p} = (x^n)^p = (x^p)^n :\) il suffit de procéder par cas, suivant le signe de \(n\) et de \(p.\) C’est immédiat.
Exercice 5.8 (Extension aux rationnels (N-1)) Étant donné un entier naturel \(n\) non nul, en utilisant la caractérisation de l’inverse \(1/n\) de \(n\) par l’égalité \(n * (1/n) = 1\) et la loi pour la multiplication des exposants, donner une définition de \(\puissance{}(x, (1/n)).\) Généraliser à toute fraction \(p/q.\)
Solution - Réciproque de la fonction puissance pour l’inverse de l’exposant (N-1)
Soit \(n\) un entier non nul. Si la loi pour la multiplication des exposants est préservée, on a alors :
Autrement dit, les fonctions \((x \mapsto x^n)\) et \((x \mapsto x^{1/n})\) sont inverses (pour la composition) l’une de l’autre :
la réciproque de la fonction \((x \mapsto x^n)\) est la fonction \((x \mapsto x^{1/n}),\)
la réciproque de la fonction \((x \mapsto x^{1/n})\) est la fonction \((x \mapsto x^{n}).\)
Une fonction admet une réciproque (un inverse pour la composition) si et seulement si elle est bijective (en correspondance \(1-1\)) : tout élément de son ensemble d’arrivée doit avoir exactement un antécédent. Compte tenu de la loi de l’opposition pour la base, lorsque l’exposant \(n\) est pair, la puissance \(x^n\) est toujours positive, et a deux antécécédents, \((-x)\) et \(x.\) En conséquence, il est nécessaire de restreindre le domaine de définition de la base aux réels strictement positifs, soit à \(\Reel{}_{>0}.\) Pour \(n\) entier strictement positif, la fonction \((x \mapsto x^n)\) est alors strictement croissante, et pour \(n\) entier strictement négatif, la fonction \((x \mapsto x^n)\) est alors strictement décroissante. Dans les deux cas, la fonction est bien bijective.
Généralisons à une fraction \(p/q.\) Comme \(p/q = p * (1/q),\) nous pouvons définir \(x^{p/q}\) par \((x^p)^{1/q}\) en appliquant la loi de la multiplication pour l’exposant.
stateDiagram-v2
direction LR
state "x" as id
state "xⁿ" as p
id --> p: x ↦ xⁿ
p --> id: x ↦ x¹⁄ⁿ
state "x" as id2
state "x¹⁄ⁿ" as r
r --> id2: x ↦ xⁿ
id2 --> r: x ↦ x¹⁄ⁿ
Figure 5.3: Puissance n-ième et sa réciproque
Nous étudions désormais la préservation des lois naturelles par cette nouvelle extension aux fractions. On suppose que les bases sont strictement positives pour garantir la bijectivité et par conséquent la définition de l’extension.
Exercice 5.9 (Extension aux rationnels (N-0)) Montrer que cette nouvelle extension aux rationnels préserve les lois naturelles.
Solution (N-1, N-0)
Morphisme multiplicatif pour la base.
\((x * y)^{p/q} = x^{p/q} * y^{p/q},\) car les deux termes de l’égalité à la puissance \(q\) sont égaux.
Morphisme pour l’opposé variant avec la parité : non pertinent, car la base est supposée positive.
Morphisme inversif pour la base.
\((1/x)^{p/q} = 1/x^{p/q},\) car les deux termes de l’égalité à la puissance \(q\) sont égaux.
Morphisme additif/multiplicatif pour l’exposant.
\(x^{p_1/q_1 + p_2/q_2} = x^{p_1/q_1} * x^{p_2/q_2},\) car les deux termes de l’égalité à la puissance \(q_1 * q_2\) sont égaux.
Morphisme multiplicatif/compositionnel pour l’exposant.
\(x^{(p_1/q_1) * (p_2/q_2)} = (x^{p_1/q_1})^{p_2/q_2} :\) on procède en deux temps, en traitant d’abord le cas où \(p_2/q_2\) est un entier naturel \(n,\) puis le cas général.
Démontrons \(x^{(p_1/q_1) * n} = (x^{p_1/q_1})^n\) par récurrence sur \(n.\)
\[
\begin{array}{rclcl}
x^{(p_1/q_1) * (p_2/q_2)} & = & (x^{p_1 * p_2})^{1/(q_1*q_2)}, \\
(x^{p_1/q_1})^{p_2/q_2} & = & ((x^{p_1/q_1})^{p_2})^{1/q_2} \\
& = & (x^{(p_1 * p_2)/q_1})^{1/q_2} & \quad & \textrm{(lemme précédent).}\\
\end{array}
\] Les deux termes à la puissance \(q_1 * q_2,\) soit d’abord à la puissance \(q_2\) puis à la puissance \(q_1\) sont égaux, d’où l’égalité.
Par la suite, pour garantir la définition des puissances avec un exposant rationnel, nous supposons la base positive, donc strictement positive puisqu’elle est supposée non nulle.
Exercice 5.10 (Exemple de la puissance un demi (N-1)) Quelle est la fonction \[
(x \mapsto \puissance{}(x, 1/2)) ?
\]
Solution - Racine carrée comme puissance un demi (N-1)
Appliquons la définition de l’Exercice 5.8. La fonction puissance un demi, soit \((x \mapsto x^{1/2})\) est la réciproque de la fonction carrée, soit \((x \mapsto x^{2}).\) Autrement dit, pour tout \(x\) réel positif, \(x^{1/2} = \sqrt{x} :\) c’est la racine carrée de \(x.\)
D’un point de vue calculatoire, il est certainement bénéfique de remplacer la racine carrée par la puissance un demi : toutes les lois concernant la fonction puissance s’appliquent en effet sans exception.
Il reste à étendre la fonction \(\puissance{}\) à tout exposant réel.
Exercice 5.11 (Extension aux réels (N-0)) Montrer que tout réel \(r\) peut être approché par deux suites adjacentes4 de rationnels, en utilisant l’écriture décimale de \(r.\) Proposer alors une définition de \(\puissance(x, r)\) (étant donné un réels \(x\) positif). Quelles propriétés devrait-on montrer pour justifier cette extension ?
Solution - Prolongement par continuité des rationnels aux réels (N-0)
Un réel \(r\) peut être encadré à l’ordre \(k\) par deux nombres décimaux \(10^{-k} * p_k\) et \(10^{-k} * q_k,\) où \(p_k\) et \(q_k\) sont deux entiers naturels vérifiant :
\(p_k + 1 = q_k,\)
\(p_k \leq \partEnt{}(r * 10^k) < q_k,\)
où \(\partEnt{}\) désigne la fonction donnant la partie entière5. Par exemple, pour le réel \(\pi,\) nous avons les encadrements successifs suivants :
Les suites \((s_k) = (10^{-k} * p_k)\) et \((t_k) = (10^{-k} * q_k)\) sont croissante et décroissante, respectivement, \((s_k < t_k),\) et leur différence tend vers \(0 :\) bref, elle sont adjacentes. De plus, elles convergent vers \(r.\)
Comment définir \(x^r\) ? Si l’on peut montrer que les suites \((x^{s_k})_k\) et \((x^{t_k})_k\) sont également adjacentes, alors \(x^r\) se définit comme la limite commune de ces deux suites. Ainsi la fonction puissance se trouve étendue à tous les exposants réels.
Pour montrer la préservation de l’adjacence, nous procédons par étapes :
monotonie de \(((q \in \Rat) \mapsto x^q)\) (donc relativement à l’exposant) :
si \(x = 1,\) la fonction est constante,
si \(x > 1,\) la fonction est croissante,
si \(x < 1,\) la fonction est décroissante,
continuité de \(((q \in \Rat) \mapsto x^q)\) en \(0 :\)
Par monotonie de \(((q \in \Rat) \mapsto x^q),\) les suites \((x^{s_k})_k\) et \((x^{t_k})_k\) sont l’une croissante, l’autre décroissante, l’une majorant l’autre. Par le théorème de convergence pour les suites monotones bornées, on déduit que les suites \((x^{s_k})_k\) et \((x^{t_k})_k\) sont convergentes vers \(l_s\) et \(l_t\) respectivement. Comme \(\lim_{k \rightarrow + \infty} (t_k - s_k) = 0,\) par continuité de \(((q \in \Rat) \mapsto x^q)\) en \(0,\) on a : \(\lim_{k \rightarrow + \infty} (x^{t_k - s_k}) = x^0,\) puis \(\lim_{k \rightarrow + \infty} (x^{t_k}/x^{s_k}) = 1,\) d’où l’adjacence et l’égalité des limites \(l_t\) et \(l_s.\)
Par le même argument de continuité en \(0,\) on peut montrer que pour toute suite \((u_k)_k\) de rationnels convergeant vers \(r,\) la suite \((x^{u_k})_k\) converge vers \(x^r :\) cette valeur ne dépend pas du choix de la suite de rationnels.
Il nous reste à démontrer les deux arguments utilisés dans le prolongement par continuité des rationnels aux réels.
Exercice 5.12 (Monotonie de la fonction puissance relativement à l’exposant (N-1)) Montrer que la fonction \(((q \in \Rat) \mapsto x^q)\) est
constante si \(x = 1,\)
croissante si \(x > 1,\)
décroissante si \(x < 1.\)
Solution (N-0)
Si \(x = 1,\) elle est évidemment constante.
Supposons \(x > 1.\) On traite d’abord le cas des entiers naturels puis celui des entiers relatifs, et enfin la cas général des rationnels.
Considérons deux entiers naturels \(n_1, n_2\) tels que \(n_1 \leq n_2.\) Posons \(d = n_2 - n_1.\) Montrons alors par récurrence sur \(d\) que \(x^{n_1} \leq x^{n_1 + d}.\) Les deux cas en zéro et en un successeur sont immédiats du fait que \(x > 1.\)
Considérons deux entiers relatifs \(z_1, z_é\) tels que \(z_1 \leq z_2.\) Envisageons les quatre cas suivant le signe de \(z_1\) et \(z_2.\)
\(z_1 \geq 0, z_2 \geq 0 :\) c’est le cas de deux entiers naturels.
\(z_1 < 0, z_2 \geq 0 :\)\(x^{z_1} \leq x^{z_2}\) car \(1 \leq x^{z_2 - z_1}.\) C’est le cas des entiers naturels \(0\) et \((z_2 - z_1).\)
\(z_1 < 0, z_2 < 0 :\)\(x^{z_1} \leq x^{z_2}\) car \(x^{-z_2} \leq x^{-z_1}.\) C’est le cas des entiers naturels \((-z_2)\) et \((-z_1),\) avec \((-z_2) \leq (-z_1)\).
\(z_1 \geq 0, z_2 < 0 :\) ce cas est impossible car on suppose \(z_1 \leq z_2.\)
Considérons deux rationnels \(p_1/q_1, p_2/q_2\) tels que \(p_1/q_1 \leq p_2/q_2,\)\(q_1 > 0\) et \(q_2 > 0.\) Or \(x^{p_1/q_1} \leq x^{p_2/q_2}\) est équivalent à \(x^{p_1 * q_2} \leq x^{p_2 * q_1},\) du fait de la croissance des fonctions \((y \mapsto y^{q_1})\) et \((y \mapsto y^{q_2}),\) ainsi que de leurs réciproques \((y \mapsto y^{1/q_1})\) et \((y \mapsto y^{1/q_2}),\) du fait que \(q_1\) et \(q_2\) sont strictement positifs. On peut conclure à partir du cas des entiers relatifs \(p_1 * q_2\) et \(p_2 * q_1,\) tels que \(p_1 * q_2 \leq p_2 * q_1.\)
Conclusion : si \(x > 1,\) la fonction \(((q \in \Rat) \mapsto x^q)\) est croissante.
Enfin, supposons \(x < 1.\) On peut raisonner par symétrie. Considérons deux rationnels \(r_1, r_2\) tels que \(r_1 \leq r_2.\) Comme \(x^{r_1} = (1/x)^{-r_1}, x^{r_2} = (1/x)^{-r_2},\)\((-r_2) \leq (-r_1)\) et \((1/x) > 1,\) de l’étude précédente, on déduit \(x^{r_2} \leq x^{r_1}.\)
Conclusion : si \(x < 1,\) la fonction \(((q \in \Rat) \mapsto x^q)\) est décroissante.
Exercice 5.13 (Continuité en zéro de la fonction puissance relativement à l’exposant (N-1)) La fonction \(((q \in \Rat) \mapsto x^q)\) est continue en \(0.\)
Solution (N-0)
Si \(x = 1,\) la fonction est constante et donc continue.
Supposons \(x > 1.\) Soit \(\varepsilon > 0.\) On peut imposer \(\varepsilon < 1.\) On cherche \(\alpha > 0\) tel que pour tout \(q \in \Rat{}\) vérifiant \(|q| < \alpha,\) on ait \(|x^q - 1| < \varepsilon.\) Si \(q \geq 0,\)\(x^q \geq 1,\) et il suffit d’avoir \(x^q < 1 + \varepsilon,\) soit \(x < (1 + \varepsilon)^{1/q}.\) Il existe \(\beta_1 > 0\) tel que si \(1/q \geq \beta_1,\) alors \(x < (1 + \varepsilon)^{1/q},\) du fait que la fonction \((z \mapsto (1 + \varepsilon)^z)\) diverge en \(+\infty.\) Si \(q \leq 0,\) posons \(p = -q.\) On a : \(x^q = (1/x)^p \leq 1,\) et il suffit d’avoir \((1/x)^p > 1 - \varepsilon,\) soit \(x^p < 1/(1 - \varepsilon),\) donc \(x < (1/(1 - \varepsilon))^{1/p}.\) Il existe \(\beta_2 > 0\) tel que si \(1/p \geq \beta_2,\) alors \(x < (1/(1 - \varepsilon))^{1/p},\) du fait que la fonction \((y \mapsto (1/(1 - \varepsilon))^y)\) diverge en \(+\infty.\) Pour conclure, il suffit de prendre pour \(\alpha\) le minimum de \(1/\beta_1\) et de \(1/\beta_2.\)
Le cas de \(x < 1\) est analogue.
5.2 Atelier : définir l’exponentielle et le logarithme
Grâce à l’étude précédente, nous disposons désormais d’une fonction puissance ainsi définie :
Elle vérifie toutes les lois naturelles récapitulées dans l’Exercice 5.5. Cette fonction donne lieu à deux fonctions en fixant un des paramètres : si on fixe l’exponant \(n,\) la puissance\(n\)-ième, et si on fixe la base \(x,\) l’exponentielle en base \(x.\) Nous nous intéressons désormais à cette dernière famille de fonctions, les exponentielles.
Définition 5.2 (Exponentielle (N-1)) L’exponentielle en base \(b\) est la fonction de l’ensemble des réels vers l’ensemble des réels strictement positifs qui à \(x\) associe \(b^x.\)
Exercice 5.14 (Dérivée de l’exponentielle (N-1)) Soit \(b > 0\) une base. Supposons que \(\expo{}_b\) soit dérivable en zéro. En calculant le taux de variation de \(\expo{}_b,\) montrer qu’elle est dérivable en tout réel \(x\) et qu’il existe une constante \(k\) tel que \(\expo{}'_b = k * \expo{}_b.\) En déduire qu’il existe une base \(e\) telle que \(\expo{}'_e = \expo{}_e.\)
Solution (N-1)
La dérivée d’une fonction \(f\) en \(x\) est définie comme la limite du taux de variation :
Ainsi, si \(t = 1/\exp{}'_b(0),\) la fonction \((x \mapsto \exp{}_b(t*x))\) a pour dérivée elle-même. Posons \(e = b^t.\) On a alors : \(\exp{}_b(t*x)) = e^x.\)
On peut montrer assez simplement que la fonction \(\expo{}_b\) est convexe lorsque \(b > 1 :\) autrement dit son taux de variation est croissant. Comme il est toujours positif (d’après l’Exercice 5.12), on peut en déduire que le taux de variation admet une limite en \(0 :\) l’exponentielle de base \(b\) est bien dérivable en \(0.\) On peut donc définir l’exponentielle naturelle ainsi.
Définition 5.3 (Exponentielle naturelle (N-1)) L’exponentielle naturelle est l’unique fonction exponentielle \(\expo{}_{\valE{}}\) vérifiant
\[
\expo{}_{\valE{}}' = \expo{}_{\valE{}}.
\]
Sa base \(\valE{}\) est appelée le nombre d’Euler. Le nom de la fonction est abrégé en \(\expo{}.\) et le qualificatif “naturel” est généralement omis.
Comment calculer une valeur approchée de \(\valE{}\)? On sait que
\(\expo{}(1) = \valE{},\)
\(\expo{}(0) = 1\) et \(\expo{}'(0) = 1.\)
Une idée est d’approcher la fonction par une approximation linéaire à partir de \(0 :\) la courbe est approchée par la tangente en \(0.\) Rappelons en effet le résultat fondamental de la théorie de la dérivation.
Exercice 5.15 (Dérivation : approximation linéaire (N-1)) Soit \(f\) une fonction dérivable en \(x_0.\) Montrer qu’il existe une fonction \(\errApp{}\) vérifiant :
\(f(x_0 + h) = f(x_0) + h * f'(x_0) + h * \errApp{}(h),\)
\(\lim_{h \rightarrow 0} \errApp{}(h) = 0.\)
La fonction \(\errApp{}\) est l’erreur d’approximation : c’est un infinitésimal7.
Solution (N-1)
La dérivée de \(f\) en \(x_0\) est définie comme la limite du taux de variation :
Définissons la fonction \(\errApp{}\) par \(\errApp{}(h) = (f(x_0 + h) - f(x_0))/h - f'(x_0).\) On a :
\(\lim_{h \rightarrow 0} \errApp{}(h) = 0,\)
\(f(x_0 + h) = f(x_0) + h * f'(x_0) + h * \errApp{}(h).\)
Ainsi la fonction \((h \mapsto h * \errApp{}(h))\) représente l’erreur d’approximation entre la fonction \((h \mapsto f(x_0 + h))\) et la fonction affine \((h \mapsto f(x_0) + h * f'(x_0)),\) soit en utilisant les abscisses relativement à l’origine et non à \(x_0 :\) l’erreur d’approximation entre le point de la courbe \((x, f(x))\) et le point \((x, f(x_0) + (x - x_0) * f'(x_0))\) de la tangente en \(x_0\) est donnée par \(((x-x_0)) * \errApp{}(x-x_0)).\)
Appliquons ce théorème fondamental d’approximation entre \(0\) et \(1\) : l’approximation donne \(\expo{}(0) + \expo{}'(0) * 1,\) soit \(2,\) avec une erreur d’approximation à évaluer. Cependant, par convexité, la courbe de l’exponentielle est au-dessus de toute tangente, si bien que \(2\) est un minorant de \(\valE{}.\) Il est possible d’améliorer cette approximation comme nous le verrons finalement.
Exercice 5.16 (Étude de la fonction exponentielle (N-1, N-0)) Établir les variations et les limites de la fonction exponentielle et la représenter graphiquement. Comparer sa croissance avec les fonctions polynomiales.
Solution (N-1,N-0)
Préambule - L’exponentielle est continue et indéfiniment dérivable.
Croissance - L’exponentielle est croissante, sa dérivée, soit l’exponentielle, étant positive. Elle est aussi convexe, sa dérivée seconde, soit l’exponentielle, étant positive.
Limites
Sa limite est \(+\infty\) en \(+\infty.\)
Démonstration 1 : Tout réel \(x\) est égal à \(z + d,\) avec \(z\) entier relatif, et \(d\) réel dans \([0, 1[.\) On a : \(\valE{}^z \leq \valE{}^x < \valE{}^{z+1}\) par croissance de l’exponentielle. Il est donc possible de déduire la limite de l’exponentielle de celle de la suite extraite \((\valE{}^n)_n,\) une suite géométrique de raison strictement supérieure à \(1.\) Cette suite diverge vers \(+\infty\)8. Ainsi, pour tout \(\omega,\) il existe un rang \(p\) tel que pour tout entier \(n > p,\)\(\valE{}^n \geq \omega,\) et donc pour tout réel \(x > p,\)\(\valE{}^x \geq \omega.\)
Démonstration 2 : par convexité, l’exponentielle est au dessus de chacune de ses tangentes, particulièrement celle en \(0,\) d’équation \(y = x +1.\) Ainsi pour tout \(x,\)\(\valE{}^x \geq x + 1,\) d’où la divergence.
Démonstration 3 (inspirée de la démonstration 2): l’étude de la fonction \((x \mapsto \valE{}^x - x)\) montre qu’elle a un minimum en \(0,\) qui vaut \(1.\) On retrouve ainsi l’inégalité précédente.
Sa limite est \(0\) en \(-\infty.\)
Cette limite se déduit de la précédente par composition des limites : \[
\lim_{x \rightarrow -\infty} \valE{}^x = \lim_{x \rightarrow +\infty} \valE{}^{-x} = \lim_{x \rightarrow +\infty} 1/\valE{}^{x} = 0.
\]
Démonstration 1 : en étudiant le rapport \(\rho\) entre les valeurs prises en \((x+1)\) et \(x,\) et en comparant avec une suite géométrique. Pour tout réel strictement positif \(x,\) on a \[
\rho(x) = \frac{\valE{}^{x+1}/(x+1)^n}{\valE{}^x/x^n} = \valE{} * \frac{1}{(1+1/x)^n}.
\]
Ainsi la limite de ce rapport en \(+\infty\) est \(\valE{}.\) Soit \(q\) vérifiant \(1 < q < \valE{}.\) Il existe \(x_0\) tel que pour tout \(x \geq x_0, \rho(x) > q.\) Il s’ensuit que pour tout entier naturel \(k,\)
Comme \(\lim_{k \rightarrow +\infty} q^k = +\infty,\) on déduit de cette minoration de \((\valE{}^{x}/x^n)\) que \(\lim_{x\rightarrow +\infty} (\valE{}^{x}/x^n) = +\infty.\)
Démonstration 2 : en étudiant les fonctions \((x \in \Reel{}_{\geq 0} \mapsto \valE{}^x - k * x^n)\) pour un \(k\) bien choisi. On sait déjà que \((x\mapsto \valE{}^x - x)\) est croissante et minorée par \(1.\) On montre par récurrence que pour tout entier naturel non nul \(n,\) la fonction \((x\mapsto \valE{}^x - x^n/n!)\) est croissante et minorée par \(1.\)
\(n=1 :\) déjà fait.
Supposons \(n \geq 1\) et \((x\mapsto \valE{}^x - x^n/n!)\) croissante et minorée par \(1.\) La fonction \((x\mapsto \valE{}^x - x^{n+1}/(n+1)!)\) a pour dérivée \((x\mapsto \valE{}^x - x^n/n!),\) qui est toujours positive. La fonction est croissante et a pour minimum sa valeur en \(0,\) soit \(1.\)
Conclusion : pour tout \(n \geq 1,\)\((x\in \Reel{}_{\geq 0} \mapsto \valE{}^x - x^n/n!)\) est croissante et minorée par \(1.\)
On déduit la majoration \((\valE{}^{x}/x^n) \geq x/(n+1)!,\) d’où la limite infinie en \(+\infty.\)
Démonstration utilisant la composition des limites : comme \(\valE{}^x * x^n = (-1)^n * (-x)^n / \valE{}^{-x},\) on déduit que \(\lim_{x\rightarrow -\infty} \valE{}^x * x^n = \lim_{y\rightarrow +\infty} (-1)^n * y^n / \valE{}^y,\) d’où par inversion de la limite précédente, le résultat.
Figure 5.4: Exponentielle (en rouge) et puissances 2 et 4 normalisées (familles \((x\mapsto x^n/n!)\) - en bleue)
Comme l’exponentielle est bijective, puisqu’elle est strictement croissante, elle admet une fonction réciproque.
Définition 5.4 (Logarithme naturel (N-0)) La fonction exponentielle admet pour réciproque une fonction appelée logarithme naturel ou népérien et notée \(\logNat{}.\)
\[
\begin{array}{rcrcl}
\logNat{} & : & \Reel{}_{>0} & \rightarrow & \Reel{} \\
&& x & \mapsto & y & \textrm{ tel que } &\valE{}^y = x. \\
\end{array}
\]
stateDiagram-v2
direction LR
state "x" as id
state "exp(x)" as p
id --> p: x ↦ exp(x)
p --> id: x ↦ ln(x)
state "x" as id2
state "ln(x)" as r
r --> id2: x ↦ exp(x)
id2 --> r: x ↦ ln(x)
Figure 5.5: L’exponentielle et sa réciproque, le logarithme naturel
Exercice 5.17 (Propriétés du logarithme naturel (N-0)) Déduire des propriétés de l’exponentielle toutes les propriétés du logarithme naturel, du fait de la réciprocité :
les lois algébriques,
la dérivée,
les variations,
les limites de la fonction logarithme,
la représentation graphique,
la croissance comparée avec les fonctions polynomiales.
Préambule : les fonctions réciproques
Les bijections et leurs réciproques possèdent de nombreuses propriétés qui sont simples et intuitives, mais ne sont plus au programme du Lycée. Il est utile d’en connaître certaines pour bien comprendre les relations entre une fonction et sa réciproque pour les quelques couples connus : la fonction carrée et la racine carrée, l’inverse et elle-même, l’exponentielle et le logarithme. Soit \(f\) une fonction de \(A\) vers \(B\) et \(g\) sa réciproque de \(B\) vers \(A.\)
Équations fondamentales - Pour tout \(x\) de \(A,\)\(g(f(x)) = x\) et pour tout \(y\) de \(B,\)\(f(g(y)) = y.\)
Isomorphisme - Si \(f\) est un morphisme algébrique pour certaines opérations, alors \(f\) s’appelle un isomorphisme. Sa réciproque \(g\) est aussi un isomorphisme, pour les mêmes opérations, mais dans l’autre sens. Par exemple, si \(f(x+y) = f(x)*f(y),\) alors \(g(a*b) = g(a)+g(b).\)
Représentation graphique (pour les fonctions sur \(\Reel{}\)) - Les courbes représentant \(f\) et \(g\) s’obtiennent par une symétrie axiale relative à la première bissectrice, la droite d’équation \(y = x.\) En effet, le point \((x, f(x))\) a pour symétrique \((f(x), x),\) puisque la différence entre ces points est le vecteur \((f(x) - x, x - f(x)),\) soit \((f(x)-x)*(1,-1),\) qui est orthogonal au vecteur \((1,1)\) et dont la moitié amène sur la première bissectrice au point \(((x+f(x))/2, (x+f(x))/2).\) Voir la Figure 5.6 pour un exemple.
Dérivation - Si la fonction \(f\) est dérivable et ne s’annule pas, alors la fonction réciproque \(g\) est dérivable et sa dérivée vérifie : \[
g'(y) = \frac{1}{f'(g(y))}.
\]
Démonstration 1 (géométrique) : au point \((y, g(y)),\) la tangente est le symétrique de la tangente au point \((g(y), y),\) qui a pour pente \((1, f'(g(y))).\) La pente de la tangente symétrique à cette dernière est alors \((f'(g(y)), 1),\) soit sous la forme normale \((1, 1/f'(g(y))),\) si la dérivée de \(f\) ne s’annule pas.
Démonstration 2 : en dérivant les membres de la seconde équation fondamentale, on obtient : \(f'(g(y)) * g'(y) = 1.\)
Solution (N-0)
Lois algébriques - Comme l’exponentielle est un (iso)morphisme additif/multiplicatif, le logarithme népérien est un (iso)morphisme multiplicatif/additif.
Démonstration en \(+\infty.\) Soit \(\omega\) un réel. Comme pour tout \(x >0,\)\(\logNat{}(x) \geq \omega\) est équivalent à \(x \geq \valE{}^\omega\) du fait de la croissance de l’exponentielle, on déduit que la limite est \(+\infty.\)
Démonstration en \(0^+.\) Soit \(\omega\) un réel. Comme pour tout \(x >0,\)\(\logNat{}(x) \leq \omega\) est équivalent à \(x \leq \valE{}^\omega\) du fait de la croissance de l’exponentielle, on déduit que la limite est \(-\infty.\)
Démonstration utilisant la composition des limites - Comme \(x^n \geq x\) lorsque \(x \geq 1,\) il suffit de traiter le cas \(n = 1.\) On a : \((x \mapsto \logNat{}(x)/x) = (y \mapsto y/\valE{}^y) \circ (x \mapsto \logNat{}(x)).\) Comme \(\lim_{x\rightarrow +\infty} \logNat{}(x) = +\infty\) et l’exponentielle domine l’identité en \(+\infty,\) nous pouvons conclure.
Démonstration utilisant la composition des limites - On a : \((x \mapsto \logNat{}(x) * x^n) = (y \mapsto -\logNat{}(y)/y^n) \circ (x \mapsto 1/x).\) Comme \(\lim_{x \rightarrow 0^+} 1/x = +\infty\) et \(\lim_{y \rightarrow +\infty} -\logNat{}(y)/y^n = 0,\) on déduit la limite.
Figure 5.6: L’exponentielle et sa réciproque, le logarithme
Exercice 5.18 (Génération des fonctions exponentielles et logarithmes (N-0)) Montrer que la fonction exponentielle en base \(b\)\(\expo{}_b\) vérifie pour tout réel \(x :\)
\[
\expo{}_b(x) = \expo{}(\logNat{}(b) * x).
\]
En déduire que pour tout réel \(x,\)
\[
\logNat{}(b^x) = x * \logNat{}(b).
\]
On peut ainsi définir la fonction réciproque de toute exponentielle \(\expo{}_b :\)
\[
\log{}_b(y) = \logNat{}(y)/\logNat{}(b).
\]
La fonction \(\log{}_b\) est appelée le logarithme en base \(b.\)
Solution (N-0)
D’après la loi naturelle vue pour les puissances, \((\valE{}^{\logNat{}(b)})^x = \valE{}^{\logNat{}(b) * x},\) ce qui donne la première égalité. En appliquant le logarithme aux deux membres de l’équation, on obtient \(\logNat{}(b^x) = x * \logNat{}(b).\)
L’étude du logarithme dans la solution de l’Exercice 5.17 nous permet de déterminer une approximation précise de \(\valE{}.\) En effet, si une suite \((u_n)\) converge vers \(1,\) la suite \((\valE{}^{u_n})\) converge vers \(\valE{}.\) Lorsque la suite \((u_n)\) est de la forme \((\logNat{}(v_n) * k_n),\) la suite \((\valE{}^{u_n})\) est égale à \((v_n^{k_n}),\) qui se calcule facilement si \(k_n\) est à valeurs entières.
Exercice 5.19 (Approximation du nombre d’Euler e (N-0)) Montrer que la suite \(((1+1/n)^n)\) converge vers \(\valE{}.\) Implémenter une fonction qui approche \(\valE{}\) avec cette suite à une précision donnée en paramètre et renvoie la valeur approchée et le rang correspondant \(n\) de la suite. Indication : on pourra utiliser l’implémentation de l’exponentielle math.exp fournie par la bibliothèque math de Python pour comparer les valeurs de la suite avec une approximation connue de \(\valE{}.\)
Solution (N-0)
Considérons la suite \((u_n := (\logNat{}(1+1/n)) * n).\) Remarquons que le terme \(u_n\) est égal au taux de variation de \(\logNat{}\) entre \(1\) et \(1 + 1/n :\) il tend donc vers la dérivée \(\logNat{}'(1) = 1.\) Comme la suite \(u_n\) converge vers \(1,\) la suite \((e^{u_n})\), égale à \(((1+1/n)^n),\) converge vers \(\valE{}.\)
Code
import math def approximationE(precision): e =2 n =1while (math.fabs(e - math.exp(1)) >=10**(-precision)) : n = n +1 e = (1+1/n)**nreturn (n, e)pr =5i, e = approximationE(pr)print("approximation à "+str(10**(-pr)) +" près : "+str(e) +" - nombre de termes : "+str(i) )print("erreur : "+str(math.exp(1) - e))
approximation à 1e-05 près : 2.7182718284613085 - nombre de termes : 135913
erreur : 9.99999773654281e-06
La convergence est très lente : pour obtenir une précision à \(10^{-10},\) il faut calculer \(66\ 953\ 935\) termes ! L’approximation est alors \(\valE{} \approx 2.7182818284.\)
Implémenter est un anglicisme adopté par les informaticiens pour signifier “programmer en respectant une spécification”. C’est conforme au sens anglais et à l’étymologie, puisque le sens latin est de remplir ou d’accomplir.↩︎
La composition est notée \(\circ :\) si \(\fctn{f}{B}{C}\) et \(\fctn{g}{A}{B}\) sont deux fonctions, alors la fonction \(\fctn{f \circ g}{A}{C}\) est définie pour tout \(x\) dans \(A\) par : \((f \circ g)(x) = f(g(x)).\)↩︎
Deux suites sont adjacentes si l’une est décroissante et majore l’autre qui est croissante, et si leur différence tend vers zéro ou de manière équivalente lorsqu’elles sont strictement positives ou négatives à partir d’un certain rang, si leur rapport tend vers un. Sous ces hypothèses, deux suites adjacentes sont convergentes et ont même limite : c’est un corollaire du théorème de convergence pour les suites monotones bornées.↩︎
Partie entière de \(x :\) le plus grand entier relatif inférieur ou égal à \(x.\)↩︎
La formulation logique des limites est au programme, mais c’est surtout au Supérieur qu’on exploite ce genre de définitions.↩︎
