ai∈{0,1,⋯,p−1} olmak uzeren=a0+a1p+a2p2+⋯+akpk
olarak yazalim. Bu durumda
⌊np⌋=n−a0p=a1+a2p+⋯+akpk−1
olur. Ayni sekilde
2≤i≤k icin
⌊npi⌋=n−(a0+⋯+ai−1pi−1)pi=ai+ai+1p+⋯+akpk−i
olur.
Tum bunlari terim terim toplayalim:
ak(pk−1+pk−2+⋯+p+1)
+ak−1(pk−2+⋯+p+1)
+⋯
+a1
olur.
1+p+⋯+pt=pt+1−1p−1
oldugundan toplamimizi bastan yazarsak toplamin
akpk−1p−1+ak−1pk−1−1p−1+⋯+a2p2−1p−1+a1p−1p−1+a01−1p−1
oldugunu elde ederiz. Paydada
p−1 var ve payi duzenlersek
(akpk+ak−1pk−1+⋯+a0)−(ak+ak−1+⋯+a0)=n−σp(k)
oldugunu elde ederiz.
Bu da istedigimiz sonucu verir.