I - Produire des formules
Définition 1
Une expression littérale est un calcul contenant des nombres et des lettres. Chaque lettre, appelée variable, désigne un nombre qui peut changer.Convention — Écriture
Le signe est facultatif devant une lettre ou une parenthèse :
- signifie ;
- signifie ;
- signifie .
En revanche, il reste indispensable entre deux nombres : ne s’écrit pas .
Exemple
est une expression littérale à deux variables, composée de deux multiplications et d’une addition.Méthode 1 — Produire une formule
- Nommer par une lettre la grandeur qui peut varier.
- Écrire, avec cette lettre, les opérations décrites par l’énoncé.
- Vérifier la formule sur un cas particulier connu.
Exemples
- Le double d’un nombre : ; son triple : .
- Le successeur de : ; son prédécesseur : .
- Le périmètre d’un carré de côté : .
- Le périmètre d’un rectangle de dimensions et : .
- L’aire d’un triangle de base et de hauteur : .
Exemple — Un programme de calcul
« Choisir un nombre, le multiplier par , puis ajouter ». En notant le nombre choisi, le programme s’écrit d’un trait : .II - Substituer et tester une égalité
Définition 2
Évaluer une expression, ou substituer, c’est remplacer chaque lettre par une valeur donnée, puis effectuer les calculs.Méthode 2 — Substituer sans se tromper
- Réécrire l’expression en remettant les signes sous-entendus.
- Remplacer chaque lettre par sa valeur, entre parenthèses si elle est négative.
- Effectuer en respectant les priorités opératoires.
Exemples
- pour : .
- pour : .
- pour et : .
Définition 3
Tester une égalité, c’est vérifier si elle est vraie pour une valeur particulière de la variable, en calculant séparément chacun de ses deux membres.Méthode 3
- Remplacer la lettre par la valeur dans le membre de gauche, et calculer.
- Faire de même avec le membre de droite.
- Conclure : l’égalité est vraie pour cette valeur si les deux résultats sont égaux, fausse sinon.
Exemple
Tester pour :
- membre de gauche : ;
- membre de droite : .
L’égalité est vraie pour .
Exemple
Tester pour , puis pour :
- pour : d’un côté, de l’autre : vraie ;
- pour : d’un côté, de l’autre : fausse.
Remarque
Un test ne prouve rien de général : une égalité vraie pour une valeur peut être fausse pour une autre. En revanche, une seule valeur qui la met en défaut suffit à montrer qu’elle n’est pas toujours vraie.III - Sommes, produits, développer et réduire
Méthode 4 — Reconnaitre la nature d'une expression
Une expression littérale est une somme ou un produit selon la dernière opération qu’on y effectuerait.Exemples
- est une somme de deux termes : et .
- est un produit de deux facteurs : et .
- est une somme ; est un produit.
Propriété 1 — Distributivité
Pour tous nombres , et :
Définitions
- Développer une expression, c’est transformer un produit en somme.
- Factoriser, c’est l’inverse : transformer une somme en produit, en mettant en évidence un facteur commun.
Exemples — Développer
- .
- .
- .
Exemples — Factoriser
- .
- .
- .
Propriété 2 — Réduire
Deux termes qui contiennent la même lettre s’ajoutent :
Exemples
- .
- .
- .
- .
Remarque
On ne réduit que des termes semblables : ne se réduit pas, car et ne comptent pas la même chose. De même, reste tel quel.IV - Démontrer, réfuter, conjecturer
Méthode 5 — Démontrer une propriété générale
Pour prouver qu’une propriété vaut pour tous les nombres, on nomme le nombre par une lettre, on traduit l’énoncé en expression littérale, puis on transforme cette expression jusqu’à la forme annoncée.Exemple
« La somme de deux entiers consécutifs est impaire. » Soit un entier. Les deux entiers consécutifs s’écrivent et , et
Or est pair, donc est impair, quel que soit . La propriété est démontrée.
Exemple
« Le programme : choisir un nombre, lui ajouter , multiplier par , puis enlever le double du nombre choisi, donne toujours . »
Le résultat ne dépend plus de : c’est bien toujours .
Méthode 6 — Réfuter par un contre-exemple
Pour montrer qu’une affirmation est fausse, il suffit d’exhiber une seule valeur qui la met en défaut : c’est un contre-exemple.Exemple
« pour tout nombre » est fausse : pour , on obtient . Un seul contre-exemple suffit.Remarque
Vérifier une affirmation sur trois exemples ne la démontre pas ; trouver un seul contre-exemple la réfute définitivement. Les deux démarches n’ont pas du tout la même portée.Protocole — Conjecturer avec un tableur ou un algorithme
- Faire calculer l’expression pour de nombreuses valeurs de la variable.
- Observer une régularité dans la colonne des résultats : c’est la conjecture.
- La démontrer ensuite par le calcul littéral — l’ordinateur suggère, il ne prouve pas.