MAT-INF 1100?

Er ganske ny på induksjonsbevis, men tror jeg løste denne oppgaven tidligere i dag. Er det noen logiske brister eller feil er det flott med tilbakemelding!
Skal vise at [tex]n^5-n[/tex] er delelig på 5 for alle naturlige tall.
Vi sjekker med n=1 og n=2 og ser at dette stemmer.
Generelt har vi da at [tex]k^5-k[/tex] er delelig med fem. Vil da vise at dette gjelder for [tex]n=k+1[/tex]
[tex](k+1)^5-(k+1)[/tex]
Bruker binomialformelen for å gange ut parantesen som er opphøyd i 5:
[tex]k^5+5k^4+10k^3+10k^2+5k+1-(k+1)[/tex]
[tex]k^5+5k^4+10k^3+10k^2+5k+1-k-1[/tex]
Vi ser her at -1 går mot +1, og vi kan skrive:
[tex](k^5-k)+5k^4+10k^3+10k^2+5k[/tex]
Her har jeg flyttet -k slik at det står som andre ledd. Dette leddet kjenner vi igjen fra da vi satte n=k, ([tex]k^5-k[/tex]), og vi vet jo at dette uttrykket er delelig med fem. Som du ser er også alle de andre leddene delelige med 5 og dermed vil jeg tro vi har vist at [tex]n^5-n[/tex] er delelige med alle naturlige tall n.