2の平方根

2 の平方根とは、平方して 2}} になる無理数のことである。すなわち、

を満たす実数 r}} のことである。

1. 概説
-----

2の平方根は、後述するように無理数である。2 の平方根は、人類の歴史において極めて初期の段階で発見されており、おそらく最初に知られた無理数であると考えられている。幾何学的には、1辺の長さが 1}} の正方形の対角線の長さに相当する。

2}} の平方根には正負の 2 つがある。その内正である方を

と書き、「ルート 2」と読む。またこのとき、負の平方根は

と書き表すことができる。

は無理数であるから、その小数部分は循環しない。 の小数点以下 98 桁までは以下の通りである。

= 1.414213 562373 095048 801688 724209 698078 569671 875376 948073 176679 737990 732478 462107 038850 387534 327641 57…上記の最初の数桁を、語呂合わせで「一夜一夜に人見頃」などと覚える記憶法がしばしば用いられている。

2. 性質
-----

は代数的整数である。 の有理数体 上の既約多項式は //x//sup である。
の近似値として sfrac が挙げられる。
分母・分子が2桁以内のものではこれが に最も近い。
の連分数展開はとなる。これはしばしば [1; 2, 2, 2,...]}} と表記される。連分数展開を途中で打ち切ることで、 の近似値を計算することができる。



3. 歴史
-----

バビロニアの粘土板 YBC 7289に、2}} の平方根の近似が六十進法で 4 桁の精度で与えられている。

これは十進法では 6 桁の近似精度である。古い時代のうちで精度の高い近似としてほかに、古代インドの数学者によるものが知られており、シュルバ・スートラでは、2}} の平方根が「//基準の長さ  からその三分の一だけ増やし、さらにこの三分の一のそのまた四分の一から、この四分の一の三十四分の一だけ取り去ったものを加える// 」として与えられている。これはつまり、

を与えていることになる。

無理数はピタゴラス教団のメタポンタムのヒッパソスによって発見されたとされている。通説では、ヒッパソスが無理数を発見したのは 2}} の平方根を分数として表そうと試みていたときであり、彼は 2}} の平方根の無理性の証明を与えたといわれている。ところがピタゴラスは数の絶対性を信じていたため無理数の存在を受け入れることができなかった。ピタゴラスたちはこのような数を｢アロゴン｣とよんで研究対象から除外し，そのことを教団外の人たちには秘密にしていたといわれている。ピタゴラスは論理的に無理数の非存在を示すことはできなかったが、その信念から無理数の存在を受け入れることができず、ヒッパソスを溺死の刑に処したとされている。

4. 無理数であることの証明
--------------

4.1. 有理根定理を用いた方法
----------------

の有理数体 上の既約多項式 //P// =}} //x//sup を用いる。//P//}} は有理根をもつと仮定する。それを //x// =}} //sfracと表すと、有理根定理より、p}} は定数項 −2}} の約数、q}} は最高次係数 1}} の約数である。ゆえに //P//}} の根 は整数または無理数である。2}} は平方数でないから、 は整数ではない。ゆえに、 は無理数である。■//

この証明は に限らず一般化して、平方数でない自然数の平方根の無理性を示すことにも使える。

4.2. 背理法
--------

背理法を用いた証明を以下に示す。

が有理数であると仮定すると、 は既約分数で表すことができる。すなわち、互いに素である整数 M}}, N}} を用いて と表せる。1 の両辺を2乗し分母を払うと 2 から //M//sup は偶数であり、ここから M}} は偶数であることを示すことができる。したがって M}} は整数 m}} を用いて以下のように表すことができる。 3 を 2 の式に代入して整理すると以下の関係を得る。 4 より //N//sup は偶数なので、N}} も偶数である。以上より、m}}, n}} ともに偶数であることが示されたが、これは m}}, n}} が互いに素であるという仮定に矛盾する。ゆえに、 は無理数であることが示された。■

無限降下法を意識した証明だと、m}}, n}} が M}}, N}} と同様に偶数であるといえ、1 の右辺が何回でも 2}} で約分できることになり、矛盾となる。

4.3. 素因数分解の一意性を用いた方法
--------------------

素因数分解の一意性ことを利用する。

が有理数であると仮定する。 と表す。。
2}} は平方数でないため、分母 b}} は 1}} ではない。
a, b}} は互いに素なので、b}} を割り切り a}} を割り切れない素数 p}} が存在する。
a}} の平方 //a//sup の素因数分解は a}} の素因数をそれぞれ二乗したものになる。
従って素因数の一意性から //p//sup は //a//sup を割り切れない。
は既約分数であり整数ではない。
よって は有理数ではない。この証明はある整数の k}} 乗でない整数の k}} 乗根が無理数である証明に拡張できる。

4.4. 背理法を使わない方法
---------------

背理法を用いずに証明することができる。ただし、その構想には、背理法による証明過程における、矛盾の発生した点から論理を始めるという点で、直観的ではなく、きわめて形式的である。

平方数の各素因数の個数は偶数個であることと、素因数分解の一意性を用いる。

任意の自然数 //m//, //n//}} に対して、//m//sup, 2//n//sup の素因数 2}} の個数はそれぞれ偶数、奇数である。

ゆえに、素因数分解の一意性により、

∴

//m//, //n//}} の任意性より、 は無理数である。■

5. 日常生活における2の平方根
----------------

1}} : の比率は用紙サイズに採用されている他、建物などに使われる。一辺と他辺がこの比となる長方形は、白銀長方形 、またはルート長方形と呼ばれる。

この比が用紙サイズとして用いられている理由は、用紙を長手方向に半分にしたときに元と相似の形状となるため、大きな用紙を切るだけで規格に適合した小さな用紙が得られるためである。この融通性は実用上非常に都合が良い。

また、日本建築におけるモジュールの1つとして 2}} の平方根が用いられていると考えられる。例として法隆寺の五重塔を上から見た投影平面図における辺の関係が挙げられる。大工道具の指矩の裏面には裏目として角目と呼ばれる目盛が刻まれているものもある。この利用方法として、丸太から最大の方形角材を製材するときの寸法採りに用いられる。方法として丸太の直径を 1.414}} 倍目盛にて計測し、求めた値の裏面に当たる値が最大方形の 1 辺の長さとなる。

6. sqrt の小数表示の求め方
-----------------

sqrt の小数表示の求め方として、素朴に求めるには、20000…に近い平方数を探すという方法がある。より効率を追究した方法として、開平法がある。これは一般の位取り記数法表示でも可能である。

7. 脚注
-----

7.1. 出典
-------

7.2. 注釈
-------

8. 関連項目
-------

冪根
平方根
3の平方根
5の平方根
7の平方根
白銀比
2の立方根

9. 外部リンク
--------

[1]2008年7月12日閲覧