PolynomialAndEquation VietaTheorem Intermediate

Problem - 3317
Let $x$, $y$, and $z$ be real numbers satisfying $x=6-y$ and $z^2=xy-9$. Show that $x=y$.

From the given conditions, we have $$x+y=6\quad\text{and}\quad xy=z^2+9$$ Suppose $x\ne y$, then they must be the two real roots of $$u^2-6u+(z^2+9)=0$$ It follows that this equation's determinant must be non-negative: $$\Delta = 36-4(z^2+9)\ge 0 \implies z^2 \le 0 \implies z=0 \implies \Delta=0$$ This implies $x=y$. When $x=y$, we find $(x,y,z)=(3,3,0)$ satisfies the conditions. Therefore we conclude $x=y$ must hold.

report an error