整数係数の方程式
\[
a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0=0\hspace{25pt}(a_0a_n\ne0)
\]
が有理数解を持てば，それは，
\[
\pm\frac{a_0\mbox{の約数}}{a_n\mbox{の約数}}
\]
の形である．
という命題を証明する．
この結果と因数定理を用いれば， 高次多項式の因数分解に役立つということも述べる．
整数係数方程式の有理数解の可能性
この結果と因数定理を用いれば， 高次多項式の因数分解に役立つということも述べる．
