Cycle 3

• De l'arithmétique à l'algèbre

• Produire des formules

• Vers les équations

• Progressions

Cinquième

• Produire des formules

• Vers la preuve

• Vers les équations

• Techniques de calculs

• Progressions

Quatrième

• Produire des formules

• Vers la preuve

• Vers les équations

• Equations

• La proportionnalité

• Progressions

Troisième

• Vers la preuve

• Vers les équations

• Inéquation

• Fonctions

• Distributivité et identités remarquables

• Progressions

Cycle 4

• Produire des formules

• Vers la preuve

• Vers les équations

• Equations

• Inéquation

• La proportionnalité

• Fonctions

• Techniques de calculs

• Distributivité et identités remarquables

• Progressions

Voici deux programmes de calcul :

•   Fais des essais en choisissant le même nombre pour les deux programmes.
•  Que remarques tu ?
•  Ta remarque est-elle vraie pour n'importe quel nombre ?

---

But

---

Version intégrale imprimable

But: Comparer deux programmes

L'objectif de ces programmes de calcul est de montrer que, grâce à des propriétés simples
("on peut additionner dans n'importe quel ordre" et l'équivalence entre addition et multiplication par un entier), on peut prouver que deux programmes de calcul sont équivalents. Un parallèle avec la démonstration en géométrie peut ainsi être fait.

Une autre institutionnalisation importante est de montrer que, pour résoudre certains problèmes, on ne s'intéresse plus aux résultats, mais aux opérations à effectuer.