Maths Olympiad Prep

Library / /81 of 120

Algebra Difficulty 5.6 AIME, harder Prove it Saudi Arabia

Let nn be a positive integer. Prove that at least one of the integers
[2n2],[2n+12],,[22n2] \left[2^{n} \cdot \sqrt{2}\right],\left[2^{n+1} \cdot \sqrt{2}\right], \ldots,\left[2^{2 n} \cdot \sqrt{2}\right]
is even, where [a][a] denotes the integer part of aa.

Solution

Assume by contradiction that all integers are odd. Then, we have
2a1<2n2<2a 2a-1 < 2^{n} \sqrt{2} < 2a
for some positive integer aa. Multiplying inequalities (1) by 22, we get 4a2<2n+12<4a4a-2 < 2^{n+1} \sqrt{2} < 4a. Since the integer [2n+12]\left[2^{n+1} \sqrt{2}\right] is odd, it follows
4a1<2n+12<4a. 4a-1 < 2^{n+1} \sqrt{2} < 4a.
In analogous way, after nn steps, we get
2n+1a1<22n2<2n+1a 2^{n+1} a - 1 < 2^{2n} \sqrt{2} < 2^{n+1} a
From the left inequality above it follows
a2n12<12n+1 a - 2^{n-1} \sqrt{2} < \frac{1}{2^{n+1}}
hence
a222n1a+2n12<12n+1 \frac{a^{2} - 2^{2n-1}}{a + 2^{n-1} \sqrt{2}} < \frac{1}{2^{n+1}}
From the right inequality in the first step we have 2a>2n22a > 2^{n} \sqrt{2} hence a2>22n1a^{2} > 2^{2n-1}, that is a222n11a^{2} - 2^{2n-1} \geq 1. Using this inequality, from above it follows
1a+2n12<12n+1 \frac{1}{a + 2^{n-1} \sqrt{2}} < \frac{1}{2^{n+1}}
hence
2n+1<2n12+a<2n12+12(2n2+1) 2^{n+1} < 2^{n-1} \sqrt{2} + a < 2^{n-1} \sqrt{2} + \frac{1}{2} (2^{n} \sqrt{2} + 1)
From this we get 2n+2<2n+12+12^{n+2} < 2^{n+1} \sqrt{2} + 1, that is
2<2+12n+1<32+12=2 2 < \sqrt{2} + \frac{1}{2^{n+1}} < \frac{3}{2} + \frac{1}{2} = 2
contradiction.

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 and solution reproduced as published; topic and difficulty added by this site.