I'm currently a high school Pre-Calculus student and my textbook presents the following theorem without proof:
Let $f(x)$ be a polynomial with real coefficients and a positive leading coefficient.
Let $a \geq 0$. Then, if when $f(x)$ is divided by $x-a$, all of the coefficients of the quotient and the remainder are non-negative, $a$ is an upper bound on the real zeroes of $f(x)$.
Now, let $a \leq 0$. Then, if when $f(x)$ is divided by $x-a$, all of the coefficients of the quotient and the remainder alternate between non-positive and non-negative, $a$ is a lower bound on the real zeroes of $f(x)$.
I am trying to find a proof for this theorem and I think I found a proof for it pages 6 and 7 of this PDF file. However, the proof does not seem correct:
[...] since all of $q(x)$'s remaining coefficients are positive [...]
This is a quote from the proof of the first part of this theorem. Here, $q(x)$ is the resulting polynomial from dividing $f(x)$ by $x-b$ for some root $b$ for $f(x)$. However, there is a clear counter example to this: If $a=5$ and $f(x)=x^2-5x+6$, then $f(x)$ and $a$ meet the hypothesis since $\frac{f(x)}{x-a}=x+0+\frac{6}{x-a}$, so there are all non-negative coefficients in the quotient and the remainder. Then, $b=3$ is a root of $f(x)$, but, $q(x)=\frac{f(x)}{x-b}=x-2$ does not have all positive coefficients, contradicting the above.
The proof of the second part of the theorem is also wrong:
Because $a < 0$ and the leading term in $q(x)$ has a positive coefficient, the constant term in $q(x)$ has the same sign as $q(a)$.
However, if we let $a=-4$ and $f(x)=x^2+3x+2$, then $f(x)$ and $a$ meet the hypothesis since $\frac{f(x)}{x-a}=x-1+\frac{6}{x-a}$, which alternatives between non-negative and non-positive coefficients in the quotient and remainder. Then, $b=2$ is a root of $f(x)$, but $q(x)=\frac{f(x)}{x-b}=x+1$ and thus $q(a)=-3$ while the constant term of $q(x)$ is $1$, which also clearly contradicts the above.
Thus, while I have found proofs for these theorems, I do not think they are valid. Could someone show me valid proofs for these theorems in my Pre-Calc textbook? Thank you!