2017-12-30

√20171230

$\sqrt{20171230}$ の連分数展開をCで計算しました。(注:20171230はsquarefree)

ただし、連分数1/(2+1/(3+1/(1+1)))を[0;2,3,1]と表し、「|…|」は…が循環節であることを表します。

[4491;|4,5,1,1,3,2,2,2,1,63,1,10,1,4,1,1,9,1,7,1,4,5,2,1,10,5,3,8,1,1,4,1,55,1,2,13,1,11,1,11,1,1,6,1,1,

85,84,1,2,1,2,5,1,1,5,2,6,1,3,1,3,1,2,1,1,2,4,2,12,4,1,1,6,10,1,1,1,1,1,1,1,1,5,3,5,1,4,1496,1,6,1,7,1,5,

2,19,1,9,1,4,1,1,7,3,15,3,30,8,7,7,1,52,3,1,1,1,8,1,3,1,1,8,1,18,2,1,1,1,2,3,3,128,56,2,17,12,10,4,2,1,

6,12,7,4,1,1,6,1,2,3,2,6,1,2,1,12,3,1,7,8,2,997,1,1,2,1,1,5,4,2,1,29,1,6,4,1,2,3,7,1,9,1,1,4,4,1,5,1,5,3,1,

4,1,1,1,8,4,1,2,2,5,1,5,1,3,1,3,12,1,1,2,2,1,1,1,6,1,84,1,2,9,12,2,1,5,1,1,5,1,1,1,6,40,2,43,3,10,1,1,5,5,

22,1,1,4,1,3,2,1,12,4,166,10,3,3,1,6,183,5,1,17,1,11,2,1,3,1,6,3,4,4,5,1,3,10,5,1,4,4,1,2,4,4,5,5,1,1,1,

1,1,2,17,1,10,2,13,1,3,1,1,5,1,2,1,1,2,1,1,1,3,2,1,3,3,1,3,1,2,6,2,2,2,6,1,7,1,6,2,1,3,7,1,1,3,3,1,7,6,2,8,

6,110,1,2,1,2,1,1,1,1,40,30,1,1,8,2,2,1,1,1,7,1,1,2,1,41,1,5,1,6,8,1,14,1,3,7,3,7,1,5,1,7,3,1,2,1,15,2,1,

67,1,8,1,1,12,9,3,14,1,1,1,1,1,23,1,2,1,1,3,1,16,1,3,1,12,3,2,1,1,1,46,2,1,1,46,1,12,1,2,1,3,2,1,17,1,3,

1,2,1,2,3,2,6,2,1,19,1,2,5,1,1,1,1,2,3,2,1,2,8,6,1,40,6,2,1,1,9,1,5,4,1,7,3,9,1,4,1,1,21,1,1,1,2,1,1,1,1,10,

1,4,2,3,18,1,1,1,18,2,2,3,2,36,12,1,3,1,2,7,1,1,8,5,15,1,6,1,8,1,70,2,1,1,3,1,2,1,7,12,5,5,22,1,3,1,1,3,

1,2,1,1,1,1,2,4,1,2,1,1,5,16,1,2,1,3,1,60,1,2,1,3,3,2,36,4,2,1,4,6,1,1,4,1,32,2,4,2,2,7,4,1,2,1,112,1,27,1,

1,1,1,1,1,218,2,7,1,1,1,2,2,1,2,2,1,30,2,1,1,1,4,1,1,2,427,2,1,9,11,1,1,1,1,1,7,3,2,1,3,7,1,2,5,2,13,7,1,

1,2,1,3,25,9,1,1,40,2,23,1,2,1,1,5,1,1,6,28,1,10,1,198,1,2,3,1,2,2,1,6,1,1,1,1,1,18,3,18,1,2,1,9,36,2,2,

3,15,4,1,1,4,2,4,1,2,1,2,3,11,641,1,1,14,7,1,2,1,46,1,3,1,1,1,3,18,10,1,1,2,1,4,2,1,1,1,1,151,1,1,1,2,2,

6,2,2,2,3,1,1,1,1,1,2,3,1,2,4,43,2,1,2,299,24,4,1,4,12,12,1,1,4,2,1,22,2,2,23,1,15,1,22,3,29,1,2,2,17,

1,16,427,1,2,9,2,2,1,1,1,1,70,1,2,10,1,26,1,1,1,3,1,4,4,1,1,14,1,24,2,3,1,1,3,4,3,1,1,1,1,2,12,1,1,5,1,1,

4,1,28,4,1796,4,28,1,4,1,1,5,1,1,12,2,1,1,1,1,3,4,3,1,1,3,2,24,1,14,1,1,4,4,1,3,1,1,1,26,1,10,2,1,70,1,1,

1,1,2,2,9,2,1,427,16,1,17,2,2,1,29,3,22,1,15,1,23,2,2,22,1,2,4,1,1,12,12,4,1,4,24,299,2,1,2,43,4,2,1,

3,2,1,1,1,1,1,3,2,2,2,6,2,2,1,1,1,151,1,1,1,1,2,4,1,2,1,1,10,18,3,1,1,1,3,1,46,1,2,1,7,14,1,1,641,11,3,2,

1,2,1,4,2,4,1,1,4,15,3,2,2,36,9,1,2,1,18,3,18,1,1,1,1,1,6,1,2,2,1,3,2,1,198,1,10,1,28,6,1,1,5,1,1,2,1,23,

2,40,1,1,9,25,3,1,2,1,1,7,13,2,5,2,1,7,3,1,2,3,7,1,1,1,1,1,11,9,1,2,427,2,1,1,4,1,1,1,2,30,1,2,2,1,2,2,1,

1,1,7,2,218,1,1,1,1,1,1,27,1,112,1,2,1,4,7,2,2,4,2,32,1,4,1,1,6,4,1,2,4,36,2,3,3,1,2,1,60,1,3,1,2,1,16,5,

1,1,2,1,4,2,1,1,1,1,2,1,3,1,1,3,1,22,5,5,12,7,1,2,1,3,1,1,2,70,1,8,1,6,1,15,5,8,1,1,7,2,1,3,1,12,36,2,3,2,

2,18,1,1,1,18,3,2,4,1,10,1,1,1,1,2,1,1,1,21,1,1,4,1,9,3,7,1,4,5,1,9,1,1,2,6,40,1,6,8,2,1,2,3,2,1,1,1,1,5,2,

1,19,1,2,6,2,3,2,1,2,1,3,1,17,1,2,3,1,2,1,12,1,46,1,1,2,46,1,1,1,2,3,12,1,3,1,16,1,3,1,1,2,1,23,1,1,1,1,

1,14,3,9,12,1,1,8,1,67,1,2,15,1,2,1,3,7,1,5,1,7,3,7,3,1,14,1,8,6,1,5,1,41,1,2,1,1,7,1,1,1,2,2,8,1,1,30,40,

1,1,1,1,2,1,2,1,110,6,8,2,6,7,1,3,3,1,1,7,3,1,2,6,1,7,1,6,2,2,2,6,2,1,3,1,3,3,1,2,3,1,1,1,2,1,1,2,1,5,1,1,3,

1,13,2,10,1,17,2,1,1,1,1,1,5,5,4,4,2,1,4,4,1,5,10,3,1,5,4,4,3,6,1,3,1,2,11,1,17,1,5,183,6,1,3,3,10,166,

4,12,1,2,3,1,4,1,1,22,5,5,1,1,10,3,43,2,40,6,1,1,1,5,1,1,5,1,2,12,9,2,1,84,1,6,1,1,1,2,2,1,1,12,3,1,3,1,5,

1,5,2,2,1,4,8,1,1,1,4,1,3,5,1,5,1,4,4,1,1,9,1,7,3,2,1,4,6,1,29,1,2,4,5,1,1,2,1,1,997,2,8,7,1,3,12,1,2,1,6,

2,3,2,1,6,1,1,4,7,12,6,1,2,4,10,12,17,2,56,128,3,3,2,1,1,1,2,18,1,8,1,1,3,1,8,1,1,1,3,52,1,7,7,8,30,3,15,

3,7,1,1,4,1,9,1,19,2,5,1,7,1,6,1,1496,4,1,5,3,5,1,1,1,1,1,1,1,1,10,6,1,1,4,12,2,4,2,1,1,2,1,3,1,3,1,6,2,5,

1,1,5,2,1,2,1,84,85,1,1,6,1,1,11,1,11,1,13,2,1,55,1,4,1,1,8,3,5,10,1,2,5,4,1,7,1,9,1,1,4,1,10,1,63,1,2,2,2,3,1,1,5,4,8982|]

数字が並びすぎて気持ち悪いですね。ここから、 $\mathbb{Q}(\sqrt{20171230})$ の基本単数を求めたら、何桁になるのか……

ちなみに、これより遥かに短い連分数展開を持つ $\sqrt{2017}$ に対し、 ([44;|1,10,4,5,2,1,2,2,2,3,3,29,1,1,1,3,12,1,1,3,1,3,7,1,9,9,1,7,3,1,3,1,1,12,3,1,1,1,29,3,3,2,2,2,1,2,5,4,10,1,88|])

$\mathbb{Q}(\sqrt{2017})$ の基本単数(の1つ)は $106515299132603184503844444+$ $2371696115380807559791481\sqrt{2017}$

です。

というか、 $\sqrt{2017}$ の連分数展開でも、手計算で求めたときはかなり時間が掛かったのに、 $\sqrt{20171230}$ の連分数展開をCでコンピュータに計算させると、たったの数秒。コンピュータの処理能力を改めて感じました。

2017-10-25

Dirichlet級数の一様収束

$a:\mathbb{N}\rightarrow\mathbb{C}$ を数列とするとき、無限級数 $f(s)=\sum_{n=1}^{\infty}\frac{a(n)}{n^s}$ をDirichlet級数という。

このとき、次が知られている。(Janusz, Algebraic Number Fields, Ⅳ§2)

$\sum_{n\le x}a(n)=O(x^b)\quad(b>0)$ なら任意の $\delta,\varepsilon>0$ に対し、 $f(s)$ は領域 $D(b,\delta,\varepsilon):=\{s\mid Re(s)\ge b+\delta, |arg(s-b)|\le\frac{\pi}{2}-\varepsilon\}$ において一様収束する。

具体的には任意の $u,v\in\mathbb{N}(v\ge u+1)$ に対し、 $b,\delta,\varepsilon$ に依存する定数 $M(b,\delta ,\varepsilon)$ が存在して $\lvert\sum_{n=u}^{v}\frac{a(n)}{n^s}\rvert\le\frac{M(b,\delta,\varepsilon)}{u^\delta}$

つまり、コーシーの条件を満たしているから、収束していて

$\sup_{s\in D(b,\delta,\varepsilon)}\lvert\sum_{n=u}^{\infty}\frac{a(n)}{n^s}\rvert\le\frac{M(b,\delta,\varepsilon)}{u^\delta}\rightarrow0\;(u\to\infty)$

2017-10-23

お世話になった(なっている)解析系の数学書

微積分

微積分の基礎 (現代基礎数学)

作者: 浦川肇
出版社/メーカー: 朝倉書店
発売日: 2006/12/01
メディア: 単行本
購入: 1人クリック: 1回
この商品を含むブログを見る

B1のときの講義のテキスト。大学の微積分について初めて読んだ本。やはり今の基礎となっている。

微分積分学 (サイエンスライブラリ―数学)

作者: 笠原晧司
出版社/メーカー: サイエンス社
発売日: 1974/04/01
メディア: 単行本
購入: 2人クリック: 23回
この商品を含むブログ (5件) を見る

B2の講義の演習でつまった問題(ディニの定理の証明)のヒントを求めて辿り着いた本。値段の割に内容が豊富で良コスパ。

解析全般

定本解析概論

作者: 高木貞治
出版社/メーカー: 岩波書店
発売日: 2010/09/16
メディア: 単行本（ソフトカバー）
購入: 1人クリック: 49回
この商品を含むブログ (14件) を見る

数学科ならほぼ全員知っているであろう解析学のバイブル。

微分方程式

新微分方程式対話 (日評数学選書)

作者: 笠原晧司
出版社/メーカー: 日本評論社
発売日: 1992/03/24
メディア: 単行本
クリック: 7回
この商品を含むブログ (3件) を見る

微分方程式について習って間もない頃に読んでた記憶がある。

OD>常微分方程式入門―基礎から応用へ (岩波オンデマンドブックス)

作者: 俣野博
出版社/メーカー: 岩波書店
発売日: 2015/06/10
メディア: オンデマンド (ペーパーバック)
この商品を含むブログを見る

B3のときの常微分方程式の講義でテキストとして存在性定理の部分など読んだ。

複素解析

複素数30講 (数学30講シリーズ)

作者: 志賀浩二
出版社/メーカー: 朝倉書店
発売日: 1989/04/01
メディア: 単行本
クリック: 13回
この商品を含むブログ (9件) を見る

ゼータ関数知るには複素関数論が必要らしいということでB2の夏休みに読んでた本。

複素関数入門 (現代数学への入門)

作者: 神保道夫
出版社/メーカー: 岩波書店
発売日: 2003/12/12
メディア: 単行本
購入: 4人クリック: 41回
この商品を含むブログ (16件) を見る

B2の複素関数論の講義のテキスト。

複素解析 (プリンストン解析学講義)

作者: エリアス・M.スタイン,ラミシャカルチ,Elias M. Stein,Rami Shakarchi,新井仁之,杉本充,高木啓行,千原浩之
出版社/メーカー: 日本評論社
発売日: 2009/06/01
メディア: 単行本
クリック: 10回
この商品を含むブログを見る

複素解析のもう少し本格的な本をと思って買った本。楕円関数の参考書としても参照。

複素関数論の要諦[新装版]

作者: 堀川穎二
出版社/メーカー: 日本評論社
発売日: 2015/08/25
メディア: 単行本
この商品を含むブログ (2件) を見る

院試の勉強として薄めの本で復習したいと思って半分くらい読んだ本。

フーリエ解析

フーリエ解析とその応用 (サイエンスライブラリ―理工系の数学)

作者: 洲之内源一郎
出版社/メーカー: サイエンス社
発売日: 1977/02/01
メディア: 単行本
この商品を含むブログを見る

フーリエ解析の本欲しいなと思って買った本。

ベクトル解析

ベクトル解析 (サイエンスライブラリ―理工系の数学)

作者: 増田真郎
出版社/メーカー: サイエンス社
発売日: 1975/03/01
メディア: 単行本
この商品を含むブログを見る

B3のときの自主ゼミメンバーがベクトル解析やってたので、自分で薄いので勉強し直したいなと思って読んだ本。ベクトル値関数の積分をちゃんと定義していて好感が持てた。

ルベーグ積分

ルベーグ積分講義―ルベーグ積分と面積0の不思議な図形たち

作者: 新井仁之
出版社/メーカー: 日本評論社
発売日: 2003/01/01
メディア: 単行本
クリック: 43回
この商品を含むブログ (9件) を見る

B3の講義の参考書として参照した。

Real & Complex Analysis

作者: Rudin
出版社/メーカー: Mcgraw Hill Higher Education
メディア: ペーパーバック
この商品を含むブログを見る

志村五郎の文庫本で存在を知り、第1章読めばルベーグ積分の本質が掴めるとAmazonのカスタマーレビューにあったので、B4の1～2月に学び直しで読んだ本。位相空間の連続関数と測度空間の可測関数の対比が目から鱗だった。

ルベグ積分入門 Math＆Science (ちくま学芸文庫)

作者: 吉田洋一
出版社/メーカー: 筑摩書房
発売日: 2017/03/17
メディア: Kindle版
この商品を含むブログを見る

ルベーグ積分の本1冊くらい手元にと思って買った本。

2017-08-05

体論の期末試験(再現)

問1

(1) $\mathbb{Q}(2\cos\frac{2\pi}{7})/\mathbb{Q}$ がGalois拡大であることを示し、そのGalois群を求めよ

(2) $2\cos\frac{2\pi}{7}$ の $\mathbb{Q}$ 上最小多項式を求めよ

(1) $\zeta_7=\exp(\frac{2\pi i}{7})$ とおくと、 $2\cos\frac{2\pi}{7}=\zeta_7^{}+\zeta_7^{-1}=\zeta_7^{}+\zeta_7^{6}\in\mathbb{Q}(\zeta_7)$

よって、 $M:=\mathbb{Q}(2cos\frac{2\pi}{7})$ は $K:=\mathbb{Q}(\zeta_7)$ の部分体

$K/\mathbb{Q}$ はAbel拡大だから、 $Gal(K/M)\lhd Gal(K/\mathbb{Q})=:G$

よって、 $M/\mathbb{Q}$ はGalois拡大

$O_G(\zeta_7^{}+\zeta_7^{-1}) =\{\zeta_7^{}+\zeta_7^{-1}, \zeta_7^{2}+\zeta_7^{-2}, \zeta_7^{3}+\zeta_7^{-3}\}$ より、 $[M:\mathbb{Q}]=[\mathbb{Q}(\zeta_7^{}+\zeta_7^{-1}):\mathbb{Q}]=3$

よって、 $Gal(M/\mathbb{Q})\simeq\mathbb{Z}/3\mathbb{Z}$

(2) $(x-\zeta_7^{}-\zeta_7^{-1})(x-\zeta_7^{2}-\zeta_7^{-2})(x-\zeta_7^{3}-\zeta_7^{-3})=x^{3}+x^{2}-2x-1$

問2 $\quad p$ を奇素数とする。

(1) $\mathbb{Q}(\cos\frac{2\pi}{p})/\mathbb{Q}$ がGalois拡大であることを示し、その拡大次数を求めよ。

(2) $\sin\frac{2\pi}{p}=\cos\frac{2\pi(4-p)}{4p}$ であることを利用し、 $[\mathbb{Q}(\sin\frac{2\pi}{p}):\mathbb{Q}]$ を求めよ。

(1) $\mathbb{Q}(\cos\frac{2\pi}{p})=\mathbb{Q}(2\cos\frac{2\pi}{p})$ に注意すると、Galois拡大であることは問1と同様。

$G:=Gal(\mathbb{Q}(\zeta_p)/\mathbb{Q})$ として、 $O_G(\zeta_p^{}+\zeta_p^{-1})=\{\zeta_p^{}+\zeta_p^{-1},\dots,\zeta_p^{p-1}+\zeta_p^{-(p-1)}\}$ $=\{\zeta_p^{}+\zeta_p^{-1},\dots,\zeta_p^{\frac{p-1}{2}}+\zeta_p^{-\frac{p-1}{2}}\}$

よって、 $[\mathbb{Q}(\cos\frac{2\pi}{p}):\mathbb{Q}]=[\mathbb{Q}(2\cos\frac{2\pi}{p}):\mathbb{Q}]=\frac{p-1}{2}$

(2) $O_G(2\sin\frac{2\pi}{p})=\{\zeta_{4p}^{(4-p)k}+\zeta_{4p}^{-(4-p)k}\mid\gcd(4p,k)=1\}$

$\gcd(4p,4-p)=1$ だから、

$=\{\zeta_{4p}^{k}+\zeta_{4p}^{-k}\mid\gcd(4p,k)=1\}$

$\zeta_{4p}^{4p-k}+\zeta_{4p}^{-(4p-k)}=\zeta_{4p}^{k}+\zeta_{4p}^{-k}$ だから

$=\{\zeta_{4p}^{k}+\zeta_{4p}^{-k}\mid\gcd(4p,k)=1,1\le k\le 2p\}$

$1\le k_1＜k_2\le 2p$ のとき、 $\cos\frac{2k_1\pi}{4p}\neq\cos\frac{2k_2\pi}{4p}$ だから、

$[\mathbb{Q}(\sin\frac{2\pi}{p}):\mathbb{Q}]$

$=[\mathbb{Q}(2\sin\frac{2\pi}{p}):\mathbb{Q}]$

$=|O_G(2\sin\frac{2\pi}{p})|$

$=\frac{|(\mathbb{Z}/4p\mathbb{Z})^{\times}|}{2}=p-1$

2017-02-04

ガウスの類数1問題についてのメモ

ガウスによって予想された類数についての問題がある.

$\quad m\text{を平方因子を持たない正整数とするとき、}$

$\quad\text{虚二次体}\mathbb{Q}(\sqrt{-m})\text{の類数が1となるのは}$

$\quad m=1,2,3,7,11,19,43,67,163\text{に限る}$

これは整数論の多くの本で「1967年にBakerとStarkが独立に証明した」と載っていて、Baker-Starkの定理と呼ぶものもある。

しかし、それ以前にも実はHeegnerという人が証明をしている。ただ、その証明が拠り所とする主張にはギャップがあり、当時は受け入れられなかった。

結果としてはBakerやStarkが完全な証明をしたので、BakerとStarkの名前を付けるのは至極当然だが、それ以前にも証明をした人はいたという事実は歴史として頭に留めておいても損はないと思う。

参考文献

H.M.Stark, On the “Gap” in a Theorem of Heegner, Journal of Number Theory vol.1(1969), p16–27

2017-01-05

代数的数全体の集合の濃度

代数的数とは $\mathbb{Z}$ 上の多項式の根になっているような複素数のことである。代数的数全体の集合を ${\displaystyle\mathcal{A}}$ と書くことにする。

Cantorにより初めて次が示された。

$|\mathcal{A}|=\aleph_0$

proof

$\exp(\frac{2\pi i}{n})\in\mathcal{A}$ より、 $\mathcal{A}$ は無限集合

$k\in\mathbb{N}$ とする。 $f(x)=\sum_{i=0}^{k}a_ix^i\in\mathbb{Z}[x]$ に対し、

$H(f):=k+\sum_{i=0}^{k}|a_i|$ と定めると、各 $k$ に対し、明らかに、

$\mathcal{H}_k:=\left\{f\mid H(f)=k\right\}$ は有限集合であり、属する $f$ の次数は高々 $k$

また、 $\mathcal{H}_k$ の元で $\mathbb{Q}$ 上既約なモニックのもの全体を $\mathcal{H}_k^\ast$ とおく

したがって、 $\alpha\in\mathcal{A}$ の $\mathbb{Q}$ 上最小多項式 $f$ に対し, $m=H(f)$ とすれば、 $\mathcal{H}_m^\ast$ の $n$ 個め(順序は適当に決めておく)の元 $f$ の $l$ 番目(順序は適当に決めておく)の根として区別することができる。これは単射 $\mathcal{A}\rightarrow\mathbb{N}^3;\alpha\mapsto(m,n,l)$ の存在を示す

ゆえに、可算集合のある無限部分集合への全単射が構成できる $\mathcal{A}$ は可算集合である(証明終)

2017-01-04

一般電卓で正の数の三乗根

・図書室で読んだ本に面白いことが書いてあった.

それは普通の電卓で三乗根(の近似値)を計算するというものだった．普通の電卓というのは三角関数などの機能もない100円ショップで手に入るような極めて身近な電卓である．

・その計算方法

① １を入力

② ２をかける

③「√ 」のボタンを２回続けて連打

④ ②,③の操作をもう一回

⑤ ④の操作を１セットをしても値が変わらなくなるまで、④を繰り返す

⑥ 値が変わらなくなったときの値が $\sqrt[3]{2}$ である

手元の電卓で実際にやってみる

$1\overset{\times2}{\rightarrow}2\overset{\sqrt{}}{\rightarrow}1.4142135\overset{\sqrt{}}{\rightarrow}1.189207$

$\overset{\times2}{\rightarrow}2.378414\overset{\sqrt{}}{\rightarrow}1.5422107\overset{\sqrt{}}{\rightarrow}1.2418577$

$\overset{\times2}{\rightarrow}2.4837154\overset{\sqrt{}}{\rightarrow}1.5759807\overset{\sqrt{}}{\rightarrow}1.2553806$

$\overset{\times2}{\rightarrow}2.5107612\overset{\sqrt{\,}}{\rightarrow}1.5845381\overset{\sqrt{}}{\rightarrow}1.2587843$

$\overset{\times2}{\rightarrow}2.5175686\overset{\sqrt{}}{\rightarrow}1.5866847\overset{\sqrt{}}{\rightarrow}1.2596367$

$\overset{\times2}{\rightarrow}2.5192734\overset{\sqrt{}}{\rightarrow}1.5872219\overset{\sqrt{}}{\rightarrow}1.2598499$

$\overset{\times2}{\rightarrow}2.5196998\overset{\sqrt{}}{\rightarrow}1.5873562\overset{\sqrt{}}{\rightarrow}1.2599032$

$\overset{\times2}{\rightarrow}2.5198064\overset{\sqrt{}}{\rightarrow}1.5873898\overset{\sqrt{}}{\rightarrow}1.2599165$

$\overset{\times2}{\rightarrow}2.519833\overset{\sqrt{}}{\rightarrow}1.5873981\overset{\sqrt{}}{\rightarrow}1.2599198$

$\overset{\times2}{\rightarrow}2.5198396\overset{\sqrt{}}{\rightarrow}1.5874002\overset{\sqrt{}}{\rightarrow}1.2599207$

$\overset{\times2}{\rightarrow}2.5198414\overset{\sqrt{}}{\rightarrow}1.5874008\overset{\sqrt{}}{\rightarrow}1.2599209$

$\overset{\times2}{\rightarrow}2.5198418\overset{\sqrt{}}{\rightarrow}1.5874009\overset{\sqrt{}}{\rightarrow}1.2599209$

$\overset{\times2}{\rightarrow}2.5198418\rightarrow\cdots$

となったから, $\sqrt[3]{2}\fallingdotseq1.2599209$

実際に三乗を計算すると, $1.2599209^3=1.99999928617$ で $\sqrt[3]{2}$ の近似値と言える.

・以降、三乗根の近似値が求まる原理を数学的に書いていく

2をかけて2回√ をとるという一連の操作が $n$ 回行われたときの値を $a_n$ とおくと,

$a_0=1$ であり, $a_{n+1}=\sqrt{\sqrt{2a_n}}$ となる

よって, $\log a_{n+1}=\frac{1}{4}\log2a_n=\frac{1}{4}(\log a_n+\log2)$

この漸化式を解くと, $\log a_n=\frac{1}{3}(1-\frac{1}{4^n})\log2$

つまり, $a_n=2^{\frac{1}{3}(1-\frac{1}{4^n})}\rightarrow 2^{\frac{1}{3}}=\sqrt[3]{2}(n\rightarrow\infty)$ だから, 数列 ${a_n}$ は $\sqrt[3]{2}$ に収束する.

この証明から②の「2をかける」の部分を「3をかける」や「5をかける」に変えれば,それぞれ $\sqrt[3]{3},\sqrt[3]{5}$ の近似値が得られる.

・感想

確かめてみると原理に何も疑うところはないのだが、三乗根は電卓のルート計算で求められるという発想がなかったので、新鮮だった.

・参考文献

数理解析研究所講究録1920 RIMS共同研究「数学教師に必要な数学能力の育成法に関する研究」p113 http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1920.html

数学雑記

数学など