平方根
平方根(へいほうこん、英語: square root)とは、数に対して、平方すると元の値に等しくなる数のことである。与えられた数を面積とする正方形を考えるとき、その数の平方根の絶対値がその一辺の長さであり、一つの幾何学的意味付けができる。また、単位長さと任意の長さ x が与えられたとき、長さ x の平方根を定規とコンパスを用いて作図することができる。二乗根(にじょうこん)、自乗根(じじょうこん)とも言う。
Contents
定義
数 a に対して、a = b2 を満たす b を a の平方根という。a がどのような数の範囲であるかによって、この概念は、意味を持つかどうかということを含め、さまざまな点で差異が生じるということに注意が必要である。
0 の平方根は 0 のみである。また、どんな正の数 a に対しても平方根は正と負の2つ存在し、そのうち正である方を根号(こんごう、radical symbol)[math]\sqrt{\;}[/math] を用いて
- [math]\sqrt{a}[/math]
と表し「正の(あるいは非負の)平方根」(principal square root; 主平方根)と呼ぶ(文脈上紛れのおそれの無いと思われるときは「正の」を省略することもある)。このとき、もう一方の「負の平方根」は [math]-\sqrt{a}[/math] と表すことができる。また、2つの平方根を併せて [math]\pm\sqrt{a}[/math] と表記することもできる。例えば、16 の平方根は ±4、すなわち +4 と −4 の2つであり、[math]\sqrt{16}[/math]は正である 4 の方を表す。[math]\sqrt{0}[/math] は、0 の唯一の平方根 0 を意味すると約束する。根号に関するこれらの規約は、非負の実数の範囲でのみ通用する便宜的なものであることに注意を要する。
負の数の平方根は、考える数の範囲を複素数まで拡大すれば定義できる。また、数とは限らず、もっと一般にいくつかの数学的対象についても、それぞれに意味のある仕方で平方根が定義されるものがある(正定値行列など)。
いくつかの基本的なこと
a が正の整数でも、a の平方根は整数とは限らない。例えば [math]\sqrt{10}[/math] は小数表示すると 3.162277660168… と小数部分が循環せず、無理数である。平方根が整数であるような整数は平方数に限られる。そうでない整数の平方根は無理数となる(無限降下法または素因数分解の可能性・一意性から証明される)。正の整数や小数の平方根の小数表示を求めるには、開平法という筆算による方法が知られている。
a = x2y (x, y > 0) と表せるならば、その正の平方根について:[math]\sqrt{a}[/math]= [math]x \sqrt{y}[/math]が成り立つから、正の整数 a が平方因子を持つ場合は、根号内がより小さい表示にできる。 例えば 18 = 32 × 2 であるから、[math]\sqrt{18}=3\sqrt{2}[/math] と表せる。
比較的小さな数の平方根については、概数を知る必要がしばしばあることから、以下のような小数部分の数桁目までの語呂合わせが知られている。
- [math]\sqrt{2} = 1.41421356\cdots[/math] 一夜一夜に人見頃(ひとよひとよにひとみごろ)
- [math]\sqrt{3} = 1.7320508075\cdots[/math] 人並みに奢れや女子(ひとなみにおごれやおなご)
- [math]\sqrt{5} = 2.2360679\cdots[/math] 富士山麓鸚鵡鳴く(ふじさんろくおーむなく)
- 「富士山麓に 鸚鵡鳴く」と誤って覚えるむきも多い。
- [math]\sqrt{5} = 2.236067977\cdots[/math] なので、小数点以下 8 桁ならば、切り捨てた「 2.2360679 」よりは、四捨五入した「 2.2360680 」の方が近い。
- [math]\sqrt{6} = 2.4494897\cdots[/math] ツヨシ串焼くな(つよしくしやくな)、煮よ良く弱く(によよくよわく)
≈ 2.44949 似よ良く良く(によよくよく)、二夜しくしく(によしくしく) - [math]\sqrt{7} = 2.64575\cdots[/math] 菜 (7) に虫来ない((な)にむしこない)、「菜に虫いない」とも。
- [math]\sqrt{8} = 2\sqrt{2} = 2.828427\cdots[/math] ニヤニヤ呼ぶな(にやにやよぶな)
- [math]\sqrt{10} = 3.162277\cdots[/math] 父 (10) さん一郎兄さん(とうさんいちろーにーさん)
実数 x に対して、x2 ≥ 0 であり、
- [math]\sqrt{x^2} =|x|\left( =\begin{cases} x &(x \ge 0) \\ -x &(x \le 0) \end{cases}\right)[/math]
が成り立つ。ここで |x| は x の絶対値である。また、x と y が非負のときには
- [math]\begin{align} \sqrt{xy} &=\sqrt{x} \sqrt{y}\\ \sqrt{\frac{x}{y}} &=\frac{\sqrt{x}}{\sqrt{y}} \end{align}[/math]
が成り立つ。これらは(証明を述べれば明らかであるが)非負の実数に対してその非負の平方根が一意に定まるということに依存して成立しており、後述するように、根号内が負の数や虚数のときは、一般には成り立たない。
- [math]x=\left(\sqrt{x} \right)^2 =\left(\sqrt[4]{x^2} \right)^2 =\left(\sqrt[6]{x^3} \right)^2 =\cdots[/math]
が成り立ち、特に
- [math]x^{1/2} :=\sqrt{x}[/math]
と定めることは(指数の表示 1/2 = 2/4 = 3/6 = … に依らずに一定という意味で)well-defined で、指数法則とも整合する。
平方根函数
入力 x に対してその非負の平方根 [math]\sqrt{x}[/math] を返す函数 [math]f(x)=\sqrt{x}[/math] を非負実数全体の集合 R+ ∪ {0} 上で定義されていると考えた正の平方根函数
- [math]\sqrt{\bullet}\colon \mathbb{R}^+ \cup \{ 0\} \ni x\ \xrightarrow{\text{1-1,onto}}\ \sqrt{x} \in \mathbb{R}^+ \cup \{ 0\}[/math]
は(函数として well-defined で)、それ自身への全単射になる。正の平方根函数のグラフと負の平方根函数
- [math]{-\sqrt{\bullet}}\colon \mathbb{R}^+ \cup \{ 0\} \ni x\ \xrightarrow{\text{1-1,onto}}\ {-\sqrt{x}} \in \mathbb{R}^- \cup \{ 0\}[/math]
のグラフの和集合は、二次函数 y = x2 のグラフと直線 y = x に関して線対称な放物線に等しい。
正の平方根函数 √ は連続かつ x > 0 で微分可能であり、導関数は
- [math]\frac{d}{dx} \sqrt{x} =\frac{1}{2\sqrt{x}}[/math]
原始関数の一つは
- [math]\int \sqrt{x} \, dx=\frac{2}{3} ( \sqrt{x} )^3=\frac{2}{3} x^{\frac{3}{2}}[/math]
で与えられる。また、収束冪級数としての二項展開
- [math]\sqrt{1+x} =\sum_{n=0}^{\infty} \binom{1/2}{n} x^n =1+\frac{x}{2} -\frac{x^2}{8} +\cdots= \sum_{n=0}^\infty \frac{(-1)^n(2n)!}{(1-2n)(n!)^2(4^n)}x^n[/math]
が |x| < 1 で成り立つ。
x > 0 に対して自然数 n に関して帰納的に
- [math]f_n (x)=\sqrt{x+\sqrt{x+\sqrt{x+\sqrt{x + ...}}}}[/math]
(x および根号の個数は n)と定めると、函数列 fn は漸化式
- [math]f_{n+1}(x)^2 =x+f_n (x)[/math]
に従い、fn(x) > 0 が α(x) > 0 に収束するならば α(x)2 − α(x) − x = 0 でなければならないから、
- [math]\lim_{n \to \infin} f_n (x)=\sqrt{x+\frac{1}{4}} +\frac{1}{2}[/math]
が成り立つ。
負の数の平方根
a < 0 の場合は、a の平方根は実数でなく、はっきりと指定することができない。複素数の範囲では、a の平方根の1つを b とすると、x2 = a の解は (x + b)(x − b) = 0 より x = ±b で、a の平方根は2つあると分かる。そこで、記号 [math]\sqrt{a}[/math] は +b, −b のどちらを指すかが問題となる。
−1 の平方根の1つ(どちらでもよい)をあらかじめ指定しておき、それを i で表す(虚数単位と呼ぶ)。これにより、a の平方根は [math]\plusmn\sqrt{-a}\, i[/math] と表せるから、
- [math]\sqrt{a} =\sqrt{-a} \, i[/math]
と定めることにする。例えば [math]\sqrt{-5}=\sqrt{5}\, i[/math] である。
正の数の平方根においてよく知られる計算法則
- [math]\sqrt{a} \sqrt{b} =\sqrt{ab} [/math]
は、a < 0 かつ b < 0 のとき成立しない。実際、左辺は
- [math]\sqrt{a} \sqrt{b} =\sqrt{-a} \, i\times \sqrt{-b} \, i=\sqrt{-a} \sqrt{-b} \, i^2 =-\sqrt{ab} [/math]
なので、この場合
- [math]\sqrt{a} \sqrt{b} =-\sqrt{ab} [/math]
が正しい。
四元数や八元数においては、複数の虚数単位を定義し、a の平方根は2個より多くなる。
二次体
有理数体 Q(有理数全体(負の数も含む))上で定義される函数
- [math]\mathbb{Q} \ni x\mapsto \sqrt{x} \in \mathbb{A}[/math]
において、その値域は(虚数も含めた)代数的数(の一部)からなる。有理数の平方根が再び有理数となるならば、その有理数は(有理数の範囲での)平方数であるという。有理数内で平方数とならない有理数 d に対して √d は二次の無理数であって、Q に √d を付け加えて得られる体(たい)は二次体と総称される。
複素数の平方根
a が 0 でない複素数のとき、 b2 = a を満たす複素数 b は2個存在する。a の極形式を
- [math]a=re^{i\theta} \ (r\gt 0,\, -\pi \lt \theta \le \pi)[/math]
とすると、b の動径の2乗が r、b の偏角の2倍が θ であるから、
- [math]\sqrt{a} =\sqrt{r} \, e^{i\theta/2}[/math]
と定義すると、これは a に対して一意に定まり、(√a)2 = a を満たす。これを a の平方根の主値(しゅち、principal value)という。この主値により定義される平方根函数
- [math]\mathbb{C} \ni z\mapsto \sqrt{z} \in \mathbb{C}[/math]
は、実軸の負の部分を除くガウス平面 C の全域で至る所正則である。しかし実軸の負の部分上では連続でさえない。これを2枚のガウス平面を実軸の負の部分で張り合わせた平方根函数のリーマン面上で考えるならば、至る所解析的である。
- Complex sqrt leaf1.jpg
ガウス平面上の平方根函数を色で示したもの。原点の周りを偏角が正の方向(反時計回り)に回って、実軸の負の部分を跨ぐときもう一枚のガウス平面へ跳ぶ(緑→緑)。
- Complex sqrt leaf2.jpg
もう一枚のガウス平面上の平方根函数。こちらもやはり原点を正の方向に回ると、実軸の負の部分を境に最初のガウス平面に帰る(紫→紫)。
- Riemann surface sqrt.jpg
原点付近での平方根函数のリーマン面(2つのガウス平面を張り合わせたときの様子)
平方根関数 Re z1/2
ここで、z は複素数。
数以外の平方根
行列の平方根
一般に、正方行列 A に対して、A = Bテンプレート:Exp を満たす正方行列 B を A の平方根行列と呼び[1]、記号で √A あるいは Aテンプレート:Exp と表す。平方根行列は存在するとは限らず、存在しても1つだけの場合や複数個の場合、無限個存在する場合がある。例えば、二次単位行列 I2 は無数の平方根を持つ[2]。ただしその中で正定値となるのはただ一つ I2 自身である。
また、半正定値複素 (resp. 実) 正方行列 A に対して、A = BB*(あるいは A = B*B. ここに ∗ はエルミート共軛)を満たす(正方とは限らない)任意の行列 B をしばしば、 A の非エルミート (resp. 非対称) 平方根 (non-Hermitian (resp. symmetric) square root)[3] と呼ぶ(とくに適当な三角行列となるときコレスキー因子 (Cholesky factor)[4]とも呼ぶ)。B がそれ自身エルミート(実係数の場合は対称)ならば、これは上で述べた平方根の概念と一致する。任意の正定値エルミート行列 P に対し、それ自身正定値エルミートとなる平方根は一意であり、これを主平方根 (unique square root, principal square root)[5]と呼ぶが、しばしば記号 √P や P1/2 は専ら主平方根を表すために予約される[6]ことに注意すべきである。また、正定値エルミート行列の任意の非エルミート平方根は、ユニタリ行列を掛ける分の不定性を持つ[7]が、これは正実数の場合に、(正値の主平方根が一意に決まること、および)主平方根に ±1 を掛けたものがその平方根のすべてであることと対応している。
このような半正定値行列の平方根の計算および一意性の証明には、エルミート作用素に関するスペクトル論(固有値分解)や特異値分解あるいはコレスキー分解などが利用できる。[8][9][10]
可換整域および可換体の場合
(可換)整域の各元が二つより多くの平方根を持つことはない。実際、乗法の可換性により二平方数の差の公式 u2 − v2 = (u − v)(u + v) が成り立つことに注意すれば、u, v が同じ元の平方根であるとき u2 − v2 = 0, ゆえに零因子を持たないことから u = v または u + v = 0 であることが従う。後者は、二つの平方根が互いに加法逆元の関係にあることを言っているのだから、すなわち一つの元の平方根は(存在すれば)符号の違いを除いて一意である。特に、整域において零元 0 の平方根は 0 自身のみである。
標数 2 の可換体において、各元の平方根は一つ持つ(各元が自身を加法逆元にもつことに注意せよ)か、全く持たないかの何れかとなる(標数 2 の有限体においては任意の元が一意な平方根を持つ)。それ以外の任意の標数の体においては、先の段落のとおり任意の非零元が二つの平方根を持つか全く持たないかの何れかとなる。
奇素数 p と適当な正整数 e に対し q = pe と置く。q-元体 Fq の非零元が平方剰余であるとは、その平方根が Fq に属することを言い、さもなくば平方非剰余であるという。この体において (q − 1)/2 個の元が平方剰余であり、(q − 1)/2 個が非剰余である(零元はいずれのクラスにも属さないことに注意)。平方剰余元の全体は乗法に関して群を成す。この性質は代数的整数論において広く用いられる。
非可換または零因子を持つ環の場合
一般の環において、a の平方根 b を b2 = a のことと定めるならば、一般には平方根は符号を除いて一意とは限らない。
たとえば合同類環 Z/8Z を考えれば、この環において単位元 1 は相異なる四つの平方根を持つ(具体的には ±1, ±3)。他方、元 2 は平方根を持たない。詳細は平方剰余の項を参照されたい。
他の例として四元数体 H において、−1 は ±i, ±j, ±k を含む無数の平方根を持つ。実は −1 の平方根の全体はちょうど集合
- [math]\{ai + bj + ck \mid a^2 + b^2 + c^2 = 1\}[/math]
であり、したがって各平方根は絶対値が等しく、この集合は三次元空間内の二次元単位球面を描く。四元数#−1 の平方根も参照。
零元 0 の平方根は、定義により、0 自身または零因子である。四元数体のような可除環では零因子が存在しないから、一般に 0 の平方根は 0 のみである。しかし、零因子が存在しうる一般の環では必ずしもそうでないことは、反例として任意の自然数 n に対するZ/n2Z を考えればよい(この場合、n は零因子であり、実際に nテンプレート:Exp = 0 を満たす)。
脚注
- ↑ Higham, Nicholas J. (April 1986). “Newton's Method for the Matrix Square Root”. en:Mathematics of Computation 46 (174): 537–549. doi:10.2307/2007992 .
- ↑ Mitchell, Douglas W., "Using Pythagorean triples to generate square roots of I2", Mathematical Gazette 87, November 2003, 499–500.
- ↑ Marshall, Albert W.; Olkin, Ingram; Arnold, Barry, Inequalities, p. 773
- ↑ Gentle, James E., Matrix Algebra, p. 194
- ↑ Higham, Nicholas J., Functions of Matrices, p. 20
- ↑ Gentle, James E., Matrix Algebra, p. 125
- ↑ Lu, Andreas, Practical Optimization, p. 601
- ↑ Higham, Nicholas J., Functions of Matrices, p. 20
- ↑ Gentle, James E., Matrix Algebra, p. 193
- ↑ Lange, Kenneth, Numerical Analysis for Statisticians, p. 99
参考文献
- 一松信『[math]\sqrt{2}[/math]の数学―無理数を見直す』海鳴社 ISBN 4875250568
関連項目
外部リンク
- 数の泉([math]\sqrt{2}[/math]や[math]\sqrt{3}[/math]などを小数点以下100万桁まで掲載しているサイト)
- 資料庫(平方根)([math]\sqrt{1}[/math]から[math]\sqrt{100}[/math]までを小数点以下30桁まで掲載している)
- Japanese soroban techniques - 加藤福太郎教授が考案した計算法(英語)
- 2の平方根の求め方をまとめたサイト