Dans cette partie, nous allons aborder deux méthodes classiques de démonstration utilisées dans de nombreux contextes mathématiques.

Il s’agit de :

• La démonstration par contraposée, qui consiste à prouver une implication en démontrant que la négation de la conclusion entraîne la négation de l’hypothèse ;
• Le raisonnement par récurrence, une technique puissante utilisée pour prouver des propriétés sur les entiers naturels, en deux étapes : l’initialisation et l’hérédité.

Les exercices proposés permettront de comprendre le fonctionnement de ces raisonnements et de les appliquer dans des contextes variés.