Ce texte est la traduction de l’article intitulé « Bringing definitions into high definition » publié dans « Mathematics Teaching 218 (pp.10-12), revue de The Association of Teachers of Mathematics (MT), www.atm.org.uk/mt/. L’auteur John Mason, travaille au Département de l’Education de l’Université d’Oxford.
Les définitions sont construites de façon à rendre précis les termes que nous utilisons mais aussi pour simplifier et rendre élégants tant la formulation des théorèmes que le raisonnement pour les justifier, ce qui les rend plus faciles à mémoriser. Amener les élèves à considérer les conséquences de différents choix d’une définition peut les conduire à comprendre le rôle des définitions et les possibilités de raisonnement qu’elles permettent.

Voici le plan de l’article :
– Les définitions ne sont pas des listes de propriétés
– La mesure de l’angle de deux droites : une étude de cas selon la conception de Lakatos des définitions
– A propos d’esthétique mathématique
– Le théorème des restes chinois (version simple)