www.mathsecondaire.

net

Mr ABIDI Farid

Raisonnements mathmatiques

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par implication

1. Mthode directe: Le dbut de la dmonstration scrit : si la proposition (P) est vraie, montrons alors que la proposition (Q) est vraie. On crit aussi : (P) implique (Q) ou (P) entraine (Q) ou (P) => (Q) Exemple : Soit x un rel, montrer que x x => |x|= x.
Raisonnements mathmatiques 2

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par implication

2. Par contraposition: Ce raisonnement sutilise lorsque la proposition (non Q) est plus facile formaliser que (P) Pour montrer que (P) (Q) , on montre plutt que (non Q) (non P) . Exemple: Soit n un entier relatif. Montrer que ( n impair n impair )
Raisonnements mathmatiques

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par implication

3. Par quivalence: Il fortement conseill de dmontrer une quivalence (P) (Q) en montrant que les deux implications (P) (Q) et (Q) (P) sont vraies . Exemple : ____ Rsoudre pour x 2 , x = 2 -x
Raisonnements mathmatiques 4

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par labsurde

Pour dmontrer par labsurde quune proposition est vraie : 1. On la suppose fausse , 2. On montre quon est alors conduit une contradition.
Raisonnements mathmatiques 5

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par labsurde

Etude dun exemple : Montrer que 0 nest pas racine de f(x) = x4 + 12x -1. Supposons que 0 est une racine de f(x). On a donc f(0) = 0; or f(0) = -1. On obtient ainsi une contradiction (absurdit).
Raisonnements mathmatiques 6

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par labsurde

Exemples : Si le carr dun entier est pair (impair) alors lentier est pair (impair). Peut-on construire un triangle ABC tel que AB = 8 cm, AC = 3.1 cm et BC = 4.8 cm ? Il nexiste pas de triangle quilatral dont les sommets sont sur les nuds d'un quadrillage carr. Quatre disques qui ont pour diamtres les quatre cots dun quadrilatre convexe recouvrent ce quadrilatre.

Raisonnements mathmatiques

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par analyse-synthse

Procder par analyse et synthse se traduit par deux enchanements dimplications , le premier constituant lanalyse et le second la synthse. Etude dun exemple : 1. Analyse :
x21 = x+1 (x1)(x+1) = x+1 x = 1 ou x1 = 1 x = 1 ou x = 2.

2. Sythse :

x = 1 ou x = 2 (x21 = 0 et x+1 = 0) ou (x21 = 3 et x+1 = 3)

Raisonnements mathmatiques

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par analyse-synthse

Exemples :
Soient deux droites parallles D1 et D2 du plan orient et un point A nappartenant ni D1 ni D2 . Construire un triangle quilatral ABC tel que B soit un point de D1 et C un point de D2 (prciser le nombre de solutions). Dmontrer que toute fonction dfinie sur R peut scrire comme la somme dune fonction paire et dune fonction impaire.
Raisonnements mathmatiques
9

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par disjonction des cas

Raisonner par disjonction des cas sur un ensemble E, cest considrer une partition finie de cet ensemble et traiter chaque cas dfini par cette dernire, de manire isole. On est amen introduire la notion de partition primaire : il sagit de la partition dun ensemble contenant lensemble E dont est dduite celle utilise pour E.
Raisonnements mathmatiques 10

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par disjonction des cas

Exemples : tudier la parit de la somme de deux entiers.

Soient A, B et M trois points du plan, comparer MA et MB en fonction de la position du point M par rapport la mdiatrice de [A B].
Dans le plan rapport un repre orthonormal , rechercher lensemble des points M(x, y) tels que |x| + |y| < 4. n tant la somme de deux carrs dentiers, prouver que le reste de la division de n par 4 nest jamais gal 3.
Raisonnements mathmatiques
11

www.mathsecondaire.net

Mr ABIDI Farid

Utilisation du contre-exemple
Pour dmontrer laide dun contre-exemple quune proposition est fausse , on donne alors un exemple qui contredit cette proposition.

Raisonnements mathmatiques 12

www.mathsecondaire.net

Mr ABIDI Farid

Utilisation du contre-exemple
Exemples : La rciproque de la proprit si un quadrilatre est un losange alors ses diagonales sont perpendiculaires est fausse. Dmontrer que lidentit (a + b) = a +b est fausse.

Dmontrer que la fonction f dfinie sur R par f(x)= x + x3

nest ni paire ni impaire.
Raisonnements mathmatiques 13

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par double inclusion

Pour montrer que ensembles A et B sont gaux (A = B) , on est souvent amen montrer : Si a appartient A , alors a appartient B ( A B ) Si b appartient B, alors b appartient A ( B A )
Raisonnements mathmatiques 14

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par double inclusion

Exemples : Pour a et b deux entiers naturels tels que 0 < b < a, pgcd (a , b) = pgcd (a , a - b).

Soient A et A deux points distincts du plan orient et M un point distinct de A. Dterminer lensemble des points M images du point M par les rotations qui transforment A en A.
Raisonnements mathmatiques 15

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par rcurrence

Soit P(n) une proprit dpendant dun entier naturel n tel que n suprieur n0. Si on sait que P(n0) est vraie. Si on sait aussi que, pour un n quelconque, si P(n) est vraie alors P(n+1) est vraie aussi. Alors, la proprit est vraie pour tout n suprieur n0.
Raisonnements mathmatiques 16

www.mathsecondaire.net

Mr ABIDI Farid

Raisonnement par rcurrence

Exemples :
On considre la suite u dfinie sur IN par : U0 = 2 et pour tout entier n , u n+1 =-3+2un Montrer que pour tout entier naturel n: un=3 - 2n Dmontrer que pour tout entier naturel n : 2n n2 .

Raisonnements mathmatiques 17