Let t, k, m be positive integers and t>km. Prove that (02m)+(12m)+⋯+(m−t−12m)<2k22m (proposed by B. Amarsanaa, folklore)
Solution
Lemma. For all integers 0≤t,s≤m such that t+s≤m, (m−t−s2m)(m−s2m)>mt2. Proof of lemma. A=(m−t−s2m)(m−s2m)=(m−s)!(m+s)!(m−t−s)!(m+t+s)!= =((m−t−s+1)(m−t−s+2)…(m−s)(m+t+1)(m+t+2)…(m+t+s))==(1+m−t−s+1t+2s)(1−m−t−s+2t+2s)…(1+m−st+2s). Using the (m−t−s+1)<(m−t−s+2)<⋯<(m−s) and Bernoulli's inequality: A≥(1+m−st+2s)t>1+(m−st+2s)t>mt2. This completes the proof of lemma.
Let us compare the sum (02m)+(12m)+⋯+(m−t−12m) with the sum (t2m)+(t+12m)+⋯+(m−12m)(1). Sum in (1) is clearly less than 222m. t≤[km] implies mt2≤k and we have (m−t−12m)≤21(m−12m) by lemma. Similarly, (m−t−22m)≤k1(m−22m), …, (02m)k1(t2m). Hence we get that, (02m)+(12m)+⋯+(m−t−12m)<k1((t2m)+(02m)+(12m)+⋯+(m−t−12m))<k1((t2m)+(t+12m)+⋯+(m−12m))<2k22m.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.