Contre-exemple

Un article de Wikipédia, l'encyclopédie libre.

En logique, appliquée en mathématiques et en philosophie, un contre-exemple est une exception à une règle générale qu'on supposait vraie, c'est-à-dire un cas particulier qui prouve que cette règle est en fait fausse.

[modifier] Mathématiques

La méthode du contre-exemple est une méthode utilisée en mathématiques pour prouver que certaines affirmations, prétendant à un certain caractère de généralité, sont fausses.

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.


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.

Wikipedia HTML 2008 in other languages

100 000 +

Česká (Czech)  •  English  •  Deutsch (German)  •  日本語 (Japanese)  •  Français (French)  •  Polski (Polish)  •  Suomi (Finnish)  •  Svenska (Swedish)  •  Nederlands (Dutch)  •  Español (Spanish)  •  Italiano (Italian)  •  Norsk (Norwegian Bokmål)  •  Português (Portuguese)  •  Română (Romanian)  •  Русский (Russian)  •  Türkçe (Turkish)  •  Українська (Ukrainian)  •  中文 (Chinese)

10 000 +

العربية (Arabic)  •  Български (Bulgarian)  •  Bosanski (Bosnian)  •  Català (Catalan)  •  Cymraeg (Welsh)  •  Dansk (Danish)  •  Ελληνικά (Greek)  •  Esperanto  •  Eesti (Estonian)  •  Euskara (Basque)  •  Galego (Galician)  •  עברית (Hebrew)  •  हिन्दी (Hindi)  •  Hrvatski (Croatian)  •  Magyar (Hungarian)  •  Ido  •  Bahasa Indonesia (Indonesian)  •  Íslenska (Icelandic)  •  Basa Jawa (Javanese)  •  한국어 (Korean)  •  Latina (Latin)  •  Lëtzebuergesch (Luxembourgish)  •  Lietuvių (Lithuanian)  •  Latviešu (Latvian)  •  Bahasa Melayu (Malay)  •  Plattdüütsch (Low Saxon)  •  Norsk (Norwegian Nynorsk)  •  فارسی (Persian)  •  Sicilianu (Sicilian)  •  Slovenčina (Slovak)  •  Slovenščina (Slovenian)  •  Српски (Serbian)  •  Basa Sunda (Sundanese)  •  தமிழ் (Tamil)  •  ไทย (Thai)  •  Tiếng Việt (Vietnamese)

1 000 +

Afrikaans  •  Asturianu (Asturian)  •  Беларуская (Belarusian)  •  Kaszëbsczi (Kashubian)  •  Frysk (Western Frisian)  •  Gaeilge (Irish)  •  Interlingua  •  Kurdî (Kurdish)  •  Kernewek (Cornish)  •  Māori  •  Bân-lâm-gú (Southern Min)  •  Occitan  •  संस्कृत (Sanskrit)  •  Scots  •  Tatarça (Tatar)  •  اردو (Urdu) Walon (Walloon)  •  יידיש (Yiddish)  •  古文/文言文 (Classical Chinese)

100 +

Nehiyaw (Cree)  •  словѣньскъ (Old Church Slavonic)  •  gutisk (Gothic)  •  ລາວ (Laos)