The rational root theorem states that if the rational number p/q is a root of the polynomial equation a_nxⁿ+a_n-1xⁿ⁻¹+⋯+a_0=0, with a_0,…a_n∈ℤ, then p|a_0 and q|a_n.