Logique 1/ 4

Logique - Condition ncessaire ; condition suffisante

En franais comme en mathmatiques, on utilise parfois le vocabulaire suivant :

condition ncessaire
condition suffisante
condition ncessaire et suffisante

Ces mots tentent de donner un lien logique entre deux propositions ou proprits, plus prcisment une relation
de cause effet.
Exemple :
Pour avoir mon bac il est ncessaire davoir au dessus de 10.
Pour avoir mon bac il suffit davoir 18 de moyenne.
Pour avoir les meilleurs places, il est ncessaire dtre class parmi les 10 premiers lexamen de sortie de lENA.

1) Condition suffisante
On dit quune proprit A suffit une autre proprit B lorsque, ds que A est ralise, B lest aussi. Cela
correspond limplication mathmatique A B. En effet, on a dfini limplication par :
Implication : Relation entre deux propositions telle que lexactitude de la premire entrane celle de la
seconde. Le symbole se note . Une relation A B se traduit en franais par Si A alors B

Exemple :
Si x et y sont tous deux ngatifs alors xy 0 peut se dire aussi x 0 et y 0 xy 0 ou encore il
suffit que x et y soient tous deux ngatifs pour que leur produit xy soit positif
Exemple :
Pour avoir son bac, il suffit davoir 10 de moyenne est une affirmation exacte
Pour avoir son bac, il suffit davoir au moins 15 de moyenne est une autre affirmation exacte, mais il ne faut
pas croire que la condition avoir au moins 15 de moyenne est une condition indispensable.

2) Condition ncessaire
On dit quune proprit C est ncessaire une autre proprit D lorsque, ds que C nest pas ralise, D ne peut
pas ltre. Cela correspond limplication mathmatique D C. En effet, la proprit D C est quivalente
sa contrapose : N ON (C) N ON (D).
Exemple :
Pour avoir son permis de conduire, il est ncessaire davoir son code signifie que si je nai pas mon code,
je ne peux pas avoir mon permis de conduire ou encore que si jai mon permis alors cest que jai eu mon
code .
Exemple :
Si je nai pas au dessus de 10 alors je nai pas mon bac peut se dire aussi il est ncessaire davoir au moins
10 pour tre reu au bac ou encore si jai mon bac, cest que jai eu au dessus de 10 de moyenne .

3) Condition ncessaire et suffisante, condition quivalente

On dit quune proprit A est ncessaire et suffisante une autre proprit B lorsque A et B sont deux proprits
quivalentes ; on dit aussi que A est vraie si et seulement si B .
En effet, A suffit B donc A B. Et A est ncessaire B donc N ON (A) N ON (B), soit B A. Et par
consquent A B.
Exemple :
Si x et y sont tous deux de mme signe, alors xy 0 et Si xy 0, alors x et y sont tous deux de mme
signe donc xy 0 x et y sont tous deux de mme signe
Remarque : Lorsquon dit A si et seulement si B , on dit deux choses : premirement A si B donc
B A ; deuximement A seulement si B donc B est ncessaire A, et donc A B.
Mthode : raisonnement par double implication ou par condition ncessaire et suffisante ?
Logique 2/ 4

Pour montrer que A est vraie si et seulement si (ssi) B est vraie, on peut travailler par double implication en
montrant que A B et que rciproquement B A. On parle de dmonstration par implication et rciproque ;
cette mthode est peu de chose prs identique un raisonnement par condition ncessaire et suffisante :
logiquement ces deux raisonnements sont quivalents, mais dans la tournure des phrases, on insiste plus sur la
relation de dpendance forte entre lun et lautre.

4) Utilisation en mathmatiques de condition ncessaire et suffisante

Dans certains raisonnements un peu longs ou dlicats en mathmatiques, notamment en gomtrie, on cherche
rsoudre un problme en deux tapes :

on cherche une condition ncessaire sans laquelle le problme ne peut exister, et on regarde ensuite si cette
condition est suffisante ou sil faut rajouter une ou plusieurs conditions ncessaires supplmentaires.

on cherche une condition ncessaire sans laquelle le problme ne peut exister, et on raisonne alors par quiva-
lence, moyennant cette condition.

on cherche dabord une condition suffisante puis on cherche affiner pour voir si dans un cas plus large la
relation ne pouvait pas aussi avoir lieu.

Exemple : Si A et B sont deux points donns, on cherche une condition ncessaire et suffisante pour quun
point I soit le milieu du segment [AB].
Mthode : on cherche une condition ncessaire sans laquelle le problme ne peut exister, et on regarde en-
suite si cette condition est suffisante ou sil faut rajouter une ou plusieurs conditions ncessaires supplmentaires.

Solution :
Condition ncessaire n1 : I doit tre align avec A et B.
Mais cette condition nest manifestement pas suffisante.
Condition ncessaire n2 : I doit tre la mme distance de A et de B.
Et on voit que ces deux conditions ncessaires mises ensemble deviennent suffisantes : si I est quidistant de A
et B, alors I est sur la mdiatrice de [AB]. Si de plus A, I et B sont aligns, alors I est lintersection de la
mdiatrice de [AB] et de la droite (AB). I est donc le milieu de [AB].
 I est quidistant de A et B


On a donc I milieu de [AB]  et


 les points A, I et B sont aligns

Exemple : Si A, B et C sont trois points distincts donns, on cherche une condition ncessaire et suffisante
pour quun point M soit la mme distance des trois points A, B et C.
Mthode : on cherche une condition ncessaire sans laquelle le problme ne peut exister, et on regarde en-
suite si cette condition est suffisante ou sil faut rajouter une ou plusieurs conditions ncessaires supplmentaires.

Solution :
On se dit que si la condition M est la mme distance des trois points A, B et C est ralise alors forcment
AM = M B et donc M est quidistant des points A et B. Le point M est donc situ sur la mdiatrice du
segment [AB].
Par consquent, cette condition M est situ sur la mdiatrice du segment [AB] est une condition ncessaire.
On a donc une infinit de points qui peuvent tre solution : tous les points de la mdiatrice du segment [AB].
Mais on peut faire le mme raisonnement pour les points B et C, donc la condition M est situ sur la mdiatrice
du segment [BC] est une autre condition ncessaire. Et le mme raisonnement pour les points A et C, donc
la condition M est situ sur la mdiatrice du segment [AC] est une autre condition ncessaire.
Une condition ncessaire est donc que M soit le point dintersection des mdiatrices du triangle ABC.
La condition M est le point dintersection des mdiatrices du triangle ABC est une condition suffisante
M quidistant des points A, B et C car on sait alors que si M est le point dintersection des mdiatrices du
triangle ABC alors M est le centre du cercle circonscrit au triangle ABC, et M a la proprit souhaite.
Exemple :
Trouver des conditions quivalentes portant sur x et y pour que xy 1.
Mthode : Commencer par trouver des conditions ncessaires.
Logique 3/ 4

Solution :
Si on cherche des conditions sur x et y pour que xy 1 alors on peut se dire que si xy = 1 alors le produit
xy est positif, et donc x et y sont de mme signe. La condition x et y sont de mme signe est donc une
condition ncessaire.
Mais elle nest pas suffisante car x = y = 0, 1 ne vrifient pas xy = 1.
Mais on a dj une ide : on dcoupe le problme en deux cas : premier cas x et y sont tous deux positifs ;
second cas, x et y sont tous deux ngatifs.
1
Si x et y sont tous deux positifs alors xy 1 y . Et si x et y sont tous deux ngatifs alors
x
1
xy 1 y . Et on a donc lquivalence suivante :
x
 1
 x 0 et y

x
xy 1  ou

1
 x 0 et y

x
Exemple :
Rsoudre lquation x3 + x2 2 = 0.
Mthode : on cherche dabord une condition suffisante puis on cherche affiner pour voir si dans un cas plus
large la relation ne pouvait pas aussi avoir lieu.

Solution :
On veut rsoudre lquation x3 + x2 2 = 0. On saperoit que x = 1 est une solution de cette quation. La
condition x = 1 est donc une condition suffisante.
On peut alors factoriser le polynme par x 1 : x3 + x2 2 = (x 1)(x2 + 2x + 2) donc x3 + x2 2 = 0 ssi
x = 1 ou x2 + 2x + 2 = 0. Mais ce polynme ne sannule pas car il a un discriminant ngatif.
Conclusion : il y a une unique solution : x = 1.
Exemple :
Rsoudre lquation x + 3 = x + 1.
Mthode : on cherche dabord une condition ncessaire puis on vrifie si la solution trouve correspond ou
non.
Solution :
Si x est solution de x + 3 = x + 1 alors ncessairement x + 3 0 donc x 3.
Si x est solution de x + 3 = x + 1, on a alors x + 3 = (x + 1)2 . Soit x + 3 = x2 + 2x + 1 ; et donc x2 + x 2 = 0.
Ce polynme du second degr admet pour racines videntes x = 1 et x = 2.
Et ces deux valeurs vrifient la premire condition ncessaire : x 3.
Si donc x est solution de lquation alors x ne peut prendre que ces deux valeurs.
Rciproquement,
si x = 1 alors on a x+3= 4 = 2 et x + 1 = 2. Donc 1 est une solution.
si x = 2 alors on a x + 3 = 1 = 1 et x + 1 = 1. Donc 2 nest pas une solution.
Ainsi, lquation admet une unique solution : x = 1.
Exemple :
Rsoudre lquation x + 3 = x + 1.
on cherche une condition ncessaire sans laquelle le problme ne peut exister, et on raisonne alors par quiva-
lence, moyennant cette condition.

Solution :
Si x est solution de x + 3 = x + 1 alors ncessairement x + 3 0 donc x 3.
Si x est solution de x + 3 = x + 1 alors ncessairementx + 1 0 donc x 1.
Sous ces deux conditions, donc pour x 1, lquation x + 3 = x + 1 est quivalente x + 3 = (x + 1)2 . Soit
x + 3 = x2 + 2x + 1 ; et donc x2 + x 2 = 0.
Ce polynme du second degr admet pour racines videntes x = 1 et x = 2.
Et une seule des ces deux valeurs vrifie les deux conditions ncessaires : x 1.
Ainsi, lquation admet une unique solution : x = 1.
Logique 4/ 4

5) Exercices
Exercice 1 : Dire si les affirmations suivantes sont vraies ou fausses :
a) Pour avoir son permis de conduire, il faut russir son examen de conduite.
b) Pour avoir son permis de conduire, il suffit de russir son examen de conduite.
d) Avoir 5 ans de conduite jeune conducteur est une condition ncessaire pour avoir le droit de rouler 130
km/h sur lautoroute.
e) Avoir 5 ans de conduite jeune conducteur est une condition suffisante pour avoir le droit de rouler 130
km/h sur lautoroute.
f ) Avoir au moins 10 dans chaque matire au bac est une condition ncessaire pour avoir son bac.
g) Avoir au moins 10 dans chaque matire au bac est une condition suffisante pour avoir son bac.
h) Avoir au moins 10 de moyenne dans chaque matire au bac est une condition ncessaire pour avoir son bac.

Exercice 2 : Donner une condition ncessaire (pas forcment suffisante) chacune des propositions suivantes :
a) Pour avoir son bac il est ncessaire
b) Pour gagner au loto il est ncessaire
c) Pour ne pas tre renvoy de ltablissement il est ncessaire
d) Pour bien parler anglais, il est ncessaire
e) Pour que A appartienne au segment [BC], il est ncessaire que
f ) Pour que ABCD soit un carr, il est ncessaire que

Exercice 3 : Donner une condition suffisante (pas forcment ncessaire) chacune des propositions suivantes :
a) Pour avoir son bac il suffit que
b) Pour gagner au loto il suffit que
c) Pour ne pas tre renvoy de ltablissement il suffit que
d) Pour bien parler anglais, il suffit que
e) Pour que A appartienne au segment [BC], il suffit que
f ) Pour que ABCD soit un carr, il suffit que

Exercice 4 : Dire si les affirmations suivantes sont vraies ou fausses, et prciser si la condition nest que
ncessaire ou que suffisante :
a) Pour que xy 0 il est ncessaire et suffisant que x et y soient tous deux positifs
b) Pour que ABCD soit un carr, il est ncessaire et suffisant que ABCD soit un losange et un rectangle.
c) Pour que ABCD soit un rectangle, il est ncessaire et suffisant que ABCD soit un paralllogramme dont les
diagonales ont la mme longueur.
d) Pour que ABCD soit un losange, il est ncessaire et suffisant que ABCD soit un quadrilatre dont les
diagonales ont la mme longueur.

Exercice 5 :
Si A, B et C sont trois points distincts donns, on cherche une condition ncessaire et suffisante pour quun
point M soit la mme distance des trois cts [AB], [BC] et [CA].
Mthode : Supposer que M a cette proprit, en dduire une proprit ncessaire sur le point M .
tudier si cette proprit est suffisante.

Exercice 6 :
Si on admet que la proprit suivante est vraie : (A B) C
Qui est ncessaire qui ? Qui est suffisant qui ?

Exercice 7 :
Si A, B, C et D sont quatre points distincts donns, on cherche une condition ncessaire et suffisante sur ces
quatre points pour quil existe un point M situ la mme distance des quatre points A, B, C et D.