Bewijs dat er tussen elke 9 getallen er twee zijn, een a en een b, waarvoor
.
Het feit dat een gegeven even of oneven is kan belangrijk zijn om de oplossing van het probleem te vinden. Het even of oneven zijn van een getal noemen we de pariteit van het getal. Deze heuristiek wordt dikwijls gebruikt in combinatie met kleuringen of het invariantie principe.
Om een probleem op te lossen verzamelen we eerst alle gegevens. We proberen ze te begrijpen en te analyseren. Maar soms kunnen we dat niet doen op een betekenisvolle manier omdat de berekeningen te ingewikkeld zijn of omdat er bijvoorbeeld geen speciale gevallen zijn die ons enig inzicht kunnen geven in het probleem. We proberen dan het probleem te herformuleren in een equivalente maar eenvoudiger vorm. Hiervoor zullen we gebruik moeten maken van onze verbeelding en creativiteit. Dikwijls gebruiken we hiervoor algebraïsche of goniometrische formules, substitutie of verandering van onbekende,…
Voorbeeld:
We kunnen dit eventueel bewijzen via inductie.