Contre-exemple mathématique : définition
Un contre-exemple est un cas spécifique qui contredit une affirmation plus générale.
En mathématiques, les contre-exemples sont un élément clé à utiliser pour réfuter une affirmation. Comme son nom indique, il s'agit d'un exemple qui va contre l'affirmation en question. Ce n'est pas censé être une longue démonstration (a priori).
Démonstration par contre-exemple
Comment faisons-nous une démonstration par contre-exemple ? Une démonstration doit employer un raisonnement qui s'applique à tout élément concerné par l'affirmation. Comme un contre-exemple n'est qu'un exemple, nous ne pouvons pas effectuer une démonstration par contre-exemple.
Pour démontrer une proposition, nous devons privilégier des méthodes telles que le raisonnement déductif, le raisonnement par récurrence ou le raisonnement par l'absurde. En revanche, le raisonnement par contre-exemple peut être utile dans certaines situations.
Raisonnement par contre-exemple
Quand utiliser le raisonnement par contre-exemple en maths ? Cette méthode est plus efficace si nous voulons réfuter l'affirmation ou démontrer qu'elle est fausse. Par contre, il n'est pas très utile si nous voulons montrer que quelque chose est vrai pour tous les nombres dans un certain ensemble.
Dans ce cas, c'est mieux d'utiliser une démonstration par récurrence.
Contre-exemple : méthode
Même si nous pouvons simplement tester différents cas particuliers, c'est mieux d'utiliser une méthode systématique, qui nous permettra de plus efficacement trouver un contre-exemple. Il faut d'abord bien comprendre l'énoncé. Cela nous permettra de voir ce qui ne marche pas dans la proposition. Une fois que nous comprenons ce qui ne va pas avec la proposition, il faut trouver une condition qui fait que la proposition ne fonctionne pas. Nous devons ensuite trouver un cas spécifique qui vérifie cette condition.
La partie importante c'est de tester pour s'assurer que l'énoncé donné ne marche pas.
Exemples de contre-exemples
Trouvons un contre-exemple à l'affirmation suivante : « tous les nombres premiers sont impairs ».
Il faut examiner les nombres premiers et voir s'il en existe un qui n'est pas impair.
Le nombre 2 est un contre-exemple (et le seul contre-exemple) car il est un nombre premier, mais il est pair.
Trouvons un contre-exemple à l'affirmation suivante : \((a+b)^2 = a^2 + b^2\) pour tous nombres réels \(a\) et \(b\).
Il faut déterminer deux nombres pour que l'égalité ne soit pas vraie. Comme cette égalité contient des carrés, il faut considérer les propriétés des puissances et racines.
Nous pouvons choisir -1 et 1 pour le contre-exemple. En effet, \((1+(-1))^2 = 0\), mais \((-1)^2 + 1^2 = 2\).
Notons également qu'il est possible de réfuter cette affirmation en développant le membre de gauche et vérifiant qu'il n'est pas égal au membre de droite.
« Si \(f(x)\) est une fonction définie sur l'intervalle \([a, b]\), alors les valeurs de \(f(x)\) sont comprises entre \(f(a)\) et \(f(b)\). » Cette affirmation est-elle vraie ?
En fait, l'affirmation est fausse. Dans ce cas, il serait utile de tracer les graphiques de quelques fonctions pour voir quand l'affirmation donnée est vraie ou fausse.
Fig. 1 - La fonction carré est un contre-exemple à l'affirmation donnée ci-dessus
La fonction \(f(x) = x^2\) est un contre-exemple à l'affirmation. En effet, si nous considérons l'intervalle \([a, b] = [-1,1]\), alors l'intervalle \([a, b]\) est réduit à une valeur : \([f(-1),f(1)] = [1,1] = \{1\}\). Or, nous pouvons voir du graphique que la fonction prend d'autres valeurs à part \(1\) dans l'intervalle \([-1,1]\).
Contre-exemple - Points clés
- Nous pouvons utiliser un contre-exemple quand nous voulons réfuter une affirmation.
- Il faut trouver seulement un cas spécifique qui contredit l'affirmation.
How we ensure our content is accurate and trustworthy?
At StudySmarter, we have created a learning platform that serves millions of students. Meet
the people who work hard to deliver fact based content as well as making sure it is verified.
Content Creation Process:
Lily Hulatt is a Digital Content Specialist with over three years of experience in content strategy and curriculum design. She gained her PhD in English Literature from Durham University in 2022, taught in Durham University’s English Studies Department, and has contributed to a number of publications. Lily specialises in English Literature, English Language, History, and Philosophy.
Get to know Lily
Content Quality Monitored by:
Gabriel Freitas is an AI Engineer with a solid experience in software development, machine learning algorithms, and generative AI, including large language models’ (LLMs) applications. Graduated in Electrical Engineering at the University of São Paulo, he is currently pursuing an MSc in Computer Engineering at the University of Campinas, specializing in machine learning topics. Gabriel has a strong background in software engineering and has worked on projects involving computer vision, embedded AI, and LLM applications.
Get to know Gabriel