Maths Olympiad Prep

Library /

, 2018

Algebra Difficulty 8.1 Shortlist Prove it Romania

The sequence (xn)n2(x_n)_{n \ge 2} is given by
xn=e1/n1e1/n21n. x_n = \frac{e^{1/n} - 1}{e^{1/n^2} - 1} - n.
Prove that limnxn=1/2\lim_{n \to \infty} x_n = 1/2 and compute limnn(xn1/2)\lim_{n \to \infty} n(x_n - 1/2).

Solution

Let us first analyze xnx_n as nn \to \infty.

We use the Taylor expansion for exe^x near x=0x = 0:
ex=1+x+x22+x36+ e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \cdots
So,
e1/n1=1n+12n2+16n3+O(1n4) e^{1/n} - 1 = \frac{1}{n} + \frac{1}{2n^2} + \frac{1}{6n^3} + O\left(\frac{1}{n^4}\right)
e1/n21=1n2+12n4+16n6+O(1n8) e^{1/n^2} - 1 = \frac{1}{n^2} + \frac{1}{2n^4} + \frac{1}{6n^6} + O\left(\frac{1}{n^8}\right)
Therefore,
e1/n1e1/n21=1n+12n2+16n3+O(1n4)1n2+12n4+O(1n6) \frac{e^{1/n} - 1}{e^{1/n^2} - 1} = \frac{\frac{1}{n} + \frac{1}{2n^2} + \frac{1}{6n^3} + O\left(\frac{1}{n^4}\right)}{\frac{1}{n^2} + \frac{1}{2n^4} + O\left(\frac{1}{n^6}\right)}
Divide numerator and denominator by 1/n21/n^2:
=n+12+16n+O(1n2)1+12n2+O(1n4) = \frac{n + \frac{1}{2} + \frac{1}{6n} + O\left(\frac{1}{n^2}\right)}{1 + \frac{1}{2n^2} + O\left(\frac{1}{n^4}\right)}
Now, expand 1/(1+ε)1/(1 + \varepsilon) for small ε\varepsilon:
n+12+16n+O(1n2)1+12n2+O(1n4)=(n+12+16n)(112n2+O(1n4)) \frac{n + \frac{1}{2} + \frac{1}{6n} + O\left(\frac{1}{n^2}\right)}{1 + \frac{1}{2n^2} + O\left(\frac{1}{n^4}\right)} = \left(n + \frac{1}{2} + \frac{1}{6n}\right)\left(1 - \frac{1}{2n^2} + O\left(\frac{1}{n^4}\right)\right)
Multiply out:
=n+12+16nn2n214n2112n3+O(1n2) = n + \frac{1}{2} + \frac{1}{6n} - \frac{n}{2n^2} - \frac{1}{4n^2} - \frac{1}{12n^3} + O\left(\frac{1}{n^2}\right)
=n+12+16n12n14n2112n3+O(1n2) = n + \frac{1}{2} + \frac{1}{6n} - \frac{1}{2n} - \frac{1}{4n^2} - \frac{1}{12n^3} + O\left(\frac{1}{n^2}\right)
Now, xn=e1/n1e1/n21nx_n = \frac{e^{1/n} - 1}{e^{1/n^2} - 1} - n:
xn=12+16n12n14n2112n3+O(1n2) x_n = \frac{1}{2} + \frac{1}{6n} - \frac{1}{2n} - \frac{1}{4n^2} - \frac{1}{12n^3} + O\left(\frac{1}{n^2}\right)
xn=1213n14n2+O(1n2) x_n = \frac{1}{2} - \frac{1}{3n} - \frac{1}{4n^2} + O\left(\frac{1}{n^2}\right)
Therefore,
limnxn=12 \lim_{n \to \infty} x_n = \frac{1}{2}

Now, compute limnn(xn1/2)\lim_{n \to \infty} n(x_n - 1/2):
n(xn1/2)=n(13n14n2+O(1n2))=1314n+O(1n) n(x_n - 1/2) = n\left(-\frac{1}{3n} - \frac{1}{4n^2} + O\left(\frac{1}{n^2}\right)\right) = -\frac{1}{3} - \frac{1}{4n} + O\left(\frac{1}{n}\right)
So,
limnn(xn1/2)=13 \lim_{n \to \infty} n(x_n - 1/2) = -\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 reproduced verbatim; metadata (topic, difficulty) added by this project.