Preuve (mathématiques) - Définition
En mathématiques et en informatique théorique, une preuve est la démonstration de la vérité d'un énoncé, par une technique donnée. C'est un synonyme de démonstration.
Liste des techniques de preuve
- Preuve directe
- Preuve par induction
- Raisonnement par l'absurde
- Preuve par contraposée
- Preuve par la méthode probabiliste
- Preuve combinatoire
- Argument diagonal
Preuves dans des domaines particuliers
- En combinatoire, la preuve bijective.
- En cryptologie, la preuve de sécurité et la preuve à divulgation nulle de connaissance.
- En mathématiques élémentaires, la preuve par neuf.
