自乗のソースを表示

[[File:SquareChart.svg|thumb|自然数に対する自乗。]]
'''自乗'''（じじょう）とは、ある[[数]]を自らと[[乗算|掛ける]]演算、あるいはその演算結果として得られる数を指す。'''二乗'''（にじょう）、'''平方'''（へいほう、{{lang-en-short|square}}）<ref>{{cite book
|和書
|title = [[和英語林集成|改訂増補和英英和語林集成]]
|edition = 三版
|publisher = 丸善商社書店
|last = Hepburn
|first = J. C.
|authorlink = ジェームス・カーティス・ヘプバーン
|year = 1886
}}（[http://www.meijigakuin.ac.jp/mgda/waei/search/?book=0108&page=186 明治学院大学図書館 - 和英語林集成デジタルアーカイブス]）</ref>とも呼ばれる。自乗は指数 [[2]] の[[冪乗|冪算]]に等しいため、自乗は冪算の特殊な場合と見なされる。

自乗が平方と呼ばれるのはその[[幾何学]]的な意味に由来する。数を辺の[[長さ]]によって表現すれば、その数の自乗は自乗される数に等しい辺の長さを持つ[[正方形]]の[[面積]]を与える。

==記法==
専用の記法はなく、乗算の記法や冪算の記法が用いられる。例えば、数 {{mvar|x}} の自乗は {{mvar|xx}} または {{math|''x''<sup>2</sup>}} と表される。

==性質==
===整冪一般の性質===
*自乗は[[自然数]]、[[整数]]、[[実数]]、[[複素数]]に対し閉じている。つまり、自然数の自乗は自然数、……（以下同様）である。
*[[乗算|積]]・[[除算|商]]の自乗は自乗の積・商である。
*:<math>(xy) ^ 2 = x^2 y^2\,</math>
*:<math>\left ( \frac x y \right ) ^ 2 = \frac{ x^2 }{ y^2 }</math>
*[[指数関数]]の自乗は元の数の2倍の指数関数である。[[正の数|正の実数]]の自乗の[[対数]]は対数の2倍である。
*:<math>(a ^ x)^ 2 = a ^ {2x} \,</math>
*:<math>\log x^2 = 2 \log x \,</math>
*[[加算|和]]の自乗は、[[二項係数]]を係数に持つ[[多項式]]で表される。
*:<math>(x + y)^ 2 = \sum_{k=0}^2 {2 \choose k} x^k y^{2-k} = x^2 + 2xy + y^2 \,</math>
*[[複素数]]の自乗は、[[絶対値]]も自乗になり、偏角は2倍になる。
*:<math>|z^2| = |z|^2, \quad \arg z^2 = 2 \arg z</math>
*:導出: <math>\left\{ a (\cos \theta + i \sin \theta) \right\} ^2 = \left(a e^{i \theta}\right)^2 = a^2 e^{i \cdot 2 \theta} = a ^ 2 (\cos 2\theta + i \sin 2\theta)\,</math>
*0のみが自乗して0となる。
*:<math>x ^ 2 = 0 \Leftrightarrow x = 0 </math>

===自乗に特有の性質===
*[[反数]]の自乗は元の数の自乗に等しい。つまり、[[関数 (数学)|関数]]としての自乗（[[二次関数]]）は[[偶関数]]である。
*:<math>(-x)^2 = x^2\,</math>
*実数の自乗は非負の実数である。また、0 のみが自乗が 0 となるので、0以外の実数の自乗は正の実数である。
*:<math>x ^ 2 \ge 0</math>（等号は <math>x = 0\,</math> の場合のみ）
*[[平方根]]の[[定義]]より、平方根の自乗は元の数である。ただし、自乗の平方根は（非 0 の平方根は 2 つあるため）元の数とは限らない。
*:<math>\left( \sqrt x \right) ^ 2 = x</math>
*[[単位元|単位]]関数を[[積分]]すると自乗の半分となる。
*:<math>\int xdx = \frac {x^2} 2</math>

===自然数の自乗の性質===
{{See|平方数}}
自然数の自乗は[[平方数]]と呼ばれる。

==応用==
*[[正方形]]の[[面積]]は、[[辺]]の[[長さ]]の自乗である。一般に、面積はある長さの自乗に[[比例]]する形で表すことができる。
*:<math>S_\square = a^2, \, \quad S_\bigcirc = \pi r^2, \quad S_\triangle = \frac {\sqrt 3} {4} a^2, \quad \mathrm{etc.}\,</math>
*比例関数を積分すると自乗の比例となることから、積分を暗黙に含む物理現象の公式には自乗が現れる。
**[[フックの法則]]が成り立つ場合、[[エネルギー]]は[[変位]]の自乗に比例する。
**初速0の[[等加速度運動]]では、移動[[距離]]は経過[[時間]]の自乗に比例する。
*[[関数 (数学)|関数]]としての自乗は、[[偶関数]]、{{math|''x'' &ge; 0}} で[[単調増加]]かつ {{math|''x'' &le; 0}} では単調減少、[[最小値]]が {{math|1=''f'' (0) = 0}}、{{math|1=''x'' = 0}} を含むあらゆる点で[[滑らかな関数|無限回微分可能]]、という性質を持ち、これらは[[偏差]]や[[誤差]]を扱うのに便利な性質である。[[分散 (確率論)|分散]]、[[最小二乗法]]などは自乗を使っているが、仮に自乗以外の関数を使った場合、算出や応用がはるかに困難になる。

==行列の自乗==
[[行列]]に対しても、自乗は自らとの積として定義される。ただし、行列の乗算では左オペランドの列数と右オペランドの行数が一致しなければならないので、行列の自乗は[[正方行列]]に対してのみ定義できる。

自乗して 0 になるのは 0 のみであるのに対し、自乗して[[零行列]] {{mvar|O}} になるのは零行列とは限らず、任意の {{math|''x'', ''y''}} に対し
:<math>\begin{pmatrix}  xy & y^2 \\  -x^2 & -xy \end{pmatrix} ^ 2 = O</math>
が成り立つ。なお、零行列に何をかけても零行列なので、この形の行列は自乗に限らず 2 以上の何乗しても零行列である。

==コンピュータでの自乗==
ほとんどの[[プロセッサ]]は自乗専用の[[命令 (コンピュータ)|命令]]を持たず、自乗は乗算命令で実現される。

数学的には、自乗を指数を 2 とする[[冪関数]]を用いて計算しても、単純に定義通り乗算を行っても得られる結果は同じである。しかしながら、前者は[[指数関数]]と[[対数関数]]を計算する必要があるのに対して（これらの計算は[[テイラー展開]]を基礎に行われる）、後者は 1 回の乗算をするだけで済む。計算速度を重視する上で、自乗の計算を行う機会は非常に多いため、冪の計算について自乗で置き換えられる部分については可能な限り単純な乗算をするように[[実装]]することが好ましい。このような事情から、計算速度の[[コンパイラ最適化|最適化]]を目的とする冪関数自身の実装や冪関数を含むプログラムの[[コンパイラ]]の実装では、「数 {{mvar|x}} の指数 2 の冪乗」は「数 {{mvar|x}} と {{mvar|x}} 自身の乗算」に置き換えられるようになっていることが多い。

== 脚注 ==
{{reflist}}

==関連項目==
*[[乗法]]
*[[冪乗]]
*[[指数関数]]
*[[対数]]
*[[平方根]]
*[[立方根]]
*[[平方数]]

{{DEFAULTSORT:ししよう}}
[[Category:初等関数]]
[[Category:積]]