Let $$f{(x)} = a x^4 - x^3 + ax - a$$ where $a>0$. We know that it contains $4$ roots. Also, by the Descartes' rule of signs, we know that
- There are either $1$ or $3$ positive roots.
- There is exactly $1$ negative root.
I observed from plotting the function that it may contain exactly one positive root.
Therefore, can we prove/disprove that the function always contain a pair of conjugate complex roots?
Equivalently, can we prove/disprove that it has exactly $1$ positive root?