代数学における多重根号(たじゅうこんごう)の式[注釈 1]は、少なくとも一つの根号(平方根号や立方根号など)の中に無理式[注釈 2]を含む無理式をいう。例を挙げると
また、正五角形を議論する際には、以下の多重根号の式が登場する。
- 1辺が1の正五角形の高さ
- 1辺が1の正五角形の面積
より複雑化した式の一つとしては、以下のようなものがある。
多重根号の式の中には、一重根号の式に書き直すことができるものもある。例えば
このような書き直しは一重化 (denesting; 脱多重化) という(外側の根号が消えるので「多重根号を外す」というような言い方もする)。一重化の過程は一般には難しい問題と考えられる。
特定のクラスの多重根号は初等的な計算に基づいて根号を外すことができる。以下の左辺の形をした二重根号の式が、右辺のように二つの平方根の和に分解できる条件を調べよう。すなわち、以下の等式
(ただし、は平方数でない)が成り立つと仮定する。両辺を自乗した
に対し、両辺の係数比較(英語版)(両辺の有理成分同士、無理成分同士がそれぞれを等しいとおく)によって、問題は「和がに等しく、積が に等しい二数 を求めること」に帰着される。これは根と係数の関係により、特定の二次方程式を解く問題として解決することができる。
あるいは以下のようにしても同様の結果が得られる。
このやり方で の形の多重根式を一重化できるための必要十分条件は が有理数となること、すなわち が平方数となることである(そのとき、多重根式の一重化は上で見た通りの二つの平方根の和になる)。
- 例1
- であるから、 は平方数となる。したがって、となるから、
- 例2
- であるから、 は平方数となる。したがって、となるから、
また、一般的には以下の等式が成り立つ。
- のとき
- のとき
場合によっては、多重根式の一重化に高次の冪根が必要となる。例えば、
と強引に根号が外れる形にする必要がある。他には、
シュリニヴァーサ・ラマヌジャンは、多重根号を外す操作を含む特徴的な等式をいくつも示して見せた。以下にそれらを列挙する[2]。
- [3]
他にも、以下に挙げるような一風変わった等式が、ラマヌジャンによって発見された。
1989年に、スーザン・ランダウ(英語版)が多重根号を外すことのできる多重根式を決定するための、最初のアルゴリズムを導入した[4]。それ以前のアルゴリズムは、上手く行った場合もあったが、それ以外には適合しなかった。
特定の条件を満たす
のような無限多重平方根は有理数を表す。根号の中にも x が実現されていることに気付けば方程式
が得られるから、この有理数は求められる(ただし、xが収束することを先に証明しなければならない)。つまり、この方程式を解いて x = 2 が分かる(両辺自乗して得られる二次方程式のもう一つの解 x = −1 は不適である。それは、規約により右辺が 2 + x の「正」の平方根を意味するから、左辺 x もまた正でなければならないことによる。)。同じやり方は、一般に n > 0 に対して
同じく
を示すのにも通用する。後者の式は、 x > 0 によって
と表すことのできる任意の n に対して、x を値としてとる[注釈 3]。
ラマヌジャンは、雑誌『Journal of Indian Mathematical Society』にこの問題を提示した。
これはより一般的な公式を記述することにより、解くことができる。
これをF(x)と設定し、両項を2乗すると以下の式が得られる。
これは、以下のように簡略化できる。
よって、左辺と右辺の x の次数を比べることで F(x) は x の1次式であることが分かり F(0) の値より以下の式で表せる。
よって、 を上の式に代入すると、
ラマヌジャンは彼のノート(現存せず)において
という無限多重平方根の根号を外した式を述べている。(上式の符号のパターンは +, +, −, + の繰り返しである)
円周率 π に関するヴィエトの公式(英語版)は
特定の場合において、
のような無限多重立方根もまた同様に有理数を表す。再び、式全体がそれ自身の中に見つけられることを利用して
だけを残す。方程式を解いて x = 2 が求まる。より一般に、n > 0 に対して
は方程式 x3 − x − n = 0 の実根である。特に n = 1 のとき、根はプラスチック数 ρ(約 1.3247)になる。
同じ手順で、任意の n > 0 に対して
の値を方程式 x3 + x − n = 0 の実根として得ることができる。
- ^ 厳密には「根号」(radical sign) は冪根 (radical) を表すために用いる記号のことを言うのであって、記号でなく「根号が入れ子になった式」(英: nested radical) そのものを「多重根号」と呼ぶのは甚だ不適当であるが、慣用的に式そのものを「多重根号」と呼ぶことがあるようにも思われる。少なくとも「多重根号の式」のように呼ぶならば取り立てて齟齬はないはずである
- ^ ここでは「無理式」 (irrational expression) を慣用に従って「根号の中に変数を含む代数式」の意味で用いる[1]。「無理式」の語義「有理式でない代数式」を厳密にとれば本項で扱うべき式以外のものをも含むから、そうでないことを明確にするならば根式 (英: radical expression) を用いるほうがより適切と思われる。
- ^ 明らかに だから