- 73 名前：１３２人目の素数さん mailto:sage [2012/02/04(土) 01:41:35.60 ]
- >>62
この式が妥当であることの説明は以下の通り。
∑_[k=1,6}｛P(k)｝=1であることに注意する。
（実のところ、これが全てなので。そして 1/6=2/6-1/6）
P=∑_[k=1,6]{P(k)^2} は自明として、示したいことはP≧1/6なのでP-1/6を考える。
P-1/6=∑_[k=1,6]{P(k)^2}-1/6=∑_[k=1,6]{P(k)^2} -2/6+1/6
=∑_[k=1,6]{P(k)^2}-(2/6)∑_[k=1,6]P(k) +6/36
=∑_[k=1,6]{P(k)^2-(2/6)P(k)+(1/6)^2}=∑_[k=1,6]{(P(k)-(1/6))^2}
即ちΣ_[k=1,6]{P(k)-1/6}^2=P-1/6
