Semaine du lundi 4 septembre 2023
Il n'y a pas de colles cette semaine.
Il n'y a pas de colles cette semaine.
Il n'y a pas de colles cette semaine.
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 analyse-synthèse, par l'absurde.
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$.
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.
Démontrer que $A \cup (B \cap D) = (A \cup B) \cap (A \cup D) $.
Démontrer l'unicité pour le théorème de division euclidienne sur les entiers.
Démontrer que l'ensemble des nombres premiers est infini.