Lema 17.3.3.

Misalkan \(p(x) \in {\mathbb Q}[x]\text{.}\) Maka
\begin{equation*} p(x) = \frac{r}{s}(a_0 + a_1 x + \cdots + a_n x^n)\text{,} \end{equation*}
dengan \(r, s, a_0, \ldots, a_n\) bilangan bulat, setiap \(a_i\) relatif prima secara bersama, serta \(r\) dan \(s\) relatif prima.

Bukti.

Misalkan
\begin{equation*} p(x) = \frac{b_0}{c_0} + \frac{b_1}{c_1} x + \cdots + \frac{b_n}{c_n} x^n\text{,} \end{equation*}
dengan setiap \(b_i\) dan \(c_i\) bilangan bulat. Kita dapat menulis ulang \(p(x)\) sebagai
\begin{equation*} p(x) = \frac{1}{c_0 \cdots c_n} (d_0 + d_1 x + \cdots + d_n x^n)\text{,} \end{equation*}
dengan \(d_0, \ldots, d_n\) bilangan bulat. Misalkan \(d\) faktor persekutuan terbesar dari \(d_0, \ldots, d_n\text{.}\) Maka
\begin{equation*} p(x) = \frac{d}{c_0 \cdots c_n} (a_0 + a_1 x + \cdots + a_n x^n)\text{,} \end{equation*}
dengan \(d_i = d a_i\) dan setiap \(a_i\) relatif prima secara bersama. Setelah menyederhanakan \(d /(c_0 \cdots c_n)\) ke bentuk paling sederhana, kita dapat menulis
\begin{equation*} p(x) = \frac{r}{s}(a_0 + a_1 x + \cdots + a_n x^n)\text{,} \end{equation*}
dengan \(\gcd(r,s) = 1\text{.}\)
Dalam Konteks