MathLabs

Problem 3

Consider the following system of equations in the unknowns x1,x2,…,xnx_1, x_2, \ldots, x_n, where a,b,ca, b, c are real numbers with a≠0a \neq 0: ax12+bx1+c=x2,ax22+bx2+c=x3,…,axn−12+bxn−1+c=xn,axn2+bxn+c=x1.ax_1^2+bx_1+c=x_2,\quad ax_2^2+bx_2+c=x_3,\quad \ldots,\quad ax_{n-1}^2+bx_{n-1}+c=x_n,\quad ax_n^2+bx_n+c=x_1. Let Δ=(b−1)2−4ac\Delta=(b-1)^2-4ac. Prove that: (a) if Δ<0\Delta<0, the system has no solution; (b) if Δ=0\Delta=0, the system has exactly one solution; (c) if Δ>0\Delta>0, the system has more than one solution.
Step 4 of 5: Case Δ = 0: exactly one solution
In plain words

A double root is the borderline case between "no sign change" and "a genuine sign change": the parabola only just touches zero, so the sum-of-same-sign argument from the previous case still applies almost everywhere, except at the single touching point, which pins down the unique constant solution exactly.

Δ=0  ⟹  s(t)=a(t−r)2, s(t) same sign as a except s(r)=0  ⟹  x1=⋯=xn=r\Delta=0 \;\Longrightarrow\; s(t)=a(t-r)^2,\ s(t)\ \text{same sign as } a \text{ except } s(r)=0 \;\Longrightarrow\; x_1=\cdots=x_n=r
Detailed analysis

If Δ=0\Delta=0, the quadratic factors as s(t)=a(t−r)2s(t)=a(t-r)^2 for its unique root rr, so s(t)s(t) has the same sign as aa for every t≠rt\neq r and s(r)=0s(r)=0. By Step 1, ∑i=1ns(xi)=0\sum_{i=1}^n s(x_i)=0; since every term s(xi)s(x_i) is either zero (when xi=rx_i=r) or has the fixed sign of aa (when xi≠rx_i\neq r), the only way the sum can vanish is if every term is zero, i.e. xi=rx_i=r for all ii. Conversely (r,…,r)(r,\ldots,r) solves the system, since s(r)=0s(r)=0 means ar2+br+c=rar^2+br+c=r. So the system has exactly one solution, (r,r,…,r)(r,r,\ldots,r).