Giả sử n < m => n = (2k + 1)2, m = (2k + 3)2
Ta có: mn - m - n + 1 = (mn - m) - (n - 1)
= (n - 1)(m - 1) = [(2k + 1)2 - 1][(2k + 3)2 - 1]
= 2k(2k + 2)(2k + 2)(2k + 4)
= 16.k(k + 1)2 (k + 2)
* Chứng minh chia hết cho 64
Với k chẵn thì k và (k + 2) chia hết cho 2
=> 16.k(k + 1)2 (k + 2) chia hết cho 64
Với k lẻ thì (k + 1) chia hết cho 2
=> 16.k(k + 1)2 (k + 2) chia hết cho 64
Vậy 16.k(k + 1)2 (k + 2) chia hết cho 64 (1)
* Chứng minh chia hết cho 3
Ta có k(k + 1)(k + 2) là tích 3 số nguyên liên tiếp nên chia hết cho 3 (2)
Từ (1) và (2) kết hợp với việc 64, 3 là hai số nguyên tố cùng nhau thì ta có 16.k(k + 1)2 (k + 2) chia hết 64.3 = 192
Hay mn - m - n + 1 chia hết cho 192
