DommY je napisao:(Neznam kako se pisu potencije?)
Objašnjeno je u
uputstvu za Latex. Nema veze, ispravio sam ti.
[dispmath]17\;|\;3\cdot 5^{2n+1}+2^{3n+1}[/dispmath]
[inlmath]1^\circ\quad[/inlmath]Prvo dokazujemo tvrdnju za [inlmath]n=1[/inlmath]:
[dispmath]17\;|\;3\cdot 5^{2\cdot 1+1}+2^{3\cdot 1+1}[/dispmath]
[dispmath]17\;|\;3\cdot 5^3+2^4[/dispmath]
[dispmath]17\;|\;3\cdot 125+16[/dispmath]
[dispmath]17\;|\;375+16[/dispmath]
[dispmath]17\;|\;391[/dispmath]
što predstavlja tačnu tvrdnju.
[inlmath]2^\circ\quad[/inlmath]Induktivna pretpostavka za [inlmath]n=k[/inlmath]:
[dispmath]17\;|\;3\cdot 5^{2k+1}+2^{3k+1}[/dispmath]
[inlmath]3^\circ\quad[/inlmath]Sada dokazujemo da, pod pretpostavkom da tvrdnja važi za [inlmath]n=k[/inlmath] tada važi i za [inlmath]n=k+1[/inlmath]:
[dispmath]17\;|\;3\cdot 5^{2\left(k+1\right)+1}+2^{3\left(k+1\right)+1}[/dispmath]
[dispmath]17\;|\;3\cdot 5^{2k+3}+2^{3k+4}[/dispmath]
[dispmath]17\;|\;3\cdot 5^{2+2k+1}+2^{3+3k+1}[/dispmath]
[dispmath]17\;|\;3\cdot 5^2\cdot 5^{2k+1}+2^3\cdot 2^{3k+1}[/dispmath]
[dispmath]17\;|\;3\cdot 25\cdot 5^{2k+1}+8\cdot 2^{3k+1}[/dispmath]
[dispmath]17\;|\;3\cdot\left(8+17\right)\cdot 5^{2k+1}+8\cdot 2^{3k+1}[/dispmath]
[dispmath]17\;|\;3\cdot 8\cdot 5^{2k+1}+8\cdot 2^{3k+1}+3\cdot 17\cdot 5^{2k+1}[/dispmath]
[dispmath]17\;|\;8\left(3\cdot 5^{2k+1}+2^{3k+1}\right)+3\cdot 17\cdot 5^{2k+1}[/dispmath]
Izraz u zagradi [inlmath]\left(3\cdot 5^{2k+1}+2^{3k+1}\right)[/inlmath] deljiv je sa [inlmath]17[/inlmath] po indukcijskoj pretpostavci, pa je i ceo prvi sabirak deljiv sa [inlmath]17[/inlmath]. Drugi sabirak je, takođe, deljiv sa [inlmath]17[/inlmath] jer je jedan njegov faktor [inlmath]17[/inlmath], tako da je i njihov zbir deljiv sa [inlmath]17[/inlmath], čime je tvrdnja dokazana.