■シュニーレルマンの定理(その4)

 ゴールドバッハ予想とは「5よりも大きいすべての整数は3つの素数の和で表すことができる」というものである(弱ゴールドバッハ予想).

 オイラーは「2より大きい偶数は2つの素数の和で表すことができる」という予想を加えた.オイラーのこの予想は強ゴールドバッハ予想と呼ばれることになった.オイラーはこの予想は正しいと確信したものの,証明することはできなかった.

===================================

 現在のところ,強ゴールドバッハ予想は解かれていない.弱ゴールドバッハ予想は2013年,ヘルフゴットにより肯定的に証明された.彼は2006年からこの問題に取り組んでいたという.

===================================