Homotopy Type Theory rational root theorem > history (Rev #3)

Definition

Rational root theorem: Given a natural number $n$ and a degree $n$ univariate polynomial on the rational numbers $a:\mathbb{Q}[x]$ where $a_{n} = 1$, there exists a degree $1$ univariate polynomial $b:\mathbb{Q}[x]$ where $b_{1} = 1$ such that $b | a$ if and only if there exists an integer $m$ such that $gcd(\vert m \vert, \vert b_0 \vert) = 1$ and $m \cdot a_0 = b_0$.

See also

• univariate polynomial
• rational numbers
• integers