Gọi a, a + 1, a + 2 lần lượt là ba số tự nhiên liên tiếp (a ∈ ℕ)
Trong ba số tự nhiên liên tiếp chắc chắn có 1 số chẵn nên tích của chúng chia hết cho 2 (1)
Khi lấy a chia cho 3 thì số dư có thể là 0; 1; 2
*) Khi số dư là 0 thì a ⋮ 3
⇒ a(a + 1)(a + 2) ⋮ 3 (2)
*) Khi số dư là 1, đặt a = 3k+ 1 (k ∈ ℕ)
⇒ a + 2 = 3k + 1 + 2 = 3k + 3 = 3(k + 1) ⋮ 3
⇒ a(a + 1)(a + 2) ⋮ 3 (3)
*) Khi số dư là 2, đặt = 3k + 2 (k ∈ ℕ)
⇒ a + 1 = 3k + 2 + 1 = 3k + 3 = 3(k + 1) ⋮ 3
⇒ a(a + 1)(a + 2) ⋮ 3 (4)
Từ (2), (3), (4) ⇒ a(a + 1)(a + 2) ⋮ 3 (5)
Từ (1) và (5) ⇒ tích của ba số tự nhiên liên tiếp chia hết cho 2 và 3