Vous êtes sur la page 1sur 22

Programme Marocain - BIOF

1BAC
Sc.expérimentales
Sc.Techniques

ETINCELLE
MATHS
e
ph
tro
Manuel de l’élève
os

Auteurs
Ap

HASSAN KHALKALLAH
Professeur de maths
Cycle secondaire qualifiant
(Coordinateur)

MOHAMED RAHNAOUI
Ex. Inspecteur principal
de l'enseignement secondaire

MOHAMED MOUSSADDAR
Professeur de maths
Cycle secondaire qualifiant

SALAH DIOUA
Professeur de maths
Cycle secondaire qualifiant
SOMMAIRE

J'apprends le cours 53

J'applique le cours 56

Je m'exerce 58

Je m'évalue / Auto-formation 63

Fiche de remédiation / Évasion culturelle 64

Chapitre 4

Barycentre dans le plan 65

Je vérifie mes acquis 66

Activités de découverte 67

e
J'apprends le cours 69
Chapitre 1

ph
J'applique le cours 72
Notion de logique 11
Je m'exerce 74
Je vérifie mes acquis 12 Je m'évalue / Auto-formation 79
Activités de découverte 13 Fiche de remédiation / Évasion culturelle 80
J'apprends le cours 15
tro
J'applique le cours 20
Chapitre 5
Je m'exerce 22

Je m'évalue / Auto-formation 25 Produit scalaire dans le plan 81

Fiche de remédiation / Évasion culturelle 26 Je vérifie mes acquis 82


os

Activités de découverte 83

Chapitre 2 J'apprends le cours 85

J'applique le cours 90
Généralités sur les fonctions 27
Je m'exerce 92
Ap

Je vérifie mes acquis 28 Je m'évalue / Auto-formation 95


Activités de découverte 29 Fiche de remédiation / Évasion culturelle 96
J'apprends le cours 31

J'applique le cours 42
Chapitre 6
Je m'exerce 44

Je m'évalue / Auto-formation 47 Calcul trigonométrique 97

Fiche de remédiation / Évasion culturelle 48 Je vérifie mes acquis 98

Activités de découverte 99

Chapitre 3 J'apprends le cours 101

J'applique le cours 104


Suites numériques 49
Je m'exerce 106
Je vérifie mes acquis 50 Je m'évalue / Auto-formation 109
Activités de découverte 51 Fiche de remédiation / Évasion culturelle 110

6•
SOMMAIRE

J'apprends le cours 189


Chapitre 7
J'applique le cours 196

Rotation 111 Je m'exerce 198

Je vérifie mes acquis 112 Je m'évalue / Auto-formation 209

Activités de découverte 113 Fiche de remédiation / Évasion culturelle 210

J'apprends le cours 115

J'applique le cours 120 Chapitre 11


Je m'exerce 122
Vecteurs de l'espace 211
Je m'évalue / Auto--formation 125
Je vérifie mes acquis 212
Fiche de remédiation / Évasion culturelle 126
Activités de découverte 213

e
J'apprends le cours 215
Chapitre 8
J'applique le cours 220

ph
Limite d'une fonction numérique 127 Je m'exerce 222

Je vérifie mes acquis 128 Je m'évalue / Auto-formation 227

Activités de découverte 129 Fiche de remédiation / Évasion culturelle 228

J'apprends le cours 131


tro
J'applique le cours 140 Chapitre 12
Je m'exerce 144
Géométrie analytique dans l'espace 229
Je m'évalue / Auto-formation 153

Fiche de remédiation / Évasion culturelle 154 Je vérifie mes acquis 230


os

Activités de découverte 231

J'apprends le cours 233


Chapitre 9
J'applique le cours 240
Dérivation 155
Je m'exerce 242
Ap

Je vérifie mes acquis 156


Je m'évalue / Auto-formation 249
Activités de découverte 157
Fiche de remédiation / Évasion culturelle 250
J'apprends le cours 159

J'applique le cours 170

Je m'exerce 172
Outils et fiches ressources
Je m'évalue / Auto-formation 183
Résumés des cours 251
Fiche de remédiation / Évasion culturelle 184
Corrigés d'Auto-formation 260

Fiches techniques 264


Chapitre 10
Fiches numériques 265
Représentation graphique d'une fonction Index 270
numérique 185
Bibliographique / Sitographie
Je vérifie mes acquis 186 Crédits photographiques 272
Activités de découverte 187

•7
PROGRAMME

N° Chapitre Contenus du programme Compétences Prolongements


• Propositions ; opérations sur les propo- • Utiliser le type de raisonnement conve- • Ensembles et applications.
sitions ; fonctions propositionnelles les nable selon la situation étudiée • En général rédiger des raison-
quantificateurs .  édiger des raisonnements et des dé-
•R nements et démonstrations
• Les raisonnements mathématiques : rai- monstrations mathématiques claires et mathématiques logiquement
sonnement par l’absurde ; raisonnement logiquement correctes. correctes.
1 Notion de logique
par contraposée;
• Raisonnement par disjonction des cas
raisonnement par équivalence ; raison-
nement par récurrence.

• Fonction majorée ; fonction minorée ; • Comparer deux expressions en utilisant • É tudier une fonction : variation,
fonction bornée ; fonction périodique ; différentes techniques. tangentes , extremums ,etc.
• Comparaison de deux fonctions ; inter- • R eprésentation graphique
• Déduire les variations d’une fonction
prétation géométrique ; d’une fonction.
ou les valeurs maximales et minimales

e
d’une fonction à partir de sa représenta-  odéliser une situation avec
•M
• Extremums d’une fonction ;
tion graphique ou à partir de son tableau une fonction.
• Monotonie de fonction. de variation
• Composée de deux fonctions numé-

ph
• Reconnaître les variations des fonctions
Généralités sur riques ;
2 f + m et mf à partir des variations de
les fonctions  onotonie de la composée de deux fonc-
•M la fonction f
tions numériques monotones ;
Utiliser la courbe représentative ou le
 eprésentation graphique des fonctions :
•R tableau de variations d’une fonction pour
déterminer l’image d’un intervalle et ré-
x" x + a et x " ax .
3

soudre des équations et des inéquations


tro
Déterminer les variations de gof à partir
de celles de f et g.

• Suites numériques :  tiliser le Raisonnement par récurrence


•U • Étudier la limite d’une suite.
• Suites récurrentes • Modélisation des phénomènes
• Étudier une suite numérique (majora-
• Suites majorées ; suites minorées ; suites physique-chimie , SVT et Écono-
tion, minoration, monotonie)
os

bornées mie avec des suites .


• Monotonies d’une suite • Reconnaître une suite arithmétique ou
géométrique et déterminer sa raison et
• Suites arithmétiques; suites
son premier terme
géométriques.
3 Suites numériques • Calculer la somme de n termes consé-
cutifs d’une suite arithmétique ou
géométrique
Ap

• Reconnaître une situation de suite arith-


métique ou géométrique

• Utiliser une suite arithmétique ou géo-


métrique pour résoudre des problèmes.

• Barycentre de n points ( 2 # n # 4 ); • Utiliser le barycentre pour simplifier des • Utilisation de la notion de


centre de gravité ; expressions vectorielles barycentre à la détermina-
tion de lieu de points défini
• Propriété caractéristique du barycentre • Construire le barycentre de n points par une relation scalaire
; invariance ; associativité ; 2#n#4 particulière.
• Barycentre dans l’espace.
• Coordonnées du barycentre dans un • Utiliser le barycentre pour montrer l’ali-
repère donné. gnement de trois points du plan. • Outils mathématiques pour
Barycentre dans
4 le plan
la physique.
• Utiliser le barycentre pour montrer
l’intersection de droites ;

• Utiliser le barycentre pour résoudre des


problèmes de géométrie et de physique.

8
PROGRAMME

• E xpression analytique du produit scalaire • Exprimer le parallélisme et l’orthogona- • Trigonométrie : Formules de


dans un repère orthonormé : Expression lité de deux droites Calculer les mesures transformations.
analytique de la norme d’un vecteur et des angles et calculer des aires. • Résoudre des problèmes d’or-
de la distance de deux points ; Expression thogonalité dans l’espace.
de cos i et de sini .  econnaître l’ensemble des points M du
•R
plan vérifiant la relation : MA MB = 0 • E n physique :Travail d’une
• L a droite dans le plan (Étude analytique) force, décomposition d’une
: Vecteur normal à une droite ; équation  éterminer le centre et le rayon
•D force , etc.
cartésienne d’une droite définie par un d’un cercle défini par son équation
point et un vecteur normal à cette droite ; cartésienne
Distance d’un point à une droite.
 asser d’une équation cartésienne à
•P
Produit scalaire
5 dans le plan
• L e cercle (étude analytique : équation une représentation paramétrique et
cartésienne d’un cercle ; représenta- inversement
tion paramétrique d’un cercle ; étude
de l’ensemble des points :  tiliser l’analytique du produit scalaire
•U
pour résoudre des problèmes géomé-
" M (x; y) ! ^ P h / x 2 + y 2 + ax + by + c = 0 , triques et algébriques

e
• Étude des positions relatives d’un cercle
et d’une droite

• Équation cartésienne d’une droite tan-

ph
gente à un cercle en un point donné de
ce cercle.

• Formules de transformations • Maîtriser les différentes formules de • É tudier les nombres complexes.
• Transformation de l’expression : transformation • L'outil mathématique pour
a cos x + b sin x étudier les phénomènes
• Résoudre des équations et des inéqua-
vibratoires.
tions trigonométriques se ramenant à la
tro
Calcul résolution d’équations et d’inéquations
6 trigonométrique fondamentales

 eprésenter et lire les solutions d’une


•R
équation ou d’une inéquation sur le
cercle trigonométrique.

 éfinition d’une rotation, rotation réci-


•D • C onstruire les images des figures • Expression complexe d'une
os

proque d’une rotation ; usuelles par une rotation donnée rotation.


• En physique : étude des corps
• Conservation de la distance, de la mesure • Reconnaître l’isométrie de figures en
en rotation.
7 Rotation d’un angle orienté et du barycentre ; utilisant la rotation Utiliser une rotation
donnée dans une situation géométrique
• L’image par une rotation d’une droite, simple.
d’un segment et d’un cercle.
Ap

• Limite des fonctions : x " x ; x " x ;


2 3 • Calculer les limites des fonctions poly-  alculer les limites d'une suite.
•C
nômes, des fonctions rationnelles et des • Étudier la continuité en un
n
x " x et x " x et leurs inverses en fonctions irrationnelles point.
0, en +3 et en -3
• Calculer les limites des fonctions tri- • Calcul du nombre dérivé.
• Limite finie et limite infinie en un point ;
gonométriques simples en utilisant les • Étude et représentation gra-
• Limite finie et limite infinie en +3 et limites usuelles. phique d'une fonction.
en -3 .
• Opérations sur les limites ;
• Limite à gauche ; limite à droite ;
Limite d'une
8 fonction numérique • Limites de fonctions polynomiales ; ra-
tionnelles et limites de f , f étant
une fonction usuelle .
sin ^ ax h
• Les limites : x " lim ;
x"0 x
Tan ^ ax h
x " lim
x"0 x
1 - cos ^ x h
et x " lim 2
x"0 x
• Limites et ordre.

9
PROGRAMME

• Dérivabilité en un point ; nombre dérivé • Reconnaître que le nombre dérivé de la •D  ériver une fonction en utilisant
interprétation géométrique ; tangente à fonction en a est le coefficient directeur les propriétés des opérations
une courbe ; approximation affine d’une de la tangente à cette courbe au point sur les fonctions dérivables.
fonction en un point . d’abscisse a . • Primitive et Calcul d'intégrale.
• Résoudre les problèmes de
 érivabilité à gauche ; dérivabilité à droite ;
•D • Déterminer une équation de la tangente l’optimisation.
interprétation géométrique ; demi à une courbe en un point et construire • Équations différentielle.
tangente; tangente ou demi tangente cette tangente • Modélisation d’un problème
verticales . en économie , en physique en
• Approcher une fonction au voisinage SVT, etc.
• Dérivabilité sur un intervalle ; dérivée d’un point a.
première ; dérivée seconde ; dérivées
successives. • Reconnaître les dérivées des fonctions
f de référence
• Dérivée de : f + g ; kf ; fg ;
g
• Maîtriser les techniques de calcul de la
n
et f (n ! N [) ; f ^ ax + b h et f dérivée de fonctions

• Monotonie d’une fonction et le signe de  éterminer la monotonie d’une fonction


•D
sa dérivée ; extremum d’une fonction à partir de l’étude du signe de sa dérivée

e
- Dérivation dérivable sur un intervalle.
9/ - R e p r é s e n t a t i o n
• Équation différentielle : y" + ~ y = 0 ..
2
• Déterminer e signe d’une fonction à par-
tir de son tableau de variation ou de sa
10 graphique d'une courbe représentative

ph
fonction numérique • Branches infinies ; droites asymptotes ;
direction asymptotique . • Résoudre des problèmes concernant
des valeurs minimales et des valeurs
• Point d’inflexion ; concavité d’une courbe maximales.

• Éléments de symétrie de la courbe d’une  ésoudre graphiquement des équations


•R
fonction. et des inéquations Utiliser la périodicité
et les éléments de symétrie d’une courbe
pour réduire le domaine d’étude d’une
tro
fonction.

• Utiliser le signe de la dérivée seconde


pour étudier la concavité d’une courbe
et déterminer ses points d’inflexion
Étudier et représenter des fonctions
polynômes, des fonctions rationnelles
et des fonctions irrationnelles
os

• Étudier et représenter des fonctions


trigonométriques simples.

• Calcul vectoriel dans l’espace . • Maîtriser les règles du calcul vectoriel • Produit scalaire dans l’espace.
dans l’espace ;
• Vecteurs colinéaires ; définition vecto- • Produit vectoriel.
rielle d’une droite ;définition vectorielle • Reconnaître et exprimer la colinéarité
Ap

d’un plan . de deux vecteurs ;

• Vecteurs coplanaires .  econnaître et exprimer la coplanarité


•R
de trois vecteurs ;
• Coordonnées d’un point dans un repère,
coordonnées d’un vecteur dans une base ; • Appliquer l’alignement et la copla-
coordonnées de au + bv et de AB . narité pour résoudre des problèmes
géométriques.
- Vecteurs de l'espace • Déterminant de trois vecteurs ;
• E xprimer les notions et les propriétés de
11/ - Géométrie • Représentation paramétrique d’une la géométrie affine et de la géométrie
12 analytique dans droite ; positions relatives de deux vectorielle à l’aide des coordonnées
l'espace droites .
 ontrer la colinéarité de deux vecteurs.
•M
• Représentation paramétrique d’un plan
• Montrer la coplanarité de trois vecteurs
• É quation cartésienne d’un plan ; posi-
tions relatives de deux plans . • Choisir la représentation convenable
(cartésienne ou paramétrique) pour étu-
• D eux équations cartésiennes d’une dier les positions relatives de droites et
droite de plans, et pour interpréter les résultats.

• Positions relatives d’une droite et d’un


plan.

10
L E Ç O N 1

e
Titre

ph
Notion de logique
leçon
tro
Question
os

Compétences visées
• Transformer un énoncé mathématique en
écriture symbolique en utilisant les connec-
teurs et les quantificateurs logiques et inver-
sement.
Ap

• Utiliser le type de raisonnement convenable


selon la situation étudiée.

• Rédiger des raisonnements et des démons-


trations mathématiques claires et logique-
ment correctes.

Prérequis
• Parité d’un entier naturel.
• Divisibilité dans IN.
• Ensembles IN, IZ, IQ et IR.
• Ordre dans IR.

Prolongements
• Ensembles et applications.
• En général rédiger des raisonnements et
démonstrations mathématiques logique-
ment correctes.

11
JE VÉRIFIE MES ACQUIS

Dans chacun des cas suivants indiquer la bonne réponse :

A B C
1 Le nombre 2n 2 + 4n + 1
^ n ! N h est :
Pair Impair Somme de 3 carrés

2 3 est un : Nombre rationnel Un entier naturel Un nombre irrationnel

3 L’expression x 2 + 1 $ 2x
^ x ! R h est :
Vraie Fausse N’a pas de sens

e
ph
4 L’équation x 2 - x + 1 = 0
2 solutions Pas de solutions Une seule solution
admet :

55 5 est solution de
x2 - 5 = 0 x2 - 5 = 0 x2 + 5 = 0
tro
l’équation

66 La somme de deux
nombres impairs est un Pair Impair Premier
nombre :
os

77 Le double d’un nombre


irrationnel est un Entier Rationnel Irrationnel
nombre
Ap

88 135 est divisible par 3 Faux On ne sait pas Vrai

99 2+ 32 5 Vrai Faux On ne peut pas conclure

110 L'ensemble Z est


Des entiers relatifs Des entiers naturels Des entiers rationnels
l'ensemble :

12 •
ACTIVITÉS DE DÉCOUVERTE

1 On considère les énoncés suivants :

Tout nombre pair est divisible par 2;


3 ! N;
deux droites orthogonales se coupent en un point ;
2+ 3= 5;
et r ! Q .
1 • Recopier les énoncés (ci-dessous) et mettre un V devant chacun des énoncés "vrai" et un F devant chacun
des énoncés "faux".

2 • Donner d’autres exemples des énoncés qui peuvent être vrais ou bien faux.

e
A retenir : chaque énoncé qui peut être ou bien "vrai" ou bien "faux" est appelé une proposition et les valeurs
V et F sont appelées les valeurs de vérité.

2
ph
Recopier les énoncés suivants et mettre à la place des pointillés l’un des liens suivants "ou" ou bien "et "

1 • x 2 - 4 = 0 signifie x = 2……x = -2
tro
2 • ABCD est un parallélogramme signifie AB = DC……AD = BC

3 • Soient a et b deux réels on a a - b = a - b… a - b = b - a

4 • Soient x ! R et a ! R + on a : x 2 = a signifie x = a ……x = - a

5 • Deux droites ^ D h et ^ T h sont parallèles dans le plan signifie que ^ D h et ^ T h sont disjoints…confondues
os

6 • x = 4 signifie x = 4…fx = -4

3
Ap

Le professeur de mathématique Madame Asmaa a donné à ses élèves le tableau suivant :

Recopier et compléter le tableau ci-dessous.

Énoncé Valeur de vérité de l’énoncé la négation de l’énoncé

1 2!Q

2 x+y # x + y

3 a ! R: a 2 $ a

4 7= 3+ 4

5 Le nombre 425625 est un multiple de 25

• 13
ACTIVITÉS DE DÉCOUVERTE

4 Déterminer, parmi les énoncés suivants ceux qui sont vrais.

1 • Si ABC est un triangle alors AB + BC 2 AC .

2 • Si ABC est un triangle alors les points A , B et C sont alignés.

3 • Si 5 est nombre rationnel alors 5 est un carré parfait.

5 Soit n ! N [

On considère l’expression A ^ n h = n 2 - 7n + 6 .
1 • Calculer A ^ 1 h , A ^ 2 h , A ^ 3 h , A ^ 4 h , A ^ 5 h et A ^ 6 h .
2 • Est ce qu’on peut dire que pour tout n ! N [ :

e
On a A ^ n h # 0
3 • Calculer A ^ 7 h .
4 • L’énoncé suivant est-il vrai ou faux : pour tout n ! N [ on a A ^ n h # 0 .

ph
Remarque :
La valeur 7 est appelée un contre exemple.
tro
6
1 • Que peut on dire de l'énonce pour tout x ! R x 2 1 0 .
2 • Soit a ! R [ supposons que a + a 1 2 montrer que ^ a - 1 h2 1 0 .
1

3 • Que peut on conclure ?


os

7
1 • Vérifier que : 2 3 2 3
2 • Soit n ! N [
Ap

Montrer que :
Si 2 n $ n alors 2 n + 1 $ n + 1
3 • En déduire que sans faire de calcul 2 4 2 4 et 2 5 2 5 et 2 6 2 6 .
4 • Donner la valeur de vérité de l’énonce pour tout entier naturel n $ 3 : 2 n $ n (Justifier ta réponse ).

14 •
J'APPRENDS LE COURS

I I
Proposition ou assertion
1.1. Définition :
• Une proposition ou une assertion est un énoncé mathématique qui a un sens qui est soit vrai soit faux
• Une proposition est notée par : p, q, s, rf
• On affecte a une proposition vraie le nombre 1 ou la lettre V et on affecte a une proposition
fausse le nombre O ou la lettre F
V et F sont appelées les valeurs de vérités
Table de vérité de P
P V F

TExemple

e
p: 2 est un nombre pair V ;
q: 2 + 7 ! 9 F
x est un nombre impaire, cette phrase ne représente pas une proposition.

1.2. Fonction propositionnelle.

ph
• Une fonction propositionnelle est un énoncé mathématique dépendant d’une (ou de plusieurs)
variables appartenant à un ensemble E , sa valeur de vérité dépend de la variable ou des
variables de E .
tro
On note une fonction propositionnelle par P ^ x h , A ^ x, y h
TExemple
p ^ x h: x ! R [ /x 2 $ x .
Q ^ x, y h: ^ x, y h ! R 2 ; x 2 + y 2 $ 6xy .
os

II I
Les connecteurs logiques
2.1. Négation d’une proposition
Ap

Soit p une proposition


La négation de p est la proposition noté p ou non ^ p h qui est vraie si p est fausse et fausse
si p est vraie
La table de vérité de p

p p
1 0
0 1

TExemple
p : 22 2 ; ^1h
P : 2# 2 ; ^0h
q : 4 ne divise pas 116 ; ^0h
q 116 est divisible par 4 ; ^1h

15
J'APPRENDS LE COURS

2.2. Conjonction
La conjonction des deux propositions p et q p q p/q
est la proposition noté p / q ou ( p et q ) défi-
1 1 1
nie par la table de vérité ci-contre
1 0 0
Remarque :
0 1 0
La proposition p / q est vraie si p et q sont
à la fois vraies. 0 0 0

TExemples
( 3 est impaire) et ( 3 g Q ) : ^ 1 h ; 2 + 4 + 6 = 3 # 4 et 3 # 4 ! 12 : ^ 0 h

2.3. Disjonction

e
La disjonction des deux propositions p et q est la proposition noté p 0 q ou ( p au q ) définie
par la table de vérité ci-dessous

ph
p q p0q
1 1 1
1 0 1
0 1 1
0 0 0
tro
Remarque :
La proposition p 0 q est fausse si les deux propositions p et q sont simultanément fausse .
TExemple
9 + 6 = 15 ou 3 2 2 : ^ 1 h . 9 = -3 : ^ 0 h
1 1
5 ! N ou
os

2.4. Implication
REMARQUE
L’implication des deux propositions p et q dans cet ordre est la proposition noté p & q et se
lit p implique q définie par la table de vérité ci dessous
Ap

• Pour montrer que p q p&q


p & q est vraie, on
doit supposons que 1 1 1
p est vraie et mon-
ter que q est vraie 1 0 0
0 1 1
0 0 1

Remarque :
La proposition p & q est fausse uniquement si p est vraie et q est fausse.
TExemple
x 2 1 & x 2 2 x : ^ 1 h; 4 est un nombre pair & 4 ! N : ^ 0 h; 2 + 3 = 5 & 5 est premier : ^ 1 h
1

2.5. Équivalence
L’équivalence des deux propositions p et q est la proposition noté p , q et on lit p équivalent
a q ou p si et seulement si q définie par la table de vérité suivante :

16 •
J'APPRENDS LE COURS

p q p,q
1 1 1
1 0 0
0 1 0
0 0 1

Remarque :
La proposition p , q est vraie si p et q ont simultanément la même valeur de vérité .
TExemple
3 2 + 4 2 = 7 + 7 est impair : ^ 0 h 522 + 2+ 3= 5 : ^1h 2 2 3 + 16 = - 4 : ^ 1 h

e
III I

Les quantificateurs.

ph
REMARQUE
il y a deux quantificateurs, le quantificateur universel, noté 6 et se lit quelque soit ou pour
tout et le quantificateur existentiel noté 7 et se lit il existe au moins : on a ^ 6x ! E h: P ^ x h
quelque soit x de E on a : P ^ x h et 7x ! E: P ^ x h il existe au moins un x de E tel que : P ^ x h .
TExemple
6x ! R: x 2 $ 0 7x ! R/x 2 - 3x + 2 = 0 7!x ! R x 2 - 4x + 4 = 0
tro
Remarque :
• 7! Se lit il existe un et un seul
• On peut permuter des quantificateurs de même nature mais on ne peut pas permuter des
quantificateurs de natures différentes
• La négation de : ^ 6x ! E h: P ^ x h est : 7x ! E: P ^ x h et la négation de : ^ 7x ! E h: P ^ x h est :
^ 6x ! E h: P ^ x h
os

TExemple
p | 6n ! N [ / n 2 $ n q | 7 x ! R /x 2 + 1 2 x
p | 7n ! N [ / n 2 1 n q | 6x ! R/x 2 + 1 # x
Ap

IV I

Les lois logiques ou tautologies.


Définition :
Une loi logique est une proposition formée de plusieurs propositions p , q , rf liées entre
elles par des connecteurs logiques et qui est toujours vraie quelque soit la valeur de vérité
des propositions p , q , r
TExemple
Montrer que p & q , p ou q est une loi logique.
p q p p&q p ou q ^ p & q h + p ou q
1 1 0 1 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1

17
J'APPRENDS LE COURS

D’après la table de vérité précédente on a :


^ p & q h , ^ p ou q h est toujours vraie donc c’est une loi logique.

Propriété :
Les propositions suivantes sont des lois logiques :
• ^ p & q h , ^ p ou q h • ^ p & q h , ^ q & p h • ^ p et q h , ^ p ou q h • ^ p ou q h , ^ p et q h

V I

Les types de raisonnements.

5.1. Raisonnement par contre exemple.


Pour montrer que : 6x ! R : P ^ x h est fausse, il faut est il suffit de montrer que sa négation est

e
vraie c’est à dire : 7x 0 ! R/P ^ x 0 h est vraie le réel x 0 est appelé "contre exemple" .
TExemple

ph
• Montrer que la proposition suivante est fausse.
6x ! R x 2 - 5x + 4 2 0 Il suffit de prendre x 0 = 2 on a : 2 2 - 5 # 2 + 4 = -2 1 0

5.2. Le raisonnement par équivalences successives.


Propriété :
tro
On a : ^ p + q + r h + ^ p + r h est une loi logique.
TExemple
1
• Soit x 2 0 montrer que x + x $ 2
1 x +1
2
On a x + x $ 2 , x $ 2
os

, x 2 + 1 $ 2x Car x 2 0 + x 2 - 2x + 1 $ 0 , ^ x - 1 h2 $ 0
Et comme ^ x - 1 h2 $ 0 est vraie pour tout x ! R [+
1
Alors x + x $ 2 est aussi vraie 6x 2! R [ .

Remarque :
Ap

Si p , r est vraie et r est vraie alors p est vraie

5.3. Le raisonnement par disjonction de cas.


Rappel :
Soit E un ensemble non vide et ACE on note par A le complémentaire de A dans E c’est à
dire A = " x ! E/x g A , .
• Pour montrer qu’une propriété P ^ x h est vraie pour tout x de E .
Il faut et suffit de montrer que P ^ x h est vraie pour tout x de A et de montrer que P ^ x h et
vraie pour tout x de A . on peut aussi décomposer E en plusieurs parties disjoints deux à
deux et dont la réunion de toutes les parties est égale à E .

TExemple
Soit n ! N montrer que n 2 + n est pair
Réponse :
on peut distinguer deux cas n pair et n impair si n est pair alors n = 2k avec k ! N et on a :
n 2 + n = ^ 2k h2 + 2k = 4k 2 + 2k

18 •
J'APPRENDS LE COURS

n 2 + n = 2 ^ 2k 2 + k h et 2k 2 + k ! N donc n 2 + n est pair


Si n est impair on a n = 2k + 1 avec k ! N
et n 2 + n = ^ 2k + 1 h2 + 2k + 1 = 4k 2 + 6k + 2 = 2 ^ 2k 2 + 3k + 1 h et 2k 2 + 3k + 1 ! N
Donc n 2 + n est pair.

5.4. Le raisonnement par l’absurde


Remarque :
D’après la table de vérité de l'implication on a V & F est une proposition fausse donc si P & Q
est vraie et si Q est fausse alors P sera forcement fausse donc P est vraie.
• Donc pour montrer qu’une proposition p est vraie on suppose que P est vraie et on montre
que P & Q avec Q est une proposition fausse. On conclut que p est vraie.

e
TExemple
Soit a g Q montrer que 2 + a g Q

ph
REMARQUE
Réponse :
REMARQUE
Supposons que 2 + a ! Q donc il existe b ! Q / 2 + a = b
donc a = b - 2 et comme 2 ! Q et b ! Q alors a = b - 2 ! Q ce qui est absurde puis que
a g Q donc 2 + a g Q
tro
5.5. Le raisonnement par contraposée
Propriété :
On a p & q , q & p est une loi logique donc :
Pour montrer que p & q est vraie il faut et il suffit de montrer que q & p est vraie
os

TExemple
a a - 2b
Soit a et b deux réels tels que b ! 0 et a + 2b ! 0 montre que b ! -3 & a + 2b ! 5
a - 2b
Supposons que a + 2b = 5
a 12 a a - 2b
& a - 2b = 5a + 1ab & -4a = 12b & b = -4 = -3 , D’où b ! -3 & a + 2b ! 5
Ap

5.6. Le raisonnement par récurrence REMARQUE


]Z] P ^ n 0 h est vraie
]]
Soit n 0 ! N , La propriété P ^ n h est vraie pour tout n $ n 0 , [] et pour n $ n 0
]]
] on a : P ^ n h & P ^ n + 1 h est vraie Pour montrer
TExemple \ P^ n h & P^ n + 1 h
Montrer que : 6n ! N n ^ n + 1 h est un nombre pair on doit supposer
que P ^ n h est vraie
• Pour n = 0 on a n ^ n + 1 h = 0 vraie
et montrer que
Soit n ! N , supposons que : n ^ n + 1 h est paire et montrons que : ^ n + 1 h^ n + 2 h est paire. P ^ n + 1 h est vraie
On a : ^ n + 1 h^ n + 2 h = n ^ n + 1 h + 2 ^ n + 1 h somme de deux nombres paires est paires
et par suite 6n ! N n ^ n + 1 h est un nombre paire.

LEXIQUE
• Absurde : ‫خلف‬ • Négation : ‫نفي‬ • Contraposée : ‫مضاد للعكس‬

19
J'APPLIQUE LE COURS

1 Valeur de vérité 3 Les quantificateurs

Donner la valeur de vérité de chacune des propo- Écrire à l’aide des quantificateurs les propositions
sitions suivantes suivantes.

1 • 2 + 4 + 6 + 8 = 4 # 5. P : il existe au moins un réel m tel que pour tout


x de R on a m # x
2 • 425 est divisible par 25 .
q : Pour tout réel m il existe au moins un réel x
3 • a 2 + b 2 = ^ a + b h2 . tel que x 2 - mx - m 2 = 0
4 • N est un ensemble fini . r : Il existe un réel e , pour tout x de R
5• 5# 2+ 3. on a n + e - xe = x
6 • Toute partie non vide de N admet un plus
petit élément . Réponses :

7 • Tout les nombres pairs sont divisibles par 4 . P: 7m ! R/6x ! R m # x

e
q: 6m ! R 7x ! R/x 2 = mx - m 2 = 0
Réponses : r: 7e ! R 6x ! R x + e - xe = x

ph
1 2 3 4 5 6 7 4 Raisonnement par contre exemple
V V F F V V F Montrer par un contre exemple que la propositions
suivantes est fausse.
2 Négation 1 • 6p ! N [ p 2 + 2p + 3 est premier
tro
Nier les propositions suivantes
Réponses :
P1: 7x ! R x - 7x + 12 = 0 .
2

1 • Pour p = 1 on a p 2 + 2p + 3 = 6 et 6 est non premier


P2: 6x ! R x + 1 2 0 .
2
donc la proposition : 6p ! N [ p 2 + 2p + 3 est premier
P3: ^ 6x ! R h^ 7y ! R h /xy = 1. est fausse.
os

P4: 6x ! R 6y ! R x 2 + y 2 ! 1. 5 Raisonnement par contraposée


P5: 6x ! R 2 1 x 1 5 . 1 • Soient x et y deux réels montrer que :
x + y 2 c & 2x 2 c ou 2y 2 c
p 6: 6x ! R + 7p ! N/p # x 1 p + 1.
Ap

p 7: 6n ! N 7m ! N/m = 4n . Réponses :

On sait que ^ p & q h , ^ q & p h .


Réponses : 1 • On a :
On a : Non ( 2x 2 c ou 2y 2 c ) & 2x # c et 2y # c
P1: 6x ! R : x - 7x + 12 ! 0
2
& 2x + 2y # c + c .
P2: 7x ! R : x 2 + 1 # 0 & 2 ^ x + y h # 2c .

P3: 7x ! R 6y ! R xy ! 1 & x+y # c.


& Non ^ x + y 2 c h .
P4: 7x ! R 7y ! R/x 2 + y 2 = 1
D’où x + y 2 c & 2x 2 c ou 2y 2 c .
P5: 7x ! R/x # 2 ou x $ 5

P6: 7x ! R + 6p ! N : x 1 p ou x $ p + 1 6 Raisonnement par disjonction des cas

P7: 7n ! N 6m ! N : m ! 4n 1 • Soit n ! N
montrer que n ^ n + 1 h^ n + 2 h est divisible par 3

20
J'APPLIQUE LE COURS

3 2^ n + 1 h+ 1 + 2 n + 1 + 2
Réponses : Que 7 !N

1 • Raisonnons par disjonction de cas : 3 2n + 1 + 2 n + 2


En effet : 7 !N
1er cas : n = 3k ^ k ! N h 3 + 2n+2
2n + 1
Donc 7k ! N/ =k
Donc n ^ n + 1 h^ n + 2 h = 3k ^ 3k + 1 h^ 3k + 2 h = 3h
7

Avec h = k ^ 3k + 1 h^ 3k + 2 h ! N C'est à dire : 3 2n + 1 + 2 n + 2 = 7k

Donc n ^ n + 1 h^ n + 2 h est divisible par 3. Et on a :


3 2^ n + 1 h+ 1 + 2 n + 1 + 2 =
2ème cas : n = 3k + 1 ^ k ! N h
On a : n ^ n + 1 h^ n + 2 h = ^ 3k + 1 h^ 3k + 2 h^ 3k + 3 h = 3 2n + 1 # 3 2 + 2 n + 2 # 2

= 3 ^ 3k + 1 h^ 3k + 2 h^ k + 1 h = 3 2n + 1 # 9 + 2 n + 2 # 2
= 3h = 3 2n + 1 ^ 7 + 2 h + 2 n + 2 # 2
Avec h = ^ 3k + 1 h^ 3k + 2 h^ k + 1 h ! N = 2 2n + 1 # 7 + 3 2n + 1 # 2 + 2 n + 2 # 2
Donc n ^ n + 1 h^ n + 1 h est divisible par 3
= 7 # 3 2n + 1 + 2 ^ 3 2n + 1 + 2 n + 2 h

e
3ème cas : n = 3k + 2 = 7 # 3 2x + 1 + 2 # 7k
On a n ^ n + 1 h^ n + 2 h = ^ 3k + 2 h^ 3k + 3 h^ 3k + 4 h
= 7 ^ 3 2n + 1 + 2k h = 7h

ph
= 3 ^ 3k + 2 h^ k + 1 h^ 3k + 4 h = 3h
Avec h = 3 2n + 1 + 2k ! N
Avec h = ^ 3k + 2 h^ k + 1 h^ 3k + 4 h ! N 3 2^ n + 1 h+ 1 + 2 n + 1 + 2
Donc !N
Donc n ^ n + 1 h^ n + 2 h est divisible par 3 et par suite :
7
3 + 2n+2
2n + 1
Et par suite 6n ! N !N
6n ! N n ^ n + 1 h^ n + 2 h est divisible par 3 7
tro
8 Loi logique
7 Raisonnement par récurrence
Montrer par récurrence
Montrer par récurrence
n^ n + 1 h 1 • Dresser la table de vérité de p ou q + p
1 • 6n ! N [ , 1 + 2 + … + n = 2 et q .
3 2n + 1 + 2 n + 2 2 • En déduire que p ou q + p et q est une
os

2 • 6n ! N , 7 !N
loi logique

Réponses :
Réponses :
1 • Pour n = 1
1•
1^ 1 + 1 h
Ap

On a : 1 = 2 = 1 est vraie.
p q p q p p p p ou q
Soit n ! N [
n^ n + 1 h ou ou et + p et q
Supposons par 1 + 2 + … + n = 2 q q q
^ n + 1 h^ n + 2 h
et montrons que : 1 + 2 + … + n + n + 1 = 2 v v F F v F F v
On a : 1 + 2 + … + n + n + 1 =
v F F v v F F v
n^ n + 1 h
2 +n+1
F v v F v F F v
n^ n + 1 h + 2^ n + 1 h
= 2 F F v v F v v v
^ n + 1 h^ n + 2 h
= 2 2 • D’après la question 1) on peut remarquer que p ou q
Donc d’après le principe de récurrence on a 6n ! N [ + p et q est toujours vraie quelque soit les valeurs de
n^ n + 1 h vérité de p et de q .
1+2+…+n = 2
31 + 22 donc p ou q + p et q est une loi logique (c’est l’une
2 • Pour n = 0 on a : 7 =1!N des deux loi de Morgan).
3 2n + 1 + 2 n + 2
Soit n ! N supposons que 7 ! N et montrons

21
JE M'EXERCE

4 • p et q + q et p
Exercices d’application
5 • p ou q , q ou p
6 • p et ( q et r ) + ( p et q ) et r
1 Déterminer parmi les propositions suivantes
lesquelles sont vraies 7 • ^ pouq h ou r + p ou ( q ou r )

1 • 3 divise 234 ou 3 est premier


6 Montrer que la proposition suivante n’est pas une
2 • 10 est un carré parfait ou 2 + 8 1 7 loi logique ( p et q ) ou r + p et ( q ou r )
3 • 121 = 11 2 et tout les nombres pairs sont divisibles par 4
4 • 6x ! R : ( x ^ 1 ou x ^ 4 ) 7 Montrer à l’aide d’un contre exemple que chacune
5 • ( 6x ! R x ^ 1) ou ( 6x ! R x ^ 4 ) des propositions suivantes est fausse

6 • ( 7x ! R x 2 - 1 = 0 ) et ( 7x ! R/x 2 = 16 ) p 1: 6n ! N [ n 2 + n + 3 est premier


7 • ( 7x ! R ( x 2 - 1 = 0 et x 2 = 16 ) P2: 6x ! R : x2 $ x

e
P3: 6x ! R : x 2 - 4x + 4 2 0
2 Les propositions suivantes sont elles vraies ou
P4: 6x ! R : - 1 1 cos x 1 1
fausses

ph
1 • ^ 6x ! R h^ 6y ! R h x $ y
8 Soit a et b deux réels :
2 • ^ 7x ! R h^ 7y ! R h x $ y
• Montrer que :
3 • ^ 6x ! R h^ 6y ! R h x $ y
a 2 + b 2 = 0 & a = 0 et b = 0
4 • ^ 7x ! R h^ 6y ! R h x $ y
tro
9
3 Nier chacune des propositions suivantes :
1 • Montrer que : 6 ^ x, y h ! ^ R [ + h2
1 • 6x ! R 7y ! R x$y 4 x-y
y ^ -5x & x+y ^ 9
2 • 6f 2 0 7a ! @ 0, 1 6: 6x ! R : x 1 a & x 2 1 f x+9
2 • Montrer que : 6x ! R [+ : x ^ 9 & 6 ^ x
os

3 • p et ( q ou r )
3 • Montrer que : 6 ^ a, b h ! R 2 : a 2 + b 2 = 0 & a = 0 et b = 0
4 • p ou ( q ou r )
4 • Montrer que : 6x ! R + : 6y ! R [ :
5 • 7x ! R 6y ! R x + y 2 x2 x+y
^ x ^ 1 h ou ^ y ^ 1 h & 2 ^ x + y - 1
Ap

4 Déterminer la valeur de vérité de chacune des


10 Monter par raisonnement de disjonction de cas
propositions suivantes
que :
1 • Soit A une partie non vide de N : 7p ! A/6n ! A n $ p 6 n ! N n ^ 2n 2 + 1 h est divisible par 3
2 • 6f 2 0 7n ! N : n 2 + n + 1 1 f
3 • 6x ! R x26&x22 11
4 • 6a ! R a $ 0 ou a # 0 16
1 • Montrer que : 6x ! R [+ : x + x $ 8
2 • Montrer que 6 ^ a, b h ! ^ R [+ h b + a $ 2
5 • 6x ! R 6y ! R : x $ y ou y $ x 2 a b

6 • 6a 2 0 6b 2 0 : a+b # a+ b 1
3 • Montrer que : 6x ! R 4 x 2 + 1 $ x

5 En utilisant la table de vérité montrer que chacune


12
des propositions suivantes est une loi logique.
1 • Soit n ! N , montrer que n est un multiple de 3 , n 2
1 • Non (non p ) + p
est un multiple de 3
2 • Non ( p et q ) + (non p ) ou (non q )
2 • Montrer par absurde de que 3gQ
3 • Non ( p ou q ) , (non p ) et (non q )

22
JE M'EXERCE

13 Résoudre dans R les équations suivantes 1 • f est nulle

2 • f est strictement croissante


1 • 2x - 4 + 4x - 12 = 6 2 • x - 6 - 5x - 10 = 12
3 • f est constante
14 Soit ^ x, y h ! R 2 montrer que : 4 • f est paire
x ! y & ^ x - 2 h^ y + 2 h ^ ^ x + 2 h^ y - 2 h
5 • f est supérieur à g

15 Soient a et b deux réels strictement positifs.


24 Soit x ! R
a2 + b2
• Montrer que : a # b & a + b # b 3 2 1 2
• Montrer que : x - 2 1 2 & 11 1 x + 2 1 5

16 Montrer que 6x ! R
Exercices d’approfondissement
x 2 + 1 - x $ 0 (disjonction des cas)

e
17 Soit m ! R 25 Soit a ! R
• Montrer que : a # 1 & 7x ! R: x 2 + 2x + a 2 = 0

ph
• Discuter suivant la valeur de m , les solutions de l’équa-
tion x 2 + 1 = m

26 Soit n ! N
18
• Montrer que n 2 + 3n + 2 est un nombre pair
1 • Étudier le signe de m 2 - 5m + 4 ^ m ! R h
tro
2 • En déduire suivant les valeurs de m le nombre de solu- 27 Soit a ! R - " 1 ,
tions de l’équation x 2 + 4mx + 20m - 16 = 0
• Montrer par récurrence que 6n ! N :
an+1 - 1
1 + a + a2 + f + an = a - 1
19

1 • Montrer que : 6x ! R : x 2 + x + 10 2 0
os

28 Soit f une fonction définie de R dans R . et


et x 2 + 3x + 6 2 0 et x 2 + 2x + 8 2 0 strictement croissante sur R et soient a et b deux
réels montrer que : f ^ a h = f ^ b h & a = b
2 • En déduire que : ^ 6x ! R h x - 2 1 x 2 + 2x + 8
• Est ce que la réciproque est vraie?

20
Ap

n 2 ^ n + 1 h2 29 Soient a et b deux réels montrer que :


1 • Montrer que : 6n ! N [ , 1 3 + 2 3 + f + n 3 = 4 a 2 + b 2 + 1 $ 2ab - 2a + 2b
2 • Montrer que : 6n ! N , 1+ 3 + 5 + f + ^ 2n + 1 h = ^ n + 1 h2

30
21
1 • Montrer que :
1 • Montrer que 6n ! N , ^ 12 h - 1 est divisible par 11
n
6n ! N 7 n + 13 n + 19 n - 3 est divisible par 6
2 • Montrer que 6n ! N , 9 n + 5 n - 2 est divisible par 4 2 • Montrer que :
4n+1 - 1
6n ! N , 1 + 4 + 4 2 + f + 4 n = 3
22
• Montrer que : 6n ! N [ : 2 n $ n 31
1 • Soit n ! N [
23 Soient f et g deux fonctions définies de R dans R . 1 1 1 3n
• Montrer que : 1 + + + f + 2 $ 2n + 1
22 32 n
Traduire en utilisant les quantificateurs convenables les 2 • Soit n ! N [- " 1 ,
expressions suivantes. • Montrer que 3 n $ 1 + 2n 2

23
JE M'EXERCE

32 Résoudre dans R les équations suivantes 39


1 • x 2 - 7x + 12 = 6 1 • Soient p et q deux propositions, montrer que
6 p ou q , p et q @ est une loi logique.
2 • x2 + 2 x - 2 - 4 = 0
3 • x - 3 = 2x + 4 2 • Donner la négation de la proposition suivante
6^ 7x ! R h: x 2 + x - 1 1 0 ou x 2 - x + 1 1 0 @

33 3 • En déduire la valeur de vérité de la proposition donnée


à la 2ème question.
x2 + 4
1 • Montrer que : 6x ! R 4 $ x
2 • Montrer que 6 ^ x, y h ! R 2
40 Soit n ! N
x ^ 4 et y ^ 4 & xy + 16 ^ 4x + 4y
1 • Montrer par disjonction de cas que n ^ n + 1 h est pair
3 • Montrer que : 6 ^ a, b, c h ! R 3 , a 2 + b 2 + c 2 $ ab + ac + bc
2 • En déduire que : ^ n 2 - 1 h n’est pas divisible par 8 & n
est pair

e
34
1 • Montrer que : 6x ! R , 6y ! R 41 Soient A et B deux parties non vide de R

ph
x +y +2 x ! A , B , x ! A ou x ! B
on sait que : (
2 2

x ^ 1 ou y ^ 1 & 2 ^ x+y
x ! A + B , x ! A et x ! B
2 • Montrer que : 6x ! R 6y ! R 1 • Donner une proposition équivalente à x g A , B
x4 + y4
x ! y & 2 ! ^ xy h2 2 • Donner une proposition équivalente à x g A + B
3 • Montrer que 6x ! R 6y ! R
tro
x + y # x + y et x - y # x-y 42
1 • Montrer que : 6n ! N
^ n + 1 h^ 3n + 2 h
35 1 + 4 + 7 + f + ^ 1 + 3n h = 2
1 • Montrer que : 6n ! N [ ; 2 • Montrer que : 6n ! N
n^ n + 1 h
2 + 6 + 10 + f + ^ 4n + 2 h = 2 ^ n + 1 h2
os

1+2+f+n = 2
2 • En déduire que 6n ! N [ ;
1 3 + 2 3 + f + n 3 = ^ 1 + 2 + f + n h2 43 Soit b ! R
• Montrer que : 6f 2 0 b-1 1 f & b = 1
36 Soit n ! N [
Ap

Posons a n = 1 # 2 # 3 # f # n 44 Soit a un nombre réel a 2 1.


Montrer que 6n ! N [ 1 • Montrer par absurde que : 6n ! N [ na $ 1
1 # a1 + 2 # a2 + f + n # an = an+1 - 1
2 • Montrer par récurrence que :
]]Z a = 0 & b 2 0 6n ! N [ 6n ! N [; ^ a + 1 hn 2 n
]]
37 Soient a , b et c trois réels vérifiant: []] a 2 0 & b 1 0 3 • En déduire que :
]]
b ! 0 & c 20
\ 6n ! N [ : 3 n + 4 n + …2022 n 2 2020n
Déterminer le signe de ces réels sachant que l’un d’eux est
strictement positif, le deuxième est strictement négatif et
45 Recopier et compléter les pointillés par l'un des
le dernier est nul.
connecteurs logique suivants & , % ou + .

1 • x ! R ; x 2 = 9 ffx = 3
38 Montrer que : 6e 2 0
2 • x ! R + ; x 2 = 4 ffx = 2
^ 6x ! R h x - 1 1 a & x 2 + 3x - 4 1 f
3 • x ! R ; x $ 1 ffx 2 $ x
Avec a = inf a 2 ; 11 k
1 2f
4 • x ! R ; x = 1 ffx = 1

24
JE M'ÉVALUE

Cocher la ou les réponses justes :

A B C

1 L'énoncé suivant :
6x ! R x 2 - x + 4 2 0 Vrai Faux Ni vrai ni faux
est :

2 La négation de la
proposition 6x ! R 6x ! R 7y ! R/y # x 7x ! R 7y ! R y # x C.7x ! R 6y ! R y # x
7y ! R/y 2 x est :

3 Écrire en utilisant les


quantificateurs la phrase
suivante : tout entier 7n ! N 6p ! N [ n 2 p 6pN [ 7n ! N/n 2 p 6p ! N [ 6n ! N n 2 p

e
non nul admet un autre
entier plus grand que lui

ph
Toujours ou bien vraie
44 Une proposition est : Toujours fausse Toujours vraie ou bien fausse

55 La conjonction de deux
p et q sont vraies toutes les
propositions p et q est p est vraie q est vraie
tro
deux vraies à la fois
uniquement vraie si :

66 L’implication p & q est


p est fausse p et vraie et q est fausse q est vraie
fausse si
os

AUTO - FORMATION
Ap

1 • Montrer que : a ! b
46 Soit n un nombre entier. a4 - b4
a 3 b 0 - a 2 b + ab 2 + a 0 b 3 = a - b
1 • Soit n ! N montrer que : n est multiple de 5 , n 2
est un multiple de 5 / a5 - b5
& a 4 b 0 + a 3 b + a 2 b 2 + ab 3 + a 0 b 4 = a - b
2 • Montrer que 5gQ
2 • Montrer par récurrence que 6n ! N ^ a ^ b h
an+1 - bn+1
an b0 + an-1 b + f + a0 bn = a - b
47
Montrer que : p et q + p ou q est une loi logique. 49 Soit n un nombre entier.
Cette loi est appelée loi de Morgan.
1 • Montrer par récurrence que 6n ! N
n^ n + 1 h
1+2+f+n = 2
48 1 + 2 + 4 + f + 2 n = 2 n + 1 - 1 et 2 n $ n + 1
n^ n + 1 h
Soient a et b deux réels distincts 2 • En déduire que 6n ! N 2 n 2 2

• 25
FICHE DE REMÉDIATION Objectif Remédier aux difficultés liées à :
• Erreurs de raisonnent logique
• La mauvaise application du cours

Activités de remédiation aux difficultés Remédiation Critères et indicateurs

Montrer que la proposition sui- T = -3 1 0 donc x 2 + x + 1 On donne un contre exemple


1
vante est vraie : ^ P h 6x ! R a le même signe que a = 1 2 0 pour montrer qu'une telle propo-
x2 + x + 1 2 0 donc 6x ! R sition est fausse
Réponse : x2 + x + 1 2 0
pour x = 1 on a : x 2 + x + 1 = 3 2 0
donc la proposition est vraie.

Montrer que 6x ! R 2x + 1 x-1 L'élève a utilisé le fait que :


2 x+2 -1 = x+2
2x + 1 a2b20 a b
x 2 1 & x+2 2 1 et comme x 2 1 c2d20 & c 2 d

e
Réponse : on a alors x - 1 2 0 et cette implication n'est pas
2x 2 2 2x + 1 2 3 toujours vraie
x21&( &( et x + 2 2 3 2 0
x+2 2 3 x+2 2 3 x-1
donc x + 2 2 0

ph
2x + 1 3 2x + 1
& x+2 2 3 = 1 et par suite x + 2 2 1

Auto-remédiation Voir corrigé p260


tro
1 Donner la valeur de vérité de l'expression 3 Donner la valeur de vérité de l'expression
suivante : A " 6 x ! R : x 2 $ x" suivante : 62 2 = 5 & 1 2 = 0@
• Soient p et q deux propositions. 4 On rappelle 2 b Q
Montrer que : ^ p et q h , ^ q et p h est une loi lo-
os

2 Démontrer que si a et b sont deux nombres relatifs


gique. alors a + b 2 = 0 + a = b = 0
Ap

Évasion culturelle

ARISTOTE Si faire de la logique consistait à raisonner correctement, il serait impossible


de connaître le premier logicien ; mais il paraît plus satisfaisant d'admettre
que la logique consiste à réfléchir sur le raisonnement, à énoncer des règles
ou des lois régissant les activités déductives, à décrire, par exemple en
les formalisant, les démarches du raisonnement. Nous pouvons alors sans
risque d'erreur désigner Aristote (384-322 av. J.C.) [4] comme le fondateur
de la logique ; il avait d'ailleurs conscience lui-même d'être un créateur,
puisqu'on peut lire dans les Topiques : « Dans le cas de cette étude, il n'y
avait pas une partie déjà élaborée, une autre non : il n'existait rien du
tout». Aristote a principalement étudié le syllogisme, et son application
à la démonstration ; un exemple de syllogisme, étudié dans les Premiers
analytiques, situera les travaux d'Aristote : «si A est affirmé de tout B et
B de tout C, nécessairement A est affirmé de tout C ».

26 •

Vous aimerez peut-être aussi