Bằng một cách thần kì, ta tính được A = \(\dfrac{3^{^{12}}-1}{2}\)
Ta sẽ chứng minh 312 - 1 ⋮ 10, như vậy thì (312 - 1) : 2 là một số nguyên chia hết cho 5
Thật vậy:
Ta có 32 = 9 \(\equiv\) -1 (mod 10)
=> (32)6 \(\equiv\) (-1)6 (mod 10)
=> 312 \(\equiv\) 1 (mod 10)
=> 312 - 1 \(\equiv\) 0 (mod 10)
Hay 312 - 1 chia hết cho 10
Vậy bài toán đã được chứng minh