## 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]]