Voor kleine zijn er geen problemen, dus neem maar of zoiets. Ook als geen van de getallen en een priemgetal is, is er in de verste verte geen probleem. Immers, dan zijn en onderling ondeelbare delers van , en het volstaat dan om naar het aantal factoren in teller en noemer te kijken.
Veronderstel dat priem is. Het geval waarbij priem is gaat analoog maar is iets eenvoudiger. De opgave schreeuwt eigenlijk om de stelling van Wilson: , dus . Omdat niet priem is, is een even geheel getal. Maar dus is een natuurlijk getal. Omdat even is, is oneven, en dus ook. Bijgevolg is het geheel deel van even en we zijn klaar.
Oplossing
Voor kleine
zijn er geen problemen, dus neem maar
of zoiets. Ook als geen van de getallen
en
een priemgetal is, is er in de verste verte geen probleem. Immers, dan zijn
en
onderling ondeelbare delers van
, en het volstaat dan om naar het aantal factoren
in teller en noemer te kijken.
Veronderstel dat
priem is. Het geval waarbij
priem is gaat analoog maar is iets eenvoudiger. De opgave schreeuwt eigenlijk om de stelling van Wilson:
, dus
. Omdat
niet priem is, is
een even geheel getal. Maar
dus
is een natuurlijk getal. Omdat
even is, is
oneven, en
dus ook. Bijgevolg is het geheel deel van
even en we zijn klaar.