Maths Olympiad Prep

Library / /211 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Let n4 n \geq 4 be an integer. Find all positive real solutions to the following system of 2n 2 n equations:
a1=1a2n+1a2,a2=a1+a3,a3=1a2+1a4,a4=a3+a5,a5=1a4+1a6,a6=a5+a7,a2n1=1a2n2+1a2n,a2n=a2n1+a1. \begin{array}{rlrl} a_{1} & =\frac{1}{a_{2 n}}+\frac{1}{a_{2}}, & a_{2} & =a_{1}+a_{3}, \\ a_{3} & =\frac{1}{a_{2}}+\frac{1}{a_{4}}, & a_{4} & =a_{3}+a_{5}, \\ a_{5} & =\frac{1}{a_{4}}+\frac{1}{a_{6}}, & a_{6} & =a_{5}+a_{7}, \\ & \vdots & \vdots \\ a_{2 n-1} & =\frac{1}{a_{2 n-2}}+\frac{1}{a_{2 n}}, & a_{2 n} & =a_{2 n-1}+a_{1} . \end{array}

Solution

We will prove a2ka_{2 k} is a constant sequence, at which point the result is obvious. \ First approach (Andrew Gu). Apparently, with indices modulo 2n, we should have
a2k=1a2k2+2a2k+1a2k+2 a_{2 k}=\frac{1}{a_{2 k-2}}+\frac{2}{a_{2 k}}+\frac{1}{a_{2 k+2}}
for every index kk (this eliminates all aodda_{\text{odd}}'s). Define
m=minka2kandM=maxka2k m=\min _{k} a_{2 k} \quad \text{and} \quad M=\max _{k} a_{2 k}
Look at the indices ii and jj achieving mm and MM to respectively get
m=2m+1a2i2+1a2i+22m+1M+1M=2m+2MM=2M+1a2j2+1a2j+22M+1m+1m=2m+2M \begin{aligned} & m=\frac{2}{m}+\frac{1}{a_{2 i-2}}+\frac{1}{a_{2 i+2}} \geq \frac{2}{m}+\frac{1}{M}+\frac{1}{M}=\frac{2}{m}+\frac{2}{M} \\ & M=\frac{2}{M}+\frac{1}{a_{2 j-2}}+\frac{1}{a_{2 j+2}} \leq \frac{2}{M}+\frac{1}{m}+\frac{1}{m}=\frac{2}{m}+\frac{2}{M} \end{aligned}
Together this gives mMm \geq M, so m=Mm=M. That means a2ia_{2 i} is constant as ii varies, solving the problem.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.