Colles du 14/09 en Mathématiques
Publication le 02/09 à 08h33
Rudiments de logique
Notions rencontrées :
Notion de proposition, "ou" et "et" mathématiques, propriétés relatives à la négation.
Définition et manipulation d'une implication, d'une réciproque, d'une équivalence. Condition nécessaire, condition suffisante.
Quantificateurs ∀, ∃, ∃!, importance de l'ordre, négation des quantificateurs. Traduction de phrases mathématiques en français sous forme de quantificateurs, passage à la négation.
Les différents modes de raisonnement : utilisation d'un exemple/contre-exemple, raisonnement par disjonction de cas, par récurrence (simple, double, forte), par contraposition, par l'absurde, par analyse-synthèse.
À savoir faire en particulier :
Conjecturer le terme général de la suite définie par $u_0=1$, $u_1=3$ et $\forall n \in \mathbb{N}$, $u_{n+2} = 2 u_{n+1} + 3 u_n$, puis montrer cette conjecture par récurrence double.
Montrer par contraposition que pour tout entier $n$, $n^2$ est pair $\Rightarrow n$ est pair.
Déterminer par analyse-synthèse les solutions réelles de $\sqrt{6+x}=x$.
Ensembles
Notions rencontrées :
Ensemble/élément, cas particulier de l'ensemble vide. Notion d'ensemble fini ou dénombrable. Notation d'un ensemble avec des accolades.
Inclusion, égalité. Montrer une égalité d'ensembles par double inclusion doit être un réflexe.
Ensemble des parties d'un ensemble, produit cartésien.
Complémentaire d'un ensemble dans un autre, notation $\overline{A}$.
Intersection de $A$ et $B$, différence de $A$ et $B$, propriétés relatives à l'inclusion.
Réunion de $A$ et $B$, propriétés relatives à l'inclusion.
Distributivité de l'union/intersection. Passage au complémentaire dans une union/intersection.
Ensembles disjoints, ensembles deux à deux disjoints, notion de partition (ou recouvrement disjoint).
Ensembles usuels : $\mathbb{N}$, $\mathbb{Z}$, $\mathbb{D}$, $\mathbb{Q}$, $\mathbb{R} \setminus \mathbb{Q}$, $\mathbb{R}$.
Multiple, diviseur, théorème de division euclidienne sur les entiers. PGCD, PPCM (sans introduction de notation particulière).
Nombre premier, décomposition en produit de facteurs premiers, application au calcul du PGCD et du PPCM. L'ensemble des nombres premiers est infini.
À savoir faire en particulier :
Démontrer que $A \cup (B \cap D) = (A \cup B) \cap (A \cup D) $.
Démontrer l'unicité du théorème de division euclidienne sur les entiers.
Démontrer que l'ensemble des nombres premiers est infini.
