On sait que la fonction recherchée est une fonction affine (sinon le problème n'a pas de sens) et on connaît deux antécédents et leurs images par cette fonction. Il s'agit de déterminer la fonction affine.
Cette démonstration classique s'appuie sur un raisonnement par l’absurde. On pose une hypothèse comme vraie au départ et on démontre que cette hypothèse ne peut pas être vraie ce qui aboutit à une contradiction.