Bewijs door gevalsonderscheiding

Een bewijs door gevalsonderscheiding of bewijs door uitputting is een manier om een wiskundig bewijs te leveren. Deze manier maakt er gebruik van de gevraagde stelling in verschillende gevallen te knippen en elk geval afzonderlijk te bewijzen. De gevallen waarin de stelling wordt opgeknipt moeten wel uitputtend zijn, het moet dus duidelijk zijn dat alle gevallen zijn te noemen en te onderscheiden. Wanneer dan is aangetoond dat de stelling voor alle gevallen geldt, is de stelling zelf daarmee bewezen.

Voorbeelden

• De stelling dat voor ieder natuurlijk getal $n$ geldt dat $n(n+1)$ even is. Om dit te bewijzen kan men onderscheid maken tussen het geval dat $n$ even of oneven is. Is $n$ even, dan is $n(n+1)$ dat als veelvoud van $n$ ook. Is $n$ oneven dan is $n+1$ even en is $n(n+1)$ dus als veelvoud van $n+1$ ook even.
• Het eerste bewijs dat door Appel en Haken in 1976 werd gegeven van de vierkleurenstelling. Zij onderscheidden 1936 gevallen, waarvan zij met behulp van de computer de kleurbaarheid met 4 kleuren aantoonden.
• Aangenomen wordt dat TC Hales het vermoeden van Kepler met behulp van gevalsonderscheiding heeft bewezen, dus dat er een dichtste bolstapeling is.

Bronnen, noten en/of referenties