Citat:
Ursprungligen postat av
matteyas
Nästa steg är väl att använda satsen för att bevisa twin primes conjecture. :þ
Skämt åsido hade det varit intressant att se om det finns något p3-p1>10 som alltid delar p2^2-p3p1. Det känns märkligt om det bara är just p3-p1 ∈ {4,6,8} som det gäller för.
Försöker nu bevisa fallet p_3-p_1=12
(1) p_2=p_1+10=p_3-2
p_2^2-(p_2-10)(p_2+2)=20+8p_2 och alltså gäller det att visa att 3|5+2p_2
(2) p_2=p_1+8=p_3-4
p_2^2-(p_2-8)(p_2+4)=32+4p_2 och alltså gäller det att visa att 3|8+p_2
(3) p_2=p_1+6=p_3-6
p_2^2-(p_2-6)(p_2+6)=36 och uppenbarligen gäller 12|36
(4) p_2=p_1+4=p_3-8
p_2^2-(p_2-4)(p_2+8)=32-4p_2 och alltså gäller det att visa att 3|8-p_2
(5) p_2=p_1+2=p_3-2
p_2^2-(p_2-2)(p_2+10)=20-8p_2 och alltså gäller det att visa att 3|5-2p_2
Tror dessvärre inte primtalstvillingarna kan hjälpa oss här
EDIT: Såg nu att det gick med primtalstvillingarna i fall (1) och (5)...haha
(1) p_2 och p_3 är primtalstvillingar --> p_2+1=3k --> 2p_2+2=6k --->2p_2+2+3=2p_2+5=6k+3 QED
(5) Här är p_2 och p_1 primtalstvillingar och alltså är p_2-1=3k -->2p_2-2=6k --->2p_2-2-3=2p_2-5=6k-3 QED