Giả sử (p1+p2):2 là số nguyên tố, Khi đó ta có p1+p2=2d với d nguyên tố
Vì p1, p2 là hai số nguyên tố liên tiếp, và p1 > p2 nên từ p1+p2=2d ⇒ p1 > d > p2 như vậy giữa p1, p2 còn số d là số nguyên tố (mâu thuẫn với giả thuyết) ⇒ (p1+p2);2 là hợp số.
Hoặc:
p2+1 là chẵn
=> (p1+p2)/2 là chẵn
=> Nếu nó là SNT thì p2+1 phải là số tự nhiên.
Mà nó lại là số chẵn
=> p2+1 = 2
=> p2=1 (k phải snt)
Vậy (p1+p2)/2 là hợp số