Solve the system of equations: $32y+32x^3=6x+17$, $16z+32y^3=6y+9$, $8x+32z^3=6z+5$ where $x,y,z\in \mathbb{R}$ Solve the system of equations: $$\begin{cases} 32y+32x^3=6x+17 \\16z+32y^3=6y+9 \\8x+32z^3=6z+5 \end{cases}$$ where $x,y,z\in \mathbb{R}$ (Bulgaria 1960)
I attempted to solve this question as follows:
$32y+32x^3=6x+17$
$y=-x^3+\frac{6x}{32}+\frac{17}{32}$
$y-\frac{1}{2}=-x^3+\frac{3x}{16}+\frac{17}{32}-\frac{1}{2}$
Here it started getting very complex, and hence I don't think it can be solved this way. After this I tried doing something similar with the other two equations, but once again it was ending up way too complex. It is obvious that the solution is $x=y=z=\frac{1}{2}$, but I can't manage to prove it. Could you please explain to me how to solve this question?

Proof by Contradiction:
Let,  $32x^3-6x>1$  then:
$$\begin{align} 32x^3-6x>1 &\Longrightarrow x>\frac 12\\ 32x^3-6x=17-32y>1 &\Longrightarrow y<\frac 12 \\32y^3-6y=9-16z <1 &\Longrightarrow z>\frac 13\\ 2z^3-6z=5-8x >1 &\Longrightarrow x<\frac 12\end{align}$$ which gives a contradiction.
The same method also works for $32x^3-6x<1$. We obtain again a contradiction.
So, we deduce that $$\begin{align} 17-32y=32x^3-6x=1
&\Longrightarrow y=\frac 12 \\ 9-16z=32y^3-6y 
&\Longrightarrow z=\frac 12\end{align}$$
$$\begin{align} x=\frac {6z+5-32z^3}{8}=\frac{4}{8}=\frac 12\end{align}$$
Finally, our real solutions are only $$x=y=z=\dfrac 12.$$

I used :

*

*If $32x^3-6x>1$, then $x>\frac 12$. Because,

$$\begin{align}32x^3-6x-1&=32\left(x+\frac 14\right)^2\left(x-\frac 12\right)>0.&\end{align}$$

*

*If $y<\frac 12$, then $32y^3-6y<1$. Because,

$$\begin{align}32y^3-6y-1&=32\left(y+\frac 14\right)^2\left(y-\frac 12\right)<0.&\end{align}$$

*

*If $z>\frac 12$, then $32z^3-6z>1$. Because,

$$\begin{align}32z^3-6z-1&=32\left(z+\frac 14\right)^2\left(z-\frac 12\right)>0.&\end{align}$$
