Le raisonnement par l’absurde consiste à supposer qu’une affirmation vraie est fausse et de montrer que le résultat auquel on aboutit par ce biais est absurde c’est à dire faux. En conséquence de quoi, on peut conclure que l’affirmation est bien vraie. Tu trouveras dans le fichier le raisonnement par récurrence demandé.
