Để T là số nguyên thì 12n2 +1 phải là số chính phương lẻ
Đặt 12n2 +1 = (2k -1)2 (k thuộc N)
<=> 12n2 +1 = 4k2 - 4k +1
<=> 12n2 = 4k2 - 4k
<=> 3n2 = k(k-1)
=> k(k - 1) chia hết cho 3 => k chia hết cho 3 hoặc k-1 chia hết cho 3
+) Nếu k $\vdots$ 3 => n2 =(k/3).(k-1) Mà (k/3 ; k-1 )= 1 nên đặt k/3 = x2 => k = 3x2
và đặt k-1 = y2 => k = y2 +1
=> 3x2 = y2 +1 đồng dư với 2 ( mod 3)
Vô lý vì 1 số chính phương chia cho 3 chỉ dư 0 hoặc 1
+) Nếu k-1 $\vdots$ 3:
=> n2 = k.(k-1)/3 Mà ( k; (k-1)/3) =1 nên đặt k = z2 và (k-1)/3 = t2
=> T=........= 2+ 2(2k -1) = 4k = 4z2 =(2z)2 là 1 số chính phương
=> đpcm
- Haton Val, Fabffriver và HenryTung thích