I have read several places that Descartes' Rule of Signs was familiar to both Descartes and Newton, and that both considered it too "obvious" to merit a proof. I know how to prove it, but I would like to know how they intuitively sensed that it was true. Newton apparently used it in one of his books, so he must have had a good reason to believe it was true if he never bothered to attempt a proof.
Just for clarification, I am referring to the theorem that the number of positive roots of the polynomial $$p(x)=a_nx^n+⋯+a_1x+a_0$$ is equal to or less than by an even number the number of sign changes in p as written in the order above (descending powers of x).
The intuition is that each $x^k$ with a different sign than the previous summands may outweigh the higher powers for small $x$, but not for large $x$. Of course, it is imaginable that the "struggle" between these two is more complicated - but it is not. A rigorous proof would of course be preferable.