jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 鈴木の定理の証明は、係数がnや-nになる円分多項式及び、そうなるその円分多項式のその部分の係数を簡単に計算する方法を与えています。従って実際にMaximaで計算してみることが出来ます。 まず論文中の補題\( (P)\)の条件を満足する素数列を得る必要がありますね。 \( (P)\) 任意の3以上の自然数\(t\)に対して、\(t\)個の異なる素数\(p_1 \lt p_2 \lt \cdots \lt p_t\)を、\(p_1 + p_2 \gt p_t\)が成り立つようにとることができます。 コードはこんな感じになります。 (%i1) search_suzuki_p(t,p1):=block… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2021%2F04%2F24%2F093943" title="-数学- 高次の円分多項式で係数が1,0,-1以外になる場合の計算による確認 - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20210424/20210424093513.jpg Hatena Blog https://hatena.blog 2021-04-24 09:39:43 rich https://maxima.hatenablog.jp/entry/2021/04/24/093943 1.0 100%