Équation à valeur absolue

Ce solveur d'équations à valeur absolue prend les trois coefficients a, b et c de |ax + b| = c et renvoie toutes les solutions réelles, en distinguant les quatre cas qui comptent : deux solutions, exactement une, aucune lorsque c est négatif, et une infinité lorsque a vaut zéro et que |b| est égal à c. Il fonctionne de manière déterministe, sans méthode d'approximation, donc la réponse que vous testez dans le navigateur est la même que celle renvoyée par l'API.

Pourquoi une équation devient deux

La valeur absolue d'un nombre est sa distance à zéro, donc dire |ax + b| = c signifie en réalité que la quantité ax + b se trouve exactement à c unités de zéro. Lorsque c est positif, cela se produit en deux endroits : ax + b = c ou ax + b = −c. Chaque branche est une équation linéaire ordinaire, résolue en isolant x, ce qui donne x = (−b + c)/a d'un côté et x = (−b − c)/a de l'autre. Le solveur d'équations à valeur absolue effectue exactement cette séparation pour vous, puis trie les deux racines par ordre croissant afin que la sortie soit stable et facile à comparer avec la réponse d'un manuel. Prenons |2x − 4| = 10 : les branches sont 2x − 4 = 10 et 2x − 4 = −10, ce qui donne x = 7 et x = −3. Les deux sont renvoyées, et vous pouvez vérifier chacune en la substituant dans l'expression d'origine. C'est la même procédure que celle enseignée dans les cours d'algèbre, simplement exécutée sans erreurs de signe : l'erreur la plus fréquente des élèves est d'oublier entièrement la branche négative, ce qui perd la moitié de l'ensemble des solutions. Automatiser la séparation élimine toute cette catégorie d'erreurs.

Les cas limites : une solution, aucune ou une infinité

Toutes les équations à valeur absolue n'ont pas deux réponses, et un solveur qui renvoie toujours deux racines se trompe assez souvent pour être dangereux. Lorsque c vaut zéro, les deux branches se confondent en l'unique équation ax + b = 0, il y a donc exactement une solution en x = −b/a ; |x + 3| = 0 n'est satisfaite que par x = −3. Lorsque c est négatif, il n'y a rien à trouver : une valeur absolue est une distance et une distance ne peut pas être négative, donc |3x + 1| = −2 n'a pas de solutions réelles, et le solveur l'indique avec une liste vide plutôt qu'en inventant des nombres. Le cas le plus délicat est a = 0, où x disparaît entièrement de l'équation. Si |b| se trouve être égal à c, tout nombre réel est une solution et le solveur signale qu'il y en a une infinité ; sinon, l'équation est une contradiction comme |5| = 3 et l'appel est rejeté comme entrée invalide, car un jeu de coefficients qui ne peut pas faire intervenir x est une erreur de modélisation, pas un problème résoluble. Couvrir explicitement ces quatre cas est ce qui sépare un solveur correct d'une estimation à la manière de la formule quadratique.

Utiliser l'API et interpréter la sortie

Vous envoyez trois nombres — a, b et c — et vous recevez l'équation reconstruite, les coefficients renvoyés et l'ensemble des solutions. Le champ solutions est une liste de nombres réels arrondis à dix décimales pour que les résultats soient identiques octet par octet d'une machine à l'autre et sûrs à comparer dans des tests ; solution_count vous indique combien il y en a sans compter les éléments. Lorsque l'ensemble des solutions est vide, vous obtenez quand même une réponse réussie avec une liste vide, car « pas de solutions réelles » est une réponse mathématique valide, pas une erreur. Lorsque a vaut zéro et que |b| est égal à c, la réponse porte infinite_solutions au lieu d'une liste. Seules les requêtes réellement malformées sont rejetées : un coefficient manquant ou non numérique, une valeur non finie comme Infinity, ou le cas contradictoire a = 0 décrit ci-dessus. La capacité s'exécute sur notre edge sans rien stocker, et le même code alimente le widget gratuit de cette page, vous pouvez donc prototyper à la main et ne payer — $0.002 par appel — qu'une fois connecté à un pipeline. Les intégrations typiques sont les backends de tutorat qui vérifient les réponses des élèves, les préprocesseurs symboliques et la validation de séries d'exercices générées.