3. Zadatak
Prirodni broj zovemo ljepuškastim ako zbrojen s nekim svojim djeliteljem daje rezultat . Odredi zbroj svih ljepuškastih brojeva.
Dokažimo prvo sljedeću tvrdnju: prirodan broj je ljepuškast ako i samo ako je oblika , gdje je neki djelitelj broja manji od .
Prvo neka je ljepuškast. Tada postoji njegov djelitelj takav da je . Kako dijeli i sebe, dijeli lijevu stranu jednakosti, pa dijeli i desnu. Dakle, se zaista može zapisati kao , gdje je djelitelj od . Očito je , jer inače ne bi bio prirodan broj.
Pretpostavimo sada da se može zapisati kao , gdje je djelitelj broja manji od tog broja. Tada iz jednadžbe slično kao ranije vidimo da dijeli izraze na desnoj strani, pa mora dijeliti i izraz na desnoj strani. Dakle, je djelitelj broja , te vrijedi , što ga čini ljepuškastim brojem.
Kako je svaki ljepuškast broj razlika broja i djelitelja broja , zaključujemo da su
svi ljepuškasti brojevi, pri čemu su svi djelitelji broja manji od njega samog.
Zato traženi zbroj možemo pisati kao
gdje su i broj i zbroj djelitelja broja manjih od .
Općenito, za prirodan broj s jedinstvenim rastavom na proste faktore u obliku
vrijede formule za broj djelitelja i sumu djelitelja (uključujući i kao svojeg djelitelja) redom:
Primjenom tih formula, dobivamo
pa je , te .
Zato je konačno