ゼロ除算（ゼロじょざん、division by zero）

2018年02月02日(金)NEW !
テーマ：数学

ゼロ除算（ゼロじょざん、division by zero）は、0で除す割り算のことである。このような除算は除される数を a とするならば、形式上は ^a⁄₀ と書くことができるが、数学において、この式と何らかの意味のある値とが結び付けられるかどうかは、数学的な設定にまったく依存している話である。少なくとも通常の実数の体系とその算術においては、意味のある式ではない。

コンピュータなど計算機においても、ゼロ除算に対するふるまいは様々である。たとえば浮動小数点数の扱いに関する標準であるIEEE 754では、数とは異なる無限大を表現するものが結果となる。^[1]他には、例外が起きてプログラムの中断を引き起こすかもしれないし、例えば単純に取尽し法を実行しようとしたなら無限ループに陥るか、なんらかの最大値のようなものが結果となるかもしれない。^[要出典]

計算尺では、対数尺には0に相当する位置が存在しない（無限の彼方である）ため不可能である。

目次

  [非表示] 

• 1算数的解釈
• 2初期の試み
• 3代数学的解釈
  • 3.1ゼロ除算に基づく誤謬
• 4解析学的解釈
  • 4.1ゼロ除算と極限
  • 4.2リーマン球面
• 5コンピュータにおけるゼロ除算
• 6ポップカルチャー
• 7脚注
• 8参考文献
• 9関連項目
• 10外部リンク

算数的解釈[編集]

算数レベルでは、除算は何らかの物の集合をそれぞれ同数になるように分けることで説明される。例えば、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 を数として定義し、その演算結果も定義している。しかし、ゼロ除算の説明は間違っていた。彼の定義に従うと代数的不合理が生じることを簡単に証明できる。ブラーマグプタによれば、次の通りである。

「正または負の数をゼロで割ると、分母がゼロの分数となる。ゼロを正または負の数で割ると、ゼロになるか、またはゼロを分子とし有限数を分母とする分数になる。ゼロをゼロで割るとゼロになる」

830年、マハーヴィーラはブラーマグプタの間違いを著書 『ガニタ・サーラ・サングラハ』で以下のように訂正しようとして失敗した。

「数はゼロで割っても変化しない」

バースカラ2世は ⁿ⁄₀ = ∞ と定義することで問題を解決しようとした。この定義はある意味では正しいが、後述の「ゼロ除算と極限」に示す問題もあり、注意深く扱わないとパラドックスに陥る。このパラドックスは近年まで考察されなかった^[2]。

代数学的解釈[編集]

ゼロ除算を数学的に扱う自然な方法は、まず除算を他の算術操作で定義することで得られる。整数、有理数、実数、複素数の一般的算術規則では、ゼロ除算は未定義である。体の公理体系に従う数学的体系では、ゼロ除算は未定義のままとされなければならない。その理由は、除法が乗法の逆演算として定義されているためである。つまり、^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 }

この誤謬は、暗黙のうちに ⁰⁄₀ = 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⁄₀ が −∞ となり、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)}}}

を考えても、これは任意の値に収束する可能性もあるし、収束しない可能性もある。したがって、この手法では ⁰⁄₀ について意味のある定義は得られない。

リーマン球面[編集]

リーマン球面は、複素平面を立体射影により球面に射影したものとして視覚化できる。

リーマン球面は、複素平面に無限遠点 ∞ の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時間半ほど漂流する事態となっている^[3]。

ポップカルチャー[編集]

• "OH SHI-"―ゼロ除算がコンピュータや電卓でエラーを引き起こす様を宇宙の終焉などに結びつけた英語の口語表現。「Oh shit!」と最後まで言い切る前に宇宙は破壊されてしまう^[4]。
• テッド・チャンの短篇に Division by Zero（ゼロで割る）という題名のものがある。
• 北米発祥のジョーク、チャック・ノリス・ファクトによれば、「チャック・ノリスはゼロ除算ができる」という真実（ファクト）がある^[5]。

脚注[編集]

[ヘルプ]

1. ^ IEEE Computer Society (August 29, 2008). IEEE Standard for Floating-Point Arithmetic. IEEE. doi:10.1109/IEEESTD.2008.4610935. ISBN 978-0-7381-5753-5. IEEE Std 754-2008.
2. ^ J J O'Connor and E F Robertson (2000年11月). “Zero”. 2008年11月16日閲覧。
3. ^ “Sunk by Windows NT”. (1998年7月24日) 2008年11月16日閲覧。
4. ^ “oh shi-”. Urban Dicthionary. 2011年10月11日閲覧。
5. ^ “Chuck Norris can divide by zero”. Chuck Norris Facts. 2011年10月11日閲覧。

参考文献[編集]

• Jakub Czajko (July 2004) "On Cantorian spacetime over number systems with division by zero", Chaos, Solitons and Fractals, volume 21, number 2, pages 261—271.
• Ben Goldacre. “Maths Professor Divides By Zero, Says BBC”. 2008年5月8日閲覧。ゼロ除算の結果を nullity という新たな記号で表す方法が提唱された。

https://ja.wikipedia.org/wiki/%E3%82%BC%E3%83%AD%E9%99%A4%E7%AE%97

 

とても興味深く読みました：

 

再生核研究所声明 411(2018.02.02): 　ゼロ除算発見4周年を迎えて

ゼロ除算100/0=0を発見して、４周年を迎える。　相当夢中でひたすらに　その真相を求めてきたが、一応の全貌が見渡せ、その基礎と展開、相当先も展望できる状況になった。論文や日本数学会、全体講演者として招待された大きな国際会議などでも発表、著書原案１５４ページも纏め（http://okmr.yamatoblog.net/）基礎はしっかりと確立していると考える。数学の基礎はすっかり当たり前で、具体例は７００件を超え、初等数学全般への影響は思いもよらない程に甚大であると考える：　空間、初等幾何学は　ユークリッド以来の基本的な変更で、無限の彼方や無限が絡む数学は全般的な修正が求められる。何とユークリッドの平行線の公理は成り立たず、すべての直線は原点を通るというが我々の数学、世界であった。y軸の勾配はゼロであり、\tan(\pi/2) =0　である。　初等数学全般の修正が求められている。

数学は、人間を超えたしっかりとした論理で組み立てられており、数学が確立しているのに今でもおかしな議論が世に横行し、世の常識が間違っているにも拘わらず、論文発表や研究がおかしな方向で行われているのは　誠に奇妙な現象であると言える。ゼロ除算から見ると数学は相当おかしく、年々間違った数学やおかしな数学が教育されている現状を思うと、研究者として良心の呵責さえ覚える。

複素解析学では、無限遠点はゼロで表されること、円の中心の鏡像は無限遠点では　なくて中心自身であること、ローラン展開は孤立特異点で意味のある、有限確定値を取ることなど、基本的な間違いが存在する。微分方程式などは欠陥だらけで、誠に恥ずかしい教科書であふれていると言える。　超古典的な高木貞治氏の解析概論にも確かな欠陥が出てきた。勾配や曲率、ローラン展開、コーシーの平均値定理さえ進化できる。

ゼロ除算の歴史は、数学界の避けられない世界史上の汚点に成るばかりか、人類の愚かさの典型的な事実として、世界史上に記録されるだろう。この自覚によって、人類は大きく進化できるのではないだろうか。

そこで、我々は、これらの認知、真相の究明によって、数学界の汚点を解消、世界の文化への貢献を期待したい。

ゼロ除算の真相を明らかにして、基礎数学全般の修正を行い、ここから、人類への教育を進め、世界に貢献することを願っている。

ゼロ除算の発展には　世界史がかかっており、数学界の、社会への対応をも　世界史は見ていると感じられる。　恥の上塗りは世に多いが、数学界がそのような汚点を繰り返さないように願っている。

人の生きるは、真智への愛にある、すなわち、事実を知りたい、本当のことを知りたい、高級に言えば神の意志を知りたいということである。そこで、我々のゼロ除算についての考えは真実か否か、広く内外の関係者に意見を求めている。関係情報はどんどん公開している。

４周年、思えば、世の理解の遅れも反映して、大丈夫か、大丈夫かと自らに問い、ゼロ除算の発展よりも基礎に、基礎にと向かい、基礎固めに集中してきたと言える。それで、著書原案ができたことは、楽しく充実した時代であったと喜びに満ちて回想される。

以　上