根号

{\sqrt {\;}}

根号（こんごう、英 : radical symbol）とは、ある数がn乗される前の元の数、すなわちある数の冪根を表すのに用いる記号で、 ${\sqrt {\;}}$ のことである。2が2乗される前の数は、根号を用いて ${\sqrt {2}}$ （ルート2）と表し、これを2の平方根という。3が3乗される前の数は ${\sqrt[{3}]{3}}$ と表し、これを3の立方根という。このように、ある数をaとおいた場合、 $a$ が $n$ 乗される前の数、すなわち $a$ の $n$ 乗根は ${\sqrt[{n}]{a}}$ と表される^[1]。

歴史

冪根という数の概念は紀元前のピタゴラスの時代からあったが、その頃は単なる無理数で、記号は用いられていなかった^[2]。その後、インドの数学者ブラーマグプタは無理を表す「carani」の頭文字 $c$ を用いて表す方法を生み出した^[2]。

13世紀には、記号が根の意味を持つようになり、ラテン語の radix（根や根源の意、英語の root に相当）を用いたり、イタリアでは radix を略した記号として大文字の $R$ と小文字の $x$ を組み合わせた記号が使われるようになった。イギリス系では latus（正方形の一辺の意、英語の side に相当）の頭文字 $l$ が使われた^[3]。

ドイツの数学者クリストッフ・ルドルフによる1525年の著作 “Coss”（『代数』）で、根号の原型となる $\surd$ が初めて用いられたとされ、この記号は radix の頭文字の r を変形したものであるといわれるが諸説ある^[1]。上に横棒を引いて範囲を示すのは、1637年にルネ・デカルトが考案した^[1]。

平方根以外のn乗根についてはしばらく形式が決まらず、アイザック・ニュートンは $\surd ^{3}$ として立方根を表した一方で、デカルトは cube の頭文字の c を用いて立方根を ${\sqrt {c.a}}$ （ $a$ は何らかの数）と表した^[3]。このような表し方の違いは、17世紀から18世紀頃に現在の表し方に統一されていった^[1]^[3]。

用例

共通のルールとして、乗法や除法の記号は省略し、除法の場合は分数で表す。

$3\times {\sqrt {2}}\rightarrow 3{\sqrt {2}},\quad {\sqrt {2}}\div 3\rightarrow {\frac {\sqrt {2}}{3}}$

平方根

${\sqrt {\;}}$ の横線の下に平方根を求める数式を書く。式が長い場合は必要なだけ横線をのばす。

{\sqrt {2\,}},\quad {\sqrt {x\,}},\quad {\sqrt {x+y+z+w+\cdots \;}}

演算の優先順位は横線により示されるが、その後も数式が続くときは印刷の都合などで判別しにくいことがあるので、全体を括弧でくくったり、乗算記号を書いたりすることもある。

{\sqrt {x}}\,y=\left({\sqrt {x}}\right)y={\sqrt {x}}\cdot y\neq {\sqrt {xy}}

^{[注釈 1]}

非負の実数の平方根（のうち根号で表される方）は ${\frac {1}{2}}$ 乗であり、根号の代わりに冪乗で表すこともある。

{\sqrt {x}}=x^{\frac {1}{2}}

多重根号

詳細は「多重根号」を参照

根号は必要なだけ入れ子にできる。このように入れ子にした式は根号の中に無理式を含むパターンであることがほとんどであるため、基本的に多重根号となる。

$\quad {\sqrt {x+{\sqrt {x+{\sqrt {x+{\sqrt {x+\cdots \ }}\;}}\;}}\,}}$

イデアルの根基

詳細は「イデアルの根基」を参照

可換環のイデアル ${\mathfrak {a}}$ の根基は

{\sqrt {\mathfrak {a}}}:=\left\{x\mid x^{n}\in {\mathfrak {a}}{\text{ for some integer }}n>0\right\}.

^[4]

非可換の場合は

{\sqrt {\mathfrak {a}}}:=\left\{a\mid {\text{if }}S{\text{ is an }}m{\text{-system, and }}a\in S{\text{ then }}S\cap {\mathfrak {a}}\neq \emptyset \right\}.

コンピュータでの表現

プレーンテキストで表すときは、√の後に数字等を続ける。あるいは単に、1/2乗と表す。演算の優先順位がはっきりしないなら括弧を使う。

√x

x ^ (1/2)

√(x + b)

HTML等では、数字等の上にオーバーラインをつけることもある。環境によっては根号と綺麗に繋がらない。

√x

符号位置

記号	Unicode	JIS X 0213	文字参照	名称
√	`U+221A`	`1-2-69`	`√` `√` `√`	根号 SQUARE ROOT
∛	`U+221B`	`-`	`∛` `∛`	三乗根号 CUBIC ROOT
∜	`U+221C`	`-`	`∜` `∜`	四乗根号 FOURTH ROOT

脚注

[脚注の使い方]

注釈

^ ${\sqrt {x}}y$ は ${\sqrt {x}}$ に $y$ をかけるのに対して、 ${\sqrt {xy}}$ は根号の中の数が $x$ と $y$ をかけたものになる。この違いに注意する必要がある。

出典

^ ^a ^b ^c ^d “数学記号の由来について（5）－べき乗、平方根等－”. ニッセイ基礎研究所. 2022年6月12日閲覧。
^ ^a ^b 岡部ら 2012, p. 36
^ ^a ^b ^c 岡部ら 2012, p. 37
^ “Ideal Radical”. Wolfram MathWorld. 2022年6月13日閲覧。

参考文献

上垣渉 (2006). はじめて読む数学の歴史. ベレ出版. ISBN 978-4860641108
岡部恒治、川村康文、長谷川愛美、本丸諒、松本悠『身近な数学の記号たち』株式会社　オーム社、2012年8月1日。ISBN 4274212432。

外部リンク

radical of an ideal - PlanetMath.（英語）
記号代数学の成立
三重大学教育学部附属教育実践総合センター紀要20, pp. 57–66^{[リンク切れ]}

[4] ${\sqrt {x}}y$ は ${\sqrt {x}}$ に $y$ をかけるのに対して、 ${\sqrt {xy}}$ は根号の中の数が $x$ と $y$ をかけたものになる。この違いに注意する必要がある。

[:0-1] “数学記号の由来について（5）－べき乗、平方根等－”. ニッセイ基礎研究所. 2022年6月12日閲覧。

[:2-2] 岡部ら 2012, p. 36

[:1-3] 岡部ら 2012, p. 37

[5] “Ideal Radical”. Wolfram MathWorld. 2022年6月13日閲覧。

[1]

[2]

[3]

[注釈 1]

[4]