Leçon
La théorie — Inéquations300 mots
Résoudre une inéquation consiste à définir l'ensemble des valeurs qui la vérifient. Cet ensemble dépend de deux éléments distincts : la position de la borne, et l'appartenance ou non de ce point limite à l'ensemble.
Ce que signifie chaque symbole
<- une relation stricte. La borne est exclue, et l'ensemble des solutions est ouvert de ce côté.
≤- une relation large. La borne est incluse, et l'ensemble est fermé de ce côté.
sup- la borne supérieure : la plus petite des valeurs qui majorent l'ensemble. Elle existe toujours pour un ensemble majoré, que ce dernier la contienne ou non.
- Suppose
- Que la borne se trouve précisément là où les deux membres sont égaux, ce qui explique pourquoi la résolution d'une inéquation s'appuie sur l'arithmétique de la résolution d'équations. Le symbole de relation ne calcule rien ; il sélectionne un côté de l'axe et détermine une appartenance.
- Ne tient plus quand
- Le choix entre strict et large détermine bien plus qu'une simple inclusion : il définit si une valeur maximale peut exister. Pour
x ≤ 5, la plus grande solution est 5, une valeur concrète que vous pouvez fournir à votre interlocuteur. Pourx < 5, il n'y a pas de plus grande solution. Proposez n'importe quel candidat inférieur à 5 : le point médian entre ce dernier et 5 fournira une solution plus grande toujours présente dans l'ensemble, et ce indéfiniment. L'ensemble possède bien une borne supérieure égale à 5 ; il ne la contient tout simplement pas. C'est la raison pour laquelle une optimisation sur une contrainte stricte peut n'avoir aucune réponse, tandis que le même problème avec≤en possède une. Cette distinction, qui s'apparente à une simple ponctuation dans un exercice scolaire, devient structurante à l'instant où vous maximisez quoi que ce soit.
Problèmes entièrement résolus
-
Une livraison coûtant 5 plus 2 par kilomètre avec un budget inférieur à 20 7 étapes
Une livraison coûte 5 plus 2 par kilomètre. Votre budget est inférieur à 20. Jusqu'où pouvez-vous aller, et qu'advient-il de l'algèbre si le tarif est plutôt présenté comme une remise ?
-
Posez le problème sous forme d'inéquation plutôt que d'équation, car la question n'est pas de savoir quelle distance coûte très exactement 20.
-
Soustrayez 5 de chaque membre. L'addition et la soustraction ne modifient jamais le sens de la relation, quel que soit le signe de la valeur ajoutée.
-
Divisez par 2. Ce nombre est positif, le sens de la relation demeure donc inchangé. La réponse forme une région ouverte à sa limite supérieure.
-
Moins de 7,5 kilomètres. L'extrémité est exclue car le budget devait rester strictement inférieur à 20. À 7,5 précisément, le prix atteint exactement 20. Cela constitue un dépassement de budget selon la formulation du problème, même si la différence est infime.
-
Passons à la version avec remise. Supposons qu'au lieu d'ajouter des frais, chaque kilomètre déduise 2 d'un crédit initial de 20, et que vous deviez maintenir votre solde au-dessus de 5.
-
Diviser par −2 inverse le sens de la relation, et la réponse correspond à la même région qu'auparavant. C'est logique : il s'agit du même trajet décrit dans l'autre sens. Oublier cette inversion aurait conduit à x > 7,5, ce qui représente le côté inabordable de la limite au lieu de la portion accessible.
-
C'est ici que l'arithmétique cesse de vous aider. Les deux formes aboutissent à x < 7,5, mais aucune ne permet de déterminer si le seuil de 7,5 est lui-même abordable. Savoir si "inférieur à 20" désigne 19,99 ou la valeur 20 relève du contrat, non de l'inéquation. Le symbole d'inégalité stricte accomplit ici une tâche que l'algèbre ne saurait vérifier seule.
Réponse
Moins de 7,5 kilomètres, la valeur 7,5 étant elle-même exclue. Si l'on décrit la situation par une remise, le même trajet exige une division par −2, et par conséquent une inversion. Omettre cette étape vous livre alors la portion inabordable du trajet.
-
-
L'inéquation où il ne reste plus de x 6 étapes
Ce préréglage est 2x + 5 ≥ 2x + 5. Résolvez-le, puis décidez si une inéquation qui perd son x n'a produit aucune réponse ou en a produit une très vaste.
-
Retranchez 2x des deux membres. Ajouter la même quantité aux deux membres préserve la relation quelle que soit cette quantité, l'opération est donc sûre même si elle fait intervenir x, ce que la multiplication par x n'est justement pas.
-
Il reste 5 ≥ 5. Les deux membres portent désormais un coefficient nul devant x : il n'y a plus rien à isoler et rien par quoi diviser.
-
La formule de la frontière montre le même blocage sous forme arithmétique. Résoudre ax + b ≥ cx + d donne x = (d − b)/(a − c), soit ici 0 ÷ 0. Le panneau imprime un tiret dans la ligne de la frontière, parce qu'il n'y a aucune frontière à imprimer.
-
5 ≥ 5 est vrai, et c'est vrai sans mentionner x. Tout nombre réel satisfait donc l'inéquation de départ, et la ligne de la solution le dit.
-
Rendez la relation stricte et 5 > 5 est faux : rien ne convient. Poussez plutôt la constante de droite à 5,001 et l'énoncé devient 0 ≥ 0,001, faux de nouveau. Presque les quatre mêmes nombres, et l'ensemble des solutions passe de la droite entière à rien du tout.
-
Ce saut ressemble à une discontinuité et n'en est pas une. Maintenez le membre de droite à 5,001 et laissez les deux coefficients de x différer de ε au lieu de coïncider. La frontière se place alors en 0,001/ε : à ε = 0,1 la réponse est x ≥ 0,01, à ε = 0,001 c'est x ≥ 1, à ε = 0,0001 c'est x ≥ 10. La demi-droite recule vers l'infini à mesure que ε se referme, et c'est l'ensemble vide qui arrive au ralenti.
Réponse
Tout x. La réponse vide en est le jumeau plutôt que le contraire : quand les deux coefficients de x coïncident, le terme en x s'annule et les deux constantes décident seules, si bien que l'énoncé est soit vrai et tout nombre le résout, soit faux et aucun ne le résout. Ni l'un ni l'autre cas n'a de frontière, ce qui explique que la ligne de la frontière reste vide dans les deux et que la ligne de la solution soit la seule à lire. Le choix entre strict et non strict, qui déplace un unique point sur tous les autres préréglages, déplace ici la droite réelle tout entière.
-
Parcours
Trouver x, à partir du signe moins
Références (1)
- Where the guarantee comes from that a least upper bound always exists, even when no largest member does: R. Dedekind, Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig, 1872.