IMO 1968 SL 4
Let …, …, … be real numbers. Prove that the system of equations
IMO 1968 SL 4
Origin: BUL
Problem
Let $a$, $b$, $c$ be real numbers. Prove that the system of equations
$$\begin{cases} ax_1^2 + bx_1 + c = x_2, \ ax_2^2 + bx_2 + c = x_3, \ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ ax_{n-1}^2 + bx_{n-1} + c = x_n, \ ax_n^2 + bx_n + c = x_1, \end{cases}$$
has a unique real solution if and only if $(b - 1)^2 - 4ac = 0$.
Remark. It is assumed that $a \neq 0$.
Solution
We will prove the equivalence in the two directions separately:
$(\Rightarrow)$ Suppose ${x_1, \ldots, x_n}$ is the unique solution of the equation. Since ${x_n, x_1, x_2 \ldots, x_{n-1}}$ is also a solution, it follows that $x_1 = x_2 = \cdots = x_n = x$ and the system of equations reduces to a single equation $ax^2 + (b - 1)x + c = 0$. For the solution for $x$ to be unique the discriminant $(b - 1)^2 - 4ac$ of this quadratic equation must be $0$.
$(\Leftarrow)$ Assume $(b - 1)^2 - 4ac = 0$. Adding up the equations, we get
$$\sum_{i=1}^{n} f(x_i) = 0,$$
where
$$f(x) = ax^2 + (b - 1)x + c.$$
But by the assumed condition,
$$f(x) = a\left(x + \frac{b - 1}{2a}\right)^2.$$
Hence we must have $f(x_i) = 0$ for all $i$, and
$$x_i = -\frac{b - 1}{2a},$$
which is indeed a solution.