鈴木の定理の証明は、係数がnや-nになる円分多項式及び、そうなるその円分多項式のその部分の係数を簡単に計算する方法を与えています。従って実際にMaximaで計算してみることが出来ます。 まず論文中の補題\( (P)\)の条件を満足する素数列を得る必要があり…

鈴木の定理の証明（前半）：\(t\)を3以上の任意の奇数とし、素数\(p_1 \lt p_2 \lt \cdots \lt p_t\)を、\(p_1 + p_2 \gt p_t\)を満たす異なる\(t\)個の素数とします。また\(p=p_t, n=p_1\,p_2\,\cdots p_t\)とします。そして\(\Phi_n(X)\, mod X^{p+1}\)に…

\((P)\) 任意の3以上の自然数\(t\)に対して、\(t\)個の異なる素数\(p_1 \lt p_2 \lt \cdots \lt p_t\)を、\(p_1 + p_2 \gt p_t\)が成り立つようにとることができます。 この補題は素数の大きくなるなり方は制限されていることを述べています。証明ではこの制…

今回は鈴木治郎氏の次の論文の紹介です。 Jiro Suzuki, On Coefficients of Cyclotomic Polynomials, Proceedings of Japan Academy Series A, 63, 1987 この論文はPDFがProject Euclidで公開されています。 Xを変数とするn次円分多項式の\(X^i\)の係数を\(c…

以前、せきゅーんさんのブログ記事で、円分多項式の係数の話がありました。 105：円分多項式の係数と鈴木の定理 - INTEGERS 円分多項式の係数を計算してみるととても明らかな規則性(係数はどれも0,1,-1のどれか)と思われるものが見えるのですが、実はその規…

オイラーの連分数と級数の関係公式を使えば、誰でも簡単に美しい連分数を作ることができます。例えば、\(\frac{\pi^2}{12}\)の連分数展開： (%i??) [powerdisp,simp]:[true,false]$ (%i2) %pi^2/12=1/(1+1^2/(3+2^2/(5+3^2/(7+4^2/(9+5^2/z))))); $$ \tag{${…

連分数といえばオイラーです。 オイラーの無限解析 作者:レオンハルト オイラー 発売日: 2001/06/01 メディア: 単行本 の第18章が連分数に当てられています。ここでオイラーは連分数と級数の関係を明らかにして、その応用としてよく知られた数学定数に対して…