Revision sheet: Introduction aux fondamentaux mathématiques du lycée

📋 Plan du Cours

1. Objectifs et architecture de la formation
2. Méthodologie de travail et rétroaction
3. Règles de raisonnement et quantificateurs
4. Conventions et notations standards
5. Suites : limites et divergence
6. Opérations sur les limites et composition
7. Dérivation : tangente et variations
8. Inégalités de Cauchy-Schwarz et Minkowski
9. Trinôme du second degré et discriminant
10. Pivot de Gauss et systèmes échelonnés
11. Injectivité et monotonie des applications
12. Ensembles : appartenance et description

📖 1. Objectifs et architecture de la formation

🔑 Notions clés & Définitions

• Modélisation mathématique : Approche où l’on traduit un phénomène physique en paramètres puis en relations pour obtenir un problème mathématique exploitable.
• Analyse : Secteur des mathématiques centré sur les fonctions et les suites pour décrire des comportements continus et discrets.
• Algèbre linéaire : Secteur de l’algèbre utilisant des outils géométriques et matriciels pour résoudre des problèmes via des méthodes structurées.
• Rétroaction : Contrôle systématique de ce qu’on vient d’apprendre, sans consulter ses notes, afin de vérifier et corriger sa compréhension.

📝 Points essentiels

• Le cours vise la continuité des programmes du cycle terminal menant au baccalauréat, tout en préparant des enseignements plus spécialisés en deuxième année.
• Le programme est conçu pour fournir les connaissances indispensables à la formation générale d’un futur ingénieur.
• La méthode scientifique est mobilisée pour communiquer clairement, analyser la pertinence et estimer l’impact pratique des résultats.
• Le programme organise un aller-retour permanent entre analyse, algèbre et géométrie, sans considérer cette séparation comme une cloison.
• Le programme privilégie quelques notions essentielles, des outils efficaces et évite la technicité gratuite.
• Les séances de T.D. ont un double rôle : cadrer les problèmes liés aux concepts du programme et préciser les méthodes attendues aux partiels.

💡 Astuce mémo

Modéliser = Paramètres → Relations → Problème mathématique ; TD = Problèmes + Méthodes partiels.

📖 2. Méthodologie de travail et rétroaction

🔑 Notions clés & Définitions

• Rétroaction orale : La rétroaction orale est un retour verbal sur sa résolution, utilisé pour corriger et améliorer sa compréhension.
• Rétroaction sans notes : La rétroaction sans notes est une vérification de sa démarche en expliquant de mémoire, sans consulter ses documents.
• Compréhension approximative : La compréhension approximative est une saisie partielle d’une définition ou d’un théorème qui empêche de réutiliser correctement l’idée en exercice.
• Bilan hebdomadaire : Le bilan hebdomadaire est une revue régulière de ce qui a été vu, pour repérer les zones de flou et agir tôt.
• Méthode par couches : La méthode par couches est une stratégie d’apprentissage en trois passes, du survol à l’approfondissement des détails.

📝 Points essentiels

• Choisir un type de rétroaction adapté et la faire régulièrement, par exemple après chaque cours et chaque série d’exercices.
• Pour que la rétroaction soit efficace, l’explication doit se faire sans l’aide de ses notes.
• Ne pas faire de fiches à partir de cahiers ouverts comme unique rétroaction : la rétroaction doit tester ce que vous savez réellement.
• Préférer un nombre limité d’exercices mais plus approfondis plutôt que survoler beaucoup d’exercices à la chaîne.
• La mémorisation d’un exercice de mathématiques ne remplace pas la compréhension : seule une compréhension solide permet de s’en souvenir et de le refaire.
• Réagir immédiatement quand un terme, symbole ou notation n’est pas compris, puis demander à l’enseignant si besoin plutôt que laisser s’accumuler les incompréhensions.

💡 Astuce mémo

Rétroaction = Parler sans regarder ; Apprendre = Comprendre puis refaire ; Réviser = Survol → Théorèmes → Détails.

📖 3. Règles de raisonnement et quantificateurs

🔑 Notions clés & Définitions

• Équivalence logique : Équivalence logique : deux propriétés sont équivalentes quand chacune implique l’autre, donc elles ont exactement les mêmes valeurs de vérité.
• Implication logique : Implication logique : une propriété P implique Q quand, dès que P est vraie, Q est aussi vraie, sans rien conclure si P est fausse.
• Contraposition : Contraposition : technique de raisonnement qui déduit la fausseté de P à partir de la fausseté de Q, ou la vérité de Q à partir de la vérité de P, via une implication.
• Raisonnement par l’absurde : Raisonnement par l’absurde : on suppose une propriété fausse, on en déduit une contradiction avec un fait vrai, puis on conclut que la propriété ne peut pas être fausse.
• Contre-exemple : Contre-exemple : élément qui rend fausse une propriété universelle en montrant un cas où la propriété P n’est pas vraie.

📝 Points essentiels

• Un théorème et une définition s’utilisent seulement si toutes leurs hypothèses sont vérifiées, car la conclusion dépend de ces conditions.
• Dans une rédaction, respecter les notations (minuscules/majuscules) et le sens exact des mots évite des conclusions invalides.
• Une propriété P est équivalente à Q si et seulement si P implique Q et Q implique P, ce qui permet de remplacer P par Q partout.
• Pour une implication « Si P alors Q », P est une condition suffisante de Q et Q est une condition nécessaire de P.
• On ne peut pas conclure Q à partir de « P est fausse » dans une implication, car l’implication ne dit rien dans ce cas.
• Par contraposition, de « Si P alors Q » et de « Q est fausse » on déduit « P est fausse », et de « Si P alors Q » et de « P est vraie » on déduit « Q est vraie ».

💡 Astuce mémo

Équivalence = même vérité (P↔Q), implication = P pousse vers Q (P⇒Q), contraposition = on inverse la direction en remplaçant vérité/faux (Q faux ⇒ P faux).

📖 4. Conventions et notations standards

🔑 Notions clés & Définitions

• Convergence d’une suite : Une suite converge vers un réel ℓ si, à partir d’un certain rang, tous les termes entrent dans tout intervalle ouvert contenant ℓ.
• Limite d’une suite : La limite d’une suite est le réel ℓ vers lequel la suite converge, noté avec la notation de limite $\lim_{n\to+\infty} u_n=\ell$.
• Suite convergente : Une suite est dite convergente lorsqu’elle admet un réel comme limite.
• Suite divergente : Une suite est dite divergente lorsqu’elle n’admet pas de limite réelle.
• Unicité de la limite : L’unicité de la limite affirme qu’une suite convergente ne peut pas avoir deux limites réelles différentes.

📝 Points essentiels

• Pour dire que $u_n\to\ell$, on exige que tout intervalle ouvert $I$ contenant $\ell$ contienne tous les $u_n$ sauf un nombre fini d’entre eux.
• On note $\lim_{n\to+\infty}u_n=\ell$ ou $\lim u_n=\ell$ pour exprimer la convergence vers $\ell$.
• Si une suite est convergente, sa limite est unique.
• Toute suite convergente est bornée.
• Si une suite n’est pas bornée, alors elle ne peut pas être convergente.
• Si, à partir d’un certain rang, $u_n\le v_n$ et si $u_n\to\ell$, $v_n\to\ell'$, alors on obtient $\ell\le\ell'$.

💡 Astuce mémo

Intervalle ouvert = « tout autour de ℓ » finit par contenir tous les termes (sauf quelques-uns).

📖 5. Suites : limites et divergence

🔑 Notions clés & Définitions

• Règle de dérivation de la composée : La dérivée d’une composée $v\circ u$ s’obtient en multipliant $u'(x)$ par la dérivée de $v$ évaluée en $u(x)$.
• Extremum local : Un extremum local est une valeur de la fonction atteinte en un point où la dérivée change de signe.
• Système linéaire compatible : Un système linéaire est compatible s’il possède au moins une solution.
• Système linéaire homogène : Un système linéaire est homogène quand le second membre est le vecteur nul, donc toutes les équations valent 0.

📝 Points essentiels

• Si $u$ est dérivable sur $I$ et $v$ dérivable sur $u(I)$, alors $v\circ u$ est dérivable sur $I$ et $(v\circ u)'(x)=u'(x)\,v'[u(x)]$.
• Si $f'(x)>0$ sur $I$ sauf éventuellement en un nombre fini de points où $f'$ s’annule, alors $f$ est strictement croissante sur $I$.
• Si $f'(x)<0$ sur $I$ sauf éventuellement en un nombre fini de points où $f'$ s’annule, alors $f$ est strictement décroissante sur $I$.
• Si $f'(x)=0$ pour tout $x\in I$, alors $f$ est constante sur $I$.
• Si $f$ est dérivable sur un intervalle ouvert et que $f'(x_0)=0$ avec changement de signe de $f'$ en $x_0$, alors $f$ admet un extremum local en $x_0$.
• Un système linéaire est compatible s’il existe au moins un p-uplet $(\alpha_1,\dots,\alpha_p)$ vérifiant simultanément toutes les équations du système.

💡 Astuce mémo

Composition : dériver $u$ puis multiplier par $v$ “au point $u(x)$” (u→v).

📖 6. Opérations sur les limites et composition

🔑 Notions clés & Définitions

• Somme double : Somme double : somme des termes $x_{i,j}$ quand $(i,j)$ parcourt un produit d’ensembles d’indices.
• Somme triangulaire : Somme triangulaire : somme des $x_{i,j}$ quand les indices vérifient une contrainte du type $1\le i\le j\le n$.
• Produit double : Produit double : produit des termes $x_{i,j}$ quand $(i,j)$ parcourt un produit d’ensembles d’indices.
• Inégalité de Cauchy–Schwarz : Inégalité de Cauchy–Schwarz : borne du carré du produit scalaire par le produit des sommes de carrés.
• Borne supérieure : Borne supérieure : plus petit majorant d’un ensemble ordonné, notée $\mathrm{Sup}(A)$.

📝 Points essentiels

• Pour des ensembles finis $I,J$ non vides, on a $\sum_{(i,j)\in I\times J} x_{i,j}=\sum_{i\in I}\sum_{j\in J} x_{i,j}=\sum_{j\in J}\sum_{i\in I} x_{i,j}$ grâce à la commutativité de $+$.
• La somme $\sum_{i\in I}\sum_{j\in J} x_{i,j}$ se lit comme addition des lignes d’un tableau, tandis que $\sum_{j\in J}\sum_{i\in I} x_{i,j}$ se lit comme addition des colonnes, et la dernière case correspond à la somme $
• Dans le cas contraint $1\le i\le j\le n$, on a $\sum_{i=1}^n\sum_{j=i}^n x_{i,j}=\sum_{j=1}^n\sum_{i=1}^j x_{i,j}=\sum_{1\le i\le j\le n} x_{i,j}$.
• Les propositions sur les sommes s’étendent aux produits : remplacer $\sum$ par $\prod$ dans les mêmes expressions d’indices.
• Inégalité de Cauchy–Schwarz en dimension 2 : $(x_1y_1+x_2y_2)^2\le (x_1^2+x_2^2)(y_1^2+y_2^2)$.
• Inégalité de Cauchy–Schwarz (générale) : $\left(\sum_{i=1}^n x_i y_i\right)^2\le \left(\sum_{i=1}^n x_i^2\right)\left(\sum_{i=1}^n y_i^2\right)$, avec égalité ssi les vecteurs $(x_i)$ et $(y_i)$ sont colinéaires, i.e. $\

💡 Astuce mémo

Tableau : lignes puis colonnes donnent la même somme ; triangle : $i\le j$ se retourne en $j$ puis $i$ ; Cauchy–Schwarz : (produit scalaire)^2 ≤ (norme)^2·(norme)^2.

📖 7. Dérivation : tangente et variations

🔑 Notions clés & Définitions

• Racine n-ième : Une racine n-ième de x est l’unique réel t tel que t^n = x, défini via la bijection t ↦ t^n selon la parité de n.
• Valeur absolue : La valeur absolue associe à tout réel x un réel positif |x| égal à x si x>0 et à −x si x≤0.
• Distance usuelle : La distance usuelle entre deux réels x et y est la quantité d(x,y)=|x−y|, notée aussi distance naturelle ou canonique.
• Caractère archimédien de R : Le caractère archimédien affirme que pour tout x,y>0, on peut trouver un entier n tel que nx dépasse y.
• Partie entière : La partie entière E(x) est l’unique entier n tel que n ≤ x < n+1.

📝 Points essentiels

• Pour x∈R+ et n>1, la notation x^{1/n} désigne l’unique antécédent de x par t↦t^n sur R+.
• Si n est impair, la fonction g:R→R, t↦t^n est bijective, ce qui permet de définir x^{1/n} pour tout x∈R.
• Si n=2, on note x^{1/2} sous la forme √x plutôt que x^{1/n} dans la notation du cours.
• Si x>0, les racines vérifient x^{1/n}=e^{(1/n)ln(x) } et (e^{ln(x)})^{1/n} se relie aux puissances réelles.
• Les racines n-ièmes vérifient les mêmes règles algébriques que les puissances réelles, par exemple (x^{1/n})^{n'}=x^{n/n'} et (xx')^{1/n}=x^{1/n}x'^{1/n}.
• |x|=Max(−x,x) et |x|=0 équivaut à x=0, ce qui fixe le signe et les zéros de la valeur absolue.

💡 Astuce mémo

Racines : bijection t↦t^n (R+ si n pair, R si n impair) ; Valeur absolue : Max(−x,x) ; Distance : |x−y| ; Archimède : nx finit par dépasser y ; Partie entière : n ≤ x < n+1.

📖 8. Inégalités de Cauchy-Schwarz et Minkowski

📖 9. Trinôme du second degré et discriminant

🔑 Notions clés & Définitions

• Produit cartésien : Le produit cartésien de E1, E2, …, En est l’ensemble de tous les n-uplets (x1, x2, …, xn) tels que xk ∈ Ek pour chaque k.
• Inclusion d’ensembles : Dire que E ⊆ F signifie que tout élément x de E appartient aussi à F.
• Application : Une application f de E dans F associe à chaque x ∈ E un unique élément f(x) ∈ F.
• Fonction d’un ensemble dans un autre : Une fonction de E dans F est une application définie seulement sur une partie de E, appelée domaine de définition.
• Graphe d’une application : Le graphe d’une application f est l’ensemble des couples (x, f(x)) quand x parcourt l’ensemble de départ.

📝 Points essentiels

• Pour E × F, on a E × F = {(x, y) ; x ∈ E et y ∈ F} et en général E × F ≠ F × E.
• Même si E × F et F × E diffèrent comme ensembles, ils ont le même nombre d’éléments : |E × F| = |F × E| = |E|·|F|.
• Pour n ∈ N*, on note E^n = E × E × … × E (n fois), c’est l’ensemble des n-uplets d’éléments de E.
• Pour montrer E ⊆ F, on prend un x quelconque dans E puis on prouve qu’il appartient à F.
• Deux applications f et g sont égales ssi elles ont le même ensemble de départ et d’arrivée et vérifient f(x)=g(x) pour tout x du départ.
• Le domaine de définition Df peut s’écrire Df = {x ∈ E ; ∃y ∈ F, f(x)=y}.

💡 Astuce mémo

Aucune donnée exploitable sur le trinôme du second degré ou le discriminant n’apparaît dans la source fournie pour cette section.

📖 10. Pivot de Gauss et systèmes échelonnés

🔑 Notions clés & Définitions

• Argument d’un complexe : L’argument d’un complexe non nul est un angle θ tel que le complexe s’écrive avec des cosinus et sinus de θ, défini à 2π près.
• Module d’un complexe : Le module d’un complexe est sa distance à l’origine dans le plan complexe, notée |z|, et il vaut √(x²+y²) pour z=x+iy.
• Forme trigonométrique : La forme trigonométrique d’un complexe non nul exprime z sous la forme |z|(cos(θ)+i sin(θ)) où θ est un argument de z.
• Conjugué complexe : Le conjugué d’un complexe z=x+iy est le complexe x−iy, noté z, obtenu en changeant le signe de la partie imaginaire.
• Forme exponentielle : La forme exponentielle (ou polaire) d’un complexe non nul écrit z=|z|e^{iθ}, où e^{iθ}=cos(θ)+i sin(θ).

📝 Points essentiels

• Un complexe non nul a un argument déterminé modulo 2π, tandis que 0 a un module 0 et n’a pas d’argument.
• Si z est réel, alors |z| est la valeur absolue de z.
• Si z∈R*+ alors arg(z)=0 mod(2π) et si z∈R*− alors arg(z)=π mod(2π).
• Si z=ia² avec a∈R*+ alors arg(z)=π/2 mod(2π), et si z=−ia² alors arg(z)=−π/2 mod(2π).
• Pour z=x+iy non nul et d’argument θ, on a x=|z|cos(θ), y=|z|sin(θ) et z=|z|(cos(θ)+i sin(θ)).
• Deux complexes non nuls sont égaux si et seulement s’ils ont le même module et le même argument modulo 2π (z=z' ⇔ |z|=|z'| et θ=θ' mod(2π)).

💡 Astuce mémo

Module = distance (√(x²+y²)) ; Argument = angle (cos, sin) ; Conjugué = miroir (y→−y) ; Exponentielle : e^{iθ} = cosθ + i sinθ.

📖 11. Injectivité et monotonie des applications

🔑 Notions clés & Définitions

• Injectivité : Une application est injective si des images différentes correspondent à des antécédents différents.
• Monotonie : Une application est monotone si elle conserve l’ordre entre les valeurs de l’entrée et celles de la sortie.
• Application : Une application associe à chaque élément d’un ensemble de départ un unique élément d’un ensemble d’arrivée.

💡 Astuce mémo

Injectif = « pas deux flèches vers la même image » ; Monotone = « l’ordre ne s’inverse jamais ».

📖 12. Ensembles : appartenance et description

🔑 Notions clés & Définitions

• Ensemble : Un ensemble est une collection d’objets considérés comme distincts, décrite par une règle ou par une liste de ses éléments.
• Ensemble vide : L’ensemble vide est l’ensemble qui ne contient aucun élément, noté typiquement $\varnothing$.
• Singleton : Un singleton est un ensemble qui contient exactement un seul élément.
• Inclusion : L’inclusion est la relation entre deux ensembles où tous les éléments du premier appartiennent aussi au second.
• Cardinal d’un ensemble : Le cardinal d’un ensemble est le nombre d’éléments qu’il contient (ou sa taille, si l’ensemble est fini).

📝 Points essentiels

• L’appartenance s’écrit $x\in E$ et signifie que $x$ est un élément de $E$.
• La non-appartenance s’écrit $x\notin E$ et signifie que $x$ n’est pas un élément de $E$.
• Un ensemble peut être décrit soit par une liste d’éléments, soit par une condition (notation en compréhension).
• L’ensemble vide vérifie $\forall x,\ x\notin\varnothing$.
• Un singleton $\{a\}$ vérifie $x\in\{a\}$ exactement quand $x=a$.
• Si $E\subseteq F$, alors tout élément de $E$ appartient à $F$, et donc $E$ ne peut pas contenir d’élément “nouveau” par rapport à $F$.

💡 Astuce mémo

Appartenance = “dans” ($\in$) ; vide = “aucun” ($\varnothing$) ; singleton = “un seul” ($\{a\}$).

📊 Tableaux de synthèse

Connecteurs logiques : sens et lecture

Connecteur	Lecture	Vrai quand
¬P	non P	P est fausse
P ∨ Q	P ou Q	au moins une des deux est vraie
P ∧ Q	P et Q	les deux sont vraies
P =⇒ Q	si P alors Q	dès que P est vraie, Q est vraie
P ⇐⇒ Q	P équivaut à Q	P =⇒ Q et Q =⇒ P sont vraies

⚠️ Pièges & confusions fréquents

1. Confondre équivalence et implication : P ⇐⇒ Q signifie P⇒Q et Q⇒P, alors que P⇒Q ne dit rien quand P est fausse.
2. Mauvaise négation d’un quantificateur : ¬(∀x∈E, P(x)) devient ∃x∈E ; ¬P(x), et ¬(∃x∈E, P(x)) devient ∀x∈E ; ¬P(x).
3. Inverser les conditions suffisantes/nécessaires : dans « Si P alors Q », P est suffisante pour Q et Q est nécessaire pour P.
4. Écrire une définition de limite avec un intervalle fermé : le cours exige des intervalles ouverts contenant la limite (et “à partir d’un certain rang”).
5. Penser que “suite convergente” implique “bornée” sans vérifier : c’est vrai (th. 1.2), mais l’erreur inverse est fréquente (bornée ≠ convergente).
6. Pour Cauchy–Schwarz, oublier la condition d’égalité : l’égalité n’a lieu que si les vecteurs sont colinéaires (donc proportionnels).
7. Mélanger langage français et langage quantifié dans la rédaction : le correcteur sanctionne les formulations quantifiées mal séparées ou “abrégées”.

✅ Checklist Examen

1. Savoir expliquer la modélisation mathématique : paramètres → relations → problème mathématique, et relier l’objectif des T.D. à problèmes + méthodes attendues aux partiels.
2. Réaliser une rétroaction efficace sans notes : vérifier mentalement/oralement/écritement sa démarche, et refuser les “fiches” faites à partir de cahiers ouverts comme unique rétroaction.
3. Rédiger correctement avec équivalence/implication/contraposition/absurde : citer les hypothèses, respecter notations, et savoir quand on peut conclure (ou pas).
4. Utiliser la définition de convergence d’une suite avec intervalle ouvert : montrer que tous les termes sauf un nombre fini entrent dans tout intervalle contenant ℓ.
5. Appliquer les théorèmes de limites et inégalités : unicité, bornitude, comparaison (si un≤vn à partir d’un rang), gendarmes, et convergence monotone.
6. Savoir dériver : dérivée de la composée (v∘u)'(x)=u'(x)·v'[u(x)], puis utiliser le signe de f' pour conclure croissance/décroissance/constance et extremum local.
7. Maîtriser les opérations sur les limites : somme/produit/quotient et composition (si un→α et f(x)→β quand x→α, alors f(un)→β).
8. Manipuler les sommes et produits à indices : permutation des sommes, sommes triangulaires (1≤i≤j≤n), et Cauchy–Schwarz (dimension 2 et générale) avec condition d’égalité.
9. Utiliser les notions de puissances/racines/valeur absolue/distance : règles algébriques des racines, |x|=Max(−x,x), distance d(x,y)=|x−y|, et archimédien/partie entière E(x).
10. Résoudre et interpréter les systèmes linéaires : compatibilité/incompatibilité, homogène, équivalence, et résolution par pivot de Gauss (système équivalent échelonné).
11. Savoir traiter les systèmes de Cramer (n=p) : condition déterminant non nul et formules 2×2, puis conclure sur l’unicité de la solution.
12. En logique/ensembles/applications : écrire correctement quantificateurs (∀/∃), définir ensembles (∅, singleton, inclusion, cardinal), et prouver injectivité/surjectivité/bijectivité via les définitions (ou équivalences).
13. En complexes : passer de la forme algébrique z=x+iy à module/argument, utiliser la forme trigonométrique z=|z|(cosθ+i sinθ), le conjugué, et la condition d’égalité (même module et argument modulo 2π).