Mathématiques - Le raisonnement par analyse-synthèse

Mathématiques : Le raisonnement par analyse-synthèse

9 commentaires

Introduction

Dans la série des "grosses méthodes de raisonnement" en mathématiques, je voudrais le petit frère...
Et oui, vous avez deviné, on va recommencer à raisonner ici, mais d'une manière encore différente.
Récapitulons... en Mathématiques, on distingue plusieurs types de raisonnement : le raisonnement direct, le raisonnement par récurrence, le raisonnement par l'absurde, et enfin le raisonnement par analyse-synthèse.

Il est un peu moins utilisé que ses grands frères, mais peut s'avérer très utile pour certaines démonstrations.

Mais alors qu'est-ce que tu attends ? Explique-nous !

Oui, oui, j'y viens j'y viens.

Principe

Je vais d'abord vous donner le principe global de la chose, puis j'expliquerai en détail avec un exemple imagé, et ensuite avec des vrais exemples mathématiques.

Supposons qu'on vous demande de démontrer quelque chose qui vous semble très compliqué au premier abord. Tellement que vous ne savez pas comment faire.
Le raisonnement par analyse-synthèse peut s'avérer une bonne solution. Il se déroule en 2 étapes :

L'Analyse : Supposez que ce que vous voulez démontrer est vrai, et cherchez des conditions nécessaires à satisfaire pour que cela puisse être vrai.

La Synthèse : Vérifiez si la chose qui vérifie ces conditions est bien solution du problème posé.

Bon, vu comme ça, c'est très abstrait bn_wink

. Donc on va travailler sur des exemples assez simples : un exemple complètement hors du domaine des mathématiques, pour vous permettre de mieux appréhender le principe du raisonnement; et un autre exemple d'utilisation en mathématiques.

Exemples

Le BN géant

Un jour, on vous demande de prouver l'existence d'un BN au chocolat géant vivant !
A première vue, ça semble assez difficile à faire... Et vous n'avez aucune idée de la manière de procéder.
Alors procédons par Analyse-Synthèse !

Première partie, l'analyse : supposons qu'il existe un BN au chocolat géant vivant quelque part dans le monde.
Si un BN de ce genre existe, il est évident qu'il vivra nécessairement loin de l'eau, parce qu'un BN dans l'eau devient tout mou et se dissous...
Si ce type de BN existe, il se trouvera nécessairement loin des régions chaudes, sinon son chocolat fondrait et il disparaitrait .
Il sera aussi nécessairement loin des régions très froides, pour ne pas geler.

Ces conditions nécessaires qu'on vient de trouver réduisent déjà notre champ de recherche. On sait que maintenant, le seul endroit où on peut trouver un BN de ce type, c'est en France.
Mais la France c'est toujours assez grand. On va donc chercher d'autres conditions nécessaires encore plus restrictives.

Un grand BN comme ça, ça a besoin de beaucoup de chocolat pour tenir ensemble... Ca doit donc vivre nécessairement près d'une chocolaterie, ou d'une biscuiterie.
Et en plus, les BN sont créés à Nantes, donc forcément, le grand BN habite près de ses parents, donc près de Nantes.
Ce qui nous amène directement à la conclusion que le BN géant habite dans la biscuiterie BN.
Deuxième partie, la synthèse : nous devons vérifier notre conclusion, c'est-à-dire que nous devons prendre le premier avion pour Nantes (ou le premier TGV ), et nous rendre à la biscuiterie pour vérifier que le BN géant s'y trouve.
Soit on le trouve, et on a bien prouvé qu'il existe.
Soit on ne le trouve pas, et on a prouvé qu'il n'existe pas, puisqu'il n'est pas à l'endroit où il devait nécessairement être.

(Maintenant, eh bien je vous laisse aller vérifier par vous-même. bn_tongue

)

Fonctions paires et impaires

Voici l'énoncé de l'exercice : Soit f une application définie sur $\mathbb{R}$ . Montrer que f s'écrit d'une façon unique comme la somme d'une application paire et d'une application impaire (application est synonyme de fonction dans ce cas).

A première vue, et en essayant différentes méthodes, ce problème paraît difficile à résoudre. Il se peut même que vous n'y arriviez pas bn_tongue

. Mais c'est normal.
Pour résoudre ce problème, il faut utiliser le raisonnement par analyse-synthèse.

Allez on est partis !

Première étape : L'Analyse

Soit $f$ une fonction définie sur $\mathbb{R}$ .
Supposons qu'il existe 2 fonctions, que l'on nommera $p$ et $i$ (p pour paire, et i pour impaire, un peu d'originalité bn_tongue

), qui soient solution du problème, c'est-à-dire des fonctions telles que :

- $p$ soit paire
- $i$ soit impaire
- $f$ soit la somme de ces deux fonctions, i.e. $f \, = \, p \, + \, i$

Traduisons ces 3 phrases : ces deux fonctions sont donc telles que :

$\forall x \in \mathbb{R} \, \left\{ \begin{array}{rcl} f(x) \, = \, p(x) \, + \, i(x) \\ p(-x) \, = \, p(x)\\ i(-x) \, = \, -i(x)\\ \end{array} \right.$
Jusque là on n'a fait que traduire en rajoutant des x les 3 conditions vérifiées par i et p pour être solutions du problème.
Evidemment, pour l'instant, cela ne nous avance pas à grand chose.
Mais le principe de l'analyse-synthèse, comme pour l'exemple du BN géant, est d'affiner au maximum la recherche pour obtenir à la fin des conditions nécessaires suffisamment restrictives.

On va donc faire quelques petites manipulations sur les 3 "équations" obtenues.

Par exemple, cherchons $f(-x)$ . (Oui, j'avoue, il faut parfois faire preuve d'inventivité... Ca peut sembler tomber du ciel, mais au bout d'un moment, vous aurez pris l'habitude, et vous aurez un certain flair pour détecter ce qu'il faut faire.)

D'après les définitions des fonctions paires et impaires, on obtient :

$\forall x \in \mathbb{R} \, f(-x)$	$= \, p(-x) \, + \, i(-x)$
	$= \, p(x) \, - \, i(x) \,\,\, (1)$

Or on sait qu'on a aussi :

$\forall x \in \mathbb{R} \, f(x)$

$= \, p(x) \, + \, i(x) \,\,\, (2)$

On dispose donc des relations (1) et (2) ci-dessus.
Il faut maintenant en faire quelque chose. Et là, (oh miracle! bn_heureux

) on remarque que si on fait la somme de ces deux relations, on aura disparition de la fonction i.
De même on voit que si on fait la différence des deux relations, ce sera la fonction p qui va disparaître.
La preuve :

$(1) \, + \, (2) \, \longrightarrow$	$\forall x \in \mathbb{R} \,\, f(-x) \, + \, f(x)$	$= \, p(x) \, + \, p(x) \, + \, i(x) \, - \, i(x)$
		$= \, 2p(x)$

D'où on en tire par simple division : $\forall x \in \mathbb{R} \,\, p(x) \, = \, \frac{f(x) \, + \, f(-x)}{2}$

D'autre part, on a :

$(1) \, - \, (2) \, \longrightarrow$	$\forall x \in \mathbb{R} \,\, f(-x) \, - \, f(x)$	$= \, p(x) \, - \, p(x) \, - \, i(x) \, - \, i(x)$
		$= \, -2i(x)$

D'où on en tire par une division et un petit changement de signe : $\forall x \in \mathbb{R} \,\, i(x) \, = \, \frac{f(x) \, - \, f(-x)}{2}$

Vous vous en doutez, après cela, on arrive bientôt à la fin de notre analyse... On a assez torturé les formules, et elles n'ont plus rien à nous dire.

Faisons donc une conclusion de l'analyse.
On sait que si f peut s'écrire comme une somme de deux fonctions, l'une paire et l'autre impaire, il est nécessaire que ces fonctions soient de la forme :
$\forall x \in \mathbb{R} \,\, p(x) \, = \, \frac{f(x) \, + \, f(-x)}{2}$
$\forall x \in \mathbb{R} \,\, i(x) \, = \, \frac{f(x) \, - \, f(-x)}{2}$
Ceci nous assure aussi que si ces fonctions existent, elles sont uniques (en effet, il n'y a qu'une seule fonction que l'on peut définir de telle manière).

On a bien avancé dans notre travail, et on a fait le plus dur.
Mais tout n'est pas terminé.

Deuxième étape : La Synthèse

Il reste à vérifier si les fonctions p et i trouvées sont bien solution du problème, c'est-à-dire que : p est paire, i est impaire, et f s'écrit comme la somme des deux.

Reprenons les fonctions p et i définies à la fin de notre analyse.
On a alors :

$\forall x \in \mathbb{R} \,\, p(-x)$	$= \, \frac{f(-x) \, + \, f(-(-x))}{2}$
	$= \, \frac{f(-x) \, + \, f(x)}{2}$
	$= \, p(x)$

D'où p est bien une fonction paire.

De plus:

$\forall x \in \mathbb{R} \,\, i(-x)$	$= \, \frac{f(-x) \, - \, f(-(-x))}{2}$
	$= \, \frac{f(-x) \, - \, f(x)}{2}$
	$= \, -i(x)$

D'où i est bien une fonction impaire.

Enfin, on a :

$\forall x \in \mathbb{R} \,\, i(x) \, + \, p(x)$	$= \, \frac{f(x) \, - \, f(-x) \, + \, f(x) \, + \, f(-x)}{2}$
	$= \, \frac{2f(x)}{2}$
	$= \, f(x)$

D'où on a bien $f \, = \, p \, + \, i$ .

Les 3 conditions de départ étant bien vérifiées par i et p, on en déduit que ces deux fonctions sont bien solution du problème posé. Donc que celui-ci admet bien une solution bn_tongue

.

Donc : une fonction f étant donnée, il existe un unique couple de fonctions, l'une paire, l'autre impaire, telles que leur somme soit égale à f.

Et vous pouvez enfin mettre à la fin de votre copie le beau CQFD habituel. bn_wink

Conclusion

Je sais que vous pouvez trouver ça très étrange comme méthode de pensée. J'avoue que j'ai moi-même eu un peu de mal à m'y faire et à bien comprendre le principe.
Mais ne vous inquiétez pas. Comme d'habitude, la pratique amène une meilleure compréhension de la théorie. A force de faire ce type de raisonnements, vous finirez par bien le maîtriser bn_wink

Auteur : DarKnight
Créé le : 01/06/2007
Vues : 64310 fois
9 commentaires

Commentaires

#2552 Le 19/11/07 à 19h48» ABBAS a dit :

DONNEZ_ moi , combien y'a t-il de demonstation en mathématiques

#2599 Le 20/11/07 à 10h57» Bnmaster a dit :

Beaucoup plus que tu ne peux l'imaginer bn_big_smile

(mes condoléances)

#2829 Le 19/01/08 à 16h44» DarKnight a dit :

Combien de méthodes rigoureuses de raisonnement, je sais pas moi... je dirai 4-5 bien différentes.
Après, le nombre de choses démontrées et à démontrer est énorme, et bien souvent chaque démonstration a son propre petit "truc" qui fait qu'elle marche.

#2839 Le 20/01/08 à 21h43» sarita a dit :

Tu me donnes des belles solutions pour bien résonée je te remerci boucoup
mini_bn

Elle me plait

#3165 Le 14/05/08 à 15h07» my sister a dit :

Bonjour serait -il possible de m'éxpliquer plus en détail et avec des mots faciles,les fonctions paires et impaires,en m'envoyant les éxplications via mon e mail qui devrait etre affiché.Merci d'avance car c'est important pour moi de comprendre cela.

#3176 Le 14/05/08 à 23h30» DarKnight a dit :

Plus précisément, qu'est-ce que tu ne comprends pas. Est-ce que c'est a propos du raisonnement en lui-même, ou plutôt sur les calculs menés, ou encore sur les fonctions en elles-même ?

#4524 Le 2/01/11 à 19h26» clemus a dit :

Merci, c'est très clair:)

#4711 Le 6/09/11 à 19h17» arnogogo a dit :

Merci beaucoup, vous m'avez plus qu'éclairé!

#4908 Le 14/04/12 à 00h33» X@v a dit :

Merci pour ce superbe exemple de démonstration par analyse synthèse qui m'a fait rire tout seul devant mon écran bn_yikes

)

Vive les BN (le le FCNA !)
Tchou Tchou

La Bnbox !

Menu

Mon compte

Recherche

Cahier de l'élève