Možda sam i pogrešio, ali vaš kontraprimer ne odgovara uslovu zadatka. Pošto je n prirodan broj razlomak
ne može imati vrednost
.
Po mojoj proceni:
Neka su
prirodni brojevi i neka važi
tada pod uslovom da je
i
, tj. brojevi p i q su uzajamno prosti, razlomak
nije skrativ ako i samo ako su brojevi a i b uzajamno prosti, tj. ako razlomak
nije skrativ.
Ne bih trenutno znao da to dokažem, ali mi intuitivno deluje tačno, to mi je ideja u ovom rešenju. Mada opet kažem, možda sam i pogrešio.