差分

==予想: 素数の2倍が素微分友愛数となることはない2個の素数の積で表される素微分友愛数について==

(2p)'=p+2である==主張: 2個の素数は「離れて」いる===

\( (pq)'' = (p+2が約数がすごく多くて微分すると2pに戻ってくるq)' < \frac{\log_2{(p+q)}}{2}(p+q) < \frac{\log_2{2q}}{2} \cdot 2q = q(1 + \log_2{q}) \)

===\( p=6a< 1 +1のとき===\log_2{q} \)

<nowiki\( q >2a+1=bとおくと2p=(2p)''=(2a+2^{p-1} \)+3b'となる</nowiki>

b'=2c+1とすると==予想: 2つの素数がどちらも2でも3でもないとする。このとき、両方を6で割った余りは等しい===

a+3c\( p = 6n +21, q =pである6m - 1 \)とすると

\( (pq)'' = (p+q)' =6a(6(n+1と仮定したのでa%3m))' =25(n+m)+6(n+m)' \)

a=3d+2とするそのため\(このときp=18dn +13であるm \)は2の倍数でも3の倍数でもない

3d+3c+4=pである このとき明らかにc+dは奇数 ===p=6a-1のとき=== p+2=6a+1は奇数 ==予想: 素数の5倍が素微分友愛数となることはない== pを素数とし、5pが素微分友愛数であるとする (5p)'=p+5である p+5が約数がすごく多くて微分すると5pに戻ってくる かなりえぐい pを5で割った余りで場合分けする ===p=6a+1のとき=== p+5=6a+6=2・3(a+1) (p+2)'=3(a+1)+2(a+1)+6(a+1)'=5(a+1)+6(a+1)'=5a+5+6(a+1)' すなわち6(a+1)'=a+1である a+1は6の倍数なのでa=6b-1とする このとき(a+1)'=(6b)'=5b+6b'であるから 6(a+1)'=30b+36b'>6b=a よって矛盾が生じた ===p=6a-1のとき=== p%4=1なのでp=12b+5と書ける p+5=2(6b+5)は偶数 <nowiki>6b+5=cとおくと(5p)''=(6b+5)+2c'となる</nowiki>WIP

\( \sum_{k=\{x \mid 1 \leq x \leq 59, x \neq a\}} \frac{1}{p_a} + \frac{1}{60} \)

よって\( p_39 p_{39} = 167 \)以下の素数は必ず一方に現れる

また定理6と同じ論法により素数の逆数の総和は0.96と1.04の間にあることが分かる(後で詳しく書く) ===ケース1. 偶数の方が3と5を因子に持つとき=== 奇数の方の素因数は全て7以上である \( \frac{1}{7} \)以降の素数の逆数の総和で0.96を超えるためには少なくとも\( \frac{1}{p_{57}} \)まで足す必要がある すなわち奇数の方には素因数が少なくとも54個存在する よって偶数の方には素因数は最大5個しかない また\( \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{149} > 1.04 \)であるから7と149の間の素数(32個)は全て奇数の方に入る ====ケース1-a. 偶数の方が3個の素因数を持つとき==== その3個は2,3,5であるが2×3×5=30は素微分友愛数ではない ====ケース1-b. 偶数の方が4個の素因数を持つとき==== 奇数の方は55個の素因数を持つため\( 2^{55} \)より大きい よって偶数の方は\( 2^{55} \times 0.96 > 2^{54} > 2^{49} \times 30 \)より大きい 偶数の方を\( 30p \)とすると\( p > 2^{49} \)である このとき\( \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{2^{49}} < 1.034 \)であるが \( \sum_{k=1}^{5955} \frac{1}{p_kp_{k+3} } < 0.966 \)なので \( 1.034 \times 0.966 = (1+0.034)(1-0.034) < 1 \)より条件を満たさない ====ケース1-c. 偶数の方が5個の素因数を持つとき==== 奇数の方は54個の素因数を持つため\( 2^{54} \)より大きい 偶数の方を\( 30pq (p,q \in \mathbb{P}, p < q)\)とする \( pq > \frac{2^{54}}{30} > 2^{49} \)であるから\( p > 2^{24.003 5} \)であるから、定理6と同じ論法により片方の素因数の逆数の総和は0である このとき\( \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{2^{24.94と15}} < 1.06に間にあることがわかる034 \)なので やはり条件を満たさない

\( \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} > 1===ケース2.06 \)であるから、偶数の方は210の倍数にはならない偶数の方が3を因子に持ち5を因子に持たないとき===

\( \frac{1}{2} + \frac{1}{3} + \frac{1}{5} = \frac{31}{30} > 1==ケース4.03 \)であるため、\( 31 \)以下の他の素因数は全て奇数の方が持つ偶数の方が3と5を因子に持たないとき===