Prove that there exists an integer greater than x such that any polynomial f(x) will be strictly non-negative and get large?
Davirnoilc
Answered question
2022-11-17
Prove that there exists an integer greater than x such that any polynomial f(x) will be strictly non-negative and get large? I am taking a number theory class and so far I have been proving modular congruences, modular arithmetic, and prime properties. There is this theorem that came up in the textbook and apparently it does not involve any modular arithmetic. The theorem is as follows Suppose is a polynomial of degree . Then there exists an integer k such that if then . I feel like this would come up in real analysis, but I have not come that far in my studies. I have an idea of applying induction and using the ceiling function somehow, but I have no idea how to start off this proof. Any help will do and thank you
Answer & Explanation
metodikkf6z
Beginner2022-11-18Added 14 answers
Step 1 One should note that the field of interest here (presumably) is R, so that f(x) is a real polynomial. Notice first that for , this fails completely, because we can just choose and it does not have the property. Step 2 If we assume that , then write
so that . This implies that , so that for for some
Owen Mathis
Beginner2022-11-19Added 3 answers
Step 1 It is obvious that the polynomial cannot be written as a product of more than n linear polynomials, possibly with complex coefficients (for otherwise, it should have a degree greater than n). Thus, f(x) does not vanish at more than n points on the real line. Hence, there is some real x′ so that for all we must have By continuity (and the fact that as - factor out to see this, recalling that ), it follows that just before the last zero, so that just after this . Step 2 Taking x′ to be sufficiently close to, but after, this last zero, and recalling after x′ the polynomial retains constant sign, it follows that it must be positive for all Finally, by the principle of Archimedes you can find some positive integer greater than this x′.