Logique et ensemblesMéthode · Glossaire
méthode par analyse et synthèse
La méthode par analyse et synthèse résout un problème en deux temps : l’analyse part d’une solution supposée et en déduit des conditions nécessaires, donc un ensemble de candidats qui contient toutes les solutions. La synthèse vérifie ensuite, dans le problème initial et sous ses hypothèses de départ, quels candidats satisfont toutes les conditions ; elle élimine ainsi les candidats parasites et établit exactement l’ensemble des solutions.
Sommaire
Ce que vous allez apprendre
- Distinguer l'analyse, qui détermine les candidats, de la synthèse, qui les contrôle.
- Écrire le lien logique entre ensemble des solutions et ensemble candidat.
- Refaire la résolution complète de l'équation √(x + 2) = x.
- Repérer les faux candidats créés par une transformation non réversible.
En clair
Imaginez que deux nombres, −1 et 2, soient les seuls candidats capables de résoudre une équation. Les obtenir ne suffit pas : il faut encore replacer chacun dans l'équation de départ. Le premier échoue, le second réussit.
La méthode par analyse et synthèse organise précisément ce travail. L'analyse part d'une solution supposée et réduit les possibilités. La synthèse repart des candidats trouvés et contrôle lesquels répondent réellement à toutes les conditions.
Définition
La méthode par analyse et synthèse est une méthode de recherche et de preuve pour déterminer tous les objets qui satisfont une propriété donnée. On fixe d'abord un univers de recherche, noté X, puis on appelle S l'ensemble des solutions dans X.
Pendant l'analyse, on suppose qu'un objet appartient à S. On exploite alors les conditions du problème pour montrer qu'il doit appartenir à un ensemble candidat C : . Les déductions peuvent n'aller que dans ce sens. Une transformation non réversible peut donc faire entrer dans C des objets qui ne sont pas des solutions. En revanche, l'analyse doit conserver toute solution possible.
Pendant la synthèse, on examine les éléments de C à partir des conditions initiales. Si tous les candidats conviennent, on obtient aussi , donc . Si certains échouent, on les retire et S est exactement le sous-ensemble des candidats validés. Les deux étapes prouvent ainsi à la fois qu'aucune solution n'a été oubliée et qu'aucun faux candidat n'a été retenu.
Le principe
Soit X l'univers des objets étudiés et P la propriété exigée. L'ensemble recherché est formé des objets de X qui vérifient P.
1. Analyse. On suppose que l'objet est solution et l'on déduit des conditions nécessaires qui l'enferment dans un ensemble candidat C.
2. Synthèse. Pour chaque objet de C, on revient à P et l'on vérifie toutes les conditions de départ.
3. Conclusion. Les candidats qui passent ce contrôle, et seulement eux, forment l'ensemble des solutions.
2. Synthèse. Pour chaque objet de C, on revient à P et l'on vérifie toutes les conditions de départ.
3. Conclusion. Les candidats qui passent ce contrôle, et seulement eux, forment l'ensemble des solutions.
Quand l'utiliser
La méthode s'applique lorsqu'un problème demande de déterminer toutes les solutions d'une même condition : nombres satisfaisant une équation, objets répondant à des contraintes ou constructions possibles. L'univers de recherche et les conditions initiales doivent être fixés avant l'analyse. Chaque déduction de l'analyse doit être nécessaire pour une solution supposée ; chaque test de la synthèse doit reprendre le problème original.
L'ensemble candidat doit aussi pouvoir être décrit puis contrôlé, même s'il n'est pas fini. Si l'analyse ne fait que conclure que la solution est un nombre réel quelconque, la synthèse redemande de résoudre le problème de départ : la méthode reste valide, mais n'apporte aucun progrès. Il faut alors chercher une condition nécessaire plus forte ou adopter une autre méthode de résolution.
Un exemple, pas à pas
Cherchons les nombres réels x qui vérifient . La racine carrée impose d'abord x ≥ −2.
1. Analyse. Supposons x solution. En élevant l'égalité au carré, on obtient une condition nécessaire : . Après regroupement et factorisation :
Les seuls candidats sont donc −1 et 2. Le schéma matérialise le contrôle séparé qui empêche de confondre candidat et solution.
2. Synthèse. Pour x = −1, le membre de gauche vaut √1 = 1, tandis que le membre de droite vaut −1 : le candidat échoue. Pour x = 2, les deux membres valent √4 = 2 : le candidat réussit.
3. Conclusion. L'ensemble des solutions est {2}. Le contrôle consiste à substituer 2 dans l'équation initiale, et non seulement dans l'équation obtenue après élévation au carré.
En pratique
Dans une équation, l'analyse est utile lorsqu'une opération comme l'élévation au carré donne des conditions nécessaires sans garantir le retour. Si chaque transformation est réversible, une chaîne d'équivalences est plus directe.
Dans un problème de construction, on peut supposer l'objet construit, repérer les contraintes que ses éléments doivent respecter, puis reconstruire les candidats. Une construction directe est préférable lorsqu'une procédure complète est déjà connue.
Pour une recherche exhaustive, l'analyse réduit d'abord le champ des possibilités. On choisit plutôt un raisonnement d'impossibilité dès qu'une condition nécessaire conduit immédiatement à une contradiction et laisse l'ensemble candidat vide.
À ne pas confondre
Une chaîne d'équivalences. Dans une chaîne d'équivalences, chaque étape peut être parcourue dans les deux sens. L'analyse-synthèse autorise au contraire des implications à sens unique, puis compense cette perte par un contrôle final. Élever au carré l'équation √(x + 2) = x produit −1 comme faux candidat : ce cas tranche.
Une condition suffisante. L'analyse établit d'abord des conditions nécessaires : toute solution doit les respecter. La synthèse montre ensuite quelles conditions sont suffisantes en revenant au problème initial. Le candidat −1 satisfait l'équation mise au carré, mais cela ne suffit pas à satisfaire l'équation de départ.
Limites et pièges
Transformation non justifiée. Si une étape de l'analyse n'est pas une conséquence de l'hypothèse de départ, une vraie solution peut disparaître. Le symptôme est une implication utilisée dans le mauvais sens. Il faut rétablir le sens logique de chaque étape avant la synthèse.
Candidat pris pour une solution. Une condition nécessaire ne suffit pas. Dans l'exemple, −1 annule bien (x − 2)(x + 1), mais donne 1 = −1 dans l'équation initiale. Il faut toujours effectuer le test de synthèse sur les conditions de départ.
Domaine oublié. Une expression peut n'être définie que sur une partie de l'univers annoncé. Ici, √(x + 2) exige x ≥ −2. Il faut fixer ce domaine avant toute transformation et vérifier que chaque candidat y appartient.
Ensemble candidat inexploitable. Une analyse qui aboutit à une famille aussi difficile à tester que le problème initial ne termine pas la recherche. Il faut affiner les conditions nécessaires ou changer d'outil ; multiplier les candidats ne constitue pas une synthèse.
Pour aller plus loin
La fiche Condition suffisante précise le sens logique du contrôle accompli pendant la synthèse.
L'article Un foisonnement de méthodes de démonstration situe cette démarche parmi d'autres façons d'organiser une preuve.
L'article De l'importance d'une bonne méthode prolonge la réflexion sur le choix d'une stratégie adaptée au problème.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres