Displaying similar documents to “On rational and integral roots of a polynomial”

Niven’s Theorem

Artur Korniłowicz, Adam Naumowicz (2016)

Formalized Mathematics

Similarity:

This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].

On Arrangements of Real Roots of a Real Polynomial and Its Derivatives

Kostov, Vladimir (2003)

Serdica Mathematical Journal

Similarity:

2000 Mathematics Subject Classification: 12D10. We prove that all arrangements (consistent with the Rolle theorem and some other natural restrictions) of the real roots of a real polynomial and of its s-th derivative are realized by real polynomials.