Let $P_{1}(x)=x^{2}-2$ and $P_{j}(x)=P_{1}(P_{j-1}(x))$ for j$=2,\ldots$ Prove that for any positive integer n the roots of the equation $P_{n}(x)=x$ are all real and distinct.
Problem
Source: IMO ShortList, Finland 1, IMO 1976, Day 1, Problem 2
Tags: algebra, polynomial, recurrence relation, roots, IMO, chebyshev polynomial, imo 1976
27.04.2008 21:54
Solution. Clearly, $ P_n(x)>P_{n-1}(x)\ \forall n>1, x\in\mathbb{R}$. If $ x\notin [-2,2]$, $ P_n(x)>x$. Therefore, all real solutons of $ P_n(x)=x$ are in $ [-2,2]$. Notice that $ P_n(x)=x$ has at most $ 2^n$ real roots. Let $ x=2\cos t$, Then it follows that $ P_n(x)=2\cos 2^nt$. It follows that $ P_n(x)=x\iff \cos 2^nt=\cos t\iff 2^nt=2\pi k+t\iff t=\frac{2\pi k}{2^n-1},$ where $ k=0,1,\hdots, 2^n-1$. And the conclusion follows. $ \Box$ Motivation. Consider the Chebyshev function $ T_n(x)$ and $ 2T_n\left(\frac{x}{2}\right)$.
10.01.2015 15:48
Also we can use $x=y+\frac{1}{y}$
09.07.2015 15:23
My solution: We have that a square plus 2=x. Subtracting 2 and square rooting we get another expression $=\pm \sqrt{2+x}$ If we keep on doing this we will get 2^n solutions. Now substitute x on the LHS for in the fractions an infinite number of times. To prove that all of these are real, we need to show that 2-the expression>0, but the expression is trivially <2
07.04.2021 07:47
Can anyone write the solution in more elaborative way the above solution is pretty good but I am unable to track down the whole thing. Would be helpful for me. Thanks in advance.
21.04.2023 06:32
$\textbf{\textcolor{red}{Claim:-}}$ all real roots of $P_{n}(x)=x$ lies in $[-2,2]$ $\textbf{\textcolor{blue}{Proof:-}}$ clearly through induction we can show that $p_{n}(x)>x$ $\forall$ $x>2$ and for $x<-2$ we have $P_{n}(x)>2$ $\forall$ $n$ hence we have al roots of $P_{n}(x)=x$ lies in [$-2,2]$ as claim follows $\square$ now we substitute $x=2\cos{\theta}$ , we have $P_{1}(x)=2\cos{2\theta}$ from again induction we have $P_{n}(x)=2\cos{2^{n}\theta}$ so we need to solve $\cos{2^{n}\theta}=\cos{\theta}\implies 2^{n}\theta= 2\pi m \pm \theta \implies \theta=\frac{2\pi m}{2^{n}-1}$ and $\theta=\frac{2\pi m}{2^{n}+1}$ where $m \in \mathbb{Z^{*}}$ hence we have all $2^{n}$ roots of $P_{n}(x)$ real and distinct $\blacksquare$