が無理数であることはintegers.hatenablog.comで証明しており、が超越数であることもintegers.hatenablog.comで証明していますが、この記事では古くから知られている*1「が二次の有理数係数方程式を満たさないことの初等的証明」を紹介します。これは、の無…

定義 記事３の正則化補題の記号・仮定・帰結を考え、とする。各に対して、のアトムをとる。このとき、(これは空集合かのアトム)がgoodであるとは、任意のおよびに対して次の二つの評価が成り立つときにいう: −① −②が負となるような状況は扱わない。, のアト…

Rudolf Ondrejkaの素数魔方陣 という素数は、の素数魔方陣*1のうち定和が最小となるようなものの中心の数です。 この素数魔方陣はRudolf Ondrejkaによって発見されたものです。 大きいサイズの素数魔方陣の存在性 ちなみに、魔方陣があった場合、それを構成…

Cauchy-Davenportの定理 を素数とし、を巡回群の空でない部分集合とする。をと定義する。このとき、次が成り立つ：Cauchy-Davenportの定理 これより、であればの任意の元はの元との元の和として表すことができることがわかる。証明. とする。主張 が成り立つ…