Maths Olympiad Prep

Library / /13 of 14

Algebra Difficulty 9.0 IMO level Prove it IMO

Let nn be a positive integer and let a1,,an1a_{1}, \ldots, a_{n-1} be arbitrary real numbers. Define the sequences u0,,unu_{0}, \ldots, u_{n} and v0,,vnv_{0}, \ldots, v_{n} inductively by u0=u1=v0=1u_{0}=u_{1}=v_{0}=1, and
uk+1=uk+akuk1,vk+1=vk+ankvk1 for k=1,,n1. u_{k+1}=u_{k}+a_{k} u_{k-1}, \quad v_{k+1}=v_{k}+a_{n-k} v_{k-1} \quad \text{ for } k=1, \ldots, n-1 .
Prove that un=vnu_{n}=v_{n}.

Solution

We prove by induction on kk that
uk=0<i1<<it<kij+1ij2ai1ait \begin{equation*} u_{k}=\sum_{\substack{0<i_{1}<\ldots<i_{t}<k \\ i_{j+1}-i_{j} \geqslant 2}} a_{i_{1}} \ldots a_{i_{t}} \tag{1}\end{equation*}
Note that we have one trivial summand equal to 1 (which corresponds to t=0t=0 and the empty sequence, whose product is 1).
For k=0,1k=0,1 the sum on the right-hand side only contains the empty product, so (1) holds due to u0=u1=1u_{0}=u_{1}=1. For k1k \geqslant 1, assuming the result is true for 0,1,,k0,1, \ldots, k, we have
uk+1=0<i1<<it<k,ij+1ij2ai1ait+0<i1<<it<k1,ij+1ij2ai1aitak=0<i1<<it<k+1,ij+1ij2,k{i1,,it}ai1ait+0<i1<<it<k+1,ij+1ij2,k{i1,,it}ai1ait=0<i1<<it<k+1,ij+1ij2ai1ait, \begin{aligned} u_{k+1} & =\sum_{\substack{0<i_{1}<\ldots<i_{t}<k, i_{j+1}-i_{j} \geqslant 2}} a_{i_{1}} \ldots a_{i_{t}}+\sum_{\substack{0<i_{1}<\ldots<i_{t}<k-1, i_{j+1}-i_{j} \geqslant 2}} a_{i_{1}} \ldots a_{i_{t}} \cdot a_{k} \\ & =\sum_{\substack{0<i_{1}<\ldots<i_{t}<k+1, i_{j+1}-i_{j} \geqslant 2, k \notin\left\{i_{1}, \ldots, i_{t}\right\}}} a_{i_{1}} \ldots a_{i_{t}}+\sum_{\substack{0<i_{1}<\ldots<i_{t}<k+1, i_{j+1}-i_{j} \geqslant 2, k \in\left\{i_{1}, \ldots, i_{t}\right\}}} a_{i_{1}} \ldots a_{i_{t}} \\ & =\sum_{\substack{0<i_{1}<\ldots<i_{t}<k+1, i_{j+1}-i_{j} \geqslant 2}} a_{i_{1}} \ldots a_{i_{t}},\end{aligned}
as required.
Applying (1) to the sequence b1,,bnb_{1}, \ldots, b_{n} given by bk=ankb_{k}=a_{n-k} for 1kn1 \leqslant k \leqslant n, we get
vk=0<i1<<it<kij+1ij2bi1bit=n>i1>>it>nkijij+12ai1ait \begin{equation*} v_{k}=\sum_{\substack{0<i_{1}<\ldots<i_{t}<k \\ i_{j+1}-i_{j} \geqslant 2}} b_{i_{1}} \ldots b_{i_{t}}=\sum_{\substack{n>i_{1}>\ldots>i_{t}>n-k \\ i_{j}-i_{j+1} \geqslant 2}} a_{i_{1}} \ldots a_{i_{t}} \tag{2}\end{equation*}
For k=nk=n the expressions (1) and (2) coincide, so indeed un=vnu_{n}=v_{n}.

Solution 2:
Define recursively a sequence of multivariate polynomials by
P0=P1=1,Pk+1(x1,,xk)=Pk(x1,,xk1)+xkPk1(x1,,xk2), P_{0}=P_{1}=1, \quad P_{k+1}\left(x_{1}, \ldots, x_{k}\right)=P_{k}\left(x_{1}, \ldots, x_{k-1}\right)+x_{k} P_{k-1}\left(x_{1}, \ldots, x_{k-2}\right),
so PnP_{n} is a polynomial in n1n-1 variables for each n1n \geqslant 1. Two easy inductive arguments show that
un=Pn(a1,,an1),vn=Pn(an1,,a1) u_{n}=P_{n}\left(a_{1}, \ldots, a_{n-1}\right), \quad v_{n}=P_{n}\left(a_{n-1}, \ldots, a_{1}\right)
so we need to prove Pn(x1,,xn1)=Pn(xn1,,x1)P_{n}\left(x_{1}, \ldots, x_{n-1}\right)=P_{n}\left(x_{n-1}, \ldots, x_{1}\right) for every positive integer nn. The cases n=1,2n=1,2 are trivial, and the cases n=3,4n=3,4 follow from P3(x,y)=1+x+yP_{3}(x, y)=1+x+y and P4(x,y,z)=1+x+y+z+xzP_{4}(x, y, z)= 1+x+y+z+x z.
Now we proceed by induction, assuming that n5n \geqslant 5 and the claim hold for all smaller cases. Using F(a,b)F(a, b) as an abbreviation for Pab+1(xa,,xb)P_{|a-b|+1}\left(x_{a}, \ldots, x_{b}\right) (where the indices a,,ba, \ldots, b can be either in increasing or decreasing order),
F(n,1)=F(n,2)+x1F(n,3)=F(2,n)+x1F(3,n)=(F(2,n1)+xnF(2,n2))+x1(F(3,n1)+xnF(3,n2))=(F(n1,2)+x1F(n1,3))+xn(F(n2,2)+x1F(n2,3))=F(n1,1)+xnF(n2,1)=F(1,n1)+xnF(1,n2)=F(1,n) \begin{aligned} F(n, 1) & =F(n, 2)+x_{1} F(n, 3)=F(2, n)+x_{1} F(3, n) \\ & =\left(F(2, n-1)+x_{n} F(2, n-2)\right)+x_{1}\left(F(3, n-1)+x_{n} F(3, n-2)\right) \\ & =\left(F(n-1,2)+x_{1} F(n-1,3)\right)+x_{n}\left(F(n-2,2)+x_{1} F(n-2,3)\right) \\ & =F(n-1,1)+x_{n} F(n-2,1)=F(1, n-1)+x_{n} F(1, n-2) \\ & =F(1, n) \end{aligned}
as we wished to show.

Solution 3:
Using matrix notation, we can rewrite the recurrence relation as
(uk+1uk+1uk)=(uk+akuk1akuk1)=(1+akakakak)(ukukuk1) \binom{u_{k+1}}{u_{k+1}-u_{k}}=\binom{u_{k}+a_{k} u_{k-1}}{a_{k} u_{k-1}}=\left(\begin{array}{cc} 1+a_{k} & -a_{k} \\ a_{k} & -a_{k} \end{array}\right)\binom{u_{k}}{u_{k}-u_{k-1}}
for 1kn11 \leqslant k \leqslant n-1, and similarly
(vk+1;vkvk+1)=(vk+ankvk1;ankvk1)=(vk;vk1vk)(1+ankankankank) \left(v_{k+1} ; v_{k}-v_{k+1}\right)=\left(v_{k}+a_{n-k} v_{k-1} ;-a_{n-k} v_{k-1}\right)=\left(v_{k} ; v_{k-1}-v_{k}\right)\left(\begin{array}{cl} 1+a_{n-k} & -a_{n-k} \\ a_{n-k} & -a_{n-k} \end{array}\right)
for 1kn11 \leqslant k \leqslant n-1. Hence, introducing the 2×22 \times 2 matrices Ak=(1+akakakak)A_{k}=\left(\begin{array}{cl}1+a_{k} & -a_{k} \\ a_{k} & -a_{k}\end{array}\right) we have
(uk+1uk+1uk)=Ak(ukukuk1) and (vk+1;vkvk+1)=(vk;vk1vk)Ank. \binom{u_{k+1}}{u_{k+1}-u_{k}}=A_{k}\binom{u_{k}}{u_{k}-u_{k-1}} \quad \text{ and } \quad\left(v_{k+1} ; v_{k}-v_{k+1}\right)=\left(v_{k} ; v_{k-1}-v_{k}\right) A_{n-k} .
for 1kn11 \leqslant k \leqslant n-1. Since (u1u1u0)=(10)\binom{u_{1}}{u_{1}-u_{0}}=\binom{1}{0} and (v1;v0v1)=(1;0)\left(v_{1} ; v_{0}-v_{1}\right)=(1 ; 0), we get
(ununun1)=An1An2A1(10) and (vn;vn1vn)=(1;0)An1An2A1. \binom{u_{n}}{u_{n}-u_{n-1}}=A_{n-1} A_{n-2} \cdots A_{1} \cdot\binom{1}{0} \quad \text{ and } \quad\left(v_{n} ; v_{n-1}-v_{n}\right)=(1 ; 0) \cdot A_{n-1} A_{n-2} \cdots A_{1} .
It follows that
(un)=(1;0)(ununun1)=(1;0)An1An2A1(10)=(vn;vn1vn)(10)=(vn). \left(u_{n}\right)=(1 ; 0)\binom{u_{n}}{u_{n}-u_{n-1}}=(1 ; 0) \cdot A_{n-1} A_{n-2} \cdots A_{1} \cdot\binom{1}{0}=\left(v_{n} ; v_{n-1}-v_{n}\right)\binom{1}{0}=\left(v_{n}\right) .

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.