Cho m, n là các số nguyên dương sao cho {m^2} + {n^2} + m chia hết cho mn

Đặt \(d = \left( {m,n} \right)\). Khi đó, \(m = d{m_1},\,\,n = d{n_1}\), \(\left( {{m_1},{n_1}} \right) = 1\), \({m_1},{n_1} \in {\mathbb{Z}^ + }\).

Ta có: \(mn|{m^2} + {n^2} + m\)

\( \Rightarrow {d^2}{m_1}{n_1}|{d^2}m_1^2 + {d^2}n_1^2 + d{m_1} \Rightarrow d|d{m_1}{n_1}|dm_1^2 + dn_1^2 + {m_1} \Rightarrow d|{m_1}\).

Tương tự \[{m_1}|d{m_1}{n_1}|dm_1^2 + dn_1^2 + {m_1} \Rightarrow {m_1}|dn_1^2 \Rightarrow {m_1}|d\], vì \(\left( {{m_1},{n_1}} \right) = 1\).

Do đó, \(d = {m_1}\) Þ \(m = {d^2}\) là số chính phương.