xét n chẵn
=>n=2k
=>2n=22k=22k=4k
4 đồng dư với 1(mod 3)
=>4k đồng dư với 1(mod 3)
=>4k-1 đồng dư với 0(mod 3)
=>2n-1 là hợp số(trái giả thuyết)
=>n lẻ=>n=2k+1
=>2n=22k+1=22k.2
=4k.2
4 đồng dư với 1(mod 3)
=>4k đồng dư với 1(mod 3)
=>4k.2 đồng dư với 2(mod 3)
=>2n-1 chia 3 dư 1
=>2n-1=3q+1
=>2n+1=3q+1+2=3q+3=(q+1)3 chia hết cho 3
=>2n+1 là hợp số
=>đpcm