Preuves par l’absurde et preuves constructives

Le but du cours est double: introduire la notion de constructivité d’une preuve mathématique, en insistant, en particulier, sur les relations entre preuves par l’absurde et preuves constructives; se demander si une preuve par l’absurde est nécessairement constructive. Je vais présenter, ensuite, des exemples tirés des Éléments de Euclide pour montrer que la réponse est négative.