Maths Olympiad Prep

Library / /97 of 120

Algebra Difficulty 6.0 National olympiad Prove it Saudi Arabia

Let fn=22n+1f_{n} = 2^{2^{n}} + 1, n=1,2,3,n = 1, 2, 3, \ldots, be the Fermat's numbers. Find the least real number CC such that
1f1+2f2+22f3++2n1fn<C \frac{1}{f_{1}} + \frac{2}{f_{2}} + \frac{2^{2}}{f_{3}} + \ldots + \frac{2^{n-1}}{f_{n}} < C
for all positive integers nn.

Solution

We have for k=1,2,k = 1, 2, \ldots
22k+11=(22k)21=(22k1)(22k+1), 2^{2^{k+1}} - 1 = \left(2^{2^{k}}\right)^{2} - 1 = \left(2^{2^{k}} - 1\right)\left(2^{2^{k}} + 1\right),
hence we get
122k+11=12(122k1122k+1) \frac{1}{2^{2^{k+1}} - 1} = \frac{1}{2} \left( \frac{1}{2^{2^{k}} - 1} - \frac{1}{2^{2^{k}} + 1} \right)
It follows
1fk=1xk2xk+1,k=1,2, \begin{equation*} \frac{1}{f_{k}} = \frac{1}{x_{k}} - \frac{2}{x_{k+1}}, \quad k = 1, 2, \ldots \tag{1} \end{equation*}
where xk=22k1x_{k} = 2^{2^{k}} - 1. From (1) we get for n=1,2,n = 1, 2, \ldots
1f1+2f2+22f3++2n1fn=1x12nxn+1=132nxn+1 \begin{equation*} \frac{1}{f_{1}} + \frac{2}{f_{2}} + \frac{2^{2}}{f_{3}} + \ldots + \frac{2^{n-1}}{f_{n}} = \frac{1}{x_{1}} - \frac{2^{n}}{x_{n+1}} = \frac{1}{3} - \frac{2^{n}}{x_{n+1}} \tag{2} \end{equation*}
From (2) it follows
1f1+2f2+22f3++2n1fn<13 \frac{1}{f_{1}} + \frac{2}{f_{2}} + \frac{2^{2}}{f_{3}} + \ldots + \frac{2^{n-1}}{f_{n}} < \frac{1}{3}
for all positive integers nn. Since
limn2nxn+1=limn2n22n+11=limtt22t1=0 \lim_{n \rightarrow \infty} \frac{2^{n}}{x_{n+1}} = \lim_{n \rightarrow \infty} \frac{2^{n}}{2^{2^{n+1}} - 1} = \lim_{t \rightarrow \infty} \frac{t}{2^{2t} - 1} = 0
we obtain that the least real number CC with the desired property is C=13C = \frac{1}{3}.

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.