ゼロ除算(ゼロじょざん、division by zero)は、0 で除す割り算のことである。このような除算は除される数を a とするならば、形式上は a⁄0 と書くことができるが、数学において、この式と何らかの意味のある値とが結び付けられるかどうかは、数学的な設定にまったく依存している話である。少なくとも通常の実数の体系とその算術においては、意味のある式ではない。
コンピュータなど計算機においても、ゼロ除算に対するふるまいは様々である。たとえば浮動小数点数の扱いに関する標準であるIEEE 754では、数とは異なる無限大を表現するものが結果となる。他には、例外が起きてプログラムの中断を引き起こすかもしれないし、例えば単純に取尽し法を実行しようとしたなら無限ループに陥るか、なんらかの最大値のようなものが結果となるかもしれない。[要出典]
計算尺では、対数尺には0に相当する位置が存在しない(無限の彼方である)ため不可能である。
算数的解釈[編集]
算数レベルでは、除算は何らかの物の集合をそれぞれ同数になるように分けることで説明される。例えば、10個のリンゴを5人で分ける場合、各人は 10 ÷ 5 = 2個のリンゴを受け取ることになる。同様に、10個のリンゴを1人で分ける場合、各人は 10 ÷ 1 = 10個のリンゴを受け取る。
この考え方を使ってゼロ除算を説明できる。10個のリンゴを0人で分けるとする。各人は何個のリンゴを受け取るだろうか? 10 ÷ 0 を計算しようとしても、元の設問自体が無意味なので無意味となる。この場合、各人が受け取る個数は、0個でも、10個でも、無限個でもない。なぜなら、元々受け取るべき人はいないからである。以上のように算数レベルで考える場合、ゼロ除算は無意味または未定義となる。
ゼロ除算の未定義性を理解する別の方法として、減法の繰り返し適用という考え方がある。すなわち、余りが除数より少なくなるまで除数を繰り返し引くのである。たとえば 13 ÷ 5 を考えると、13 から 5 は 2 回引くことができ、余りは 3 となる。結果は 13 ÷ 5 = 2 あまり 3 などと記される。ゼロ除算の場合、ゼロを何度引いても余りがゼロより小さくなることはないため、無限に減法を繰り返すだけとなる。
初期の試み[編集]
628年にブラーマグプタが著した『ブラーマ・スプタ・シッダーンタ』では、0 を数として定義し、その演算結果も定義している。しかし、ゼロ除算の説明は間違っていた。彼の定義に従うと代数的不合理が生じることを簡単に証明できる。ブラーマグプタによれば、次の通りである。
- 「正または負の数をゼロで割ると、分母がゼロの分数となる。ゼロを正または負の数で割ると、ゼロになるか、またはゼロを分子とし有限数を分母とする分数になる。ゼロをゼロで割るとゼロになる」
- 「数はゼロで割っても変化しない」
バースカラ2世は n⁄0 = ∞ と定義することで問題を解決しようとした。この定義はある意味では正しいが、後述の「ゼロ除算と極限」に示す問題もあり、注意深く扱わないとパラドックスに陥る。このパラドックスは近年まで考察されなかった[1]。
代数学的解釈[編集]
ゼロ除算を数学的に扱う自然な方法は、まず除算を他の算術操作で定義することで得られる。整数、有理数、実数、複素数の一般的算術規則では、ゼロ除算は未定義である。体の公理体系に従う数学的体系では、ゼロ除算は未定義のままとされなければならない。その理由は、除法が乗法の逆演算として定義されているためである。つまり、a⁄b の値は、bx = a という方程式を x について解いたときに値が一意に定まる場合のみ存在する。さもなくば、値は未定義のままとされる。
b = 0 のとき、方程式 bx = a は 0x = a または単に 0 = a と書き換えられる。つまりこの場合、方程式 bx = a は a が 0 でないときには解がなく、a が 0 であれば任意の x が解となりうる。いずれにしても解は一意に定まらず、a⁄b は未定義となる。逆に、体においては a⁄b は b がゼロでないとき常に一意に定まる。
ゼロ除算に基づく誤謬[編集]
ゼロ除算を代数学的記述に用いて、例えば以下のように 1 = 2 のような誤った証明を導くことができる。
以下を前提とする。
- {\displaystyle 0\times 1=0\quad }
- {\displaystyle 0\times 2=0\quad }
このとき、次が成り立つ。
- {\displaystyle 0\times 1=0\times 2}
両辺をゼロ除算すると、次のようになる。
- {\displaystyle \textstyle {\frac {0}{0}}\times 1={\frac {0}{0}}\times 2}
これを簡約化すると次のようになる。
- {\displaystyle 1=2\quad }
この誤謬は、暗黙のうちに 0⁄0 = 1 であるかのように扱っていることから生じる。
上の証明が間違いであることは多くの人が気づくと思われるが、これをもっと巧妙に表現すると間違いを分かりにくくできる。例えば、1 を x と y に置き換え、ゼロを x − y、2 を x + y で置き換える。すると上記の証明は次のようになる。
- {\displaystyle (x-y)x=x^{2}-xy=0}
- {\displaystyle (x-y)(x+y)=x^{2}-y^{2}=0}
したがって、
- {\displaystyle (x-y)x=(x-y)(x+y)}
両辺を x − y で割ると次のようになる。
- {\displaystyle x=x+y}
x = y = 1 を代入すると、次のようになる。
- {\displaystyle 1=2}
解析学的解釈[編集]
ゼロ除算と極限[編集]
関数 y = 1x のグラフ。x が 0 に近づくと、y の絶対値は無限大に近づく。
直観的に a0 は ab で 正数b を 0 に漸近させたときの極限を考えることで定義されるように見える。
a が正の数の場合、次のようになる。
- {\displaystyle \lim _{b\to 0+}{\frac {a}{b}}=+\infty }
a が負の数の場合、次のようになる。
- {\displaystyle \lim _{b\to 0+}{\frac {a}{b}}=-\infty }
したがって、a が正のとき a0 を +∞、a が負のとき −∞ と定義できるように思われる。しかし、この定義には2つの問題点がある。
第二に、右側から極限に漸近するのは恣意的である。左側から漸近して極限を求めた場合、a が正の場合に a⁄0 が −∞ となり、a が負の場合に +∞ となる。これを等式で表すと次のようになる。
- {\displaystyle +\infty ={\frac {1}{0}}={\frac {1}{-0}}=-{\frac {1}{0}}=-\infty }
このように、+∞ と −∞ が等しいことになってしまい、これではあまり意味がない。これを意味のある拡張とするには、「符号のない無限大」という概念を導入するしかない。
物理学においてはブラックホールや宇宙の始まりを考察する際に質量/体積(密度)の体積が 0 となる特異点が発生するためゼロ除算による無限大発散の難問が生じている。この場合質量・体積は正であるため正の無限大への発散となる。
直接のゼロ除算以外では、三角関数の tan 90° などの計算においても、同様の問題が生じてしまう。
00 についても、極限
- {\displaystyle \lim _{(a,b)\to (0,0)}{\frac {a}{b}}}
は存在しないため、うまく定義できない。さらに一般に、x が 0 に漸近すると共に f(x) も g(x) も 0 に漸近するとして、極限
- {\displaystyle \lim _{x\to 0}{\frac {f(x)}{g(x)}}}
を考えても、これは任意の値に収束する可能性もあるし、収束しない可能性もある。したがって、この手法では 0⁄0 について意味のある定義は得られない。
リーマン球面[編集]
リーマン球面は、複素平面に無限遠点 ∞ の1点を付け加えて得られるもの C ∪ {∞} である。上記実射影直線(射影拡大実数)の複素数版とも考えられる。リーマン球面は複素解析において重要な概念であり、演算は例えば 1/0 = ∞、1/∞ = 0、などとなるが、∞+∞ や 0/0 は定義されない。
コンピュータにおけるゼロ除算[編集]
SpeedCrunchという電卓ソフトでゼロ除算を実行したときの様子。エラーが表示されている。
現在のほとんどのコンピュータでサポートされているIEEE 754 浮動小数点に関する標準規格では、全ての浮動小数点演算を定義している。ゼロ除算も例外ではなく、どういう値になるかが定義されている。IEEE 754の定義によれば、a/0 で a が正の数であれば、除算の結果は正の無限大となり、a が負の数であれば負の無限大となる。そして、a も 0 であった場合、除算結果は NaN(not a number、数でない)となる。IEEE 754 には −0 も定義されているため、0 の代わりに −0 で除算をした場合は、上述の符号が反転する。
整数のゼロ除算は通常、浮動小数点とは別に処理される。というのは整数ではゼロ除算の結果を表す方法がないためである。 多くのプロセッサは整数のゼロ除算を実行しようとすると例外を発生させる。この例外に対する対処がなされていない場合、ゼロ除算を実行しようとしたプログラムは強制終了(アボート)される。これは、ゼロ除算がエラーと解釈されるためで、エラーメッセージが表示されることも多い。
1997年、民生品の応用を研究していたアメリカ海軍はタイコンデロガ級ミサイル巡洋艦ヨークタウンを改造して主機のガスタービンエンジンの制御にマイクロソフトのソフトウェアを採用したが、試験航行中にデータベースのゼロ除算が発生してソフトウェアが例外を返し、結果として主機が停止、回復するまでカリブ海を2時間半ほど漂流する事態となっている[2]。
ポップカルチャー[編集]
- "OH SHI-"―ゼロ除算がコンピュータや電卓でエラーを引き起こす様を宇宙の終焉などに結びつけた英語の口語表現。「Oh shit!」と最後まで言い切る前に宇宙は破壊されてしまう[3]。
- テッド・チャンの短篇に Division by Zero(ゼロで割る)という題名のものがある。
- 北米発祥のジョーク、チャック・ノリス・ファクトによれば、「チャック・ノリスはゼロ除算ができる」という真実(ファクト)がある[4]。
再生核研究所声明353(2017.2.2) ゼロ除算 記念日
2014.2.2 に 一般の方から100/0 の意味を問われていた頃、偶然に執筆中の論文原稿にそれがゼロとなっているのを発見した。直ぐに結果に驚いて友人にメールしたり、同僚に話した。それ以来、ちょうど3年、相当詳しい記録と経過が記録されている。重要なものは再生核研究所声明として英文と和文で公表されている。最初のものは
再生核研究所声明 148(2014.2.12): 100/0=0, 0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志
で、最新のは
Announcement 352 (2017.2.2): On the third birthday of the division by zero z/0=0
である。
アリストテレス、ブラーマグプタ、ニュートン、オイラー、アインシュタインなどが深く関与する ゼロ除算の神秘的な永い歴史上の発見であるから、その日をゼロ除算記念日として定めて、世界史を進化させる決意の日としたい。ゼロ除算は、ユークリッド幾何学の変更といわゆるリーマン球面の無限遠点の考え方の変更を求めている。― 実際、ゼロ除算の歴史は人類の闘争の歴史と共に 人類の愚かさの象徴であるとしている。
心すべき要点を纏めて置きたい。
1) ゼロの明確な発見と算術の確立者Brahmagupta (598 - 668 ?) は 既にそこで、0/0=0 と定義していたにも関わらず、言わば創業者の深い考察を理解できず、それは間違いであるとして、1300年以上も間違いを繰り返してきた。
2) 予断と偏見、慣習、習慣、思い込み、権威に盲従する人間の精神の弱さ、愚かさを自戒したい。我々は何時もそのように囚われていて、虚像を見ていると 真智を愛する心を大事にして行きたい。絶えず、それは真かと 問うていかなければならない。
3) ピタゴラス派では 無理数の発見をしていたが、なんと、無理数の存在は自分たちの世界観に合わないからという理由で、― その発見は都合が悪いので ― 、弟子を処刑にしてしまったという。真智への愛より、面子、権力争い、勢力争い、利害が大事という人間の浅ましさの典型的な例である。
4) この辺は、2000年以上も前に、既に世の聖人、賢人が諭されてきたのに いまだ人間は生物の本能レベルを越えておらず、愚かな世界史を続けている。人間が人間として生きる意義は 真智への愛にある と言える。
5) いわば創業者の偉大な精神が正確に、上手く伝えられず、ピタゴラス派のような対応をとっているのは、本末転倒で、そのようなことが世に溢れていると警戒していきたい。本来あるべきものが逆になっていて、社会をおかしくしている。
6) ゼロ除算の発見記念日に 繰り返し、人類の愚かさを反省して、明るい世界史を切り拓いて行きたい。
以 上
追記:
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
Division by Zero z/0 = 0 in Euclidean Spaces
Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
International Journal of Mathematics and Computation Vol. 28(2017); Issue 1, 2017), 1-16.
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
再生核研究所声明357(2017.2.17)Brahmagupta の名誉回復と賞賛を求める。
再生核研究所声明 339で 次のように述べている:
世界史と人類の精神の基礎に想いを致したい。ピタゴラスは 万物は数で出来ている、表されるとして、数学の重要性を述べているが、数学は科学の基礎的な言語である。ユークリッド幾何学の大きな意味にも触れている(再生核研究所声明315(2016.08.08) 世界観を大きく変えた、ユークリッドと幾何学)。しかしながら、数体系がなければ、空間も幾何学も厳密には 表現することもできないであろう。この数体系の基礎はブラーマグプタ(Brahmagupta、598年 – 668年?)インドの数学者・天文学者によって、628年に、総合的な数理天文書『ブラーマ・スプタ・シッダーンタ』(ब्राह्मस्फुटसिद्धान्त Brāhmasphuṭasiddhānta)の中で与えられ、ゼロの導入と共に四則演算が確立されていた。ゼロの導入、負の数の導入は数学の基礎中の基礎で、西欧世界がゼロの導入を永い間嫌っていた状況を見れば、これらは世界史上でも顕著な事実であると考えられる。最近ゼロ除算は、拡張された割り算、分数の意味で可能で、ゼロで割ればゼロであることが、その大きな影響とともに明らかにされてきた。しかしながら、 ブラーマグプタは その中で 0 ÷ 0 = 0 と定義していたが、奇妙にも1300年を越えて、現在に至っても 永く間違いであるとされている。現在でも0 ÷ 0について、幾つかの説が存在していて、現代数学でもそれは、定説として 不定であるとしている。最近の研究の成果で、ブラーマグプタの考えは 実は正しかった ということになる。 しかしながら、一般の ゼロ除算については触れられておらず、永い間の懸案の問題として、世界を賑わしてきた。現在でも議論されている。ゼロ除算の永い歴史と問題は、次のアインシュタインの言葉に象徴される:
Blackholes are where God divided by zero. I don't believe in mathematics. George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist re-
marked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as the biggest blunder of his life [1] 1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
物理学や計算機科学で ゼロ除算は大事な課題であるにも関わらず、創始者の考えを無視し、割り算は 掛け算の逆との 貧しい発想で 間違いを1300年以上も、繰り返してきたのは 実に残念で、不名誉なことである。創始者は ゼロの深い意味、ゼロが 単純な算数・数学における意味を越えて、ゼロが基準を表す、不可能性を表現する、神が最も簡単なものを選択する、神の最小エネルギーの原理、すなわち、神もできれば横着したいなどの世界観を感じていて、0/0=0 を自明なもの と捉えていたものと考えられる。実際、巷で、ゼロ除算の結果や、適用例を語ると 結構な 素人の人々が 率直に理解されることが多い。
1300年間も 創始者の結果が間違いであるとする 世界史は修正されるべきである、間違いであるとの不名誉を回復、数学の基礎の基礎である算術の確立者として、世界史上でも高く評価されるべきである。 真智の愛、良心から、厚い想いが湧いてくる。
以 上
追記
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf