取り尽くし法（英: method of exhaustion、羅: methodus exaustionibus）は、与えられた図形の面積や体積を求める手法の1つで、その図形に内接する一連の多角形を描き、それらの面積を元の図形に収束させる方法である。積尽法、窄出法ともいう。また古代人の方法（仏: méthode des anciens）とも呼ばれる。列を正しく構築すれば、n角形の面積と元の図形の面積の差は n が大きくなるにつれて小さくなっていく。この差を恣意的に小さくすれば、その図形の面積は一連の数列で得られる面積によって「取り尽くされ」、とりうる値の下限が体系的に定まる[1]。この方法はアンティポンが起源だが、彼がどこまで明確に理解していたのかは不明である。厳密な理論付けをしたのはエウドクソスである。「取り尽くし法」という用語を最初に使ったのは、Grégoire de Saint-Vincent の Opus geometricum guadraturae circuli et sectionum coni（1647年）である。
取り尽くし法には一般に背理法の一種を必要とする。これは、ある領域の面積を第2の領域の面積と比較することによって求めることに相当し、それを「取り尽くす」ことで真の面積に恣意的に近づけていく。第2の面積より真の面積が大きいことを前提とし、その前提が偽であることを証明する。次に、真の面積が第2の面積より小さいことを前提として、その前提も偽であることを証明する。
取り尽くし法は微分積分学の先駆けと言える。17世紀から19世紀に解析幾何学と厳密な微分積分学が発展し（特に極限に厳密な定義が与えられ）、取り尽くし法は問題の解法としては使われなくなった。https://ja.wikipedia.org/wiki/%E5%8F%96%E3%82%8A%E5%B0%BD%E3%81%8F%E3%81%97%E6%B3%95
とても興味深く読みました：
再生核研究所声明343（2017.1.10）オイラーとアインシュタイン
世界史に大きな影響を与えた人物と業績について
再生核研究所声明314（2016.08.08） 世界観を大きく変えた、ニュートンとダーウィンについて
再生核研究所声明315（2016.08.08） 世界観を大きく変えた、ユークリッドと幾何学
再生核研究所声明339（2016.12.26）インドの偉大な文化遺産、ゼロ及び算術の発見と仏教
で 触れてきたが、興味深いとして 続けて欲しいとの希望が寄せられた。そこで、ここでは、数学界と物理学界の巨人 オイラーとアインシュタインについて触れたい。
オイラーが膨大な基本的な業績を残され、まるでモーツァルトのように 次から次へと数学を発展させたのは驚嘆すべきことであるが、ここでは典型的で、顕著な結果であるいわゆるオイラーの公式 e^{\pi i} = -1 を挙げたい。これについては相当深く纏められた記録があるので参照して欲しい（
）。この公式は最も基本的な数、-1,\pi, e,i の簡潔な関係を確立しており、複素解析や数学そのものの骨格の中枢の関係を与えているので、世界史への甚大なる影響は歴然である ― オイラーの公式 (e ^{ix} = cos x + isin x) を一般化として紹介できます。 そのとき、数と角の大きさの単位の関係で、神は角度を数で測っていることに気付く。左辺の x は数で、右辺の x は角度を表している。それらが矛盾なく意味を持つためには角は、角の 単位は数の単位でなければならない。これは角の単位を 60 進法や 10 進法などと勝手に決められないことを述べている。ラジアンなどの用語は不要であることが分かる。これが神様方式による角の単位です。角の単位が数ですから、そして、数とは複素数ですから、複素数 の三角関数が考えられます。cos i も明確な意味を持ちます。このとき、たとえば、純虚数の 角の余弦関数が電線をぶらりとたらした時に描かれる、けんすい線として、実際に物理的に 意味のある美しい関数を表現します。そこで、複素関数として意味のある雄大な複素解析学 の世界が広がることになる。そしてそれらは、数学そのものの基本的な世界を構成すること になる。自然の背後には、神の設計図と神の意思が隠されていますから、神様の気持ちを理解し、 また神に近付くためにも、数学の研究は避けられないとなると思います。数学は神学そのものであると私は考える。オイラーの公式の魅力は千年や万年考えても飽きることはなく、数学は美しいとつぶやき続けられる。― 特にオイラーの公式は、言わば神秘的な数、虚数i、―1, e、\pi などの明確な意味を与えた意義は 凄いこととであると驚嘆させられる。
次に アインシュタインであるが、いわゆる相対性理論として、物理学界の最高峰に存在するが、アインシュタインの公式 E=mc^2 は素人でもびっくりする 簡潔で深い結果である。何と物質はエネルギーと等式で結ばれるという。このような公式の発見は人類の名誉に関わる基本的な結果と考えられる。アインシュタインが、時間、空間、物質、エネルギー、光速の基本的な関係を確立し、現代物理学の基礎を確立している。
ところで、上記巨人に共通する面白い話題が存在する。 オイラーがゼロ除算を記録に残し 1/0=\infty と記録し、広く間違いとして指摘されている。 他方、 アインシュタインは次のように述べている：
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} (
Gamow, G., My World Line (Viking, New York). p 44, 1970).
今でも、この先を、特に特殊相対性理論との関係で 0/0=1 であると頑強に主張したり、想像上の数と考えたり、ゼロ除算についていろいろな説が存在して、混乱が続いている。
しかしながら、ゼロ除算については、決定的な結果を得た と公表している。すなわち、分数、割り算は自然に一意に拡張されて、 1/0=0/0=z/0=0 である。無限遠点は 実はゼロで表される：
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
Announcement 326: The division by zero z/0=0/0=0 - its impact to human beings through education and research
以 上
再生核研究所声明347（2017.1.17） 真実を語って処刑された者
まず歴史的な事実を挙げたい。Pythagoras、紀元前582年 - 紀元前496年）は、ピタゴラスの定理などで知られる、古代ギリシアの数学者、哲学者。彼の数学や輪廻転生についての思想はプラトンにも大きな影響を与えた。「サモスの賢人」、「クロトンの哲学者」とも呼ばれた（ウィキペディア）。辺の長さ１の正方形の対角線の長さが ル－ト２であることがピタゴラスの定理から導かれることを知っていたが、それが整数の比で表せないこと（無理数であること）を発見した弟子Hippasusを 無理数の世界観が受け入れられないとして、その事実を隠したばかりか、その事実を封じるために弟子を殺してしまったという。
また、ジョルダーノ・ブルーノ（Giordano Bruno, 1548年 - 1600年2月17日）は、イタリア出身の哲学者、ドミニコ会の修道士。それまで有限と考えられていた宇宙が無限であると主張し、コペルニクスの地動説を擁護した。異端であるとの判決を受けても決して自説を撤回しなかったため、火刑に処せられた。思想の自由に殉じた殉教者とみなされることもある。彼の死を前例に考え、轍を踏まないようにガリレオ・ガリレイは自説を撤回したとも言われる（ウィキペディア）。
さらに、新しい幾何学の発見で冷遇された歴史的な事件が想起される：
非ユークリッド幾何学の成立
ニコライ・イワノビッチ・ロバチェフスキーは「幾何学の新原理並びに平行線の完全な理論」(1829年)において、「虚幾何学」と名付けられた幾何学を構成して見せた。これは、鋭角仮定を含む幾何学であった。
ボーヤイ・ヤーノシュは父・ボーヤイ・ファルカシュの研究を引き継いで、1832年、「空間論」を出版した。「空間論」では、平行線公準を仮定した幾何学（Σ）、および平行線公準の否定を仮定した幾何学（S）を論じた。更に、1835年「ユークリッド第 11 公準を証明または反駁することの不可能性の証明」において、Σ と S のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した（ウィキペディア）。
知っていて、科学的な真実は人間が否定できない事実として、刑を逃れるために妥協したガリレオ、世情を騒がせたくない、自分の心をそれ故に乱したくない として、非ユークリッド幾何学について 相当な研究を進めていたのに 生前中に公表をしなかった数学界の巨人 ガウスの処世を心に留めたい。
ピタゴラス派の対応、宗教裁判における処刑、それらは、真実よりも権威や囚われた考えに固執していたとして、誠に残念な在り様であると言える。非ユークリッド幾何学の出現に対する風潮についても２０００年間の定説を覆す事件だったので、容易には理解されず、真摯に新しい考えの検討すらしなかったように見える。
真実を、真理を求めるべき、数学者、研究者、宗教家のこのような態度は相当根本的におかしいと言わざるを得ない。実際、人生の意義は帰するところ、真智への愛にあるのではないだろうか。本当のこと、世の中のことを知りたいという愛である。顕著な在り様が研究者や求道者、芸術家達ではないだろうか。そのような人たちの過ちを省みて自戒したい： 具体的には、
１） 新しい事実、現象、考え、それらは尊重されるべきこと。多様性の尊重。
２） 従来の考えや伝統に拘らない、いろいろな考え、見方があると柔軟に考える。
３） もちろん、自分たちの説に拘ったりして、新しい考え方を排除する態度は恥ずべきことである。どんどん新しい世界を拓いていくのが人生の基本的な在り様であると心得る。
４） もちろん、自分たちの流派や組織の利益を考えて新規な考えや理論を冷遇するのは真智を愛する人間の恥である。
５） 巨人、ニュートンとライプニッツの微積分の発見の先取争いに見られるような過度の競争意識や自己主張は、浅はかな人物に当たるとみなされる。真智への愛に帰するべきである。
数学や科学などは 明確に直接個々の人間にはよらず、事実として、人間を離れて存在している。従って無理数も非ユークリッド幾何学も、地球が動いている事も、人間に無関係で そうである事実は変わらない。その意味で、多数決や権威で結果を決めようとしてはならず、どれが真実であるかの観点が決定的に大事である。誰かではなく、真実はどうか、事実はどうかと真摯に、真理を追求していきたい。
人間が、人間として生きる究極のことは、真智への愛、真実を知りたい、世の中を知りたい、神の意思を知りたいということであると考える。 このような観点で、上記世界史の事件は、人類の恥として、このようなことを繰り返さないように自戒していきたい（再生核研究所声明 41(2010/06/10)： 世界史、大義、評価、神、最後の審判）。
以 上
再生核研究所声明312（2016.07.14） ゼロ除算による 平成の数学改革を提案する
アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における基礎的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の基礎的な部分の変更は かつて無かった事である。
そこで、最近の成果を基に現状における学術書、教科書の変更すべき大勢を外観して置きたい。特に、大学学部までの初等数学において、日本人の寄与は皆無であると言えるから、日本人が数学の基礎に貢献できる稀なる好機にもなるので、数学者、教育者など関係者の注意を換気したい。― この文脈では稀なる日本人数学者 関孝和の業績が世界の数学に活かせなかったことは 誠に残念に思われる。
先ず、数学の基礎である四則演算において ゼロでは割れない との世の定説を改め、自然に拡張された分数、割り算で、いつでも四則演算は例外なく、可能であるとする。山田体の導入。その際、小学生から割り算や分数の定義を除算の意味で 繰り返し減法（道脇方式）で定義し、ゼロ除算は自明であるとし 計算機が割り算を行うような算法で 計算方法も指導する。― この方法は割り算の簡明な算法として児童に歓迎されるだろう。
反比例の法則や関数y=1/xの出現の際には、その原点での値はゼロであると 定義する。その広範な応用は 学習過程の進展に従って どんどん触れて行くこととする。
いわゆるユークリッド幾何学の学習においては、立体射影の概念に早期に触れ、ゼロ除算が拓いた新しい空間像を指導する。無限、無限の彼方の概念、平行線の概念、勾配の概念を変える必要がある。どのように、如何に、カリキュラムに取り組むかは、もちろん、慎重な検討が必要で、数学界、教育界などの関係者による国家的取り組み、協議が必要である。重要項目は、直角座標系で ｙ軸の勾配はゼロであること。真無限における破壊現象、接線などの新しい性質、解析幾何学との美しい関係と調和。すべての直線が原点を代数的に通り、平行な２直線は原点で代数的に交わっていること。行列式と破壊現象の美しい関係など。
大学レベルになれば、微積分、線形代数、微分方程式、複素解析をゼロ除算の成果で修正、補充して行く。複素解析学におけるローラン展開の学習以前でも形式的なローラン展開(負べき項を含む展開)の中心の値をゼロ除算で定義し、広範な応用を展開する。特に微分係数が正や負の無限大の時、微分係数をゼロと修正することによって、微分法の多くの公式や定理の表現が簡素化され、教科書の結構な記述の変更が要求される。媒介変数を含む多くの関数族は、ゼロ除算 算法で統一的な視点が与えられる。多くの公式の記述が簡単になり、修正される。
複素解析学においては 無限遠点はゼロで表現されると、コペルニクス的変更（無限とされていたのが実はゼロだった）を行い、極の概念を次のように変更する。極、特異点の定義は そのままであるが、それらの点の近傍で、限りなく無限の値に近づく値を位数まで込めて取るが、特異点では、ゼロ除算に言う、有限確定値をとるとする。その有限確定値のいろいろ幾何学な意味を学ぶ。古典的な鏡像の定説；原点の 原点を中心とする円の鏡像は無限遠点であるは、誤りであり、修正し、ゼロであると いろいろな根拠によって説明する。これら、無限遠点の考えの修正は、ユークリッド以来、我々の空間に対する認識の世界史上に置ける大きな変更であり、数学を越えた世界観の変更を意味している。― この文脈では天動説が地動説に変わった歴史上の事件が想起される。
ゼロ除算は 物理学を始め、広く自然科学や計算機科学への大きな影響が期待される。しかしながら、ゼロ除算の研究成果を教科書、学術書に遅滞なく取り入れていくことは、真智への愛、真理の追究の表現であり、四則演算が自由にできないとなれば、人類の名誉にも関わることである。ゼロ除算の発見は 日本の世界に置ける顕著な貢献として世界史に記録されるだろう。研究と活用の推進を 大きな夢を懐きながら 要請したい。
以 上
追記：
(2016) Matrices and Division by Zero z/0 = 0. Advances in Linear Algebra & Matrix Theory, 6, 51-58.
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdfDOI:10.12732/ijam.v27i2.9.
再生核研究所声明335（2016.11.28） ゼロ除算における状況
ゼロ除算における状況をニュース方式に纏めて置きたい。まず、大局は：
アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における初歩的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の初歩的な部分の期待される変更は かつて無かった事である。ユークリッドの考えた空間と解析幾何学などで述べられる我々の空間は実は違っていた。いわゆる非ユークリッド幾何学とも違う空間が現れた。不思議な飛び、ワープ現象が起きている世界である。ゼロと無限の不思議な関係を述べている。これが我々の空間であると考えられる。
１．ゼロ除算未定義、不可能性は 割り算の意味の自然な拡張で、ゼロで割ることは、ゼロ除算は可能で、任意の複素数zに対してz/0=0であること。もちろん、普通の分数の意味ではないことは 当然である。ところが、数学や物理学などの多くの公式における分数は、拡張された分数の意味を有していることが認められた。ゼロ除算を含む、四則演算が何時でも自由に出来る簡単な体の構造、山田体が確立されている。ゼロ除算の結果の一意性も 充分広い世界で確立されている。
２．いわゆる複素解析学で複素平面の立体射影における無限遠点は1/0=0で、無限ではなくて複素数0で表されること。
３． 円に関する中心の鏡像は古典的な結果、無限遠点ではなくて、実は中心それ自身であること。球についても同様である。
４． 孤立特異点で 解析関数は有限確定値をとること。その値が大事な意味を有する。ゼロ除算算法。
５． x,y 直交座標系で y軸の勾配は未定とされているが、実はゼロであること; \tan (\pi/2) =0. ― ゼロ除算算法の典型的な例。
６． 直線や平面には、原点を加えて考えるべきこと。平行線は原点を共有する。原点は、直線や平面の中心であること。この議論では座標系を固定して考えることが大事である。
７． 無限遠点に関係する図形や公式の変更。ユークリッド空間の構造の変更、修正。
８． 接線や法線の考えに新しい知見。曲率についての定義のある変更。
９． ゼロ除算算法の導入。分母がゼロになる場合にも、分子がゼロでなくても、ゼロになっても、そこで意味のある世界。いろいろ基本的な応用がある。
１０．従来微分係数が無限大に発散するとされてきたとき、それは 実はゼロになっていたこと。微分に関する多くの公式の変更。
１１．微分方程式の特異点についての新しい知見、特異点で微分方程式を満たしているという知見。極で値を有することと、微分係数が意味をもつことからそのような概念が生れる。
１２．図形の破壊現象の統一的な説明。例えば半径無限の円（半平面）の面積は、実はゼロだった。
１３．確定された数としての無限大、無限は排斥されるべきこと。
１４．ゼロ除算による空間、幾何学、世界の構造の統一的な説明。物理学などへの応用。
１５．解析関数が自然境界を超えた点で定まっている新しい現象が確認された。
１６．領域上で定義される領域関数を空間次元で微分するという考えが現れた。
１７．コーシー主値やアダマール有限部分に対する解釈がゼロ除算算法で発見された。
１８．log 0=0、 及び e^0 が２つの値1,0 を取ることなど。初等関数で、新しい値が発見された。
資料：
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.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
*156 Qian,T./Rodino,L.(eds.):
Mathematical Analysis, Probability and
Applications -Plenary Lectures: Isaac 2015, Macau, China.
(Springer Proceedings in Mathematics and Statistics, Vol. 177)
Sep. 2016 305 pp.
(Springer) 9783319419435 25,370.
数学基礎学力研究会のホームページ
URLは
http://www.mirun.sctv.jp/~suugaku堪らなく楽しい数学-ゼロで割ることを考える
以 上
再生核研究所声明371（2017.6.27）ゼロ除算の講演― 国際会議 https://sites.google.com/site/sandrapinelas/icddea-2017 報告
http://ameblo.jp/syoshinoris/theme-10006253398.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html
0 件のコメント:
コメントを投稿