Maths Olympiad Prep

Library / /440 of 520

Number theory Difficulty 6.9 National olympiad Prove it

6. Let xn+yn2=(1+2)nx_{n}+y_{n} \sqrt{2}=(1+\sqrt{2})^{n}. Prove:
(i) yn+1=xn+yn,xn+1=yn+1+yn,n1y_{n+1}=x_{n}+y_{n}, x_{n+1}=y_{n+1}+y_{n}, \quad n \geqslant 1;
(ii) y2n+1=yn+12+yn2,n1y_{2 n+1}=y_{n+1}^{2}+y_{n}^{2}, \quad n \geqslant 1;
(iii) y2n+12y_{2 n+1}^{2} is the sum of the squares of two consecutive natural numbers, find these two natural numbers;
(iv) If x0=1,y0=0x_{0}=1, y_{0}=0, then for nmn \geqslant m,
xnxm2ynym=(1)mxnm,xnymynxm=(1)mynmx_{n} x_{m}-2 y_{n} y_{m}=(-1)^{m} x_{n-m}, \quad x_{n} y_{m}-y_{n} x_{m}=(-1)^{m} y_{n-m}
(v) x2n+1=xn+1xn+2yn+1yn=2xn+1xn+(1)n+1x_{2 n+1}=x_{n+1} x_{n}+2 y_{n+1} y_{n}=2 x_{n+1} x_{n}+(-1)^{n+1},
y2n+1=xn+1yn+yn+1xny_{2 n+1}=x_{n+1} y_{n}+y_{n+1} x_{n}
(vi) 2y2n,2y2n+12 \mid y_{2 n}, 2 \nmid y_{2 n+1};
(vii) For n>1n>1, xnx_{n} is not a perfect square.

Solution

6. (i) It can be deduced from xn+1+yn+12=(xn+yn2)(1+2)x_{n+1}+y_{n+1} \sqrt{2}=\left(x_{n}+y_{n} \sqrt{2}\right)(1+\sqrt{2}).
(ii) It follows from x2n+1+y2n+12=(xn+yn2)(xn+1+yn+12)x_{2 n+1}+y_{2 n+1} \sqrt{2}=\left(x_{n}+y_{n} \sqrt{2}\right)\left(x_{n+1}+y_{n+1} \sqrt{2}\right) and (i).
(iii) 1+21+\sqrt{2} is the smallest positive solution of u22v2=1u^{2}-2 v^{2}=-1, and the general solution is (u+v2)2n+1(u+v \sqrt{2})^{2 n+1}. On the other hand, from problem 4, we know that v2=((u+1)/2)2+((u1)/2)2v^{2}=((u+1) / 2)^{2}+((u-1) / 2)^{2}, thus
y2n+12=((x2n+1+1)/2)2+((x2n+11)/2)2y_{2 n+1}^{2}=\left(\left(x_{2 n+1}+1\right) / 2\right)^{2}+\left(\left(x_{2 n+1}-1\right) / 2\right)^{2}
(iv) Using xm22ym2=(1)mx_{m}^{2}-2 y_{m}^{2}=(-1)^{m}, and (xn+yn2)=(xm+ym2)(xnm+ynm2)\left(x_{n}+y_{n} \sqrt{2}\right)=\left(x_{m}+y_{m} \sqrt{2}\right)\left(x_{n-m}+y_{n-m} \sqrt{2}\right) to deduce.
(v) It follows from x2n+1+y2n+12=(xn+1+yn+12)(xn+yn2)x_{2 n+1}+y_{2 n+1} \sqrt{2}=\left(x_{n+1}+y_{n+1} \sqrt{2}\right)\left(x_{n}+y_{n} \sqrt{2}\right) and (iv).
(vi) From x2n+y2n2=(xn+yn2)2x_{2 n}+y_{2 n} \sqrt{2}=\left(x_{n}+y_{n} \sqrt{2}\right)^{2}, deduce that y2n=2xnyny_{2 n}=2 x_{n} y_{n}, and then use this and (ii) to deduce the desired conclusion. This can also be seen directly from the binomial expansion, and it is always true that 2xn2 \nmid x_{n}.
(vii) From xn22yn2=(1)nx_{n}^{2}-2 y_{n}^{2}=(-1)^{n}, it is known that to prove u42v2=±1u^{4}-2 v^{2}= \pm 1, there are no other positive integer solutions except u=v=1u=v=1. u42v2=1u^{4}-2 v^{2}=1 can be rewritten as (u21)(u2+1)=2v2\left(u^{2}-1\right)\left(u^{2}+1\right)=2 v^{2}, which clearly has no positive integer solutions. u42v2=1u^{4}-2 v^{2}=-1 can be rewritten as u4+(v21)2=v4u^{4}+\left(v^{2}-1\right)^{2}=v^{4}, and from problem 15 of the second chapter, it is deduced that it has no other positive integer solutions except u=v=1u=v=1.

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.