多重根号

代数学における**多重根号**（たじゅうこんごう）の式は、少なくとも一つの根号（平方根号や立方根号など）の中に無理式を含む無理式をいう。例を挙げると
:\sqrt{8+3\sqrt{2}\ }
また、正五角形を議論する際には、以下の多重根号の式が登場する。
;1辺が1の正五角形の高さ \frac{1}{2}\sqrt{5+2\sqrt{5}\ }
;1辺が1の正五角形の面積 \frac{5}{4\sqrt{5-2\sqrt{5}}}
より複雑化した式の一つとしては、以下のようなものがある。
:\sqrt[3]{2+\sqrt{3}+\sqrt[3]{4}\ }

## 一重化
多重根号の式の中には、一重根号の式に書き直すことができるものもある。例えば
:\sqrt{3+2\sqrt{2}} = 1+\sqrt{2},
:\sqrt[3]{\sqrt[3]{2} - 1} = \frac{1 - \sqrt[3]{2} + \sqrt[3]{4}}{\sqrt[3]{9}}.
このような書き直しは**一重化** (*denesting*; 脱多重化) という（外側の根号が消えるので「多重根号を外す」というような言い方もする）。一重化の過程は一般には難しい問題と考えられる。

### 初等的な例
特定のクラスの多重根号は初等的な計算に基づいて根号を外すことができる。以下の左辺の形をした二重根号の式が、右辺のように二つの平方根の和に分解できる条件を調べよう。すなわち、以下の等式
: \sqrt{a\pm b \sqrt{c}\ } = \sqrt{d} \pm \sqrt{e}
（ただし、cは平方数でない）が成り立つと仮定する。両辺を自乗した
: a\pm b \sqrt{c} = (d + e) \pm 2\sqrt{de}
に対し、両辺の（両辺の有理成分同士、無理成分同士がそれぞれを等しいとおく）によって、問題は「和がaに等しく、積が\frac{b^2 c}{4} に等しい二数 d,e を求めること」に帰着される。これは根と係数の関係により、特定の二次方程式を解く問題として解決することができる。
{2}を得る。}}

あるいは以下のようにしても同様の結果が得られる。

{2}
 ゆえ、二つの解  は互いにであるから、
: d=\frac{a + \sqrt {a^2-b^2c}}{2}
: e=\frac{a - \sqrt {a^2-b^2c}}{2}
と決まる。}}
このやり方で \sqrt{a+b \sqrt{c}\ } の形の多重根式を一重化できるための必要十分条件は  \sqrt{a^2 - b^2c}が有理数となること、すなわちa^2-b^2c が平方数となることである（そのとき、多重根式の一重化は上で見た通りの二つの平方根の和になる）。
;例1 \sqrt{3+2\sqrt{2}}
:a=3,b=c=2 であるから、a^2-b^2c=3^2-2^2\cdot 2=1 は平方数となる。したがって、d=\frac{3+1}{2}=2,e=\frac{3-1}{2}=1となるから、\sqrt{3+2\sqrt{2}}=1+\sqrt{2}

;例2 \sqrt{6+\sqrt{35}}
:a=6,b=1,c=35 であるから、a^2-b^2c=6^2-1^2\cdot 35=1 は平方数となる。したがって、d=\frac{6+1}{2}=\frac{7}{2},e=\frac{6-1}{2}=\frac{5}{2}となるから、
:\sqrt{6+\sqrt{35}}=\sqrt{\frac{7}{2}}+\sqrt{\frac{5}{2}}=\frac{\sqrt{14}+\sqrt{10}}{2}

また、一般的には以下の等式が成り立つ。
;a>0,b>0のとき
:\sqrt{(a+b)+2\sqrt{ab}}=\sqrt{(\sqrt{a}+\sqrt{b})^2}=\sqrt{a}+\sqrt{b}
;a>b>0のとき
:\sqrt{(a+b)-2\sqrt{ab}}=\sqrt{(\sqrt{a}-\sqrt{b})^2}=\sqrt{a}-\sqrt{b}

場合によっては、多重根式の一重化に高次の冪根が必要となる。例えば、
:\sqrt{4 + 3 \sqrt{2}} =\sqrt{(\sqrt{2}+2\sqrt{2})+2\sqrt{\sqrt{2}\cdot 2\sqrt{2} } }=\sqrt{(\sqrt[4]{2}+\sqrt[4]{8})^2} =\sqrt[4]{2} + \sqrt[4]{8}
と強引に根号が外れる形にする必要がある。他には、
:\sqrt{3 + 2 \sqrt{3}} = \frac{1}{2}(\sqrt[4]{12} + \sqrt[4]{108})
:\sqrt[3]{10+7\sqrt{2}}=\sqrt[6]{2}+\sqrt[3]{4}
:\sqrt[3]{5+3\sqrt{3}}=\frac{1}{2}(\sqrt[3]{4}+\sqrt[6]{432})

### ラマヌジャンの等式
シュリニヴァーサ・ラマヌジャンは、多重根号を外す操作を含む特徴的な等式をいくつも示して見せた。以下にそれらを列挙する。
: \sqrt[{}^{\scriptstyle 4}]{\frac{3 + 2 \sqrt[4]{5}}{3 - 2 \sqrt[4]{5}}} = \frac{ \sqrt[4]{5} + 1}{\sqrt[4]{5} - 1}=\frac{1}{2}(3+\sqrt[4]5+\sqrt5+\sqrt[4]{125}\,)
:  \sqrt{ \sqrt[3]{28} - \sqrt[3]{27}} = \frac{1}{3}(\sqrt[3]{98} - \sqrt[3]{28} -1)
:  \sqrt[{}^{\scriptstyle 3}]{ \sqrt[\scriptstyle 5]{\frac{32}{5}} - \sqrt[\scriptstyle 5]{\frac{27}{5}} } = \sqrt[\scriptstyle 5]{\frac{1}{25}} + \sqrt[\scriptstyle 5]{\frac{3}{25}} - \sqrt[\scriptstyle 5]{\frac{9}{25}}
: \sqrt[\scriptstyle 3]{\sqrt[3]{2}\ - 1}= \sqrt[\scriptstyle 3]{\frac{1}{9}} - \sqrt[\scriptstyle 3]{\frac{2}{9}} + \sqrt[\scriptstyle 3]{\frac{4}{9}}  
他にも、以下に挙げるような一風変わった等式が、ラマヌジャンによって発見された。
: \sqrt[4]{49 + 20\sqrt{6}} + \sqrt[4]{49 - 20\sqrt{6}} = 2\sqrt{3}
: \sqrt[3]{(\sqrt{2}+ \sqrt{3})(5 - \sqrt{6}) + 3(2\sqrt{3} + 3\sqrt{2})} = \sqrt{10 - \frac{13 - 5\sqrt{6}}{5 + \sqrt{6}}} 

### ランダウのアルゴリズム

1989年に、が多重根号を外すことのできる多重根式を決定するための、最初のアルゴリズムを導入した。それ以前のアルゴリズムは、上手く行った場合もあったが、それ以外には適合しなかった。

## 無限多重根号
### 平方根の場合
特定の条件を満たす
:  x = \sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\cdots}}}} 
のような無限多重平方根は有理数を表す。根号の中にも  が実現されていることに気付けば方程式
: x = \sqrt{2+x}
が得られるから、この有理数は求められる（ただし、xが収束することを先に証明しなければならない）。つまり、この方程式を解いて  が分かる（両辺自乗して得られる二次方程式のもう一つの解  は不適である。それは、規約により右辺が  の「正」の平方根を意味するから、左辺  もまた正でなければならないことによる。）。同じやり方は、一般に  に対して
: \sqrt{n+\sqrt{n+\sqrt{n+\sqrt{n+\cdots}}}} = \frac{1}{2}(1 + \sqrt {1+4n}\,),
同じく
: \sqrt{n-\sqrt{n-\sqrt{n-\sqrt{n-\cdots}}}} = \frac{1}{2}(-1 + \sqrt {1+4n})
を示すのにも通用する。後者の式は、  によって
: n = x^2 - x
と表すことのできる任意の  に対して、 を値としてとる{2}}}。

#### ラマヌジャンの問題
ラマヌジャンは、雑誌『Journal of Indian Mathematical Society』にこの問題を提示した。
: ? = \sqrt{1+2\sqrt{1+3 \sqrt{1+\cdots}}}.
これはより一般的な公式を記述することにより、解くことができる。
: ? = \sqrt{ax+(n+a)^2 +x\sqrt{a(x+n)+(n+a)^2+(x+n) \sqrt{\mathrm{\cdots}}}}
これを*F*(*x*)と設定し、両項を2乗すると以下の式が得られる。
: F(x)^2 = ax+(n+a)^2 +x\sqrt{a(x+n)+(n+a)^2+(x+n) \sqrt{\mathrm{\cdots}}}
これは、以下のように簡略化できる。
: F(x)^2 = ax+(n+a)^2 +xF(x+n)
よって、左辺と右辺の *x* の次数を比べることで *F*(*x*) は *x* の1次式であることが分かり *F*(0) の値より以下の式で表せる。
: F(x) = x + n + a \ 
よって、a=0,n=1,x=2 を上の式に代入すると、
: 3 = \sqrt{1+2\sqrt{1+3 \sqrt{1+\cdots}}}.
ラマヌジャンは彼のノート（現存せず）において
: \sqrt{5+\sqrt{5+\sqrt{5-\sqrt{5+\sqrt{5+\sqrt{5+\sqrt{5-\cdots}}}}}}}=\frac{2+\sqrt{5}+\sqrt{15-6\sqrt{5}}}{2}
という無限多重平方根の根号を外した式を述べている。（上式の符号のパターンは  の繰り返しである）

#### ヴィエトの円周率公式
円周率  に関するは
: \frac2\pi=
\frac{\sqrt2}2\cdot
\frac{\sqrt{2+\sqrt2}}2\cdot
\frac{\sqrt{2+\sqrt{2+\sqrt2}}}2\cdots.

### 立方根の場合
特定の場合において、
: x = \sqrt[3]{6+\sqrt[3]{6+\sqrt[3]{6+\sqrt[3]{6+\cdots}}}}
のような無限多重立方根もまた同様に有理数を表す。再び、式全体がそれ自身の中に見つけられることを利用して
: x = \sqrt[3]{6+x}
だけを残す。方程式を解いて  が求まる。より一般に、 に対して
: \sqrt[3]{n+\sqrt[3]{n+\sqrt[3]{n+\sqrt[3]{n+\cdots}}}}
は方程式  の実根である。特に  のとき、根はプラスチック数 （約 ）になる。

同じ手順で、任意の  に対して
: \sqrt[3]{n-\sqrt[3]{n-\sqrt[3]{n-\sqrt[3]{n-\cdots}}}}
の値を方程式  の実根として得ることができる。

## 関連項目
* 平方数
* 冪根
* 二次体
* リーマン面
* ド・モアブルの定理
* プラスチック数

## 注
### 注釈

### 出典

## 外部リンク
* 
* 
* Decreasing the Nesting Depth of Expressions Involving Square Roots
* Simplifying Square Roots of Square Roots
* 
*