
Zdravím,
chtěl bych se zeptat, jestli by mi někdo poradil, jak bych měl tohle dokázat? Stačí mi nějaká nápověda, jak začít ten postup. Děkuji
Use mathematical induction to prove that 2 on the power of 𝑛+1 > 𝑛 on the power of 2, for 𝑛 ∈ ℤ, 𝑛 ≥ 3
on the power = na mocninu
Offline
↑ ekonomos629:
Ahoj.
(1) Ukaz, ze tvrzeni [mathjax] 2^{n+1} > n^2 [/mathjax] plati pro [mathjax] n=3 [/mathjax].
(2) Predpokladej, ze pro nejake [mathjax] n\geq 3 [/mathjax] plati [mathjax] 2^{n+1} > n^2 [/mathjax]. S pomoci tohoto predpokladu ukaz, ze je [mathjax] 2^{n+2} > \cdots > (n+1)^{2}. [/mathjax]
Offline

↑ ekonomos629:
Také je možnost porovnat to podílem.
Stačí dokázat, že podíl (2^(n+2))/((n+1)^2)/(2^(n+1))/n^2) je pro n>=3 větší než 1
Po převedení na jednoduchý zlomek se to zjednoduší.
Offline
↑ petrkovar:
Je otázka co považovat za důkaz indukcí, ale toto by šlo jako důkaz indukcí formulovat:
Dokázat
[mathjax] 2^{n+2} > (n+1)^2 [/mathjax], tj. [mathjax] \frac{2^{n+2}}{ (n+1)^2} >1 [/mathjax]
za předpokladu
[mathjax] 2^{n+1} > n^2 [/mathjax], tj. [mathjax] \frac{2^{n+1}}{ n^2} >1 [/mathjax]
A my dokážeme silnější věc a sice:
[mathjax] \frac{2^{n+2}}{ (n+1)^2} > \frac{2^{n+1}}{ n^2} [/mathjax]
protože o posledním zlomku víme že je >1.
Offline
Jinak každý důkaz (kdy pro každé přirozaené číslo dokazujeme nějaké tvrzení) lze formálně vyjádřit jako důkaz indukcí - prostě jen nevyužijeme předpoklad, ale ta implikace formálně platí...
Offline