Gọi ba số tự nhiên liên tiếp là a, a + 1, a + 2

Nếu a chia hết cho 3 thì bài toán được chứng minh

Nếu a không chia hết cho 3 thì a = 3k + 1 hoặc a = 3k + 2 (k ∈ N)

Nếu a = 3k + 1 thì a + 2 = 3k + 1 + 2 = 3k + 3 ⋮ 3

(vì 3k ⋮ 3 và 3 ⋮ 3 nên 3k + 3 ⋮ 3)

Nếu a = 3k + 2 thì a + 1 = 3k + 2 + 1 = 3k + 3 ⋮ 3

(vì 3k ⋮ 3 và 3 ⋮ 3 nên 3k + 3 ⋮ 3)

Vậy trong ba số tự nhiên liên tiếp, có một số chia hết cho 3