bạn nêu cách giải của mình ra đi,mình kiến thức hạn hẹp nên còn suy nghĩ đây.Bạn không cần dùng $modun$ à?
từ đề bài dễ dàng suy ra n chẵn.
đặt n=2^q.k=>(2^q.k)2+(2^k)2^q chia hết cho p.
p=2.thỏa mãn.
p>2=>p lẻ.
=>k2+2k.2^q-2.q chia hết cho p.
bài toán quy về chứng minh :mọi ước nguyên tó lẻ của a2+b2 đều có dạng 4k+1trong đó (a;b)=1.
dễ thấy (a,p)=(b,p)=1
theo định lý fec-ma : ap-1-1 chia hết cho p,bp-1-1 chia hết cho p
=>ap-1-bp-1 chia hết cho p(1)
mà a2 đồng dư với b2 mod p =>ap+1-bp+1 chia hết cho p.
Nếu p=4k+3 thi p+1=4k+4 chia hết cho 4 =>ap+1 đồng dư với bp+1 mod p mà (1) =>bp+1 .2 chia hết cho p=>b chia hết cho p vô lí.
=>mọi ước nguyên tố của a2+b2 đều có dạng 4k+1.
đây hẳn là một bà khai thai ngược từ bài toán trên nhưng kết luận rằng không phải với bất kì số nguyên tố p nào cũng tồn tại n nguyên thỏa mãn yêu cầu đề bài.