クイズ問題: 数学で、aの2乗がbに等しいとき、aをbの「何」というでしょう?
答え: 平方根

関連するWikipedia記事の抜粋:
title: 除法
text: 除法は ÷ や /, % といった記号を用いて表される。除算する 2 つの数のうち一方の項を被除数 (英: dividend) と呼び、他方を除数 (英: divisor) と呼ぶ。有理数の除法について、その演算結果は被除数と除数の比を与え、分数を用いて表すことができる。このとき被除数は分子 (英: numerator)、除数は分母 (英: denominator) に対応する。被除数と除数は、被除数の右側に除数を置いて以下のように表現される。
title: 行列の平方根
text: 数学のおもに線型代数学および函数解析学における行列の平方根(ぎょうれつのへいほうこん、英: square root of a matrix)は、数に対する通常の平方根の概念を行列に対して拡張するものである。すなわち、行列 B が行列 A の平方根であるとは、行列の積に関して B = BB が A に等しいときに言う。
title: 2の平方根
text: 2 の平方根(にのへいほうこん、英: square root of two)とは、平方して 2 になる複素数のことである。すなわち、
title: 無理数
text: 無理数(むりすう、 英: irrational number)とは、有理数ではない実数、つまり分子・分母ともに整数である分数(比 = 英: ratio)として表すことのできない実数を指す。実数は非可算個で有理数は可算個であるから、ほとんど全ての実数は無理数である。
title: 分数
text: 正の分数の中でも、分子が分母より小さい分数を真分数(しんぶんすう、英: proper fraction)という。真分数は 1 より小さいという性質を持つ。このことは n/m を真分数であるとして、1 および n/m の m 倍の数について大小を比較することで確認できる。
title: 行列の平方根
text: 「非負実数が非負の平方根(主平方根)をただ一つだけ持つ」という事実に対応して
title: 分数
text: 分母、分子ともに整数である分数で表す事ができる数を有理数という。また分子・分母が数式(関数)であるような分数を分数式(分数関数)といい、特に多項式の商として表される分数式を有理式とよぶ。分数式まで視野に入れると、何かに占める割合といった分数の意味は薄れるが、それは商(除法)の概念がそうであるのと同様である。
title: 平方根
text: 0 の平方根は 0 のみである。元の数 a が正の数である場合は、その平方根は正と負の2つ存在するが、それらの絶対値は等しい。そのうち正である方を根号(こんごう、radical symbol) {\\displaystyle {\\sqrt {\\;}}} を用いて
title: 乗法
text: 算術における乗法 (じょうほう、英: multiplication) は、算術の四則と呼ばれるものの一つで、整数では、一方の数 (被乗数、ひじょうすう、英: multiplicand) に対して他方の数 (乗数、じょうすう、英: multiplier) の回数だけ繰り返し和をとる(これを掛けるまたは乗じるという。)ことにより定義できる演算である。掛け算(かけざん)、乗算(じょうざん)とも呼ばれる。代数学においては、変数の前の乗数(例えば 3y の 3)は係数(けいすう、英: coefficient)と呼ばれる。
title: 対数微分
text: より一般に、商の対数微分は被除数と除数の対数微分の差である:
title: 係数
text: 係数(けいすう、coefficient)は、多項式の各項(単項式)を構成する因子において、変数(不定元)を除いた、定数等の因子である。例えば、4α+3β+2における、4と3と2である。この例では2がそれであるが、それ自体で項全体となっている項(あるいは、形式的には 1に掛かっている係数)を、特に定数項と呼ぶ。
title: 楕円曲線DSA
text: 逆数の逆数は元と同じであることと、逆数と元の積は O {\\displaystyle O} であることから
title: 籌算
text: 『九章算術』では約分術という名で分母と分子の最大公約数を求めて約分を行うアルゴリズムが記載されている。分母と分子のうち大きい方から小さい方を引き、それを繰り返していって分母と分子が等しくなるとそれが最大公約数である。この方法はユークリッドの互除法と同一のものである。600/375 の最大公約数75を求める手順を以下に示す。
title: ド・モルガンの法則
text: x が 1 から 100 までの数を表す変数だとする。このとき「全ての x に対し A(x)」は、「A(1) かつ A(2) かつ ...... かつ A(100)」を意味する。これの否定は、命題論理のド・モルガンの法則から
title: 正の数と負の数
text: 負でない数は非負(ひふ)であるといわれる。ゼロに等しいかそれより大きい(すなわち正であるかゼロである)実数を、非負実数(ひふじっすう)という。非負実数は負でない。実数は、負の実数か、非負実数のいずれかである。非負実数のうち整数となるものを非負整数(ひふせいすう)という。
title: 分離拡大
text: 多項式が相異なる根をもつかどうかテストするために、体の拡大を明示的に考えたり根を計算したりする必要はない。多項式が相異なる根をもつことと多項式とその微分の最大公約数(英語版)が定数であることは同値である。例えば、上の段落の多項式 g(X) = X + 1 の微分は 2X であり、標数が 2 でない体上では g(X) − ((1/2) X) 2X = 1 であるので、ベズーの等式により、最大公約数は定数である。一方、2 = 0 であるような体上では、最大公約数は g であり、g(X) = (X + 1) は 1 = −1 を二重根としてもつ。一方、多項式 h は係数体がなんであれ相異なる根をもたない、実際 h(X) = (X − 2) の微分は 2(X − 2) であり h を割り切るので、(X − α) の形の因子を α = 2 に対して確かにもつ。
title: ド・モルガンの法則
text: となり、さらに「A(2) かつ A(3) かつ ...... A(100)」の否定についても同様の操作をくりかえすことにより、「¬A(1) または ¬A(2) または ... または ¬A(100)」が得られる。これは「ある x に対し ¬A(x)」ということと等しい。
title: 分数
text: のように分母が数と分数の和でありさらにその分母が数と分数であるといった形のものを連分数(れんぶんすう、英: continued fraction)という。
title: 分数
text: これにより全ての演算は分数同士の演算と見なすことができる(a →a/1)。逆に分母が 1 である分数は、分母を省略し分数ではない数としても扱える(a/1 →a)。
title: 平方根
text: 一般に、正方行列 A に対して、X =A を満たす正方行列 X を A の平方根行列と呼び、記号で √A あるいは A と表す。平方根行列は存在するとは限らず、存在しても1つだけの場合や複数個の場合、無限個存在する場合がある。例えば、二次単位行列 I2 は無数の平方根を持つ。ただしその中で正定値となるのはただ一つ I2 自身である。
title: 行列の対数
text: 与えられた正方行列 A に対して、e = A を満たす正方行列 B を、A の(行列の)対数と呼び B = log(A) あるいは ln(A) などで表す。複素数の場合と同様、行列の対数はしばしば一意ではない(後述)。
title: 超越数
text: よく知られた超越数にネイピア数(自然対数の底)や円周率があり、またほとんど全ての複素数が超越数であることが分かっている。ただし超越性が示されている複素数のクラスはほんの僅かであり、与えられた数が超越数であるかどうかを調べるのは難しい問題だとされている。例えば、ネイピア数と円周率はともに超越数であるにもかかわらず、それをただ足しただけの π + e すら超越数かどうか分かっていない。
title: 正の数と負の数
text: 負数を掛けることは、正負の方向を逆転させることになる。負数に正数を掛けると、積は負数のままとなる。しかし、負数に負数を掛けると、積は正数となる。
title: 多重根号
text: に対し、両辺の係数比較(英語版)(両辺の有理成分同士、無理成分同士がそれぞれを等しいとおく)によって、問題は「和が a {\\displaystyle a} に等しく、積が b 2 c 4 {\\displaystyle {\\frac {b^{2}c}{4}}} に等しい二数 d , e {\\displaystyle d,e} を求めること」に帰着される。これは根と係数の関係により、特定の二次方程式を解く問題として解決することができる。
title: アポロニウスのギャスケット
text: ここで複号が存在するが、これは複素数の平方根をとる(一般に2つの値を与える)操作に対応するものと考えて差し支えなく、式(1)における複号とは無関係である(同順でも逆順でもない)。したがって1つの k4 の値に対して2つの z4 が与えられるが、そのうち正しい値となるのは一方のみである。
title: 平方根
text: a<0 のときは、a の平方根は実数にはならず、2つある平方根を数の大小で区別することはできなくなる。
title: ディオファントス近似
text: 最初の問題は、実数が有理数によってどのぐらいよく近似できるかを知ることであった。この問題のために、有理数 a/b が実数 α の「良い」近似であるとは、a/b と α の差の絶対値が、a/b を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は連分数によって18世紀に解かれた。
title: 互いに素
text: 二つの整数 a, b が互いに素(たがいにそ、英: coprime, relatively prime, prime to)であるとは、a, b を共に割り切る正の整数が 1 のみであることをいう。このことは a, b の最大公約数 gcd(a, b) が 1 であることと同値である。a, b が互いに素であることを、記号で a ⊥ b と表すこともある。なお、「互いに素」を意味する英単語には coprime と disjoint があるが、coprime は整数について「互いに素」「共通点を持たない」という意味で使用される。
title: 行列の平方根
text: このように行列の平方根は無数に存在しうるが、半正定値行列の範疇で行列の主平方根 (principal square root) の概念が定義できて「半正定値行列の主平方根はただ一つ」である(これは「非負実数が非負の平方根(主平方根)をただ一つだけ持つ」という事実に対応する)。
title: 山里亮太
text: 恒等式(こうとうしき、英: identity)は、恒真な等式、すなわち等号 (=) を含む数式であって、そこに現れるあらゆる変数がどのような値にあっても、常に等号で結ばれた左右二つの数式の \"値\" が等しいもののことを言う。変数の動く範囲は、文脈によって異なる。恒等式であることを明示するとき、= の代わりに ≡ が使われる。
title: 分数
text: となる。このように分母と分子を公約数で割る操作を、分数の簡約(かんやく、英: reduction)あるいは縮めて約分(やくぶん)と呼ぶ。m と n が互いに素である分数 n/m を既約分数(きやくぶんすう、英: irreducible fraction)といい、ある分数が既約分数であることを「(その分数は)既約である」という。ある分数が既約である場合、分母と分子の最大公約数が 1 であるため、約分によって別の分数表現を得ることはできない。分数が既約でない場合、その分数は可約(かやく、英: reducible)または約分可能であるという。可約な分数は常に既約分数に直すことができ、逆に既約分数を可約分数に書き直すこともできる。
title: 社交数
text: ある数(A)の自分自身を除いた約数の和が他の数(B)になり、(B)の自分自身を除いた約数の和が他の数(C)になる。これを続けていき、元の数(A)に戻るような数の組のことをいう。
title: 正の数と負の数
text: 被除数と除数の符号が異なるなら、商は負数となる。
title: 連分数
text: 連分数(れんぶんすう、英: continued fraction)とは、分母に更に分数が含まれているような分数のことを指す。分子が全て 1 である場合には特に単純連分数または正則連分数(英: regular continued fraction)ということがある。単に連分数といった場合、正則連分数を指す場合が多い。具体的には次のような形である。
title: 冪根
text: n を 2 以上の自然数とする。数 a に対して、代数方程式 x = a の解 x を、a の n乗根 (root of n-th power, n-th root) といい、また n を特に固定せずに冪根、累乗根と総称する。特に、2乗根、3乗根は、それぞれ平方根 (square root)、立方根 (cube root) ともいう。
title: 行列の対数
text: 実係数の範囲内で考えるならば答はより込み入ってくる。実行列が実行列を対数に持つための必要十分条件は、それが可逆かつ負の固有値に属する各ジョルダン細胞が偶数回あらわれることである。可逆な実行列が、このジョルダン細胞に関する条件を満たさないならば、その対数は実でない複素行列の中でしか考えられない。この状況はスカラーの場合にすでに生じていることであり、実際 −1 の(複素)対数は実数でない複素数である。2×2 実行列の実対数の存在性については後述する。
title: 四元数
text: 共軛とノルムにより、四元数の逆数(自身との積が 1 である数)が得られる:
title: 七角形
text: また複素数を経由するが、整数から加減乗除と平方根と立方根のみによって
title: 数式
text: 代数式とは加減乗除冪根の6種類の符号によって連結されている数式をいい、それ以外の式を超越式という。代数式には有理式と無理式がある。
title: 平面における直線の標準形
text: の形の式で、A, B の少なくとも一方が 0 でなく、さらに A, B, C は最大公約数が 1 の整数となるものである。ただし、A が 0 でないならば A > 0 となるようにし、A = 0 のときは B > 0 となるようにするのが普通である。整標準形を一般形に直すのは容易いが、A か B の一方が 0 のときにこれをほかの形に直せるとは限らない。この形で表せる直線はある程度限られてくるので、数学的にはさほど魅力があるわけでもないので、この形の標準形について触れられていない文献も少なくはない。たとえば、直線 x + y = √2 は √2 が無理数であるから、そもそも整数係数に直すことができない。
title: 代数的数
text: 上記のことから、無理数度が 2 よりも大きい実数は超越数となるが、超越数ならば無理数度が 2 よりも大きくなるわけではない。たとえば、自然対数の底 e の無理数度は、2 である。
title: 分数
text: のように分子・分母がさらに分数を含むような分数を繁分数(はんぶんすう、英: compound fraction)という。
title: 算術
text: 加法の逆元を与える演算子としての − と、2 数の間の減法を行う演算子としての − とでは、記号は同じだが行う操作と作用する項に違いがあるため、区別を要する場合には前者を単項のマイナス (unary minus operator)、後者を2項のマイナス (binary minus operator) と呼ぶ。
title: 分数
text: は分数式の約分である。分数式の分子分母における x は不定元であり、特別な値を持たない。x を不定元でなく具体的な数であると見なす場合、上記の分数表現は破綻することに注意しなければならない。左辺の可約な分数に x = 2 を代入した場合、分子も分母も因数として (x − 2) を持つために、分数は 0/0 となり、(通常の代数においては)未定義の数となるが、しかし右辺の既約分数に対しては代入の結果が 1/5 に定まる。どちらの結果が適切であるかは場合によって異なり、x = 2 という条件の下で左辺の分数が得られたならばその数は未定義となるし、右辺の分数が得られたならその値は 1/5 に定まる。
title: 関数の零点
text: 奇数次(英語版)のすべての実多項式は(重複度を考慮に入れて)奇数個の実根をもつ。同様に、偶数次の実係数多項式は偶数個の実根をもたなければならない。したがって、奇数次の実多項式は少なくとも1つの実根をもたなければならない(なぜなら1が最小の正の奇数だから)が、一方偶数次の多項式は実根をもたなくてもよい。この原理は中間値の定理を参照することによって証明できる。多項式関数は連続であるから、関数は負から正にあるいは正から負に変わる過程で0を横切らなければならない。
title: エンジン
text: 数学において 1 との乗算は演算前と演算後で値に変化が見られないことから省略される。そのため全ての実数が積であるともいうことが可能である
title: 多重根号
text: 代数学における多重根号(たじゅうこんごう)の式 は、少なくとも一つの根号(平方根号や立方根号など)の中に無理式 を含む無理式を言う。例を挙げると
title: 階差機関
text: バベッジの階差機関では、負の数を10の補数で表現する。そのようにして、減算を負数の加算として計算できる(補数#補数を利用した減算)。これは、現代のコンピュータが負数を2の補数で表現しているのと全く同じである。
title: 外積代数
text: になっている。ここで I は恒等写像で、内積は計量符号数 (p , q) (プラスが p 個、マイナスが q 個)を持つ。
title: 分数
text: L としては最小公倍数がよく用いられるが、最小公倍数が分からない場合には単純に2つの数の積 L = a × c を用いればよい。
title: 行列の平方根
text: また一般に、ひとつの行列が複数の平方根を持ち得る。実際、2 × 2 単位行列は次のように無数の平方根を持つ。
title: 正の数と負の数
text: 零は増減の無い状態であるため、正でも負でもない。負でない数 (non-negative number) とは零より小さくない、つまり零または正の実数である。正でない数 (non-positive number) とは零より大きくない、つまり零または負の実数である。
title: 二重数
text: 二重数の除法は、除数の実部が零でないときに定義され、除法の過程は複素数の場合と同様に、分母にその共軛元を掛けて純虚部分を消すことによって行われる。
title: 関数の零点
text: 複素数の概念は(判別式が負の値となる)二次方程式や三次方程式の根(負の数の平方根等が含まれる)を扱うために発展したものである。
title: 四次函数
text: 四次函数のグラフの概形は、最高次係数の正負、重根・三重根・四重根の有無、導函数の零点の有無、導函数の重根・三重根の有無などによって分類することは可能である。
title: エジプト式分数
text: 分母が奇数である単位分数に限れば、その和も分母が奇数になる。逆に、分母が奇数である分数は、分母が奇数である単位分数展開が可能であることが知られている。しかし、分母を奇数に限った場合に、強欲算法が有限回で終了するかどうかは知られていない。
title: 対数微分
text: ちょうど商の微分は非除数と除数の対数の差であるように。
title: 1982年の中日ドラゴンズ
text: 乗法において反数に相当するものは逆数、あるいはより一般には乗法逆元 (multiplicative inverse) と呼ばれる。整数、有理数、実数、複素数においては、逆数は必ずしも存在しないが、反数は必ず存在する。ただし、0 を含まない自然数においては反数は常に存在しない。
title: 対数
text: 以下の節において、a, b は 1 ではない正の実数、x, y は正の実数、p は実数、ln x は自然対数を表す。
title: 根号
text: 非負の実数の平方根(のうち根号で表される方)は 1 2 {\\displaystyle {\\frac {1}{2}}} 乗であり、根号の代わりに冪乗で表すこともある。
title: 虚数
text: 虚数を発見したのはカルダーノで、1545年の代数の本に、10 を積が 40 になる2つの数に分ける問題が載せられている。カルダーノは、この問題は不可能だが形式的に解を求めれば
title: 行列の平方根
text: 適当な冪零行列 N を用いて I + N の形に書ける行列の平方根 (I + N) は、二項級数に対する汎函数計算で求められる。同様に、行列の指数函数 exp, 対数函数 log が既知ならば、 exp(1⁄2⋅log(A)) を A の(主)平方根とすることができる(収束性に注意せよ)。
title: 何承天
text: ある実数に近い分数を求めるために、その値を挟む2つの分数から、分子・分母の和の分数を求め、その分数と値を比較し、新しい分数と元の分数の一つでその値を挟む新しい2つの分数の組を作るという繰り返しで漸近分数を求めるものである。
title: ゼロ除算
text: 「正または負の数をゼロで割ると、分母がゼロの分数となる。ゼロを正または負の数で割ると、ゼロになるか、またはゼロを分子とし有限数を分母とする分数になる。ゼロをゼロで割るとゼロになる」
title: 行列の平方根
text: 冪等行列の平方根は、自身を平方根に持つ。
title: 除法
text: と表してもよい。 また有理数は分母と分子がともに整数である分数を用いて表すことができる。2 つの有理数 a, b をそれぞれ整数 p, q, r, s を用いて分数表記する。
title: 有理関数
text: 有理方程式とは、二つの有理式を等しいとおいて得られる方程式である。これには通常の(数の比である)分数と同様に、分母を払う等の操作を行ってよい。ただしそうして得た解のうち、分母が0になるようなものは元の有理方程式の解として不適切として除かれる。
title: 虚数
text: 実係数の三次方程式を解の公式により解くと、相異なる3個の実数解をもつ場合、虚数の立方根が現れ、係数の加減乗除と冪根だけでは表せない(還元不能)。虚数はこの過程で認識されるようになった。ルネ・デカルトは1637年に、複素数の虚部を 仏: \"Nombre imaginaire\"(「想像上の数」)と名付けた。
title: 重根 (多項式)
text: これは「代数方程式が重根を持つかどうか」 を判別するための式である。すなわち、判別式が 0 であることとその代数方程式が重根を持つこととが同値となる。このことは判別式を差積に取り替えても変わらない。にもかかわらず差積の平方を判別式とするのは、それが方程式の係数によって必ず記述できるからである。これは、
title: 重根 (多項式)
text: 重根(じゅうこん、英称:multiple root)とは、1 変数多項式 f(x) の根のうち重複度が2以上のもののことをいう。
title: 冪乗
text: アイザック・ニュートンなど一部の数学者は冪指数は 2 乗よりも大きな冪に対してだけ用い、平方は反復積として書き表した。例えば、多項式を ax + bxx + cx + d のように書いた。
title: 分数
text: 分数は正の整数だけではなく、整数全体や実数、複素数等を用いても定義される。除法としての意味からも分かるように分母が 0 の分数には対応する数がない。しかし極限を取り扱う場合などに便宜上、分母が 0 の分数を使うことがある。それらの分数は数として計算に使われるわけではなく、あくまで説明用に便宜的に表現されただけのものであることが多く、その表現がどういう意味で用いられているのかは前後の文脈から判断する必要がある。フランスの数学者、アンリ・ポアンカレは「分数とは横線によって画された2つの整数の集合であって、この記号によって施すことができる演算を規約によって定義する」と説明している。
title: 実数
text: 有理数の集合 Q 上に通常の意味での大小関係を考えて、それをもとにした Q の分割の方法として実数を定めることもでき、この方法は切断と呼ばれる。この考え方では実数 r に対して Q を { q ∈ Q : q < r } と Ur = { q ∈ Q : r ≤ q } に分ける方法が対応する。2の平方根のような無理数 r によって与えられる切断 Ur は有理数の範囲では最小の数を持たない。一方実数の範囲ではその定義からいつでも r が Ur の最小の数になっている。
title: 符号 (数学)
text: 任意の数は複数の属性 (attribute) を持つ(例えば、値、符号、大きさなど)。実数が正であるとは、その値(大きさではない)が零より大きいときに言い、負であるとは零より小さいときに言う。正または負の何れであるかという属性をその数の符号と呼ぶ。この場合、零それ自身は符号を持つとは考えられない。また、複素数に対してその符号を定義することはできないが、偏角はある意味で符号の一般化と考えられる。
title: 0.999...
text: ジョセフ・メイザー (Joseph Mazur) は別の才能豊かな微積分学の生徒について語る。その生徒は「私が授業で言ったことにはほとんどすべて異議を唱えるが、自分の使っている計算機には決して異議を唱えない」。さらに、23 の平方根を計算することも含めて、数学をするのに必要なのは 9桁(程度)だと信じるようになった。その生徒は 9.999... = 10 であるという極限の議論に相変わらず不愉快な感じを抱いていたが、それは「乱暴な推測をする、無限概念の成長過程 (wildly imagined infinite growing process)」と呼ばれる。
title: 単位分数
text: 数学において、単位分数(たんいぶんすう、unit fraction)とは、分数として書かれる有理数のうち、分子が 1 であり、分母が自然数であるものをいう。つまり、自然数 n の逆数 1/n で表される。単位分数は大きい順に
title: 多項式
text: 数学において、多項式(たこうしき、英: polynomial)とは、数と不定元(変数とも呼ばれる)をもとにして、和と積によってつくられる式のことである。たとえば、3x − 7x + 2x − 23 は x を不定元とする多項式である。多項式は不定元を複数もつ場合もある。
title: 0.999...
text: 乗法を定義する際、リッチマンはまた、\"cut D\" と呼ばれる別の構造を定義する。これは小数の切断の集合である。通常この定義は実数を導くが、彼は小数 d に対して、切断 (−∞, d) と \"principal cut\" (−∞, d] の両方を許す。その結果、実数たちは小数と「不安定な状態で共存する (living uneasily together with)」ことになる。したがって、再び 0.999... < 1 を得る。\"cut D\" には正の無限小は存在しないが、\"一種の負の無限小\" 0 が存在する。0 には小数展開は存在しない。彼は 0.999... = 1 + 0 であると結論したが、一方、方程式 \"0.999... + x = 1\" は解をもたない。
title: バーンサイドの定理
text: ζ およびその共役数はいずれも1の冪根(ρ(g) の固有値)の算術平均なので、絶対値は1以下である。一方それらの積 N(ζ) は1以上だから、絶対値はちょうど1でなければならない。
title: ユークリッドの補題
text: 公倍数は最小公倍数の倍数である。...1
title: 完全数
text: 完全数の定義は、正の約数の総和が自分自身の2倍に等しいことと同値である。すなわち、N が完全数であるとは、約数関数 σ に対して σ(N) = 2N が成り立つことであると表現できる。また、正の約数の逆数和が 2 であると表現することもできる。
title: 床関数と天井関数
text: 任意の有理数は帯分数で表せる、すなわち整数と真分数とに分解して表示できるが、この整数と真分数との関係は実数の整数部分と小数部分の関係に拡張され、任意の実数は整数部分と小数部分とに分解して表示できる。
title: チャンパーノウン定数
text: 0.4938271564044485256606... は、一見すると何の変哲もない無理数のようだが、これは実際のところチャンパーノウン定数を4倍して得られる数である。このように、規則性がある数に乗法や累乗などの演算をほどこすとその規則性が消えて(見えなくなって)しまう。
title: 行列の平方根
text: また、行列の平方根に限らず、n乗根も同様に計算することができる。
title: 五乗数
text: アーベル–ルフィニの定理によれば、未知数の5乗を最大の冪乗とする代数方程式の解に対する一般的な代数式(冪根で表される式)は存在しない。5乗は、これが当てはまる最低の冪指数である。
title: 代数方程式
text: を満たすものが存在するとき、α を f(x) の k 重根(じゅうこん、multiple root)または k 位の零点といい、k を根 α の重複度(ちょうふくど、multiplicity)または位数という。ただし、k = 1 のときは単根(たんこん、simple root, simple zero)と言う。また、単に重根と呼ぶときは、文脈により単根でない根を総称する場合と、二重根のことのみを指す場合とがある。重複度まで込めれば、代数方程式の根とは
title: 三次方程式
text: と同値な条件であり、相異なる 3 個の実数解を持つ条件である。実数解しかないのにも関わらず、カルダノの公式では負の数の平方根を経由する必要がある。カルダノは負の数の平方根を計算に用いることはあったものの、それらの場合は不可能で役に立たないものと考えていた。
title: 平方根
text: 複素数の範囲では、代数学の基本定理より、そのような数は、0 を除いて2個だけ存在する。
title: 根と係数の関係
text: が成り立つ。これを根と係数の関係という。
title: 循環小数
text: 10 と(一般には基数と)互いに素な自然数 n の逆数の循環節の長さは、カーマイケルの定理のλ関数を用いた場合、たかだか λ(n) 桁である。また有理数を整数倍したり、分母 n に対して基数に含まれる素因数を掛けた場合、循環節の長さが増すことはない。
title: 冪乗
text: この操作を「x の n 乗を取る」などといい、特に n を固定して x を入力とする関数(特に実数 x の函数)と見るときは、冪関数という。 x の 2乗、3乗は特に、それぞれ x の平方 (へいほう、 英: square)、立方 (りっぽう、 英: cube) と呼ばれ、2乗を特に自乗という場合もある。
title: 加群の直和
text: レオナード・E・ディクソンが四元数を二重化して八元数を得るためにこの構成を発明しており、直和 A ⊕ A を利用するこの二重化法はケイリー–ディクソン構成と呼ばれる。実例として、K = R(実数体)から始めれば、系列として複素数、四元数、八元数、十六元数が生成される。また K = C(複素数体)と自明なノルム N(z) = z から始めれば、以下双複素数、双四元数(英語版)、双八元数と続く。
title: 二次方程式
text: と同値であるから、解は m の平方根に等しい。平方根は 0 以外は複数あり、実数なら正の方を √m で表す。このとき解は
title: 平方完成
text: このように平方完成すると、正の数とその逆数の和は常に 2 以上であることが示される。
title: 平方根
text: 0 の平方根は 0 のみであり、平方根が一意に定まるのはこのときに限られる。
title: ド・モルガンの法則
text: また、逆に、「ある x に対し A(x)」は「A(1) または A(2) または...... A(100)」ということだが、これの否定は
title: 天元術
text: 相消とは等しい数を減じて0の値を得ることで、西洋数学の等号で結ぶこと、また等式の右辺を0にすることにあたる。
title: 部分分数分解
text: 代数学における部分分数分解(ぶぶんぶんすうぶんかい、partial fraction decomposition)とは、有理式(あるいは分数式ともいう、多項式の商で表される式のこと)に対し、その有理式の分母が互いに素な多項式の積で表されるとき、その有理式を多項式と複数の有理式(ただし、分子の次数は分母の次数より小さい)の和で表すことをいう。このとき分解された各々の有理式の分母を通分すれば、当然ながら元の有理式の分母となる。
title: コラッツの問題
text: 有理数の奇数の分母dが3の倍数でない場合、シーケンスはすべて同じ分母を持ち、分子のシーケンスは、コラッツ関数の「3n + d」一般化を適用することによって取得できます。
title: 4つの4
text: 対数関数 log  x {\\displaystyle \\log x} (底は任意でよい)または2変数関数としての対数 log x  y {\\displaystyle \\log _{x}y} を用いてよい場合、次の式によって4つの4ですべての有理数が表現できる。 以下に正の有理数の場合を示すが、負の有理数はマイナス記号で、0は四則演算で表現できる。