MATEMANIJA

Ako je [inlmath]n[/inlmath] prirodan broj, dokazati [inlmath]120\mid n^5-5n^3+4n[/inlmath].

Ne znam koji je postupak za ovaj tip dokazivanja pa ću postaviti dokaz za [inlmath]P(1)[/inlmath] pošto jedino to znam za sada. Što se indukcije tiče radio sam samo primere sa dokazivanjem za beskonačne nizove.
[dispmath]120\mid1^5-5^3+4\\
120\mid1-125+4\\
120\mid-120\quad\top[/dispmath]

Sad sam pronašao ovu temu na Internetu (konačno) i shvatio je postupak gotovo identičan, pokušaću sam da rešim pa se javljam u svakom slučaju (za sada neka stoji tema, hoću da pokušam da sam dođem do rešenja)

Stigao sam do ovde:
[dispmath]n=k\quad k^5-5k^3+4k=120m\quad m\in\mathbb{N}\\
n=k+1\quad(k+1)^5-5(k+1)^3+4(k+1)=\\
k^5+5k^5+5k+1-5\left(k^3+3k^3+3k+1\right)+4k+4=\\
6k^5+5k+1-5k^3-15k^3-15k-5+4k+4=\\
6k^5-20k^3-6k[/dispmath]

Verovatno si po analogiji sa [inlmath](k+1)^3[/inlmath] razvio [inlmath](k+1)^5=k^5+5k^5+5k+1[/inlmath] što nije tačno. Razvij ovo po formuli za razvoj binoma, pa ako bude dalje problema, reci pa da radimo.

U pravu si - ni prvo ni drugo nije bilo tačno. Sad sam uradio oba (stavljam ceo postupak da bi se videlo odmah ako sam negde omeo):
[dispmath](k+1)^2\cdot(k+1)=\\
\left(k^2+2k+1\right)\cdot(k+1)=\\
k^3+k^2+2k^2+2k+k+1=\\
k^3+3k^2+3k+1[/dispmath][dispmath](k+1)^2\cdot(k+1)^2\cdot(k+1)=\\
\left(k^2+2k+1\right)\cdot\left(k^2+2k+1\right)\cdot(k+1)=\\
\left(k^4+2k^3+k^2+2k^3+4k^2+2k+k^2+2k+1\right)\cdot(k+1)=\\
\left(k^4+4k^3+6k^2+4k+1\right)\cdot(k+1)=\\
k^5+k^4+4k^4+4k^3+6k^3+6k^2+4k^2+4k+k+1=\\
k^5+5k^4+10k^3+10k^2+5k+1[/dispmath] I kad to ubacim u zadatak:
[dispmath]k^5+5k^4+10k^3+10k^2+5k+1-5\left(k^3+3k^2+3k+1\right)+4k+4=\\
k^5+5k^4+10k^3+10k^2+5k+1-5k^3-15k^2-15k-5+4k+4=\\
k^5+5k^4+5k^3-5k^2-16k[/dispmath] Uočavam šablon ([inlmath]k^5[/inlmath] i [inlmath]16k[/inlmath]), samo ne znam kako da to sada transformišem da bih dokazao deljivost.

Ja bih istakao da postoji greška u dokazivanju baznog slučaja [inlmath]n=1[/inlmath].

nikola011 je napisao:[dispmath]120\mid1^5-{\color{red}5^3}+4[/dispmath]

Trebalo bi da bude:
[dispmath]120\mid1^5-5\cdot{\color{blue}1^3}+4\\
120\mid0[/dispmath]
Takođe, mislim da se mogao izbeći dokaz pomoću indukcije tako što bismo razložili [inlmath]n^5-5n^3+4n[/inlmath] na faktore. Kako je [inlmath]120=2\cdot3\cdot4\cdot5[/inlmath], treba dokazati da je početni izraz deljiv sa [inlmath]2[/inlmath], [inlmath]3[/inlmath], [inlmath]4[/inlmath] i [inlmath]5[/inlmath].
[dispmath]n^5-5n^3+4n=n\left(n^4-5n^2+4\right)[/dispmath] Uvodimo smenu [inlmath]t=n^2[/inlmath] pa izraz u zagradi postaje:
[dispmath]t^2-5t+4=(t-4)(t-1)[/dispmath] Odnosno:
[dispmath]\left(n^2-4\right)\left(n^2-1\right)=(n-2)(n+2)(n-1)(n+1)[/dispmath] Uz malo premeštanja početni izraz postaje:
[dispmath]n^5-5n^3+4n=(n-2)(n-1)n(n+1)(n+2)[/dispmath] Što predstavlja proizvod pet uzastopnih prirodnih brojeva koji je zasigurno deljiv sa [inlmath]2[/inlmath], [inlmath]3[/inlmath], [inlmath]4[/inlmath] i [inlmath]5[/inlmath], a samim tim i sa [inlmath]120[/inlmath].

@Corba248, hvala na ispravci. Problem je što ne smem da izbegavam dokaz preko indukcije, ovo je za pismeni

U poslednjem koraku si napravio gresku. Ako pogledamo koeficijente uz [inlmath]k[/inlmath]:
[dispmath]+5k-15k+4k=-6k[/dispmath] a ne [inlmath]-16k[/inlmath] kao što si napisao.

To je to - greškom sam dodao minus pišući uporedo ovde i u svesci.

Kako sad to da iskoristim za dokaz?

Čini mi se da si zaboravio da po indukcijskoj pretpostavci važi [inlmath]k^5-5k^3+4k=120m\quad m\in\mathbb{N}[/inlmath]. Onda bi dobio:
[dispmath]k^5+5k^4+5k^3-5k^2-6k=\underbrace{k^5-5k^3+4k}_{120m}+5k^4+10k^3-5k^2-10k=\\
=120m+5k^4+10k^3-5k^2-10k=120m+5k\left(k^3+2k^2-k-2\right)[/dispmath] Ovo u zagradi se lako može razložiti ukoliko uočiš da je [inlmath]k+2[/inlmath] zajednički faktor, a može i preko Bezuovog stava. Dakle, nakon razlaganja dobijamo:
[dispmath]120m+5(k-1)k(k+1)(k+2)[/dispmath] Odnosno, pored [inlmath]120m[/inlmath] imamo proizvod četiri uzastopna prirodna broja i petice, što je zasigurno deljivo sa [inlmath]120[/inlmath].