Ta có : 3m2 + m = 4n2 + n
tương đương với 4(m2 - n2) + (m - n) = m2
hay là (m - n)(4m + 4n + 1) = m2 (*)
Gọi d là ước chung lớn nhất của m - n và 4m + 4n + 1 thì (4m + 4n + 1) + 4(m - n) chia hết cho d => 8m + 1 chí hết cho d.
Mặt khác, từ (*) ta có : m2 chia hết cho d2 => m chia hết cho d.
Từ 8m + 1 chia hết cho d và m chia hết cho d ta có 1 chia hết cho d => d = 1.
Vậy m - n và 4m + 4n + 1 là các số tự nhiên nguyên tố cùng nhau, thỏa mãn (*) nên chúng đều là các số chính phương.