Le cours - pyreach.free.fr

Les notations mathématiques
Les quantificateurs
Quantificateur existentiel :
∃
Quantificateur universel :
∀
Il existe un... (sous entendu au moins un)
Il existe un unique...
Pour tout
Quel que soit
Soient A et B deux points distincts du plan, il existe un
point équidistant de A et B :
Soient A et B deux points distincts du plan, tout point
équidistant de A et B est sur ...
Solution d'une équation Différentes expressions d'une même fonction
Fonction carré : Fonction carré :
Les ensembles
Définition : un ensemble désigne une collection d'objets mathématiques.
Ensembles définis par extension : ensemble des oiseaux = {Le perroquet de ma belle-mère; ...}
Ensemble des entiers naturels :
ℕ
={... }
Ensembles définis par compréhension : ensemble des oiseaux = {animal | vertébré ovipare couvert de plumes }
Cas des intervalles : [1;3[={...
Appartenance :
∈
Inclusion :
⊂
Soient a un élément et A un ensemble. L'élément a
appartient à l'ensemble A signifie que l'élément a fait partie
de la collection A. On note :
a∈A
Ex: Titi appartient à l'ensemble des oiseaux.
Soient A et B deux ensembles. A est inclus dans B signifie
que tout élément de A appartient à B. On note A
⊂
B
Ex : l'ensemble des perroquets est inclus dans l'ensemble
des oiseaux.
Ensemble de nombres : Ensemble de nombres :
Intervalles : Intervalles :
Probabilités : issue Probabilités : événement
Intersection :
∩
Réunion :
∪
Soient A et B deux ensemble. L'ensemble A
∩
B est
constitué des éléments appartenant à la fois à l'ensemble A
et à l'ensemble B.
{Labradors}
∩
{chiens noirs} = ...
Soient A et B deux ensemble. L'ensemble A
∪
B est
constitué des éléments appartenant à l'ensemble A ou à
l'ensemble B. Ici "ou" est non exclusif, pour qu'un élément
appartienne à A
∪
B il suffit qu'il appartienne à l'un des
deux.
{Labrador}
∪
{chiens noirs} = ...
Diagramme de Venn : Diagramme de Venn :
Intervalles : Intervalles :
Résolution d'un système d'équation : Résolution d'une équation "produit nul" :
Probabilités : Probabilités :
Le complémentaire d'un ensemble A est l'ensemble noté
A
constitué des éléments n'appartenant pas à A.
Exemples : on considère les chiens, et N l'ensemble des chiens noirs. Alors
N
est l'ensemble ...
En probabilités : ...

La logique mathématique
Les propositions
Définition : une proposition (ou assertion) est un énoncé pouvant être vrai ou faux.
Exemple : on considère un oiseau, la phrase "c'est un corbeau" est une proposition.
Soient H et C deux propositions, on peut construire une nouvelle proposition en les utilisant.
"H et C" est une proposition vraie si et seulement si H et C sont vraies toutes les deux.
Exemple : "c'est un corbeau" et "il est blanc" est une proposition toujours ...
"H ou C" est une proposition vraie si et seulement si l'une au moins des deux est vraie
Exemple : si vous demandez à une professeure de mathématique qui vient d'accoucher : "c'est une fille ou un garçon?"
elle vous répondra ...
Les propositions conditionnelles
Une proposition conditionnelle, propose que l'une des deux propositions conditionne l'autre : cela peut-être vrai ou faux.
On observe un mammifère, on considère les propositions suivantes : V : "il peut voler", C : "c'est une chauve-souris"
Implication : V
⇒
C
Tous les mammifères qui peuvent voler sont des chauves-
souris
Réciproque : V
⇐
C
Toutes les chauves-souris peuvent voler
... implique ... ... est impliqué par ...
... donc... ... car ...
Si ... alors ... ... parce que...
... seulement si ... .... si ...
... suffit pour ... il faut ... pour ...
... est condition suffisante pour ... est une condition nécessaire à ...
Théorème de Pythagore : Réciproque du théorème de Pythagore :
Théorème de Thalès : Réciproque du théorème de Thalès :
Conséquence d'une équation :
x^2=9
⇒
Une solution d'une équation :
Image par la fonction carré:
x=−3
⇒
x2=
Antécédents par la fonction carré
x=
...............................
⇐
x2=9
Une implication peut être vraie et sa réciproque fausse : "corbeau
⇒
oiseau noir" est une proposition ...
"oiseau noir
⇒
corbeau" est une proposition ...
Équivalence : V
⇔
C
...si et seulement si...
...il faut et il suffit...
...condition nécessaire et suffisante...
Exemple : soient A, B et M trois points du plan : MA=MB
⇔
...
Résolution d'une équation :
x2=9
⇔
...
La négation
Soit H une proposition, la négation de la proposition H est la proposition non(H) fausse si H est vraie et vraie si H est
fausse.
Exemples : on observe un oiseau, la négation de "il est noir" est ...
On considère les propositions suivantes : O:"c'est un oiseau", V : "il peut voler", C : "c'est un corbeau", N : "il est noir"
Négation d'une proposition conditionnelle
non(O
⇒
V)
Contraposée d'une proposition conditionnelle
( C
⇒
N )
⇔
( non(N)
⇒
non(C) )
La négation de : "tous les oiseaux peuvent voler"
est la proposition : "...
Si "c'est un corbeau" alors "il est noir"
est une proposition équivalente à la proposition :

Si .... alors.....
La négation de "
x29
⇒
x3
" est ... Contraposée du théorème de Pythagore :
Les raisonnements mathématiques
Les classiques en analyse
Démontrer une formule :
quantificateur universel
Résoudre une équation :
raisonnement par équivalences
Tableau de signe :
la disjonction des cas
Démontrer que pour tout réel x,
x−1 x3 = x1
2−4
Résoudre dans
ℝ
l'équation :
(E) :
x−2
2−9=0
Étudier, pour tout réel x, le signe de
l'expression :
x−3 2−x
Valider ou invalider une proposition
Démontrer qu'une proposition est vraie Démontrer qu'une proposition est fausse
Déductif :
Dans un repère orthonormé, on considère les trois points
A(1;2), B(-1;6) et C(4;6). Démontrer que le point C
appartient à la médiatrice du segment [AB].
Contraposée :
Dans un repère orthonormé, on considère les quatre points
A(1;2), B(2;5), A'(2;4), B'(1;6). Démontrer que les
segments [AB] et [A'B'] ne peuvent pas être image l'un de
l'autre par une réflexion.
Absurde :
Démontrer que le nombre 0 n'admet pas d'inverse.
Négation d'une proposition universelle :
un contre-exemple suffit
Démontrer que la proposition "tout nombre réel est
inférieur à son carré" est fausse.
Négation d'une proposition existentielle :
Démontrer que la proposition "il existe un nombre réel dont
le carré est strictement négatif" est fausse.
Correspondance entre logique et ensembles
Logique Ensembles
x∈A
et
x∈B
⇔
x∈A∩B
x∈A
ou
x∈B
⇔
x∈A∪B
x∉A
⇔
x∈A
x∈A
⇒
x∈B
⇔
A⊂B
x∈A
⇔
x∈B
⇔
A=B