-Da li tvrđenje T(n): 1+2+3+...+n=(1/2)*(2n3-11n2+23n-12) važi za svako nєN?
Kada bi proverili za nє{1,2,3) bilo bi tačno( uveriti se). To bi nam dalo lažnu sliku, jer već za n=4 nije. Ovo tvrđenje možemo popraviti i bez matematičke indukcije, jer primećujemo da je zbir prvog i poslednjeg sabirka=zbiru drugog od napred i drugog od pozadi i td. Ali šta ako je stvar komplikovanija? Princip matematičke indukcije( nema dokaz): Ako je tvrđenje T(n) tačno za n=1(ili za neki početni-bazni broj iz N) i ako iz uslova T(k)..Tp => T(k+1)......T, onda je tvrđenje T(n) tačno za svaki prirodan broj (Tp-tačno po pretpostaci za neko k iz N).
Primeri: 1)Dokazati jednakost: a) 1+2+3+…+n=n(n+1)/2 ( za sako prirodno n) …
Rešenje: Za n=1=> 1=1(1+1)/2 (T) , neka je 1+2+3+…+k=k(k+1)/2 (TP) – dokažimo tačnost za T(k+1). Zaista, 1+2+3+…+k+(k+1)=k(k+1)/2 +(k+1)=(k+1)(k+2)/2 što je T(k+1)… Recimo zbir prvih 1000 prirodnih brojeva bi bio jednak 1000*1001/2. b) 1+3+5+...+(2n-1)=n² # Zaista: za n=1⇒1=12(T), za n=k⇒1+3+5+...+(2k-1)=k²(TP), za n=k+1⇒1+3+5+…+(2k-1)+(2(k+1)-1)=k2+(2k+1)=(k+1)2. 2)Dokazati nejednakost 2n>n # Zaista, 21>1(T), neka je 2k>k⇒2k+1=2*2k>2k>k+1. 3) Dokayati da je n3-n deljivo sa 6 # Zaista: 13-1=0(T), neka je k3-k=6A⇒(k+1)3- (k+1)=k3+3k2+2k=(k3-k)+3k(k+1)=6A+3*2B=6(A+B). 4) Dokazati sin1+sin2+sin3+…+sin(n) =1/sin(1/2) *sin(n/2)*sin((n+1)/2) # Zaista: sin1=1/sin(1/2) *sin(1/2)*sin(2/2) (T), neka je sin1+sin2+sin3+…+sin(k) =1/sin(1/2) *sin(k/2)*sin((k+1)/2)⇒ sin1+sin2+sin3+…+sin(k)+sin(k+1) =1/sin(1/2) *sin(k/2)*sin((k+1)/2)+sin(k+1)= 1/sin(1/2) *sin(k/2)*sin((k+1)/2)+2sin((k+1)/2)*cos((k+1)/2)= 1/sin(1/2) * sin((k+1)/2)*sin((k+2)/2).
Domaći zadatak: 1)Dokazati: a) 12+22+32+ ... +n2=n(n+1)(2n+1)/6 #
1 2 3 n 3 2 n+3 b) 13+23+33+ ... +n3=(n(n+1)/2)2 # c) 3 + 2 + 3 +…+ n = 4 − , # d) 3 3 3 4∗3n n n n ( n+1 ) (n+ 2) ∑ k ( k +1 )= , # e)∑ 1 = n , # f) 2n>n2 za n>4. 1 3 1 k (k +1) n+1 2)Dokazati deljivost: a) 17/ 3*52n+1+23n+1 , # b) 133/ 11n+2+122n+1 , # c) 5/ 6n-5n+4 , # d) 9/ n3+(n+1)3+(n+2)3.