Ce que le corrigé donne
Chaque développement et chaque factorisation sont écrits en entier, et le corrigé rappelle la méthode qui permet de les vérifier soi-même : remplacer la lettre par un nombre dans les deux écritures.
Cette vérification ne démontre pas qu'un calcul est juste, mais elle prouve qu'il est faux — et c'est ce dont un élève a besoin quand il travaille seul.
Les démonstrations sont rédigées comme on les attend au tableau : choix de la lettre, écriture, réduction, conclusion.
Le barème de chaque série totalise 20 points, répartis 8, 6 et 6.
1 sur 5
Exercices 1 — les conventions d'écriture
Six écritures à connaitre par cœur, et le calcul d'une valeur par substitution.
Les six écritures, et pourquoi la convention existe.
Les trois substitutions, et la valeur qui annule l'expression.
4x × 3x ne fait pas 12x : on multiplie aussi les lettres entre elles.
- 3x
- x²
- 5x
- 6x²
2 sur 5
Exercices 2 — développer et réduire
Cinq produits à développer, et cinq calculs d'élèves dont quatre sont faux.
Les cinq développements, réduits.
Les quatre corrections, et la vérification numérique.
Une vérification numérique coûte trente secondes et rattrape la plupart des erreurs de signe.
- k(a + b)
- (a + b)(c + d)
- Les signes
- Réduire
3 sur 5
Exercices 3 — factoriser
Somme ou produit, facteur commun, et la vraie raison de factoriser.
Le classement des six expressions.
Les quatre factorisations, et leur vérification.
On cherche le plus grand nombre qui divise tous les coefficients.
- Somme
- Produit
- Facteur commun
- Vérifier
4 sur 5
Exercices 4 — un programme de calcul
Trois essais donnent le même résultat. Cela ne prouve rien.
Les valeurs de chaque étape, en partant de 4.
La démonstration sur la lettre, étape par étape.
C'est la différence entre constater et démontrer.
- Essayer
- Conjecturer
- Démontrer
- Modifier
5 sur 5
Exercices 5 — démontrer avec des lettres
L'exemple du programme, les quatre usages, et un contre-exemple.
La démonstration, et ses deux variantes selon le choix de la lettre.
Les quatre usages, et le contre-exemple.
Un seul contre-exemple suffit à réfuter ; aucun exemple ne suffit à démontrer.
- Traduire
- Démontrer
- Réfuter
- Modéliser
Ce que le générateur refuse sur cet article
Un barème qui ne totaliserait pas 20 points, ou une réponse longue à laquelle on n'aurait laissé qu'une ou deux lignes.
Un développement dont les deux écritures ne coïncideraient pas en douze valeurs rationnelles — entiers, négatifs, fractions et zéro.
Une factorisation qui ne se referait pas par développement.
Un tableau sans une case à remplir par ligne, ou une case vide sans réponse.
Une chasse à l'erreur dont la ligne juste ne le serait plus : le contrôle recalcule cette ligne-là.
Un programme de calcul dont les valeurs affichées ne seraient pas celles qu'on obtient réellement, étape par étape, en partant de 4.
Une carte mentale qui n'énumérerait pas les quatre usages du calcul littéral dans les mots du programme.
Un trait d'union employé comme signe moins devant un nombre : « -5 » et « −5 » se ressemblent à l'écran et se distinguent à l'impression.
Un défaut du vérificateur corrigé au passage
Le vérificateur recalcule toute chaîne « a = b = c » trouvée dans un texte, et saute celles qui appartiennent à une expression littérale — dans « x + 17 = 45 », « 17 = 45 » n'est pas une égalité arithmétique.
Mais sa règle exigeait une lettre juste avant la chaîne, et ne prévoyait pas l'exposant : dans « 4x² + 8 = 4(x² + 2) », le « ² » masquait la lettre, et le vérificateur signalait une fausse erreur. La règle accepte désormais un exposant. Mesure faite sur les 146 modules du site : aucune vraie vérification n'est perdue.
Méthode et vérification
Contenu produit à partir du programme de mathématiques du cycle 4 en vigueur pour la classe de quatrième en 2026-2027 : arrêté du 9 novembre 2015 modifié, BOEN n° 31 du 30 juillet 2020. Le nouveau programme (arrêté du 18 février 2026) ne s'appliquera à la quatrième qu'à la rentrée 2027-2028, en vertu de son article 3 — vérifié au Bulletin officiel. Le moteur `calcul_litteral_4eme` calcule tous les développements, factorisations et valeurs, et vérifie chaque identité en l'évaluant en douze points rationnels ; chaque programme de calcul est éprouvé sur la lettre et sur une douzaine de nombres, qui doivent tomber d'accord.
- Programme de mathématiques du cycle 4, arrêté du 9 novembre 2015 modifié — BOEN n° 31 du 30 juillet 2020, thème A.
- Arrêté du 18 février 2026 fixant les programmes de français et de mathématiques du cycle 4 — BOEN n° 10 du 5 mars 2026, article 3 (calendrier d'application).