問題
それらの相加平均と相乗平均の間にある素数の分散が 10 であるような、和が素数である二つの素数を求めよ。
定式化すると、次のようになる。
解法
もっと効率のいい解きかたがあるかもしれないが。
を限定していく
とが等しいと は空集合になってしまうので、 と は等しくない。
ここで と置いても一般性を失わない。
, がともに奇素数だとすると、その和は偶数になってしまうので、どちらか一方は偶数でなければならない。
すなわち 。 は双子素数の小さいほうである。
の最小値
を代入すると、 は次のようになる。
ところで、 の元は 個あるが、これを小さいほうから とする。
つまり、 に注意すると、
したがって、 は 以上の素数である。
の候補を絞る
を調べる
まず、 では なので、 .
と仮定すると、 の平均はそれらの中央にくる、すなわち、それらの平均との差は等しくなる。したがって、その差の 乗が分散となるが、 は平方数でないので、これを満たす は存在しない。
すなわち、.
を調べる
と仮定する。
ここで、
とすると、分散の定義より、
と書ける。
両辺に を掛けて整理すると、
となる。
の場合は、 となる。
定義から明らかなように も も自然数であるから、この式が成り立つには ともに を素因子に含まなければならない。
三つの自然数の和と自乗和がともに 3 の倍数ということは、を法として「三つとも に合同 (この場合、は素数になりえないが)」「三つとも に合同」「三つとも に合同」のいずれか、ということである。つまり、 である。また、これらがすべて奇数であることを考えると、 となる。
このような三つの自然数の組み合わせで分散が最小になるものは、差が ごとの三数である。このとき、三数の平均は で、 との差は であるから、分散は である。
つまり、のときは、の分散 は整数なら 以上になるので、にはなりえない。
したがって 。
を調べる
と仮定する。
すると、 となる。
奇素数の和、あるいは自乗和であるから、 はともに偶数である。つまり、を自然数として、 と書ける。
すると、となるので、ともに を素因子に持たなければならない。
つまり、 ともに の倍数である。
四つの は、いずれも奇素数であるから、 もしくは である。このとき総和 が の倍数になるパターンは、を法として、「四つとも に合同」「四つとも に合同」「二つが に合同で二つが に合同」のいずれかである。
前者二つのパターン、すなわち、を法として合同な異なる四つ自然数で分散が最小になるのは、差が ごとの四数になる。このとき、四数の平均からの差は となり、分散は である。
(しかも、差が ごとの四数は、どれかが の倍数となってしまうので、すべてが奇素数という制限を加えるともっと分散が大きい組合せになってしまう。)
つまり、 にはなりえない。
残るは「二つが に合同で二つが に合同」というパターンであるが、これを満たす分散が最小の組合せは、いわゆる四つ子素数 である。このとき、四数の平均からの差は となり、分散は である。
「二つが に合同で二つが に合同」というパターンで四つ子素数でない場合は、分散が より大きくなってしまう。
したがって、 ならば は四つ子素数である。
を調べる
を調べたときに示唆されていたが、 では である。
まず、 で分散が最小になるのは明らかに であるが、このときの平均と分散は、
となる。つまり、 では である。
では よりも分散が大きくなるので、常に である。
の候補のまとめ
問題を満たす のときで、 の要素はいわゆる四つ子素数である。
の範囲を絞る
のサイズから の下界を見つける
まず、に対して定まる自然数の範囲 を考える。
は の元のうち素数のものをすべて含む、 の部分集合ということになり、 が に含まれる最小の素数、 が に含まれる最大の素数、ということになる。
ここで、
という関数を考えると、集合の包含関係から次が言える。
の増加に対し、 や は単調に増加するわけではないが、 は で単調増加する。よって、ある定数 (ただし) において であれば、すくなくとも でないと にならないと言える。
ところで、 より、 であるから、
でなければならないが、
であるから、 でなければならない。
は素数なので、。
一方、
より、。
(これにより、 の四つ子素数は解にならないことがわかる。)
ベルトラン・チェビシェフの定理を用いて の上界を見つける
ベルトラン・チェビシェフの定理を用い、 の範囲を絞っていく。
ベルトラン・チェビシェフの定理
任意の自然数 に対して、 より大きく 以下の素数が存在する。
は奇素数なので、は自然数である。
よって、 より大きく より小さい素数が存在することになる。
もし、 であれば、 より小さいその素数が に含まれることになってしまうので、 。
これを について解くと 。
一方、ベルトラン・チェビシェフの定理より、 より大きく より小さい素数も存在する。
もし、 であれば、 より小さいその素数が に含まれることになってしまうので、 。
これを について解くと 。
先の結果と合わせると、
もし、 が より小さくなければ、そもそもこの式を満たす は存在しないので、
として、となる条件を調べる。
なので、 は で極大値をとる上に凸な関数で、 が二つの 点である。
であるから、、である。
したがって、 だと となってしまうため、 でなければならない。
は素数なので、。
の特定
以上の議論から、 は を満たす素数であるが、この条件を満たす四つ子素数は しか存在しない。
の次の素数は であり、に が含まれていて、かつ が含まれていないことから、
すなわち、
となる。これを満たす素数 は、 であるが、双子素数の小さいほう、という条件を満たすのは だけである。
結論と確認
結論
問題の答えの二つの素数とは、と である。
確認