Différents types de raisonnement en mathématiques

Documents pareils
Chapitre 2. Eléments pour comprendre un énoncé

6. Les différents types de démonstrations

Logique. Plan du chapitre

Si deux droites sont parallèles à une même troisième. alors les deux droites sont parallèles entre elles. alors

Si un quadrilatère a. Si un quadrilatère a. Si un quadrilatère a. Si un quadrilatère a. ses côtés opposés. ses côtés opposés de. deux côtés opposés

Limites finies en un point

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Les droites (d 1 ) et (d 2 ) sont sécantes en A Le point A est le point d intersection des 2 droites

Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en Énoncé.

AC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =

Problèmes de Mathématiques Filtres et ultrafiltres

Date : Tangram en carré page

Image d un intervalle par une fonction continue

Exprimer ce coefficient de proportionnalité sous forme de pourcentage : 3,5 %

Chapitre 2 Le problème de l unicité des solutions

La persistance des nombres

Comparaison de fonctions Développements limités. Chapitre 10

Continuité en un point

DOCM Solutions officielles = n 2 10.

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

COURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

Problème 1 : applications du plan affine

I. Ensemble de définition d'une fonction

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

Probabilités sur un univers fini

Résolution d équations non linéaires

III- Raisonnement par récurrence

Eté LIVRET de RÉVISIONS en MATHÉMATIQUES

Exercices sur le chapitre «Probabilités»

Cours de mathématiques

FONDEMENTS MATHÉMATIQUES 12 E ANNÉE. Mathématiques financières

Calculs de probabilités

Dérivées d ordres supérieurs. Application à l étude d extrema.

Chapitre 1 : Évolution COURS

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

CCP PSI Mathématiques 1 : un corrigé

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Continuité d une fonction de plusieurs variables

Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)

MAT2027 Activités sur Geogebra

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Le théorème de Thalès et sa réciproque

Polynômes à plusieurs variables. Résultant

Réalisabilité et extraction de programmes

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs

Cours de mathématiques Première année. Exo7

Université Paris-Dauphine DUMI2E 1ère année, Applications

Groupe symétrique. Chapitre II. 1 Définitions et généralités

BACCALAURÉAT GÉNÉRAL SESSION 2012 OBLIGATOIRE MATHÉMATIQUES. Série S. Durée de l épreuve : 4 heures Coefficient : 7 ENSEIGNEMENT OBLIGATOIRE

Fonctions homographiques

LES LOIS PHYSIQUES APPLIQUÉES AUX DEUX-ROUES : 1. LA FORCE DE GUIDAGE

Du Premier au Second Degré

Probabilités conditionnelles Exercices corrigés

Optimisation des fonctions de plusieurs variables

I. Polynômes de Tchebychev

Développements limités, équivalents et calculs de limites

Structures algébriques

Raisonnement par récurrence Suites numériques

Soit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Développement décimal d un réel

Statistique : Résumé de cours et méthodes

Cours d arithmétique Première partie

Probabilités conditionnelles Loi binomiale

Résolution de systèmes linéaires par des méthodes directes

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Durée de L épreuve : 2 heures. Barème : Exercice n 4 : 1 ) 1 point 2 ) 2 points 3 ) 1 point

Eteindre. les. lumières MATH EN JEAN Mme BACHOC. Elèves de seconde, première et terminale scientifiques :

Moments des variables aléatoires réelles

Activités numériques [13 Points]

Planche n o 22. Fonctions de plusieurs variables. Corrigé

Items étudiés dans le CHAPITRE N5. 7 et 9 p 129 D14 Déterminer par le calcul l'antécédent d'un nombre par une fonction linéaire

Baccalauréat ES/L Métropole La Réunion 13 septembre 2013 Corrigé

La fonction exponentielle

Théorème du point fixe - Théorème de l inversion locale

Pour l épreuve d algèbre, les calculatrices sont interdites.

Corrigé du baccalauréat S Pondichéry 12 avril 2007

Correction : E = Soit E = -1,6. F = 12 Soit F = y = 11. et G = -2z + 4y G = 2 6 = 3 G = G =

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Paris et New-York sont-ils les sommets d'un carré?

Suites numériques 3. 1 Convergence et limite d une suite

Le contexte. Le questionnement du P.E.R. :

Maîtriser les fonctionnalités d un traitement de texte (Word OpenOffice)

Développer, factoriser pour résoudre

IUT de Laval Année Universitaire 2008/2009. Fiche 1. - Logique -

Introduction à la théorie des graphes. Solutions des exercices

PARTIE NUMERIQUE (18 points)

Manuel d utilisation 26 juin Tâche à effectuer : écrire un algorithme 2

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé

Simulation de variables aléatoires

Glossaire des nombres

PROBLEME(12) Première partie : Peinture des murs et du plafond.

Mathématiques I Section Architecture, EPFL

EXERCICES - ANALYSE GÉNÉRALE

Probabilités et Statistiques. Feuille 2 : variables aléatoires discrètes

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable

1 Définition et premières propriétés des congruences

Leçon 01 Exercices d'entraînement

Continuité et dérivabilité d une fonction

Transcription:

Différents types de raisonnement en mathématiques I) Symboles logiques 1) Les quantificateurs Les quantificateurs permettent de connaitre le domaine de validité d une propriété. a) Pour une propriété universelle Définition : Pour énoncer une propriété universelle (propriété vrai dans tous les cas), on utilise le quantificateur pour tout, noté. Remarque : Il signifie pour tout, quel que soit ou encore Tous. Tout parallélogramme dont les diagonales sont de même longueur est un rectangle Quel que soit x, x² est positif ou nul. Tous les ans, Noël est en décembre. Remarque : Le quantificateur pour tout est souvent implicite : Un parallélogramme dont les diagonales sont perpendiculaires est un losange. b) Pour une propriété non universelle Définition : Pour énoncer une propriété vrai sur des exemples mais qui n est pas universelle, on utilise le quantificateur il existe, noté Il existe des réels x tels que x² > 100 Il existe des années où il ne neige pas Propriété : Le contraire d une proposition avec pour tout est une proposition avec il existe Le contraire d une proposition avec il existe est une proposition avec pour tout

Toutes les fenêtres sont fermés Il existe (au moins) une fenêtre ouverte Il existe des losanges qui ne sont pas des carrés Tout les carrés sont des losanges 2) Connecteurs logiques a) Conjonction Définition : La conjonction logique de deux évènements représente le faite que deux évènements sont conjoints. Définition : La conjonction de deux propositions P et Q est vrai si les deux propositions sont simultanément vraies, sinon elle est fausse. Il est symbolisé par Table de vérité : P Q P Q P Q P Q Vrai Vrai Vrai 1 1 1 Vrai Faux Faux 1 0 0 Faux Vrai Faux 0 1 0 Faux Faux Faux 0 0 0 Définition : L intersection de deux ensembles A et B est l ensemble des éléments appartenant à A et à B. On note cette intersection A B b) Disjonction Définition : La disjonction logique de deux évènements représente le faite que deux évènements sont disjoints. Définition : La disjonction de deux propositions P et Q est vrai quand l une des propositions est vrai et est fausse quand les deux sont simultanément fausse. Il est symbolisé par Table de vérité : P Q P Q P Q P Q Vrai Vrai Vrai 1 1 1 Vrai Faux Vrai 1 0 1 Faux Vrai Vrai 0 1 1 Faux Faux Faux 0 0 0

Définition : L union de deux ensembles A et B est l ensemble des éléments appartenant à A ou à B. On note cette intersection A B 3) Implication Le principe même du raisonnement mathématique est l implication (propriété directe) : un fait implique un autre, une hypothèse implique une conclusion. a) Implication Définition : L implication logique de deux évènements représente le faite que un évènement implique un autre évènement Définition : L implication de deux propositions P et Q est faux si P est vrai et Q est fausse. Il est symbolisé par. Remarque : P Q peut aussi se lire P seulement si Q Table de vérité : P Q P Q P Q P Q Vrai Vrai Vrai 1 1 1 Vrai Faux Faux 1 0 0 Faux Vrai Vrai 0 1 1 Faux Faux Vrai 0 0 1 Propriété : Les propositions suivantes sont toujours vraies : P P P (Q P) (P Q) ((Q R) (P R)) (P Q) (((P R) Q) Q) ( P P) P P (P Q) Propriété : Les propositions suivantes sont équivalentes : P Q équivalent à (P Q) équivalent à ( P) Q b) Equivalence Définition : L équivalence logique de deux évènements représente le faite que deux évènements sont équivalents

Définition : L équivalence de deux propositions P et Q est vrai si les deux propositions sont vraies ou les deux propositions sont fausses, sinon, elle est fausse. Il est symbolisé par Remarque : P Q peut aussi se lire P si et seulement si Q Pour que P, il faut et suffit que Q Une condition nécessaire et suffisante pour P est Q P est une condition nécessaire et suffisante pour Q P équivaut à Q Table de vérité : P Q P Q P Q P Q Vrai Vrai Vrai 1 1 1 Vrai Faux Faux 1 0 0 Faux Vrai Faux 0 1 0 Faux Faux Vrai 0 0 1 Propriété : Les propositions suivantes sont équivalentes : P Q (P Q) (Q P) (P Q) ( Q P) c) Réciproque Définition : La réciproque d une implication inverse l ordre des évènements. Si P implique Q, sa réciproque est Q implique P Propriété : Une propriété et sa réciproque ne sont pas toujours équivalente d) Contraposée Définition : Si P implique Q, sa contraposée est nonq implique nonp Propriété : Une propriété et sa contraposée sont toujours équivalente.

II) Différents raisonnement 1) Raisonnement par induction Le raisonnement par induction et présomption est l étude de plusieurs exemples concordants (et si possible représentatifs), dont on déduit par présomption, une propriété générale. En mathématique, ce raisonnement ne se conçoit en général que comme une première étape conduisant à une conjecture. Il restera ensuite, par un raisonnement déductif, à démontrer la véracité de cette conjecture. - Deux points A et B étant donnés, déterminer l ensemble de tous les points C tels que le triangle ABC soit un triangle rectangle (geogebra) - Quand on lance successivement deux dés, en additionnant les nombres présents sur les deux faces, la probabilité d obtenir 10 est-elle la même que celle d obtenir un 9? (excel) 2) Raisonnement par déduction Le raisonnement par déduction est l étude à partir de propriétés reconnues comme vraies, un enchainement logique pour montrer une propriété. a) Raisonnement direct Définition : On cherche à montrer que l assertion P implique Q est vrai. On suppose que P est vrai, et on veut montrer qu alors Q est vrai. Remarque : Cette méthode est la plus utilisée car la plus naturelle. - Pour tout rationnel strictement positif, il existe un entier strictement plus grand que lui. - Une corde non élastique de 101m est attachée au sol entre deux piquets distants de 100m. Johanna tire la corde en son milieu et la lève aussi haut qu il peut. Sachant qu elle mesure 1,68m, peut-elle passer dessous sans se baisser? - Quel est le dernier chiffre de 2 puissances 50? b) Raisonnement par disjonction de cas Définition : Si l on souhaite vérifier une assertion P(x) pour tous les x dans un ensemble E, on montre l assertion pour les x dans une partie de E puis pour tous les x n appartenant pas à A

Remarque : On partitionne l ensemble E en E = A E\A - Pour tout rationnel, il existe un entier strictement plus grand que lui. - Pour tout entier n, n²+3n est pair c) Raisonnement par contraposition Définition : Le raisonnement par contraposée permet de démontrer qu une implication du type : P implique Q est vrai. Ce raisonnement est basé sur l équivalence entre l assertion P P implique Q et l assertion non Q implique non P. Donc si l on souhaite montrer l assertion P implique Q, on montre en faite que si non Q est vraie alors non P est vraie. - Montrer que si x et y sont des réels distincts, et différents de 1, alors est différent de - Montrer que pour tout entier n, si n² est impair alors n est impair d) Raisonnement par l absurde Définition : Le raisonnement par l absurde pour montrer l implication P implique Q, repose sur le principe suivant : on suppose à la fois que P est vrai et que q est fausse et on cherche une contradiction. Ainsi si P est vrai, alors Q doit être vrai et donc P implique Q est vraie. - Soit f une fonction définie sur R, à valeur dans R. On suppose que f est continue sur R mais ne s annule pas sur R. Montrer que f garde un signe constant sur R - Montrer que n est pas un rationnel. e) Raisonnement par l utilisation d un contre exemple Définition : Si l on veut montrer une assertion du type : pour tout x de E, P(x) est vraie alors pour chaque x de E, il faut montrer que P(x) est vraie. Par contre, pour montrer que cette affirmation est fausse, il suffit de trouver un x de E tel que P(x) soit fausse. Trouver un x, c est trouver un contre-exemple à l assertion pour tout x de E, P(x). - Tout entier positif est somme de trois carrés. Cette affirmation est-elle vrai? - Soient (u n ) et (v n ) deux suites qui n admettent pas de limite, alors la suite (u n v n ) n admet pas de limite. Cette affirmation est-elle vrai?

f) Raisonnement par récurrence Définition : Le principe de récurrence permet de montrer qu une assertion P(n), dépendante de n est vrai pour tout n entier naturel. La démonstration se déroule en 3 étapes : Initialisation : On prouve que P(0) est vraie. Hérédité : On suppose n positif donné avec P(n) vrai et on démontre que l assertion P(n+1) est vrai Conclusion : on rappelle que par le principe de récurrence, P(n) est vrai pour tout n entier naturel. Remarque : Le principe de récurrence est basé sur la construction de N. En effet un des axiomes pour définir N est le suivant : Soit A une partie de N qui contient 0 et telle que si n appartient à A, alors n+1 appartient aussi à A, on a A = N. La récurrence si dessus est dite récurrence simple. Il existe aussi des récurrences doubles, triples, - La somme de 10 termes consécutifs de la suite de Fibonacci est égale au produit du septième terme par 11. - Pour n appartenant à N, on note P(n) l assertion n! 2 n. Montrer que P(n) est vrai à partir d un certain rang. Lequel? g) Raisonnement par analyse synthèse Définition : Pour justifier l existence et parfois l unicité d une solution, on peut être amené à déterminer la forme de celle-ci (forme qui n est pas nécessairement donnée dans l énoncé). On raisonne par analyse-synthèse. Analyse : On suppose qu il existe au moins une solution et on essaye d en tirer le maximum de renseignement la concernant. Cette étape assure parfois l unicité. Synthèse : On reporte dans le problème la ou les solutions trouvées précédemment, ce qui permet de déterminer s il y a bien une solution au problème, puis une unique ou plusieurs. Cette étape assure l existence. - Soit f(x) = 2x 3-45x² - 34x + 80 = (x-2)(x+8)(x+1)(x-5). Quels est le minimum de la fonction. - Montrer que toute fonction f sur R s écrit de manière unique comme somme d une fonction paire et d une fonction impaire.

Utiliser aussi en géométrie :