De harige-balstelling en de ham-sandwichstelling

Sommige wiskundige stellingen hebben een wel erg leuke naam gekregen. Wat bijvoorbeeld te denken van de harige-balstelling? Deze stelling uit de algebraïsche topologie zegt in mensentaal dat je de haren van een tennisbal niet kan kammen zonder dat op een bepaalde plaats twee haren in heel verschillende richtingen wijzen.
Of de ham-sandwich stelling? De stelling zegt dat gegeven n objecten in een n-dimensionele ruimte, het altijd mogelijk is om met slechts één (n-1)-dimensioneel hypervlak het volume van alle objecten in de helft te verdelen. De stelling kreeg zijn naam door het geval n = 3: In drie dimensies kunnen we een plakje ham en twee stukken brood exact in de helft snijden door één keer te snijden met een mes (een vlak).
Het pingponglemma at QED on 07 Jun 2007 at 7:46 pm
[...] Nog eentje voor de categorie van stellingen met een vreemde naam: het pingponglemma. Dit lemma zorgt ervoor dat als twee projectieve transformaties a en b aan bepaalde meetkundige vereisten voldoen, ze bij het toepassen op de projectieve ruimte P(kd) beide een vrije groep genereren. Deze transformaties a en b worden de pingpongspelers genoemd. Wiskundigen zeggen in bewijzen die het lemma gebruiken (bijvoorbeeld in dit artikel) ook dat beide elementen “pingpong spelen met elkaar”. Er bestaat ook een pingponglemma voor semigroepen, dat minder strenge vereisten oplegt en het pinglemma genoemd wordt. [...]
Harige dozen plaatjes at QED on 13 Oct 2007 at 6:06 pm
[...] harige. Ik denk niet dat deze persoon de harige-balstelling zocht. Iemand anders zocht naar harige dozen plaatjes. [...]