■オイラーの素数生成式(その22)
(その20)〜(その21)で明らかになったことは
n−2←→m
の対称性である.
===================================
[1]n^2+n+k
D=1−4k
[2](m+2)^2+(m+2)+k=m^2+5m+6+k
D=25−24−4k=1−4k
となって,同じ式が得られる.
ラビノヴィッチの定理に立ち返らずに,m=[√(k/3)]を証明できると思われるのであるが,どうだろうか?
===================================