■完全数と親和数の公式(その15)
220=1+2+4+71+142
284=1+2+4+5+10+11+20+22+44+55+110
220(=2^2・5・11)と284(=2^2・71)は親和数の最小のペアであるが,イブン・クッラもフェルマーも同じ構成法を考えついた.
すなわち,
p=3・2^n-1−1
q=2p+1
r=pq+p+q
がすべて素数ならば,M=2^npq,N=2^nrのペアは親和数になるという方法である.
しかし,この発想がどこから浮かんだものなのかよくわからない.
メルセンヌ素数とソフィー・ジェルマン素数との繋がり?
三角数と四面体数との繋がり?
よりも
pq=p(2p+1)=2p^2+p
pq+p+q=p(2p+1)+p+2p+1=2p^2+4p+1
の違いから来たものではないかと思われるが,疑問は残る.
フェルマーの他の多くの着想と同じく,謎であり続けているが,(その12)に述べたフェルマーの3倍完全数公式に酷似していることは間違いないところであろう.
===================================