除法
20 ÷ 4 = 5. 20 個のりんごを 4 つに等分配したとき、それぞれのグループにはりんごが 5 個ある。
除法（じょほう、英: division）とは、乗法の逆演算であり
除法は ÷ や /, % といった記号を用いて表される。除算する 2 つの数のうち一方の項を被除数 (英: dividend) と呼び、他方を除数 (英: divisor) と呼ぶ。有理数の除法について、その演算結果は被除数と除数の比を与え、分数を用いて表すことができる。このとき被除数は分子 (英: numerator)、除数は分母 (英: denominator) に対応する。被除数と除数は、被除数の右側に除数を置いて以下のように表現される。
被除数 ÷ 除数
除算は商 (英: quotient) と剰余 (英: remainder) の 2 つの数を与え、商と除数の積に剰余を足したものは元の被除数に等しい。
商 × 除数 + 剰余 = 被除数
剰余は余りとも呼ばれ、除算によって「割り切れない」部分を表す。剰余が 0 である場合、「被除数は除数を割り切れる」と表現され、このとき商と除数の積は被除数に等しい。剰余を具体的に決定する方法にはいくつかあるが、自然数の除法については、剰余は除数より小さくなるように取られる。たとえば、13 を 4 で割った余りは 1、商は 3 となる。これらの商および剰余を求める最も原始的な方法は、引けるだけ引き算を行うことである。つまり、13 を 4 で割る例では、13 から 4 を 1 回ずつ引いていき（13 － 4 = 9, 9 － 4 = 5, 5 － 4 = 1 < 4）、引かれる数が 4 より小さくなるまで引き算を行ったら、その結果を剰余、引き算した回数を商とする。これは自然数の乗法を足し算によって行うことと逆の関係にある。
剰余を与える演算に % などの記号を用いる場合がある。
剰余 = 被除数 % 除数
除数が 0 である場合、除数と商の積は必ず 0 になるため商を一意に定めることができない。従ってそのような数 0 を除数とする除法の商は未定義となる（ゼロ除算を参照）。
有理数やそれを拡張した実数、複素数における除法では、整数や自然数の除法と異なり剰余は用いられず、
商 × 除数 = 被除数
という関係が除数が 0 の場合を除いて常に成り立つ。この関係は次のようにも表すことができる。
被除数 ÷ 除数 = 商
実数などにおける定義から離れると、除法は乗法を持つ代数的構造について「乗法の逆元を掛けること」として一般化することができる。一般の乗法は交換法則が必ずしも成り立たないため、除法も左右 2 通り考えられる。
目次 [非表示]
1 整数の除法
2 有理数の除法
3 実数の除法
4 複素数の除法
5 0で割ること
6 ユークリッド除法と除算アルゴリズム
7 等分除と包含除
8 伝承
9 関連項目
10 注記
整数の除法[編集]
演算の結果 表・話・編・歴
加法 (+)
加法因子 + 加法因子 = 和
被加数 + 加数 = 和
減法 (－)
被減数 － 減数 = 差
乗法 (×)
因数 × 因数 = 積
被乗数 × 乗数 = 積
倍率 × 被乗数 = 積
除法 (÷)
被除数 ÷ 除数 = 商
被約数 ÷ 約数 = 商
実 ÷ 法 = 商
分子
分母
= 商
剰余算 (mod)
被除数 mod 除数 = 剰余
被除数 mod 法 = 剰余
冪
底冪指数 = 冪
冪根 (√)
次数√被開方数 = 冪根
対数 (log)
log底(真数) = 対数
整数 m と n に対して、
m = qn
を満たす整数 q が唯一つ定まるとき、m ÷ n = q によって除算を定める。m は被除数（ひじょすう、英: dividend）あるいは実（じつ）と呼ばれ、n は除数（じょすう、英: divisor）あるいは法（ほう、英: modulus）と呼ばれる。また q は m を n で割った商（しょう、英: quotient）と呼ばれる。商 q は他に「m の n を法とする商」「法 n に関する商 (英: quotient modulo n)」 などとも言う。 またこのとき、m は n で整除（せいじょ）される、割り切れる（わりきれる、英: divisible）あるいは n は m を整除する、割り切るなどと表現される。このことはしばしば記号的に n | m と書き表される。 除数 n が 0 である場合を考えると、除数 0 と任意の整数 q の積は 0 となり、被除数 m が 0 なら任意の整数 q が方程式を満たすため、商は一意に定まらない。同様に被除数 m が 0 以外の場合にはどのような整数 q も方程式を満たさないため、商は定まらない。
整数の範囲では上述のような整数 q が定まる保証はなく、たとえば被除数 m が 7 の場合を考えると除数 n が 1, 7, －1, －7 のいずれかでない限り商 q は整数の範囲で定まらない。整数の範囲で商が必ず定まるようにするには、剰余（じょうよ、英: remainder, residue）を導入して除法を拡張する必要がある。つまり、方程式
m = qn + r
を満たすような q, r をそれぞれ商と剰余として与える。このような方程式を満たす整数 q, r は複数存在するが（たとえばある q, r に対して q － 1 と n + r の組は同様に上記の方程式を満たす）、剰余 r の取り得る値に制限を与えることで一意に商 q と剰余 r の組を定めることができる。よく用いられる方法は剰余 r を除数 n より絶対値が小さな非負の数と定めることである。このような除法はユークリッド除法と呼ばれる。
m = qn + r かつ 0 ≤ r < |n|
これは、感覚的には被除数から除数を引けるだけ引いた残りを剰余と定めているということである。こうして定められる剰余はしばしば「m の n を法とする剰余」「m の法 n に関する剰余 (英: residue modulo "n") 」などと言い表される。 剰余 r が 0 でないことはしばしば「m は n で割り切れない」と表現され、記号的に n ł m と表される。 ユークリッド除法による計算例は以下の通りである。以下では除数を 4, －4, 被除数を 22, －22 としている。
0 ≤ r < |n|
22 = 5 × 4 + 2：商 5, 剰余 2
22 = (－5) × (－4) + 2：商 －5, 剰余 2
－22 = (－6) × 4 + 2：商 －6, 剰余 2
－22 = 6 × (－4) + 2：商 6, 剰余 2
他の剰余に対する制限の方法として、剰余の絶対値が最小となるように商を定める方法がある。この方法では、
－
|n|
2
< r ≤
|n|
2
あるいは
－
|n|
2
≤ r <
|n|
2
の範囲に剰余 r が含まれる。この場合、ユークリッド除法と異なり r は負の値を取り得る。このようにして定められる剰余を絶対値最小剰余 (least absolute remainder) と呼ぶ。 絶対値最小剰余を用いる場合の計算例は以下の通りである。以下では除数を 4, －4, 被除数を 22, －22 としている。
－
|n|
2
< r ≤
|n|
2
22 = 5 × 4 + 2：商 5, 剰余 2
22 = (－5) × (－4) + 2：商 －5, 剰余 2
－22 = (－6) × 4 + 2：商 －6, 剰余 2
－22 = 6 × (－4) + 2：商 6, 剰余 2
－
|n|
2
≤ r <
|n|
2
22 = 6 × 4 － 2：商 6, 剰余 －2
22 = (－6) × (－4) － 2：商 －6, 剰余 －2
－22 = (－5) × 4 － 2：商 －5, 剰余 －2
－22 = 5 × (－4) － 2：商 5, 剰余 －2
いずれの方法であっても、除数 n が 0 の場合、剰余 r は 0 でなければならず、被除数 m がどのような数であっても商 q を一意に定めることはできない。 絶対値最小剰余とユークリッド除法によって定められる最小非負剰余、あるいは別の方法のいずれを用いるかは自由であり、与えられる剰余がそのいずれかであるかは予め決められた規約に従う。この規約は、計算する対象や計算機の機種、あるいはプログラミング言語により、まちまちである。簡単な分析とサーベイが "Division and Modulus for Computer Scientists" という文献にまとめられている[1]。
有理数の除法[編集]
整数の除法では考えている数（自然数もしくは整数）の範囲内で商を取り直し剰余を定義することにより、除法をその数の範囲全体で定義することができることを述べた。しかしよく知られているように、数の範囲を有理数まで拡張し、商のとり方に有理数を許すことにより、剰余の概念は取り除かれ、有理数の全体で四則演算が自由に行えるようになる。
任意の被除数 a と 0 でない除数が b について、それらの除算は有理数 c を唯一つ与える。
a \div b = c.
この有理数 c は
c \times b = b \times c = a
を満たす。また、除法は除数の逆数の乗算に置き換えることができる。
a \div b = a \times \frac{1}{b}.
従って除算および乗算の順序は入れ替えることができる。
\begin{align}
(a \div b) \times c
&= \left(a \times \frac{1}{b}\right) \times c
= (a \times c) \times \frac{1}{b}
= (a \times c) \div b, \\
(a \div b) \div c
&= \left(a \times \frac{1}{b}\right) \times \frac{1}{c}
= \left(a \times \frac{1}{c}\right) \times \frac{1}{b}
= (a \div c) \div b.
\end{align}
また、2 つの除算は乗法を用いてまとめることができる。
(a \div b) \div c = a \div (b \times c).
しかし、除数と被除数を入れ替えることはできない。
a \div b \ne b \div a,
(a \div b) \div c \ne a \div (b \div c).
2つ目の例のように括弧の位置を変えると計算結果が変わってしまうので、
a \div b \div c
と書かれた場合には特別な解釈を与える必要がある。一般的には左側の演算が優先され、下に示す右辺の意味に解釈される。
a \div b \div c = (a \div b) \div c.
有理数の除法について、除数を被除数に対して分配することができる。
(a + b) \div c = a \div c + b \div c
ただし被除数を除数に対して分配することはできない。
a \div (b + c) \ne a \div b + a \div c
有理数の除算の結果は分数を用いて表すことができる。
a \div b = \frac{a}{b}.
ある有理数に対応する分数の表し方は無数に存在する。たとえば 0 でない有理数 c を用いて、
a \div b = \frac{ac}{bc} = \frac{\frac{a}{c}}{\frac{b}{c}}
と表してもよい。 また有理数は分母と分子がともに整数である分数を用いて表すことができる。2 つの有理数 a, b をそれぞれ整数 p, q, r, s を用いて分数表記する。
a=\frac{p}{q},~ b=\frac{r}{s}
すると、それらの除算は次のように計算することができる。
\frac{p}{q} \div \frac{r}{s} = \frac{p}{q} \times \frac{s}{r} = \frac{p \times s}{q \times r} = \frac{ps}{qr}.
この表示から明らかなように有理数を有理数で割った商はまた有理数である。あるいは次のように計算してもよい。
\frac{p}{q} \div \frac{r}{s} = \frac{p \div r}{q \div s} = \frac{\frac{p}{r}}{\frac{q}{s}}.
このような意味で四則演算が自由に行える集合の抽象化として体の概念が現れる。すなわち、有理数の全体が作る集合 Q は体である。
実数の除法[編集]
実数は有理数の極限として表され、それによって有理数の演算から実数の演算が矛盾なく定義される。すなわち、任意の実数 x, y (y ≠ 0) に対し xn → x, yn → y (n → ∞) を満たす有理数の列 {xn}n ∈ N, {yn}n ∈ N（例えば、x, y の小数表示を第 n 桁までで打ち切ったものを xn, yn とするような数列）が与えられたとき
x/y := \lim_{n\to\infty}x_n/y_n
と定めると、この値は極限値が x, y である限りにおいて数列のとり方によらずに一定の値をとる。これを実数の商として定めるのである。
複素数の除法[編集]
実数の除法を用いれば複素数の除法が、被除数が 0 の場合を除いた任意の 2 つの複素数について定義できる。 2 つの複素数 z, w について、w の共役複素数 w を用いれば、複素数の除法 z/w は次のように計算できる（ただし除数 w は 0 でないとする）。
\frac{z}{w} = \frac{z}{w}\frac{\overline{w}}{\overline{w}} = \frac{z\overline{w}}{\left|w\right|^2}.
また、複素数 z, w の実部と虚部を 4 つの実数 Re z, Im z, Re w, Im w を用いて z = Re z + i Im z, w = Re w + i Im w と表せば、複素数の除法 z/w は次のように表せる。
\frac{z}{w}
= \frac{\operatorname{Re}z + i\operatorname{Im}z}{\operatorname{Re}w + i\operatorname{Im}w}
= \frac{\operatorname{Re}z\operatorname{Re}w + \operatorname{Im}z\operatorname{Im}w}{(\operatorname{Re}w)^2 + (\operatorname{Im}w)^2}
+ i\,\frac{\operatorname{Re}z\operatorname{Im}w - \operatorname{Im}z\operatorname{Re}w}{(\operatorname{Re}w)^2 + (\operatorname{Im}w)^2}
.
極形式では
\frac{z}{w}=\frac{|z|e^{i\arg z}}{|w|e^{i\arg w}}=\frac{|z|}{|w|}e^{i(\arg z-\arg w)}
と書ける。やはり |w| = 0 つまり w = 0 のところでは定義できない。
0で割ること[編集]
詳細は「ゼロ除算」を参照
代数的には、除法は乗法の逆の演算として定義される。つまり a を b で割るという除法は
a \div b = x \iff a = b \times x
を満たす唯一つの x を与える演算でなければならない。ここで、唯一つというのは簡約律
bx = by \Rightarrow x=y
が成立するということを意味する。この簡約律が成立しないということは、bx = by という条件だけからは x = y という情報を得たことにはならないということであり、そのような条件下で強いて除法を定義したとしても益が無いのである。
実数の乗法において、簡約が不能な一つの特徴的な例として b = 0 である場合、つまり「0 で割る」という操作を挙げることができる。実際、b = 0 であるとき a = bx によって除法 a ÷ b を定めようとすると、もちろん a = 0 である場合に限られるが、いかなる x, y についても 0x = 0 = 0y が成立してしまって x の値は定まらない。無論、a ≠ 0 ならば a = 0x なる x は存在せず a ÷ b は定義不能である。つまり、実数の持つ代数的な構造と 0 による除算は両立しない。
ユークリッド除法と除算アルゴリズム[編集]
「ユークリッド除法」および「除算アルゴリズム」を参照
等分除と包含除[編集]
「かけ算の順序問題#等分除と包含除」を参照
伝承[編集]
割算天下一を名乗った毛利重能の著書「割算書」によれば、割算の起源は以下のように記されている。
夫割算と云は、寿天屋辺連と云所に智恵万徳を備はれる名木有。此木に百味之含霊の菓、一生一切人間の初、夫婦二人有故、是を其時二に割初より此方、割算と云事有
— 鳴海風、小説になる江戸時代の数学者[2]
https://ja.wikipedia.org/wiki/%E9%99%A4%E6%B3%95
再生核研究所声明287(2016.02.12)
神秘的なゼロ除算の歴史―数学界で見捨てられていたゼロ除算
(最近 相当 ゼロ除算について幅広く歴史、状況について調べている。)
ゼロ除算とは ゼロで割ることを考えることである。ゼロがインドで６２８年に記録され、現代数学の四則演算ができていたが、そのとき、既にゼロで割ることか考えられていた。しかしながら、その後１３００年を超えてずっと我々の研究成果以外解決には至っていないと言える。実に面白いのは、６２８年の時に、ゼロ除算は正解と判断される結果1/0=0が期待されていたということである。さらに、詳しく歴史を調べているC.B. Boyer氏の視点では、ゼロ除算を最初に考えたのはアリストテレスであると判断され、アリストテレスは ゼロ除算は不可能であると判断していたという。― 真空で比を考えること、ゼロで割ることはできない。アリストテレスの世界観は ２０００年を超えて現代にも及び、我々の得たゼロ除算はアリストテレスの 世界は連続である に反しているので受け入れられないと 複数の数学者が言明されたり、情感でゼロ除算は受け入れられないという人は結構多い。
数学界では，オイラーが積極的に1/0 は無限であるという論文を書き、その誤りを論じた論文がある。アーベルも記号として、それを無限と表し、リーマンもその流れで無限遠点の概念を持ち、リーマン球面を考えている。これらの思想は現代でも踏襲され、超古典アルフォースの複素解析の本にもしっかりと受け継がれている。現代数学の世界の常識である。これらが畏れ多い天才たちの足跡である。こうなると、ゼロ除算は数学的に確定し、何びとと雖も疑うことのない、数学的真実であると考えるのは至極当然である。― ゼロ除算はそのような重い歴史で、数学界では見捨てられていた問題であると言える。
しかしながら、現在に至るも ゼロ除算は広い世界で話題になっている。 まず、顕著な研究者たちの議論を紹介したい：
論理、計算機科学、代数的な体の構造の問題（J. A. Bergstra, Y. Hirshfeld and J. V. Tucker）、
特殊相対性の理論とゼロ除算の関係（J. P. Barukcic and I. Barukcic）、
計算器がゼロ除算に会うと実害が起きることから、ゼロ除算回避の視点から、ゼロ除算の研究（T. S. Reis and James A.D.W. Anderson）。
またフランスでも、奇怪な抽象的な世界を建設している人たちがいるが、個人レベルでもいろいろ奇怪な議論をしている人があとを立たない。また、数学界の難問リーマン予想に関係しているという。
直接議論を行っているところであるが、ゼロ除算で大きな広い話題は 特殊相対性理論、一般相対性理論の関係である。実際、物理とゼロ除算の関係はアリストテレス以来、ニュートン、アインシュタインの中心的な課題で、それはアインシュタインの次の意味深長な言葉で表現される：
Albert Einstein:
Blackholes are where God divided by zero.
I don’t believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]：
1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
数学では不可能である、あるいは無限遠点と確定していた数学、それでも話題が尽きなかったゼロ除算、それが予想外の偶然性から、思いがけない結果、ゼロ除算は一般化された除算，分数の意味で、何時でも唯一つに定まり、解は何時でもゼロであるという、美しい結果が発見された。いろいろ具体的な例を上げて、我々の世界に直接関係する数学で、結果は確定的であるとして、世界の公認を要請している：
再生核研究所声明280(2016.01.29) ゼロ除算の公認、認知を求める
Announcement 282: The Division by Zero $z/0=0$ on the Second Birthday
詳しい解説も次で行っている：
○ 堪らなく楽しい数学-ゼロで割ることを考える(18)
数学基礎学力研究会のホームページ
URLは http://www.mirun.sctv.jp/~suugaku
以 上
何故ゼロ除算が不可能であったか理由
１ 割り算を掛け算の逆と考えた事
２ 極限で考えようとした事
３ 教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。
20 ÷ 4 = 5. 20 個のりんごを 4 つに等分配したとき、それぞれのグループにはりんごが 5 個ある。
除法（じょほう、英: division）とは、乗法の逆演算であり
除法は ÷ や /, % といった記号を用いて表される。除算する 2 つの数のうち一方の項を被除数 (英: dividend) と呼び、他方を除数 (英: divisor) と呼ぶ。有理数の除法について、その演算結果は被除数と除数の比を与え、分数を用いて表すことができる。このとき被除数は分子 (英: numerator)、除数は分母 (英: denominator) に対応する。被除数と除数は、被除数の右側に除数を置いて以下のように表現される。
被除数 ÷ 除数
除算は商 (英: quotient) と剰余 (英: remainder) の 2 つの数を与え、商と除数の積に剰余を足したものは元の被除数に等しい。
商 × 除数 + 剰余 = 被除数
剰余は余りとも呼ばれ、除算によって「割り切れない」部分を表す。剰余が 0 である場合、「被除数は除数を割り切れる」と表現され、このとき商と除数の積は被除数に等しい。剰余を具体的に決定する方法にはいくつかあるが、自然数の除法については、剰余は除数より小さくなるように取られる。たとえば、13 を 4 で割った余りは 1、商は 3 となる。これらの商および剰余を求める最も原始的な方法は、引けるだけ引き算を行うことである。つまり、13 を 4 で割る例では、13 から 4 を 1 回ずつ引いていき（13 － 4 = 9, 9 － 4 = 5, 5 － 4 = 1 < 4）、引かれる数が 4 より小さくなるまで引き算を行ったら、その結果を剰余、引き算した回数を商とする。これは自然数の乗法を足し算によって行うことと逆の関係にある。
剰余を与える演算に % などの記号を用いる場合がある。
剰余 = 被除数 % 除数
除数が 0 である場合、除数と商の積は必ず 0 になるため商を一意に定めることができない。従ってそのような数 0 を除数とする除法の商は未定義となる（ゼロ除算を参照）。
有理数やそれを拡張した実数、複素数における除法では、整数や自然数の除法と異なり剰余は用いられず、
商 × 除数 = 被除数
という関係が除数が 0 の場合を除いて常に成り立つ。この関係は次のようにも表すことができる。
被除数 ÷ 除数 = 商
実数などにおける定義から離れると、除法は乗法を持つ代数的構造について「乗法の逆元を掛けること」として一般化することができる。一般の乗法は交換法則が必ずしも成り立たないため、除法も左右 2 通り考えられる。
目次 [非表示]
1 整数の除法
2 有理数の除法
3 実数の除法
4 複素数の除法
5 0で割ること
6 ユークリッド除法と除算アルゴリズム
7 等分除と包含除
8 伝承
9 関連項目
10 注記
整数の除法[編集]
演算の結果 表・話・編・歴
加法 (+)
加法因子 + 加法因子 = 和
被加数 + 加数 = 和
減法 (－)
被減数 － 減数 = 差
乗法 (×)
因数 × 因数 = 積
被乗数 × 乗数 = 積
倍率 × 被乗数 = 積
除法 (÷)
被除数 ÷ 除数 = 商
被約数 ÷ 約数 = 商
実 ÷ 法 = 商
分子
分母
= 商
剰余算 (mod)
被除数 mod 除数 = 剰余
被除数 mod 法 = 剰余
冪
底冪指数 = 冪
冪根 (√)
次数√被開方数 = 冪根
対数 (log)
log底(真数) = 対数
整数 m と n に対して、
m = qn
を満たす整数 q が唯一つ定まるとき、m ÷ n = q によって除算を定める。m は被除数（ひじょすう、英: dividend）あるいは実（じつ）と呼ばれ、n は除数（じょすう、英: divisor）あるいは法（ほう、英: modulus）と呼ばれる。また q は m を n で割った商（しょう、英: quotient）と呼ばれる。商 q は他に「m の n を法とする商」「法 n に関する商 (英: quotient modulo n)」 などとも言う。 またこのとき、m は n で整除（せいじょ）される、割り切れる（わりきれる、英: divisible）あるいは n は m を整除する、割り切るなどと表現される。このことはしばしば記号的に n | m と書き表される。 除数 n が 0 である場合を考えると、除数 0 と任意の整数 q の積は 0 となり、被除数 m が 0 なら任意の整数 q が方程式を満たすため、商は一意に定まらない。同様に被除数 m が 0 以外の場合にはどのような整数 q も方程式を満たさないため、商は定まらない。
整数の範囲では上述のような整数 q が定まる保証はなく、たとえば被除数 m が 7 の場合を考えると除数 n が 1, 7, －1, －7 のいずれかでない限り商 q は整数の範囲で定まらない。整数の範囲で商が必ず定まるようにするには、剰余（じょうよ、英: remainder, residue）を導入して除法を拡張する必要がある。つまり、方程式
m = qn + r
を満たすような q, r をそれぞれ商と剰余として与える。このような方程式を満たす整数 q, r は複数存在するが（たとえばある q, r に対して q － 1 と n + r の組は同様に上記の方程式を満たす）、剰余 r の取り得る値に制限を与えることで一意に商 q と剰余 r の組を定めることができる。よく用いられる方法は剰余 r を除数 n より絶対値が小さな非負の数と定めることである。このような除法はユークリッド除法と呼ばれる。
m = qn + r かつ 0 ≤ r < |n|
これは、感覚的には被除数から除数を引けるだけ引いた残りを剰余と定めているということである。こうして定められる剰余はしばしば「m の n を法とする剰余」「m の法 n に関する剰余 (英: residue modulo "n") 」などと言い表される。 剰余 r が 0 でないことはしばしば「m は n で割り切れない」と表現され、記号的に n ł m と表される。 ユークリッド除法による計算例は以下の通りである。以下では除数を 4, －4, 被除数を 22, －22 としている。
0 ≤ r < |n|
22 = 5 × 4 + 2：商 5, 剰余 2
22 = (－5) × (－4) + 2：商 －5, 剰余 2
－22 = (－6) × 4 + 2：商 －6, 剰余 2
－22 = 6 × (－4) + 2：商 6, 剰余 2
他の剰余に対する制限の方法として、剰余の絶対値が最小となるように商を定める方法がある。この方法では、
－
|n|
2
< r ≤
|n|
2
あるいは
－
|n|
2
≤ r <
|n|
2
の範囲に剰余 r が含まれる。この場合、ユークリッド除法と異なり r は負の値を取り得る。このようにして定められる剰余を絶対値最小剰余 (least absolute remainder) と呼ぶ。 絶対値最小剰余を用いる場合の計算例は以下の通りである。以下では除数を 4, －4, 被除数を 22, －22 としている。
－
|n|
2
< r ≤
|n|
2
22 = 5 × 4 + 2：商 5, 剰余 2
22 = (－5) × (－4) + 2：商 －5, 剰余 2
－22 = (－6) × 4 + 2：商 －6, 剰余 2
－22 = 6 × (－4) + 2：商 6, 剰余 2
－
|n|
2
≤ r <
|n|
2
22 = 6 × 4 － 2：商 6, 剰余 －2
22 = (－6) × (－4) － 2：商 －6, 剰余 －2
－22 = (－5) × 4 － 2：商 －5, 剰余 －2
－22 = 5 × (－4) － 2：商 5, 剰余 －2
いずれの方法であっても、除数 n が 0 の場合、剰余 r は 0 でなければならず、被除数 m がどのような数であっても商 q を一意に定めることはできない。 絶対値最小剰余とユークリッド除法によって定められる最小非負剰余、あるいは別の方法のいずれを用いるかは自由であり、与えられる剰余がそのいずれかであるかは予め決められた規約に従う。この規約は、計算する対象や計算機の機種、あるいはプログラミング言語により、まちまちである。簡単な分析とサーベイが "Division and Modulus for Computer Scientists" という文献にまとめられている[1]。
有理数の除法[編集]
整数の除法では考えている数（自然数もしくは整数）の範囲内で商を取り直し剰余を定義することにより、除法をその数の範囲全体で定義することができることを述べた。しかしよく知られているように、数の範囲を有理数まで拡張し、商のとり方に有理数を許すことにより、剰余の概念は取り除かれ、有理数の全体で四則演算が自由に行えるようになる。
任意の被除数 a と 0 でない除数が b について、それらの除算は有理数 c を唯一つ与える。
a \div b = c.
この有理数 c は
c \times b = b \times c = a
を満たす。また、除法は除数の逆数の乗算に置き換えることができる。
a \div b = a \times \frac{1}{b}.
従って除算および乗算の順序は入れ替えることができる。
\begin{align}
(a \div b) \times c
&= \left(a \times \frac{1}{b}\right) \times c
= (a \times c) \times \frac{1}{b}
= (a \times c) \div b, \\
(a \div b) \div c
&= \left(a \times \frac{1}{b}\right) \times \frac{1}{c}
= \left(a \times \frac{1}{c}\right) \times \frac{1}{b}
= (a \div c) \div b.
\end{align}
また、2 つの除算は乗法を用いてまとめることができる。
(a \div b) \div c = a \div (b \times c).
しかし、除数と被除数を入れ替えることはできない。
a \div b \ne b \div a,
(a \div b) \div c \ne a \div (b \div c).
2つ目の例のように括弧の位置を変えると計算結果が変わってしまうので、
a \div b \div c
と書かれた場合には特別な解釈を与える必要がある。一般的には左側の演算が優先され、下に示す右辺の意味に解釈される。
a \div b \div c = (a \div b) \div c.
有理数の除法について、除数を被除数に対して分配することができる。
(a + b) \div c = a \div c + b \div c
ただし被除数を除数に対して分配することはできない。
a \div (b + c) \ne a \div b + a \div c
有理数の除算の結果は分数を用いて表すことができる。
a \div b = \frac{a}{b}.
ある有理数に対応する分数の表し方は無数に存在する。たとえば 0 でない有理数 c を用いて、
a \div b = \frac{ac}{bc} = \frac{\frac{a}{c}}{\frac{b}{c}}
と表してもよい。 また有理数は分母と分子がともに整数である分数を用いて表すことができる。2 つの有理数 a, b をそれぞれ整数 p, q, r, s を用いて分数表記する。
a=\frac{p}{q},~ b=\frac{r}{s}
すると、それらの除算は次のように計算することができる。
\frac{p}{q} \div \frac{r}{s} = \frac{p}{q} \times \frac{s}{r} = \frac{p \times s}{q \times r} = \frac{ps}{qr}.
この表示から明らかなように有理数を有理数で割った商はまた有理数である。あるいは次のように計算してもよい。
\frac{p}{q} \div \frac{r}{s} = \frac{p \div r}{q \div s} = \frac{\frac{p}{r}}{\frac{q}{s}}.
このような意味で四則演算が自由に行える集合の抽象化として体の概念が現れる。すなわち、有理数の全体が作る集合 Q は体である。
実数の除法[編集]
実数は有理数の極限として表され、それによって有理数の演算から実数の演算が矛盾なく定義される。すなわち、任意の実数 x, y (y ≠ 0) に対し xn → x, yn → y (n → ∞) を満たす有理数の列 {xn}n ∈ N, {yn}n ∈ N（例えば、x, y の小数表示を第 n 桁までで打ち切ったものを xn, yn とするような数列）が与えられたとき
x/y := \lim_{n\to\infty}x_n/y_n
と定めると、この値は極限値が x, y である限りにおいて数列のとり方によらずに一定の値をとる。これを実数の商として定めるのである。
複素数の除法[編集]
実数の除法を用いれば複素数の除法が、被除数が 0 の場合を除いた任意の 2 つの複素数について定義できる。 2 つの複素数 z, w について、w の共役複素数 w を用いれば、複素数の除法 z/w は次のように計算できる（ただし除数 w は 0 でないとする）。
\frac{z}{w} = \frac{z}{w}\frac{\overline{w}}{\overline{w}} = \frac{z\overline{w}}{\left|w\right|^2}.
また、複素数 z, w の実部と虚部を 4 つの実数 Re z, Im z, Re w, Im w を用いて z = Re z + i Im z, w = Re w + i Im w と表せば、複素数の除法 z/w は次のように表せる。
\frac{z}{w}
= \frac{\operatorname{Re}z + i\operatorname{Im}z}{\operatorname{Re}w + i\operatorname{Im}w}
= \frac{\operatorname{Re}z\operatorname{Re}w + \operatorname{Im}z\operatorname{Im}w}{(\operatorname{Re}w)^2 + (\operatorname{Im}w)^2}
+ i\,\frac{\operatorname{Re}z\operatorname{Im}w - \operatorname{Im}z\operatorname{Re}w}{(\operatorname{Re}w)^2 + (\operatorname{Im}w)^2}
.
極形式では
\frac{z}{w}=\frac{|z|e^{i\arg z}}{|w|e^{i\arg w}}=\frac{|z|}{|w|}e^{i(\arg z-\arg w)}
と書ける。やはり |w| = 0 つまり w = 0 のところでは定義できない。
0で割ること[編集]
詳細は「ゼロ除算」を参照
代数的には、除法は乗法の逆の演算として定義される。つまり a を b で割るという除法は
a \div b = x \iff a = b \times x
を満たす唯一つの x を与える演算でなければならない。ここで、唯一つというのは簡約律
bx = by \Rightarrow x=y
が成立するということを意味する。この簡約律が成立しないということは、bx = by という条件だけからは x = y という情報を得たことにはならないということであり、そのような条件下で強いて除法を定義したとしても益が無いのである。
実数の乗法において、簡約が不能な一つの特徴的な例として b = 0 である場合、つまり「0 で割る」という操作を挙げることができる。実際、b = 0 であるとき a = bx によって除法 a ÷ b を定めようとすると、もちろん a = 0 である場合に限られるが、いかなる x, y についても 0x = 0 = 0y が成立してしまって x の値は定まらない。無論、a ≠ 0 ならば a = 0x なる x は存在せず a ÷ b は定義不能である。つまり、実数の持つ代数的な構造と 0 による除算は両立しない。
ユークリッド除法と除算アルゴリズム[編集]
「ユークリッド除法」および「除算アルゴリズム」を参照
等分除と包含除[編集]
「かけ算の順序問題#等分除と包含除」を参照
伝承[編集]
割算天下一を名乗った毛利重能の著書「割算書」によれば、割算の起源は以下のように記されている。
夫割算と云は、寿天屋辺連と云所に智恵万徳を備はれる名木有。此木に百味之含霊の菓、一生一切人間の初、夫婦二人有故、是を其時二に割初より此方、割算と云事有
— 鳴海風、小説になる江戸時代の数学者[2]
https://ja.wikipedia.org/wiki/%E9%99%A4%E6%B3%95
再生核研究所声明287(2016.02.12)
神秘的なゼロ除算の歴史―数学界で見捨てられていたゼロ除算
(最近 相当 ゼロ除算について幅広く歴史、状況について調べている。)
ゼロ除算とは ゼロで割ることを考えることである。ゼロがインドで６２８年に記録され、現代数学の四則演算ができていたが、そのとき、既にゼロで割ることか考えられていた。しかしながら、その後１３００年を超えてずっと我々の研究成果以外解決には至っていないと言える。実に面白いのは、６２８年の時に、ゼロ除算は正解と判断される結果1/0=0が期待されていたということである。さらに、詳しく歴史を調べているC.B. Boyer氏の視点では、ゼロ除算を最初に考えたのはアリストテレスであると判断され、アリストテレスは ゼロ除算は不可能であると判断していたという。― 真空で比を考えること、ゼロで割ることはできない。アリストテレスの世界観は ２０００年を超えて現代にも及び、我々の得たゼロ除算はアリストテレスの 世界は連続である に反しているので受け入れられないと 複数の数学者が言明されたり、情感でゼロ除算は受け入れられないという人は結構多い。
数学界では，オイラーが積極的に1/0 は無限であるという論文を書き、その誤りを論じた論文がある。アーベルも記号として、それを無限と表し、リーマンもその流れで無限遠点の概念を持ち、リーマン球面を考えている。これらの思想は現代でも踏襲され、超古典アルフォースの複素解析の本にもしっかりと受け継がれている。現代数学の世界の常識である。これらが畏れ多い天才たちの足跡である。こうなると、ゼロ除算は数学的に確定し、何びとと雖も疑うことのない、数学的真実であると考えるのは至極当然である。― ゼロ除算はそのような重い歴史で、数学界では見捨てられていた問題であると言える。
しかしながら、現在に至るも ゼロ除算は広い世界で話題になっている。 まず、顕著な研究者たちの議論を紹介したい：
論理、計算機科学、代数的な体の構造の問題（J. A. Bergstra, Y. Hirshfeld and J. V. Tucker）、
特殊相対性の理論とゼロ除算の関係（J. P. Barukcic and I. Barukcic）、
計算器がゼロ除算に会うと実害が起きることから、ゼロ除算回避の視点から、ゼロ除算の研究（T. S. Reis and James A.D.W. Anderson）。
またフランスでも、奇怪な抽象的な世界を建設している人たちがいるが、個人レベルでもいろいろ奇怪な議論をしている人があとを立たない。また、数学界の難問リーマン予想に関係しているという。
直接議論を行っているところであるが、ゼロ除算で大きな広い話題は 特殊相対性理論、一般相対性理論の関係である。実際、物理とゼロ除算の関係はアリストテレス以来、ニュートン、アインシュタインの中心的な課題で、それはアインシュタインの次の意味深長な言葉で表現される：
Albert Einstein:
Blackholes are where God divided by zero.
I don’t believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]：
1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
数学では不可能である、あるいは無限遠点と確定していた数学、それでも話題が尽きなかったゼロ除算、それが予想外の偶然性から、思いがけない結果、ゼロ除算は一般化された除算，分数の意味で、何時でも唯一つに定まり、解は何時でもゼロであるという、美しい結果が発見された。いろいろ具体的な例を上げて、我々の世界に直接関係する数学で、結果は確定的であるとして、世界の公認を要請している：
再生核研究所声明280(2016.01.29) ゼロ除算の公認、認知を求める
Announcement 282: The Division by Zero $z/0=0$ on the Second Birthday
詳しい解説も次で行っている：
○ 堪らなく楽しい数学-ゼロで割ることを考える(18)
数学基礎学力研究会のホームページ
URLは http://www.mirun.sctv.jp/~suugaku
以 上
何故ゼロ除算が不可能であったか理由
１ 割り算を掛け算の逆と考えた事
２ 極限で考えようとした事
３ 教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。
