そもそも二次体とは ? L を二次体とします。このとき、L は 上の二次のベクトル空間ですから、L の元 x は、ある (もちろん ) を用いて () と表せます。そこで、 の最小多項式を とすると のいずれかですが、このとき となるような有理数 r、及び、平方因子…

n = 3 の場合(歴史) n = 3 の場合については、オイラー(Euler)によって 1770 年に証明されました。この証明には一部 gap があることがランダウ(Landau)らによって指摘されましたが、その gap にあたる部分は Euler 自身が 1760 年に証明を与えていたことが、…