Preuve par l'exemple

Preuve par l'exemple

Une preuve par l'exemple (resp. la recherche de contre-exemple) est une forme de démonstration paradoxale permettant de valider (resp. invalider) une proposition à l'aide d'exemples. En général, un exemple ne permet pas de prouver une propriété, mais sous certaines conditions cela peut arriver.

Le cas le plus courant pour effectuer une preuve par l'exemple consiste à valider une propriété existentielle en explicitant un élément vérifiant la propriété recherchée. Réciproquement, le cas le plus courant de recherche de contre-exemple correspond à l'invalidation d'une propriété universelle en explicitant un élément invalidant la propriété en question. Dans ces deux cas, le paradoxe n'est que superficiel. Mais pas dans ce qui suit.

Sous certaines conditions, une proposition universelle peut également être prouvée par un ou plusieurs exemples bien choisis, là est le vrai paradoxe, car une proposition universelle concerne a priori une infinité d'éléments et voir la proposition prouvée à partir d'un nombre fini d'exemples où la propriété est vérifiée est paradoxal.

(dans les titres qui suivent, le terme 'un cas' pourrait être remplacé par 'un exemple' si cela ne portait pas à confusion)

Sommaire

Un cas de preuve par l'exemple d'une propriété existentielle

A démontrer : il existe des entiers multiples de 2 et 3.

Preuve par 2 exemples : il suffit de prendre n=6, n=12.

Un cas de contre-exemple pour une propriété universelle

A réfuter : pour tout entier n, n est multiple de 2 et 3.

Contre-exemple : il suffit de prendre n=5.

Un cas de preuve par l'exemple d'une propriété universelle

Le travail à produire est plus important.

A démontrer : pour tout entier n, (n + 1)2 est égal à n2 + 2n + 1

Preuve par 3 exemples : si l'on regarde la différence (n + 1)2 − (n2 + 2n + 1), il suffit de prouver que cette différence est toujours nulle. Sans faire les calculs, cette expression peut être assimilée à une forme polynomiale en n de degré 2 maximum[réf. nécessaire]. Si elle est de degré 2 ou de degré 1, elle n'a que 2 ou 1 zéros. Or pour n=0, n=1, n=2 (3 exemples pris au hasard, l'important c'est d'avoir un exemple de plus que le degré maximum supposé), (n + 1)2 − (n2 + 2n + 1) vaut zéro, cette forme polynomiale ne peut donc être de degré 2 ou 1, elle est donc de degré 0, et sa valeur est constante, elle vaut donc 0, donc (n + 1)2 − (n2 + 2n + 1) est identiquement nul. cqfd.

Remarque : une preuve un peu plus poussée, en utilisant la méthode proposée par Hong[1], permet de n'utiliser qu'un seul exemple , pour cela il faut raisonner sur les valeurs possibles des coefficients de (n + 1)2 − (n2 + 2n + 1) -en supposant que ce n'est pas le polynôme nul- et en déduire le rayon de la sphère où se trouvent les zéros. Alors, en prenant un exemple numérique hors de cette sphère, si la valeur de cette forme polynomiale est égale à 0, c'est que la forme polynomiale est identiquement nulle.

Notes et Références

  1. Hong, J. Proving by example and gap theorems, 27th Symp. on Foundation of Computer Science, FOCS 1986, Toronto Ontario.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Preuve par l'exemple de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Preuve par 9 — Preuve par neuf En arithmétique, la preuve par neuf est une technique permettant de vérifier un calcul mental ou effectué « à la main ». Il ne s agit pas d une preuve mathématique au sens strict, car elle peut être mise en défaut dans… …   Wikipédia en Français

  • Preuve par neuf — En arithmétique, la preuve par neuf est une technique permettant de vérifier un calcul mental ou effectué « à la main ». Il ne s agit pas d une preuve mathématique au sens strict, car elle peut être mise en défaut dans certains cas. Le… …   Wikipédia en Français

  • Preuve par l'absurde — Raisonnement par l absurde Voir « apagogie » sur le Wiktionnaire …   Wikipédia en Français

  • Preuve par induction — Induction Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Initiative populaire « pour un authentique service civil basé sur la preuve par l'acte » — Initiative populaire fédérale Pour un authentique service civil basé sur la preuve par l acte Déposée le : 14 decembre 1979 Déposée par : Comité ad hoc Contre projet : non Votée le : 26 février 1984 Participation  …   Wikipédia en Français

  • Exemple (mathématiques) — En mathématiques, un exemple est un cas particulier visant à illustrer une définition, un théorème ou un raisonnement. Voir aussi Contre exemple Preuve par l exemple Portail des mathématiques …   Wikipédia en Français

  • preuve — [ prɶv ] n. f. • v. 1200 « témoin »; prueve 1175; de prouver 1 ♦ (XIIIe) Ce qui sert à établir qu une chose est vraie. On prouve par des preuves, on démontre par des arguments (⇒ démonstration) . Preuve d une vérité (⇒ établissement) et… …   Encyclopédie Universelle

  • exemple — [ ɛgzɑ̃pl ] n. m. • 1080; var. essample, essemple, parfois fém.; lat. exemplum « échantillon » puis « exemple » I ♦ 1 ♦ Action, manière d être, considérée comme pouvant être imitée. Bon exemple, exemple à suivre. ⇒ modèle, règle; 1. exemplaire.… …   Encyclopédie Universelle

  • Preuve en droit civil francais — Preuve en droit civil français Introduction générale Présentation générale Droit des obligat …   Wikipédia en Français

  • Preuve écrite — Preuve en droit civil français Introduction générale Présentation générale Droit des obligat …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”