Contre-exemple

Contre-exemple

En mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions[1]. Un contre-exemple peut aussi être donné pour rejeter une conjecture, c'est-à-dire un énoncé que les gens (et en particulier les mathématiciens) pensaient vrai.

Sommaire

Négation d'une généralité

La recherche d'un contre-exemple est une méthode utilisée pour prouver que certaines affirmations, prétendant à un certain caractère de généralité (i.e. les propositions universelles), sont fausses. Quand un énoncé commence par «  Pour tout .... », il suffit, pour prouver qu'il est faux, de trouver un élément (« il existe ... ») qui réalise les conditions imposées dans l'hypothèse sans que ne soit vérifiée la conclusion. C'est la donnée du contre-exemple.

Contrairement à la vie courante, où il est d'usage de dire que l'exception confirme la règle, en mathématique, l'existence d'une exception infirme la règle.

Cette méthode est utilisée très tôt dans la pratique mathématique soit pour mettre à bas une conjecture, soit pour prouver qu'une propriété n'est pas réalisée.

Ainsi pour prouver qu'une fonction réelle f n'est pas paire, il suffit d'exhiber un seul réel x pour lequel f(x) diffère de f(-x) alors qu'il faudrait, pour prouver que la fonction est paire démontrer que l'égalité f(x) = f(-x) est vraie pour tout réel x appartenant à l'ensemble de définition de f.

Contre-exemple et conjecture

Dans la recherche mathématique, il est fréquent que soient émises des conjectures, c'est-à-dire des propriétés que l'on pense être justes. La découverte d'un contre-exemple permet d'arrêter la recherche d'une démonstration ou d'affiner les hypothèses nécessaires à la réalisation de la conclusion.

C'est ainsi que Fermat  conjectura que tous les nombres  \ F_n = 2 ^{2 ^n}+1 (où n est un entier naturel quelconque ; ils sont appelés nombres de Fermat) sont premiers,  car il avait constaté que les nombres  \ F_0,  \ F_1,  \ F_2,  \ F_3 et  \ F_4 l'étaient.

Euler prouva que cette conjecture était fausse en exhibant le contre-exemple suivant :  il calcula tout simplement  \ F_5, qui vaut 4294967297 et qui est divisible par 641.

De même, la conjecture « Une fonction dérivable est-elle intégrale indéfinie de sa dérivée ? » et la découverte de multiples contre-exemples comme celui de l'escalier de Cantor ont permis aux mathématiciens d'affiner les concepts d'intégrale et de primitive.

Trouver un contre-exemple pour prouver qu'une proposition est fausse est souvent tout aussi difficile que de trouver une démonstration pour prouver qu'une proposition est vraie. De même, vouloir faire une preuve par l'exemple est souvent tout aussi difficile qu'une démonstration directe (sauf cas immédiat de preuve par l'exemple de propriété existentielle).

Contre-exemple en pédagogie

En pédagogie, la donnée de contre-exemples permet de mettre en évidence la nécessité de la présence de chacune des hypothèses d'un théorème.

Références

  1. Définition donnée dans la préface de Counterexamples in Analysis, Gelbaum, Olmsted.

Bibliographie


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • contre-exemple — [ kɔ̃trɛgzɑ̃pl ] n. m. • 1957; h. 1599; de contre et exemple, avec infl. de l angl. counter example ♦ Exemple qui illustre le contraire de ce qu on veut démontrer, cas particulier qui va à l encontre d une thèse. Un seul contre exemple suffit à… …   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

  • contre- — ♦ Élément, du lat. contra qui exprime soit l opposition (contre révolutionnaire;⇒ 1. ant(i) , contra , 2. para ), soit la proximité (contre allée). ● contre Préfixe, du latin contra, entrant dans la composition de nombreux mots pour exprimer l… …   Encyclopédie Universelle

  • contre-exemples — ● contre exemple, contre exemples nom masculin Exemple, cas qui contredit une affirmation, une règle. Observation qui permet d induire qu un énoncé universel est en défaut …   Encyclopédie Universelle

  • 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

  • Contre-attaque (Sport De Combat) — Article principal : contre attaque (militaire). Contre attaque en sport …   Wikipédia en Français

  • Contre-attaque (boxe) — Contre attaque (sport de combat) Article principal : contre attaque (militaire). Contre attaque en sport …   Wikipédia en Français

  • Contre-attaque (en sports de combat) — Contre attaque (sport de combat) Article principal : contre attaque (militaire). Contre attaque en sport …   Wikipédia en Français

  • CONTRE-RÉVOLUTION — La Révolution ne fut pas un torrent impétueux balayant tout sur son passage; les idées de liberté et d’égalité n’ont pas triomphé d’un coup, sans susciter de résistance. À la Révolution s’est opposée, dès 1789, la contre révolution, à… …   Encyclopédie Universelle

  • Contre-pouvoirs — Contre pouvoir Pour les articles homonymes, voir Pouvoir. Sommaire 1 Définitions 2 Les approches théoriques 3 …   Wikipédia en Français

Share the article and excerpts

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