DEMONSTRATION , RAISONNEMENT ET VALIDATION DANS L'ENSEIGNEMENT SECONDAIRE DES MATHEMATIQUES EN FRANCE ET EN ALLEMAGNE

Mme Marie-Jeanne PERRIN, Professeur des Universités, IUFM Nord-Pas-de-Calais, Présidente ; M. Yves CHEVALLARD, Professeur des Universités, IUFM d'Aix-Marseille, Rapporteur M. Bernard PARZYSZ, Professeur émérite des Universités, IUFM d'Orléans-Tours, Directeur de thèse Mme Jacqueline ROBINET, Maître de Conférences, Université de Paris 7, M. Klaus VOLKERT, Professeur des Universités, Université de Cologne, RapporteurFor the study of the proof we adapt Toulmin's theoretical frame on arguments of plausibility and arguments of necessity to Chevallard's anthropological theory of didactics. The validations of mathematic teaching are the double transposition of proofs from the mathematical institution (producing the knowledge) and validations (argumentations and proofs) from other institutions (like the “daily life”). The diachronic study of curricula of French ‘collège-lycée' and of German Gymnasium (in Baden-Württemberg), confirmed by the study of textbooks shows that proof is explicitly taught as opposed to the cases of Realschule and Hauptschule. These curricula advise the use of different types of validation (argumentation, proof) and arguments (pragmatic, semantic, syntactic) depending on the functions and when they are introduced. The influence of the functions of validation on the different types of tasks (discovering, controlling, changing registers, ...) are also observed in lessons on proof. In spite of linguistic, institutional, and cultural difficulties in comparing France and Germany, the study of validations, of class theorems in textbooks, and of proofs produced by students, shows similarities about combining different types of arguments as well as different types of functions. Differences are observed on the types of technology and technique involved in the validation and on the weight given to different types of arguments and registers used, with an explanation related to the institutional conditions (moment of introduction, didactical contract, function, educational system, ...).Pour étudier la démonstration nous adaptons le cadre théorique de Toulmin, sur les arguments de plausibilité et de nécessité, à la théorie anthropologique du didactique de Chevallard. Les validations de l'enseignement des mathématiques sont la double transposition des démonstrations de l'institution mathématique (qui produit le savoir) et des validations, argumentations ou preuves, d'autres institutions (comme la « vie quotidienne »). L'étude diachronique des programmes du collège-lycée en France, et du Gymnasium en Bade-Würtemberg, confirmée par l'étude de manuels, montre que la démonstration est devenue explicitement un objet à enseigner, contrairement aux cas des Hauptschule et Realschule. Ces programmes recommandent l'usage de différents types de validation (argumentation, preuve) et d'arguments (pragmatiques, sémantiques, syntaxiques) suivant leurs fonctions et les moments ; on retrouve dans des leçons sur la démonstration l'influence des fonctions de la validation dans les différents genres de tâche (découvrir, contrôler, changer de registres, ...). Malgré les difficultés linguistiques, institutionnelles et culturelles liées à la comparaison, l'examen des validations de théorèmes de cours dans les manuels et de démonstrations produites par des élèves montre des similitudes quant à la cohabitation des différents types d'arguments et différentes fonctions de la validation. On observe des différences sur les types de technologie ou de technique mis en œuvre et sur le poids donné aux types d'arguments et aux registres utilisés, avec une explication liée aux conditions institutionnelles (moment considéré, contrat, fonction privilégiée, organisation de l'enseignement ...