Tümevarım ile yapmayı deneyin mi?
n5−n=n(n4−1).0,1,2,3,4 için yani sayıların mod5 deki değerleri için n4−1 in mod5 de neye eşit olduğuna bakabilirsin.
n5−n=n(n−1)(n+1)(n2+1) şeklinde yazabiliriz. 5 sayısının n,(n−1) ve (n+1)'i tam bölmediğini kabul edelim. n≠5kn≠5k+1n≠5k+4 Geriye n=5k+2 ve n=5k+3 olduğu durumları incelemek kaldı. n2+1=(5k±2)2+1=25k2±20k+4+1⏟5 olduğundan n2+1 sayısı 5'e bölünür. Dolayısıyla her n pozitif tamsayısı için 5∣n5−n olur.
n=1 için önermenin doğru olduğu barizdir. n=k için k5−k=5p olacak şekilde bir p tamsayısı vardır. O halde n=k+1 için de böyle bir tamsayı bulunmalıdır. (k+1)5−(k+1)=k5+5k4+10k3+10k2+5k+1−(k+1) =(k5−k)⏟5p+5(k4+2k3+2k2+k) Olduğundan her n pozitif tamsayısı için 5∣n5−n'dir.