23 105
editací
m (odskočení šablony, dokonalý důkaz) |
m (fmt) |
||
2. Nyní předpokládejme, že pro <math>k</math> třešní platí, že kolik třešní tolik višní. Musíme dokázat, že to platí i pro <math>k+1</math> třešní.
Vezmeme hromadu všech třešní, kterých bude <math>k+1</math>. Dále vezmeme hromadu všech višní, jestliže jich bude <math>k</math>, potom sníme jednu třešeň a víme z předpokladu, že pro <math>k</math> třešní to platí a důkaz je proveden. Pokud jich bude <math>k+1</math>, důkaz je na stejném principu proveden ihned. Jestliže jich bude <math>k+2</math> a více či <math>k-1</math> a méně, vždy ujíme patřičný počet třešní a višní a dosadíme předpoklad o <math>k</math> třešních.
'''[[Průjem|Q.E.D.]]'''
|