Mathématiques · Première technologiqueÉpreuve anticipée de mathématiques
Implication et équivalence : cours de Première technologique
Publié le 11 novembre 2026 · Mis à jour le 11 novembre 2026 · Signaler une erreur
L'essentiel
Une implication « si A, alors B » s'écrit A⇒B ; elle se lit aussi « A implique B » ou « A seulement si B ».6
La réciproque de A⇒B est B⇒A : elle ne se déduit pas de l'implication de départ, il faut la vérifier à part.5
Une équivalenceA⇔B se lit « A si et seulement si B » : c'est une double implication, A⇒B et B⇒A.23
Si A⇒B : A est une condition suffisante pour B, et B une condition nécessaire pour A.1
Deux équations équivalentes ont exactement les mêmes solutions : résoudre par équivalences, c'est transformer sans rien perdre ni ajouter.3
Pourquoi apprendre ce vocabulaire ?
En mathématiques, on ne se contente pas d'affirmer : on démontre. Pour cela, il faut des mots précis qui disent exactement ce qui entraîne quoi. « Si », « alors », « seulement si », « si et seulement si » ont un sens bien défini, parfois différent de celui de la conversation courante.
Le programme de Première technologique demande d'utiliser à bon escient les expressions « condition nécessaire », « condition suffisante » et « équivalence logique ».1 Ces mots servent partout : pour résoudre une équation en justifiant chaque ligne, pour reconnaître un raisonnement faux, pour rédiger une démonstration claire.
Les raisonnements prennent diverses formes : par implication, par équivalence, par l'absurde, par disjonction de cas.2 Ce cours se concentre sur les deux premières, qui sont la base de toutes les autres.
Dans ce cours, tu vas :
comprendre ce qu'est une implication et comment la lire de plusieurs façons ;
distinguer une implication de sa réciproque ;
utiliser les mots nécessaire et suffisant sans les confondre ;
comprendre l'équivalence comme une double implication ;
résoudre une équation par équivalences et éviter les pièges classiques.
L'implication : « si A, alors B »
Implication et ensembles : conditions nécessaire et suffisante
Il existe deux grands types d'implications : celles qui correspondent à une inclusion entre ensembles, et celles qui correspondent à un raisonnement logique, où l'on rassemble plusieurs informations pour conclure.4 Le premier type t'aidera à bien voir les mots « nécessaire » et « suffisant ».
Le vocabulaire de l'implication et de l'équivalence
Notion
Écriture
Se lit
Implication
$A \Rightarrow B$
Si A, alors B
Réciproque
$B \Rightarrow A$
Si B, alors A
Équivalence
$A \Leftrightarrow B$
A si et seulement si B
Conditions
$A \Rightarrow B$
A suffisante, B nécessaire
Le vocabulaire de l'implication et de l'équivalence · Ce que l'on écrit et comment on le lit.
La réciproque d'une implication
L'équivalence : « si et seulement si »
Résoudre par équivalences
Démonstration · Pourquoi « multiplier par un nombre non nul » garde l'équivalence
Soit k=0. Si a=b, alors ka=kb (sens direct). Réciproquement, si ka=kb, on divise les deux membres par k, ce qui est permis car k=0 : on obtient a=b. Les deux sens sont vrais, c'est bien une équivalence.
Si k=0, on obtient 0=0 quelles que soient les valeurs de a et b : le sens réciproque est faux. C'est pourquoi on exclut k=0.
Quantificateurs implicites et erreurs fréquentes
Beaucoup d'énoncés cachent un « pour tout » ou un « il existe » que l'on ne prononce pas. Ces quantificateurs sont souvent implicites : l'élève doit apprendre à les voir et à les expliciter.3 Avant de valider une propriété, il faut préciser pour quels nombres elle est annoncée.
Exercices corrigés
Exercice 1 Réciproques et conditions
★☆☆Environ 8 min
Pour chaque implication sur les entiers, écris la réciproque et dis si l'implication et sa réciproque sont vraies.
Si n est multiple de 10, alors n est multiple de 5.
Si n est pair, alors n2 est pair.
Si n est multiple de 4, alors n est multiple de 8.
Indice 1
Pour montrer qu'une réciproque est fausse, cherche un petit entier qui la contredit.
Indice 2
Un entier pair s'écrit 2k ; un multiple de 4 s'écrit 4k.
Voir la correction pas à pas
Implication 1 : si n=10k, alors n=5×2k : elle est vraie. Réciproque : « si n est multiple de 5, alors n est multiple de 10 » est fausse, car 15 est multiple de 5 sans être multiple de 10.
Implication 2 : si n=2k, alors n2=4k2=2×2k2, donc n2 est pair : vraie. Réciproque : « si n2 est pair, alors n est pair ». Si n était impair, n2 serait impair (produit de deux impairs) : la réciproque est vraie aussi.
Implication 3 : elle est fausse, car 4 est multiple de 4 mais pas de 8. Réciproque : « si n est multiple de 8, alors n est multiple de 4 » est vraie, car 8k=4×2k.
Bilan : seule l'implication 2 est une équivalence. On dit qu'être pair est nécessaire et suffisant pour que n2 soit pair.
Une implication et sa réciproque peuvent avoir des sorts différents. Pour réfuter, un seul contre-exemple suffit.
Exercice 2 Résoudre par équivalences
★☆☆Environ 6 min
Résous dans R l'équation 3x−5=7 en écrivant le symbole ⇔ entre chaque ligne. Quelle est la solution ?
Indice 1
Commence par isoler le terme en x : ajoute 5 aux deux membres.
Indice 2
Ensuite, divise les deux membres par 3, qui est non nul.
Voir la correction pas à pas
On ajoute 5 aux deux membres : 3x−5=7⇔3x=12.
On divise les deux membres par 3, nombre non nul : 3x=12⇔x=4.
Chaque ligne équivaut à la précédente, donc l'ensemble des solutions est {4}.
Quand toutes les étapes sont des équivalences, la vérification finale n'est pas indispensable : aucune solution n'a pu être ajoutée.
Exercice 3 Équation avec racine carrée
★★☆Environ 12 min
Résous dans R l'équation x+2=x.
Explique pourquoi x doit être positif ou nul.
Passe au carré en justifiant l'équivalence.
Donne la solution.
Indice 1
Une racine carrée ne peut pas être négative.
Indice 2
Tu obtiens une équation du second degré : factorise-la.
Voir la correction pas à pas
Le membre de gauche, x+2, est positif ou nul, donc l'égalité impose x≥0.
Sous cette condition, les deux membres sont positifs : on passe au carré par équivalence, x+2=x⇔x+2=x2.
On a x2−x−2=0, soit (x−2)(x+1)=0, donc x=2 ou x=−1.
La condition x≥0 élimine −1 : l'unique solution est x=2. Vérification : 2+2=2.
Sans la condition de signe, on aurait gardé la fausse solution −1 : 1=1 n'est pas égal à −1.
Exercice 4 Nécessaire, suffisant ou les deux ?
★★★Environ 12 min
Pour un nombre réel x, on considère les affirmations :
P : « x=5 »
Q : « x2=25 »
R : « x+1=6 »
Pour chaque couple, indique si la première est une condition nécessaire, suffisante, ou nécessaire et suffisante pour la seconde : (P, Q), (Q, P), (P, R).
Indice 1
Teste chaque implication dans les deux sens.
Indice 2
Pour Q, pense à la valeur −5.
Voir la correction pas à pas
Couple (P, Q) : si x=5, alors x2=25, donc P⇒Q. Mais x=−5 vérifie Q sans vérifier P : Q⇒P est fausse. P est donc suffisante, pas nécessaire, pour Q.
Couple (Q, P) : Q⇒P est fausse, donc Q n'est pas suffisante pour P. En revanche P⇒Q est vraie : Q est nécessaire pour P. Q est donc nécessaire, pas suffisante.
Couple (P, R) : x=5⇒x+1=6, et x+1=6⇒x=5 en retranchant 1. Les deux implications sont vraies.
P et R sont équivalentes : P est une condition nécessaire et suffisante pour R.
Pour classer une condition, teste toujours l'implication et sa réciproque, avec un contre-exemple quand une des deux est fausse.
Quiz
7 questions · correction immédiate · ton score reste sur ton appareil.
La réciproque échange l'hypothèse et la conclusion, ce qui donne la proposition A. Elle est d'ailleurs fausse : 9 est multiple de 3 sans l'être de 6. La proposition B est tentante mais elle nie les deux affirmations au lieu de les échanger. La C contredit l'implication de départ, et la D change l'énoncé.
C'est faux. L'implication « si x=3, alors x2=9 » est vraie, mais sa réciproque « si x2=9, alors x=3 » est fausse à cause de x=−3. Croire que la réciproque suit toujours est l'erreur dite de l'affirmation du conséquent.
Si x=3, alors x2=9 : la condition est suffisante. Elle n'est pas nécessaire, car x=−3 donne aussi x2=9. La réponse B inverse le sens de la flèche, la C oublie −3, et la D ignore que l'implication est bien vraie.
Les équations 1 et 3 se transforment par des opérations réversibles et ont la même solution unique. La 2 est fausse car −2 vérifie x2=4 sans être égal à 2. La 4 est fausse car x=0 vérifie aussi x2=x.
On retranche 6 : 2x=8, puis on divise par 2, nombre non nul : x=4. Chaque étape est une équivalence. Le piège est d'oublier le 6 : diviser directement 14 par 2 donnerait x=7, ce qui est faux.
« A seulement si B » est l'une des lectures usuelles de l'implication, avec « A implique B » et « si A, alors B ». La logique ne parle pas de causalité, ce qui exclut la B. La C décrit une double implication, bien plus forte. La D contredit l'idée : l'implication échoue justement quand A est vraie et B fausse.
C'est faux. Une équivalence est une double implication : il faut aussi démontrer B⇒A. L'exemple x=2⇒x2=4 est vrai, mais x2=4⇔x=2 est faux.
Les questions qu'on se pose
Quelle est la différence entre « si… alors » et « si et seulement si » ?
« Si A, alors B » ne dit rien dans l'autre sens : B peut être vrai sans que A le soit. « A si et seulement si B » dit que les deux sens sont vrais : A entraîne B et B entraîne A.23 Exemple : x=3⇒x2=9 est une simple implication, alors que 2x+1=7⇔x=3 est une équivalence.
Comment savoir si une condition est nécessaire ou suffisante ?
Écris l'implication A⇒B. A est la condition suffisante, B la condition nécessaire.1 Pour t'en souvenir : si A est vrai, cela suffit pour être sûr de B ; et si B est faux, A ne peut pas être vrai, donc B est nécessaire.
Peut-on tout résoudre par équivalences ?
Seulement si chaque étape est réversible. Ajouter le même nombre aux deux membres ou multiplier par un nombre non nul garde l'équivalence. Le passage au carré ne la garde que si les nombres sont positifs.2 Dans le doute, tu peux prouver une implication puis vérifier les solutions trouvées.
Un seul exemple suffit-il à prouver une implication ?
Non. Pour prouver « pour tout n, si A alors B », il faut un raisonnement valable pour tous les cas. En revanche, un seul cas où A est vraie et B fausse suffit à la réfuter. Vérifier sur quelques nombres peut te donner une idée, mais pas une preuve.
Qu'est-ce qui peut tomber à l'examen sur ce chapitre ?
On attend que tu utilises à bon escient les expressions « condition nécessaire », « condition suffisante » et « équivalence logique ».1 Concrètement : écrire la réciproque d'une phrase et dire si elle est vraie, résoudre une équation en justifiant avec ⇔, ou réfuter une affirmation par un contre-exemple.