a) Ta có Tn−1=(2026+1)n−2026n=∑j=1n−1Cnj2026j.
Xét n=2k với k nguyên dương, khi đó vì Cnj=jnCn−1j−1 nên v2(Cnj)≥r−v2(j).
Do đó v2(Cnj2026j)≥r−v2(j)+j≥r nên Cnj2026j chia hết cho 2r với mọi j=1,2,…,n−1.
Vì vậy Tn≡1(modn) với n=2k, k nguyên dương nên có điều phải chứng minh.
b) Ta sẽ chứng minh tất cả giá trị cần tìm là n=2k với k∈N.
- Điều kiện cần: Giả sử n có một ước lẻ d>1, khi đó d∣n nên Td∣Tn hay Td∣m2+40532. Ta có Td≡(−1)d≡3(mod4) do d lẻ, từ đó m2+40532 có một ước nguyên tố p dạng 4k+3, theo tính chất quen thuộc suy ra m và 4053 chia hết cho p nên p∈{3,7,193}.
Tuy nhiên Td≡1(mod3), Td≡−2⋅3d≡0(mod7) và Td≡−2⋅96d≡0(mod97) nên trường hợp này không tồn tại số nguyên tố p thỏa mãn hay n không có ước lẻ.
Vậy n là một lũy thừa của 2.
- Điều kiện đủ: Xét n=2k với k∈N.
Với k=0, có n=1 cho ta T1=1 nên thỏa mãn.
Xét k≥1, đặt a=2027, b=2026, c=a+b=4053 thì a−b=1 và ta có:
T2k=a2k−b2k=(a+b)(a2+b2)(a4+b4)⋯(a2k−1+b2k−1)
Đặt Qj=a2j+b2j với 1≤j≤k−1 thì các số c,Q1,…,Qk−1 đôi một nguyên tố cùng nhau.
Thật vậy, nếu tồn tại số nguyên tố q là ước của c và Qj, thì a≡−b(modq), nên
Qj≡2b2j≡0(modq),
mâu thuẫn. Tiếp theo, nếu i<j và q∣Qi,Qj, do q lẻ và q∤b, đặt x≡ab−1(modq). Khi đó
x2i≡−1(modq).
Lũy thừa hai về 2j−i, ta được x2j≡1(modq), trái với q∣Qj.
Với mỗi j=1,…,k−1, vì gcd(b,Qj)=1, nên ta có thể chọn
xj≡a2j−1b−2j−1(modQj).
Khi đó xj2≡a2jb−2j≡−1(modQj), nên theo CRT tồn tại số nguyên m thỏa mãn:
m≡0(modc),m≡cxj(modQj)(1≤j≤k−1).
Với số m này, ta có c∣m2+c2 và Qj∣m2+c2 với mọi j nên T2k∣m2+c2.
Vậy tất cả số nguyên dương cần tìm là n=2k với k∈N.