$n,m\geq 2$ ve $(n,m)=1$ olsun.
$\begin{array}{lcl}
P_{nm}(x) &=& x^{nm - 1} + \dots + x + 1 \\
&=& \dfrac {x^{nm} - 1}{x-1} \\
&=& \dfrac {x^n - 1}{x-1}\cdot (1+x^n + x^{2n} + \dots + x^{(m-1)\cdot n}) \\
&=& P_n(x) \cdot P_{m}(x^n)
\end{array}$
İddia: $P_{m}(x) \mid P_{m}(x^n)$
İspat: $P_{m}(x^n)(x-1) = (x^{m} - 1)S(x) + 0$ olduğunu göstermemiz isteniyor.
$(1+x^n + \dots + x^{(m-1)n})(x-1) = (x + x^{n+1} + x^{2n+1} + \dots + x^{(m-1)\cdot n + 1}) - (1 + x^n + x^{2n} + \dots + x^{(m-1)n})$.
$P_{m}(x^n)(x-1)$ sayısının $x^{m}-1$ ile bölümünden kalanı bulmak için $x^{m}=1$ yazacağız.
$(n,m)=1$ olduğu için $0\cdot n, 1\cdot n, \dots, (m-1)\cdot n$ sayıları $\bmod {(m)}$ de tam kalan sistemi oluşturur. Yani, $0$ dan $(m-1)$ e tüm kalanları alır. (İspatı: $xn\equiv yn \pmod {m} \Longrightarrow (x-y)n\equiv 0 \pmod {m} \Longrightarrow x\equiv y \pmod {m}$)
Dolayısıyla bunların $1$ fazlaları da, $1+ 0\cdot n, 1+ 1\cdot n, \dots, 1+ (m-1)\cdot n$ sayıları da, $\bmod {(m)}$ de tam kalan sistemi oluşturur.
O halde $P_{m}(x^n)(x-1)$ polinomu $x^{m}-1$ ile kalansız bölünür.$\blacksquare$
İddianın sonucu olarak da $P_{nm}(x) = P_n(x) \cdot P_{m}(x^n) = P_n(x) \cdot P_{m}(x) Q(x)$ elde edilir.
Şimdi de sorunun çözümü için tümevarım uygulayalım.
$a=1$ için $n\geq 2$, $R(x)=1+x+\ldots + x^{n-3}$ ($n=2$ için $R(x)=0$), $Q(x)=1$ bulunur.
$a$ için $n, Q(x), R(x)$ bulunduğunu varsayalım.
$(n,m)=1$ ve $m\geq 2$ olmak üzere;
$\begin{array}{lcl}
P_{nm} &=& P_n(x) \cdot P_{m}(x)Q'(x) \\
&=& (1+ax+x^2R(x))(1+x+\dots + x^{m-1})Q'(x) \\
&=& (1+(a+1)x+R'(x))Q'(x)\end{array}$
olacağı için $a+1$ için de $nm$ sayısı, $R'(x)$, $Q'(x)$ polinomları bulunur.
$n$; her biri $1$ den büyük ve aralarında asal $a$ sayının çarpımı şeklinde alınabilir.
Kaynak: Barış Koyuncu'nun
AoPS deki çözümü biraz değiştirilerek buraya taşınmıştır.
O çözümde $m=n+1$ olarak alınmıştır. Doğal olarak $(n,m)=1$ şartı sağlandığı için, yukarıdaki çözümün bir örneğidir.