Résoudre une inéquation évidente
Bonjour
Je viens de me poser la question de comment résoudre l'inéquation $e^x\geqslant 0$. La réponse est évidemment $x\in\mathbb{R}$ ; mais faut-il admettre que cette solution découle de la définition de la fonction exponentielle qui est strictement positive sur $\mathbb{R}$ , ou bien peut-on réellement résoudre cette inéquation ? Fonction de Lambert ?
Merci d'avance.
Je viens de me poser la question de comment résoudre l'inéquation $e^x\geqslant 0$. La réponse est évidemment $x\in\mathbb{R}$ ; mais faut-il admettre que cette solution découle de la définition de la fonction exponentielle qui est strictement positive sur $\mathbb{R}$ , ou bien peut-on réellement résoudre cette inéquation ? Fonction de Lambert ?
Merci d'avance.
Réponses
-
si tu definis $e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}$ comme le recommandent Rudin et Dieudonne, tu en deduis $e^{x+y}=e^xe^y$ et $e^{-x}=\frac{1}{e^x}>0$ si $x>0.$
-
Lolo36 a dit :... mais faut-il admettre que cette solution découle de la définition de la fonction exponentielle qui est strictement positive sur $\mathbb{R}$ , ou bien peut-on réellement résoudre cette inéquation ? ...$-$ Pourquoi dis-tu "admettre"?$-$ Pourquoi dis-tu "réellement résoudre" ? Toute résolution correcte est réelle !
-
Car des fois j'entends dire "par définition", donc ça sous entend qu'on n'a pas besoin de résoudre la chose en question, tellement c'est évident. Mais je ne suis pas trop adepte de cette tournure Bon ok, je ne savais pas que j'avais à faire à des personnes aussi pointilleuses sur les mots. Je vous pose maintenant la question suivante L2M : Pourquoi ne répondez-vous pas à ma question ?
-
Bonjour Lolo36.La réponse de L2M ne m'a pas surpris, car le mot "admettre" est bizarre ici. On "admet" tout ce qui est démontré, donc on n'a pas à "admettre" la propriété $\exp(x)\ge 0$.Finalement, tu sembles penser que la résolution d'une équation est un processus composé d'un certain nombre d'étapes de calcul. Pourtant, comment résous-tu les équations d'inconnue x suivantes :* x=2* 2=0Si on sait que l'exponentielle est strictement positive, la résolution de ton équation est immédiate.Cordialement.
-
On peut aussi constater que $\newcommand{\e}{\mathrm{e}}\e^x=(e^{x/2})^2\ge0$ pour tout $x$ réel .
-
Considérons la définition de $\exp$ suivante :La fonction $\ln$ est bijective de $]0;+\infty[$ dans $\mathbb{R}$. La fonction $\exp$ est la fonction réciproque de $\ln$ $(\exp=\ln^{-1})$, bijective elle aussi de $\mathbb{R}$ dans $]0;+\infty[$. Donc $\exp\left(\mathbb{R}\right)=]0;+\infty[$.
-
Le signe d'une somme de termes positifs ne devrait pas être trop difficile à déterminer...
-
Fixons un $x\in\mathbb{R}$. Il existe un entier naturel $N$ tel que $-N<x$. Ainsi,$\forall n\geq N, x>-n$. Donc $\forall n\geq N, e^x>e^{-n}$. En passant à la limite $n\to+\infty$, on aura $e^x\geq 0$.
-
Merci pour ces démonstrations !
-
La monotonie de l'exponentielle, on l'obtient comment ? Par la positivité de la dérivée ? Pas très satisfaisant... Par la monotonie des termes que l'on ajoute ? Alors c'est essentiellement la même chose que ce que j'ai dit, en plus compliqué...
-
Ou par la monotonie de $\ln$ dont la dérivée est $x\mapsto \frac{1}{x}$, et comment on montre que $(e^x)^n=e^{nx}$.
-
Mais alors le signe est évident, comme tu l'as dit toi-même, non ?
-
Lolo36 a dit :faut-il admettre que cette solution découle de la définition de la fonction exponentielle ?Non, il ne "faut" rien du tout. En fonction de l'axiomatique utilisée pour présenter la fonction exponentielle (selon les publics, telle ou telle est utilisée), tu peux faire une démonstration (plus ou moins simple) de la stricte positivité.Accessoirement, j'ai l'impression que tu confonds "résoudre une inéquation" et "démontrer une inégalité".Le sujet de ton message devrait plutôt être "Démontrer une inégalité évidente".
-
Dans le concours de définitions bizarres de l’exponentielle, on doit bien en trouver une qui utilise sa positivité comme axiome, non ?
Algebraic symbols are used when you do not know what you are talking about.
-- Schnoebelen, Philippe -
C'est toujours le même principe quand on pose une question en mathématiques: si l'on ne veut pas repartir des axiomes il faut savoir ce que l'on s'autorise à utiliser et donc à quel niveau/cadre on se place. Si on pose la question à un étudiant, il est sensé répondre qu'il n'y a rien à démontrer car c'est du cours. En revanche dans le cours il est de bon ton de le démontrer en partant de la définition choisie.
The fish doesnt think. The Fish doesnt think because the fish knows. Everything. - Goran Bregovic -
JLapin a dit : https://les-mathematiques.net/vanilla/index.php?p=/discussion/comment/2365041/#Comment_2365041[Inutile de recopier un message présent sur le forum. Un lien suffit. AD]
-
La stricte positivité de la fonction $\exp$ n'est pas un exercice, c'est une propriété fondamentale qui ne doit pas être laissée de côté.Une fois suivi un cours sur le sujet, la question<< Résoudre l'inéquation $e^x \geq 0$ d'inconnue réelle $x$ >>devra admettre la réponse suivante :<< D'après le cours, $\R$ est l'ensemble solution >>sans autre forme de procès.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres