La licence de mathématiques (souvent couplée à l'informatique en L1) est réputée exigeante, et pour une raison précise : elle marque une rupture de nature avec le lycée. Au lycée, on apprend surtout à calculer et à appliquer des méthodes. À la fac, l'essentiel devient la démonstration : prouver rigoureusement qu'un résultat est vrai. On découvre un formalisme nouveau (logique, ensembles, quantificateurs) et une exigence de rigueur absolue. Ceux qui « aimaient les maths pour les calculs » sont parfois déroutés ; ceux qui aiment comprendre pourquoi s'y épanouissent.
Test : es-tu prêt·e ?
8 questions rapides pour repérer tes points d'appui et tes lacunes, et orienter tes révisions. Réponds honnêtement — le but est de t'aider, pas de te noter.
On passe du calcul à la démonstration : prouver rigoureusement devient l'essentiel.
Une implication n'entraîne pas sa réciproque : les distinguer est fondamental.
Un unique contre-exemple suffit à réfuter une affirmation générale.
La récurrence prouve une propriété vraie pour tout entier n (initialisation + hérédité).
L'ordre des quantificateurs modifie profondément le sens : source d'erreurs classique.
On suppose la négation de l'énoncé ; la contradiction obtenue prouve l'énoncé.
L'algèbre linéaire (matrices, espaces vectoriels) est un pilier de la L1, utile aussi en informatique.
C'est le raisonnement qui est évalué, pas seulement le résultat final.
Ce test est un repère indicatif d'auto-évaluation, construit à partir de notions clés. Il ne préjuge pas de ton admission ni de ta réussite : la motivation, la méthode de travail et l'accompagnement comptent au moins autant. En cas de doute sur ton orientation, parle-en à ton professeur principal ou à un conseiller d'orientation.
Ce qui change vraiment entre le lycée et la fac
| Idée reçue / au lycée | La réalité en licence |
|---|---|
| On applique des formules et méthodes | On démontre : prouver rigoureusement pourquoi un résultat est vrai devient l'essentiel |
| Un exercice = un calcul à mener | Un exercice = un raisonnement à construire, avec une exigence de logique et de rédaction |
| Les objets sont concrets (nombres, fonctions) | Les objets deviennent abstraits (ensembles, structures, espaces) et généraux |
| « Ça marche, donc c'est bon » | « Pourquoi ça marche ? » : la justification prime sur le résultat |
Le grand changement : la démonstration
C'est LE choc de la L1. On ne demande plus seulement le bon résultat, mais la preuve rigoureuse qu'il est correct. Comprendre les types de raisonnement est vital.
Le raisonnement direct
On part des hypothèses et, par une chaîne d'implications logiques, on aboutit à la conclusion. La base de toute démonstration.
Le raisonnement par l'absurde
On suppose le contraire de ce qu'on veut prouver, et on aboutit à une contradiction : c'est donc que l'hypothèse de départ était fausse. Très utilisé (par exemple pour prouver que √2 est irrationnel).
Le raisonnement par récurrence
Pour prouver qu'une propriété est vraie pour tout entier n : on la montre au rang initial, puis on prouve que si elle est vraie à un rang, elle l'est au suivant. Vu en Terminale, il devient central.
Le contre-exemple
Pour prouver qu'une affirmation générale est fausse, un seul contre-exemple suffit. Distinguer « prouver » (tous les cas) de « réfuter » (un seul cas) est fondamental.
Le nouveau langage : logique et ensembles
Avant même les théorèmes, la L1 installe un langage formel. Le maîtriser conditionne toute la suite.
Les connecteurs logiques
ET, OU, NON, l'implication (⇒) et l'équivalence (⇔). On apprend à manipuler des propositions avec une rigueur absolue, et à distinguer une implication de sa réciproque.
Les quantificateurs
« Pour tout » (∀) et « il existe » (∃). Comprendre l'ordre des quantificateurs est crucial : « pour tout x, il existe y » ne signifie pas « il existe y, pour tout x ».
La théorie des ensembles
Appartenance, inclusion, union, intersection, complémentaire. Les ensembles deviennent le langage de base pour parler de tous les objets mathématiques.
Les applications (fonctions au sens large)
On généralise la notion de fonction : injective, surjective, bijective. Des notions abstraites qui structurent l'algèbre.
Les grands domaines de la L1
Les maths de la fac se répartissent en branches, chacune avec sa logique. En avoir la carte évite de se sentir perdu.
L'analyse
L'étude rigoureuse des fonctions, des limites, de la continuité, des dérivées et des intégrales. On redéfinit proprement des notions vues au lycée, avec des définitions formelles (les fameux « epsilon »).
L'algèbre
L'étude des structures (groupes, espaces vectoriels) et de l'algèbre linéaire (matrices, systèmes). Très abstraite, mais fondamentale, y compris pour l'informatique.
L'informatique et l'algorithmique
En L1, on apprend à programmer et à raisonner sur les algorithmes : leur correction, leur efficacité. La logique mathématique y est directement utile.
Les probabilités
Reprises sur des bases plus rigoureuses, elles irriguent de nombreux domaines (informatique, data, statistiques).
Le vocabulaire essentiel
Ce glossaire rassemble les termes que tu croiseras dès les premières semaines. Se les approprier progressivement facilite grandement la compréhension des cours.
- Démonstration
- Un raisonnement rigoureux qui établit qu'un énoncé est vrai à partir des hypothèses et des règles logiques.
- Théorème
- Un résultat mathématique important, démontré.
- Lemme
- Un résultat intermédiaire, souvent démontré pour servir à une démonstration plus grande.
- Corollaire
- Une conséquence directe d'un théorème.
- Implication (⇒)
- « Si A alors B ». A implique B ne veut pas dire que B implique A (la réciproque).
- Équivalence (⇔)
- « A si et seulement si B » : A implique B et B implique A.
- Quantificateur universel (∀)
- « Pour tout » : la propriété vaut pour tous les éléments considérés.
- Quantificateur existentiel (∃)
- « Il existe » : au moins un élément vérifie la propriété.
- Récurrence
- Un mode de démonstration pour les propriétés portant sur les entiers naturels.
- Ensemble
- Une collection d'objets (les éléments), l'objet de base du langage mathématique.
- Injective / surjective / bijective
- Des propriétés d'une application selon la façon dont elle relie deux ensembles.
- Contre-exemple
- Un exemple unique qui suffit à prouver qu'une affirmation générale est fausse.
Les savoir-faire du supérieur, pas à pas
La L1 de maths évalue avant tout la capacité à démontrer et à raisonner avec rigueur. Voici les deux gestes fondamentaux, avec des exemples travaillés.
Démontrer par récurrence
Pour prouver qu'une propriété P(n) est vraie pour tout entier n ≥ n₀ : on vérifie P(n₀) (initialisation), puis on montre que P(n) ⇒ P(n+1) (hérédité). On conclut que P est vraie pour tout n.
Exemple entièrement corrigé
Énoncé. Démontrer que pour tout entier n ≥ 1 : 1 + 2 + 3 + … + n = n(n+1)/2.
Initialisation. Pour n = 1 : à gauche, 1 ; à droite, 1×2/2 = 1. L'égalité est vraie au rang 1.
Hérédité. Supposons l'égalité vraie au rang n : 1+2+…+n = n(n+1)/2. Alors au rang n+1 : 1+2+…+n+(n+1) = n(n+1)/2 + (n+1) = (n+1)(n/2 + 1) = (n+1)(n+2)/2.
Conclusion. L'égalité est vraie au rang n+1. Par récurrence, elle est vraie pour tout entier n ≥ 1.
Démontrer par l'absurde
Pour prouver un énoncé, on suppose sa négation et on en déduit une contradiction. La contradiction prouve que la supposition était fausse, donc que l'énoncé est vrai.
Exemple entièrement corrigé
Énoncé. Montrer qu'il n'existe pas de plus grand nombre entier.
Supposer le contraire. Supposons qu'il existe un plus grand entier, appelons-le N.
Trouver la contradiction. Considérons N + 1. C'est un entier, et N + 1 > N. Il existe donc un entier plus grand que N.
Conclure. Cela contredit l'hypothèse que N était le plus grand. L'hypothèse est donc fausse : il n'existe pas de plus grand entier.
Exercices corrigés pour s'entraîner
Entraîne-toi activement : lis l'énoncé, rédige ou calcule ta réponse, puis compare. Refaire ces exercices sans la correction est le meilleur moyen de progresser.
Exercice 1 · Logique
Distinguez implication et réciproque.
Énoncé. Soit l'affirmation : « Si un nombre est divisible par 4, alors il est pair. » La réciproque est-elle vraie ?
Voir la correction
L'affirmation est vraie. Sa réciproque serait : « Si un nombre est pair, alors il est divisible par 4 » — ce qui est faux (6 est pair mais pas divisible par 4). Une implication vraie n'entraîne pas que sa réciproque le soit : distinction fondamentale en L1.
Exercice 2 · Contre-exemple
Réfutez par un exemple.
Énoncé. Vrai ou faux : « Le carré d'un nombre est toujours supérieur à ce nombre. » Justifiez.
Voir la correction
Faux. Contre-exemple : pour 0,5, le carré est 0,25, qui est inférieur à 0,5. Un seul contre-exemple suffit à prouver qu'une affirmation générale est fausse.
Exercice 3 · Récurrence
Vérifiez l'hérédité.
Énoncé. Dans une démonstration par récurrence, on a prouvé P(1). Que reste-t-il à montrer pour conclure que P(n) est vraie pour tout n ≥ 1 ?
Voir la correction
Il reste à prouver l'hérédité : que pour tout n, si P(n) est vraie alors P(n+1) l'est aussi. Initialisation (P(1)) + hérédité (P(n) ⇒ P(n+1)) permettent de conclure que P est vraie pour tout n ≥ 1.
Exercice 4 · Quantificateurs
Analysez l'ordre.
Énoncé. Les deux phrases « pour tout x, il existe y tel que y > x » et « il existe y tel que pour tout x, y > x » ont-elles le même sens (x, y entiers) ?
Voir la correction
Non. La première est vraie (pour chaque x, on peut prendre y = x + 1). La seconde affirme l'existence d'un entier y plus grand que TOUS les entiers, ce qui est faux. L'ordre des quantificateurs change tout : c'est une source d'erreurs majeure en L1.
Programme de préparation
Un plan réaliste pour l'été, à adapter à ton rythme. L'objectif est d'installer les repères, les méthodes et les habitudes de travail qui feront la différence dès la rentrée.
Semaines 1-2 — Solidifier les automatismes de calcul
La démonstration ne dispense pas de calculer vite et juste.
- Revoir le calcul algébrique, les fonctions, les dérivées (maths de Terminale).
- Maîtriser parfaitement le raisonnement par récurrence.
- S'assurer d'être à l'aise avec les sommes, produits, et manipulations d'expressions.
- Refaire les exercices de récurrence de ce guide.
Semaines 3-4 — S'initier à la logique et aux ensembles
Le nouveau langage de la fac.
- Comprendre les connecteurs logiques (⇒, ⇔) et la différence avec la réciproque.
- Assimiler les quantificateurs (∀, ∃) et l'importance de leur ordre.
- Découvrir le vocabulaire des ensembles (appartenance, inclusion, union, intersection).
- S'entraîner à distinguer prouver (tous les cas) et réfuter (un contre-exemple).
Semaines 5-6 — S'entraîner à démontrer
Le cœur de la L1.
- Pratiquer le raisonnement direct, par l'absurde et par récurrence.
- Rédiger des démonstrations complètes et rigoureuses (la rédaction compte).
- Refaire tous les exercices de ce guide sans la correction.
- S'habituer à justifier chaque étape plutôt qu'à donner un résultat brut.
Semaines 7-8 — Informatique et autonomie
Découvrir l'algorithmique et installer une méthode.
- S'initier ou se remettre à la programmation (Python), en lien avec la NSI.
- Comprendre ce qu'est un algorithme et comment raisonner sur sa correction.
- Installer une organisation de travail régulière et un entraînement quotidien.
- Repérer l'organisation des cours (CM/TD) et les attendus de sa fac.
Réviser les bases avec Achevia
Tu peux consolider gratuitement, dès maintenant, les compétences sur lesquelles cette filière s'appuie :
Questions fréquentes
- En quoi la L1 de maths diffère-t-elle vraiment du lycée ?
- Au lycée, on calcule ; à la fac, on démontre. La L1 met l'accent sur la preuve rigoureuse, la logique et l'abstraction, plus que sur le calcul.
- Faut-il aimer l'informatique pour une licence maths-info ?
- En L1, l'informatique et l'algorithmique tiennent une place réelle. Aimer programmer et raisonner logiquement est un atout, même si les maths restent centrales.
- J'étais bon en maths au lycée : est-ce suffisant ?
- C'est un bon point de départ, mais insuffisant à lui seul : il faut développer le goût de la démonstration. Beaucoup de bons calculateurs sont surpris par cette exigence nouvelle.
- Ce guide remplace-t-il les cours de la fac ?
- Non : il prépare le terrain, en installant le raisonnement, la logique et les automatismes. Les théorèmes eux-mêmes s'apprennent en licence.