関 孝和（せき たかかず／こうわ、寛永19年（1642年）3月? - 宝永5年10月24日（1708年12月5日））は、日本の江戸時代の和算家（数学者）である。本姓は藤原氏。旧姓は内山氏、通称は新助。字は子豹、自由亭と号した。
目次 [非表示]
1 生涯と業績
2 点竄術
3 脚注
4 参考文献
4.1 一次資料
4.2 二次資料
5 関連項目
6 外部リンク
生涯と業績[編集]
生年は寛永12（1635年）- 20年（1643年）の間で諸説あり、はっきりしない。生誕地は上野国藤岡（現在の群馬県藤岡市）と江戸の2説ある。実父が寛永16年（1639年）に藤岡から江戸に移っているので、生年がそれ以前ならば生地は藤岡、それ以後なら生地は江戸と推測される。関の生涯については、あまり多くが伝わっていない。養子の関新七郎久之が重追放になり、家が断絶したことが理由の一つである。
若くして関家の養子となり、また、吉田光由の『塵劫記』を独学し、さらに高度な数学を学ぶ。甲斐国甲府藩（山梨県甲府市）の徳川綱重・綱豊（徳川家宣）に仕え、勘定吟味役となる。綱豊が6代将軍となると直参として江戸詰めとなり、西の丸御納戸組頭に任じられた。孝和は甲府藩における国絵図（甲斐国絵図[1]）の作成に関わり、また授時暦を深く研究して改暦の機会をうかがっていたが、その後渋川春海によって貞享暦が作られ、暦学において功績を挙げることはかなわなかった。
『発微算法』（複製）。国立科学博物館の展示。
関は和算が中国の模倣を超えて独自の発展を始めるにあたって、重要な役割を果たした。特に宋金元時代に大きく発展した天元術を深く研究し、根本的な改良を加えた。延宝2年（1674年）に『発微算法』を著し、点竄術（てんざんじゅつ）すなわち筆算による代数の計算法を発明して、和算が高等数学として発展するための基礎を作った。世界で最も早い時期に行列式・終結式の概念を提案したことはよく知られる。
また暦の作成にあたって円周率の近似値が必要になったため、1681年頃に正131072角形を使って小数第11位まで算出した。関が最終的に採用した近似値は「3.14159265359微弱」[2][3]だったが、エイトケンのΔ2乗加速法[4]を用いた途中計算では小数点以下第16位まで正確に求めている[5]。これは世界的に見ても、数値的加速法の最も早い適用例の一つである（西洋でエイトケンのΔ2乗加速法が再発見されたのは1876年、H.von.Nägelsbachによってである[6][5]）。ヤコブ・ベルヌーイとは独立かつやや早くにベルヌーイ数を発見していたことも知られている(ヤコブ・ベルヌーイの仕事が公開されたのは関の死後である)。
ベルヌーイ数や二項係数について書かれた『括要算法』（1712年）の頁
西洋の微分積分学の発展とは独立に、方程式の求根の際に導関数に相当するものを計算したり、求長・求積に関する業績を挙げている。これをもってアイザック・ニュートンやゴットフリート・ライプニッツよりも前に微分積分学を創始したとするのは誤りで、関が微分法と積分法を結びつけた（言い換えれば微分積分学の基本定理を発見した）事実はなく、これは妥当な評価ではない[7]。
宝永5年10月24日（1708年12月5日）、病に倒れて死去した。牛込弁天町（現在の東京都新宿区）の浄輪寺に葬られている[8]。弟子に建部賢弘や荒木村英がいる。関の死後もその学統（関流）はめざましく発展し、山路主住に至り免許制度などを整え、和算の圧倒的な中心勢力になる。有力な和算家はほとんどが関流に属するようになっていった。
関孝和は関流の始祖として、算聖とあがめられた。明治以後、和算が西洋数学にとって代わられた後も、日本数学史上最高の英雄的人物とされた。上毛かるたでも「和算の大家 関孝和」と詠われている。
関孝和の銅像と顕彰碑（群馬県藤岡市）
関孝和の銅像
関孝和の墓（藤岡市光徳寺）
点竄術[編集]
関の最大の業績は、天元術を革新して傍書法・点竄術を確立したことである。これは記号法の改良と理論の前進の双方を含み、後に和算で高度な数学が展開するための基礎を提供した。
天元術は中国で発達した代数的解法である。求める数を未知数（天元の一と呼ぶ）とし、演算を施して方程式を立てる。問題を1元方程式に帰着できれば、次数に拘わらず算木によるホーナー法で近似的に解けた。しかし明代に入ると中国では天元術は衰え、もっぱら李氏朝鮮で継承されてゆく。朝鮮での発展や日本への流入の過程は今日でも不明な点が多い。日本では17世紀に入ってから、主に京阪の和算家の橋本正数・沢口一之らによって熱心に研究された。沢口の『古今算法記』（寛文10年、1670年）は、天元術の学習がほぼ完了したことを示している。
天元術には多変数の高次方程式を扱えない欠点があった。これは未知数を記号ではなく算木を置く場所で表現しているからで、例えば (1 3 4) の配置は1変数の多項式 {\displaystyle 1+3x+4x^{2}} 1+3x+4x^2 または多変数の1次式 {\displaystyle x+3y+4z} x+3y+4z のいずれかを表す[9]。したがって2個目以降の未知数を文章による議論で消去してから、天元術を用いねばならなかった。
『古今算法記』巻末の15問の未解決問題（遺題）はまさに多変数の方程式を必要とした。関は『発微算法』（延宝2年、1674年）でそれらすべての解を与えている。それは傍書法、すなわち算木による数ではなく紙の上の文字によって算式を論じる代数筆算を用い、2個目以降の未知数を文字で表して多変数の方程式を表現し、それを点竄術で処理して求めた。
ただし『発微算法』には変数を消去した後の1元方程式が書かれているだけで（それすらも詳細を端折った解答もあった）、その背景にある傍書法は一切表に現れていない。加えて初期の版では若干の誤りがあったため、正当性に疑いを持つ者も現れた。 例えば佐治一平は15の回答のうち12が誤りだと主張した（実際には佐治の指摘のほとんどは的外れだった）。また佐治の師にあたる田中由真は『算法明解』（延宝7年、1679年）で、別の解答を関とは独立に発明した点竄術・傍書法を用いて与えた。
これに対して建部賢弘が『発微算法演段諺解』（貞享2年、1685年）で点竄術とそれを用いた解法の詳細を公開し、併せて若干の誤りを（場合によっては注記せずに）訂正している。さらに『解伏題之法』（天和3年、1683年）では終結式を用いた消去の一般的な理論を示し、加えて終結式を表現するために行列式に相当するものを導入した。ただし関は3次・4次の行列式は正しい表示を与えているが、5次については符号の誤りがあり、常に0になってしまう。これが単純な誤記の類であるか否かは不明である。やや後の1710年以前に完成した『大成算経』（建部賢明・建部賢弘との共著）で、第1列についての余因子展開を一般の行列について正しく与えている。
類似の結果は田中の『算学紛解』（1690年?）や、大阪の井関知辰による『算法発揮』（元禄3年、1690年）にも見られる。『解伏題之法』も『大成算経』も公刊されていないので、これらの研究は独自になされたと思われる。関と京阪の和算家との交流には不明な点が多い。また『大成算経』の存在にもかかわらず、後の関流の有力な和算家たちが『解伏題之法』を訂正して正しい展開式を得る研究を続けていて、この理由も今のところ不明である。
なおゴットフリート・ライプニッツが行列式を導入したのは関と同じ1683年ころだが、『解伏題之法』に比較して一般性に劣る。一般の行列式の公式や終結式の理論が発見されるのは18世紀の中ごろだった。先立って楊輝（中国、1238年? - 1298年）は『詳解九章算術』で、ジェロラモ・カルダーノは『偉大なる術』（Ars magna de Rebus Algebraicis, 1580年）で、数字係数の二元一次連立方程式の解を行列式と同様の計算式で与えている。
この一連の研究により、数学の問題は多元の代数方程式に表現できれば、原理的には解けることになった。また中国数学以来の伝統で、幾何の問題はピタゴラスの定理などを用い機械的に代数に落として処理していたので、これで実に広範な問題が原理的には解けるようになった。
ただしこの解法を実際に実行するのは多くの場合、計算量が膨大で現実的ではない。そのため『発微算法』でも方程式のみを求めていて、数値解の計算には進まなかった。ある問題は最終的に得られる方程式の次数が1458次にもなってしまい、方程式を具体的に書き下すことすらできなかった[10]。しかし以後、連立高次方程式に帰着される問題は、和算の中心的課題ではなくなった。
また数値解析で数値解を求めるには、実数根の定性的な性質（存在範囲・重根・個数）を解明し、効率的なアルゴリズムを確立しなけらばならない。関はホーナー法の収束を改善するため、ある精度から先は高次の項を省略する、ニュートン法と同値の方法を提案した。また重根の存在条件を示した。これは元の方程式とその導多項式が共通解を持つための条件にほかならず、先の消去の理論の応用である。
脚注[編集]
https://ja.wikipedia.org/wiki/%E9%96%A2%E5%AD%9D%E5%92%8C
再生核研究所声明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.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 DOI:10.12732/ijam.v27i2.9.
再生核研究所声明311（2016.07.05） ゼロ0とは何だろうか
ここ２年半、ゼロで割ること、ゼロ除算を考えているが、ゼロそのものについてひとりでに湧いた想いがあるので、その想いを表現して置きたい。
数字のゼロとは、実数体あるいは複素数体におけるゼロであり、四則演算で、加法における単位元（基準元）で、和を考える場合、何にゼロを加えても変わらない元として定義される。積を考えて変わらない元が数字の１である：
Wikipedia:ウィキペディア：
初等代数学[編集]
数の 0 は最小の非負整数である。0 の後続の自然数は 1 であり、0 より前に自然数は存在しない。数 0 を自然数に含めることも含めないこともあるが、0 は整数であり、有理数であり、実数（あるいは代数的数、複素数）である。
数 0 は正でも負でもなく、素数でも合成数でも単数でもない。しかし、0は偶数である。
以下は数 0 を扱う上での初等的な決まりごとである。これらの決まりはxを任意の実数あるいは複素数として適用して構わないが、それ以外の場合については何も言及していないということについては理解されなければならない。
加法:x + 0 = 0 +x=x. つまり 0 は加法に関する単位元である。
減法: x− 0 =x, 0 −x= −x.
乗法:x 0 = 0 ·x= 0.
除法:xが 0 でなければ0⁄x= 0 である。しかしx⁄0は、0 が乗法に関する逆元を持たないために、（従前の規則の帰結としては）定義されない（ゼロ除算を参照）。
実数の場合には、数直線で、複素数の場合には複素平面を考えて、すべての実数や複素数は直線や平面上の点で表現される。すなわち、座標系の導入である。
これらの座標系が無ければ、直線や平面はただ伸びたり、拡がったりする空間、位相的な点集合であると考えられるだろう。― 厳密に言えば、混沌、幻のようなものである。単に伸びたり、広がった空間にゼロ、原点を対応させるということは 位置の基準点を定めること と考えられるだろう。基準点は直線や平面上の勝手な点にとれることに注意して置こう。原点だけでは、方向の概念がないから、方向の基準を勝手に決める必要がある。直線の場合には、直線は点で２つの部分に分けられるので、一方が正方向で、他が負方向である。平面の場合には、原点から出る勝手な半直線を基準、正方向として定めて、原点を回る方向を定めて、普通は時計の回りの反対方向を 正方向と定める。これで、直線や平面に方向の概念が導入されたが、さらに、距離（長さ）の単位を定めるため、原点から、正方向の点（これも勝手に指定できる）を１として定める。実数の場合にも複素数の場合にも数字の１をその点で表す。以上で、位置、方向、距離の概念が導入されたので、あとはそれらを基礎に数直線や複素平面（座標）を考える、すなわち、直線と実数、平面と複素数を１対１に対応させる。これで、実数も複素数も秩序づけられ、明瞭に表現されたと言える。ゼロとは何だろうか、それは基準の位置を定めることと発想できるだろう。
― 国家とは何だろうか。国家意思を定める権力機構を定め、国家を動かす基本的な秩序を定めることであると原理を述べることができるだろう。
数直線や複素平面では 基準点、０と１が存在する。これから数学を展開する原理を下記で述べている：
しかしながら、数学について、そもそも数学とは何だろうかと問い、ユニバースと数学の関係に思いを致すのは大事ではないだろうか。この本質論については幸運にも相当に力を入れて書いたものがある：
No.81, May 2012(pdf 432kb)
19/03/2012
ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅.広く面白く触れたい。
複素平面ではさらに大事な点として、純虚数i が存在するが、ゼロ除算の発見で、最近、明確に認識された意外な点は、実数の場合にも、複素数の場合にも、ゼロに対応する点が存在するという発見である。ゼロに対応する点とは何だろうか？
直線や平面で実数や複素数で表されない点が存在するであろうか？ 無理して探せば、いずれの場合にも、原点から無限に遠ざかった先が気になるのではないだろうか？ そうである立体射影した場合における無限遠点が正しくゼロに対応する点ではないかと発想するだろう。その美しい点は無限遠点としてその美しさと自然さ故に１００年を超えて数学界の定説として揺るぐことはなかった。ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。オイラー、アーベル、リーマンの流れである。
ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。
直線を原点から、どこまでも どこまでも遠ざかって行くと、どこまでも行くが、その先まで行くと（無限遠点）突然、ゼロに戻ることを示している。これが数学であり、我々の空間であると考えられる。この発見で、我々の数学の結構な部分が修正、補充されることが分かりつつある。
ゼロ除算は可能であり、我々の空間の認識を変える必要がある。ゼロで割る多くの公式である意味のある世界が広がってきた。それらが 幾何学、解析学、代数学などと調和して数学が一層美しい世界であることが分かってきた。
全ての直線はある意味で、原点、基準点を通ることが示されるが、これは無限遠点の影が投影されていると解釈され、原点はこの意味で２重性を有している、無限遠点と原点が重なっている現象を表している。この２重性は 基本的な指数関数y=e^x が原点で、0 と1 の２つの値をとると表現される。このことは、今後大きな意味を持ってくるだろう。
古来、ゼロと無限の関係は何か通じていると感じられてきたが、その意味が、明らかになってきていると言える。
２点から無限に遠い点 無限遠点は異なり、無限遠点は基準点原点の指定で定まるとの認識は面白く、大事ではないだろうか。
以 上
再生核研究所声明296(2016.05.06) ゼロ除算の混乱
ゼロ除算の研究を進めているが、誠に奇妙な状況と言える。簡潔に焦点を述べておきたい。
ゼロ除算はゼロで割ることを考えることであるが、物理学的にはアリストテレス、ニュートン、アンシュタインの相当に深刻な問題として、問題にされてきた。他方、数学界では６２８年にインドで四則演算の算術の法則の確立、記録とともに永年問題とされてきたが、オイラー、アーベル、リーマン達による、不可能であるという考えと、極限値で考えて無限遠点とする定説が永く定着してきている。
ところが数学界の定説には満足せず、今尚熱い話題、問題として、議論されている。理由は、ゼロで割れないという例外がどうして存在するのかという、素朴な疑問とともに、積極的に、計算機がゼロ除算に出会うと混乱を起こす具体的な懸案問題を解消したいという明確な動機があること、他の動機としてはアインシュタインの相対性理論の上手い解釈を求めることである。これにはアインシュタインが直接言及しているように、ゼロ除算はブラックホールに関係していて、ブラックホールの解明を意図している面もある。偶然、アインシュタイン以後１００年 実に面白い事件が起きていると言える。偶然、２０年以上も考えて解明できたとの著書さえ出版された。― これは、初めから、間違いであると理由を付けて質問を送っているが、納得させる回答が無い。実名を上げず、具体的に 状況を客観的に述べたい。尚、ゼロ除算はリーマン仮説に密接に関係があるとの情報があるが 詳しいことは分からない。
１： ゼロ除算回避を目指して、新しい代数的な構造を研究しているグループ、相当な積み重ねのある理論を、体や環の構造で研究している。例えて言うと、ゼロ除算は沢山存在するという、考え方と言える。― そのような抽象的な理論は不要であると主張している。
２：同じくゼロ除算回避を志向して 何と0/0 を想像上の数として導入し、正、負無限大とともに数として導入して、新しい数の体系と演算の法則を考え、展開している。相当なグループを作っているという。BBCでも報じられたが、数学界の評判は良くないようである。― そのような抽象的な理論は不要であると主張している。
３：最近、アインシュタインの理論の専門家達が アインシュタインの理論から、0/0=1, 1/0=無限 が出て、ゼロ除算は解決したと報告している。― しかし、これについては、論理的な間違いがあると具体的に指摘している。結果も我々の結果と違っている。
４：数学界の永い定説では、1/0 は不可能もしくは、極限の考え方で、無限遠点を対応させる. 0/0 は不定、解は何でも良いとなっている。― 数学に基本的な欠落があって、ゼロ除算を導入しなければ数学は不完全であると主張し、新しい世界観を提起している。
ここ２年間の研究で、ゼロ除算は 何時でもゼロz/0=0であるとして、 上記の全ての立場を否定して、新しい理論の建設を進めている。z/0 は 普通の分数ではなく、拡張された意味でと初期から説明しているが、今でも誤解していて、混乱している人は多い、これは真面目に論文を読まず、初めから、問題にしていない証拠であると言える。
上記、関係者たちと交流、討論しているが、中々理解されず、自分たちの建設している理論に固執しているさまがよく現れていて、数学なのに、心情の問題のように感じられる微妙で、奇妙な状況である。
我々のゼロ除算の理論的な簡潔な説明、それを裏付ける具体的な証拠に当たる結果を沢山提示しているが、中々理解されない状況である。
数学界でも永い間の定説で、初めから、問題にしない人は多い状況である。ゼロ除算は算数、ユークリッド幾何学、解析幾何学など、数学の基本に関わることなので、この問題を究明、明確にして頂きたいと要請している：
再生核研究所声明 277(2016.01.26)：アインシュタインの数学不信 ― 数学の欠陥
再生核研究所声明 278(2016.01.27)： 面白いゼロ除算の混乱と話題
再生核研究所声明279(2016.01.28) ： ゼロ除算の意義
再生核研究所声明280(2016.01.29) : ゼロ除算の公認、認知を求める
我々のゼロ除算について８歳の少女が３週間くらいで、当たり前であると理解し、高校の先生たちも、簡単に理解されている数学、それを数学の専門家や、ゼロ除算の専門家が２年を超えても、誤解したり、受け入れられない状況は誠に奇妙で、アリストテレスの２０００年を超える世の連続性についての固定した世界観や、上記天才数学者たちの足跡、数学界の定説に まるで全く嵌っている状況に感じられる。
以 上
考えてはいけないことが、考えられるようになった。
説明できないことが説明できることになった。
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
再生核研究所声明292(2016.03.2５) ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算
（２０１６．３．２３ 朝、目を覚まして、情念と構想が閃いたものである。）
まず基本語をｳｲｷﾍﾟディアで確認して置こう：
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A6%E3%82%AF%E3%83%AC%E3%82%A4%E3%83%87%E3%82%B9
アレクサンドリアのエウクレイデス（古代ギリシャ語: Εὐκλείδης, Eukleídēs、ラテン語: Euclīdēs、英語: Euclid（ユークリッド）、紀元前3世紀? - ）は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。プトレマイオス1世治世下（紀元前323年-283年）のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学（特に幾何学）の教科書として使われ続けた。
https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E5%
非ユークリッド幾何学の成立： ニコライ・イワノビッチ・ロバチェフスキーは「幾何学の新原理並びに平行線の完全な理論」(1829年)において、「虚幾何学」と名付けられた幾何学を構成して見せた。これは、鋭角仮定を含む幾何学であった。ボーヤイ・ヤーノシュは父・ボーヤイ・ファルカシュの研究を引き継いで、1832年、「空間論」を出版した。「空間論」では、平行線公準を仮定した幾何学（Σ）、および平行線公準の否定を仮定した幾何学（S）を論じた。更に、1835年「ユークリッド第 11 公準を証明または反駁することの不可能性の証明」において、Σ と S のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。
ユークリッド幾何学は ２０００年を超えて数学及び論理と あらゆる科学の記述の基礎になってきた。その幾何学を支える平行線の公理については、非ユークリッド幾何学の成立過程で徹底的に検討、議論され、逆に 平行線の公理がユークリッド幾何学の特徴的な仮定（仮説）で証明できない公理であることが明らかにされた。それとともに 数学とは何かに対する認識が根本的に変わり、数学とは公理系（仮説系）の上に建設された理論体系であって、絶対的な真理という概念を失った。
ここで焦点を当てたいのは 平行線の概念である。ユークリッド幾何学における平行線とは 任意の直線に対して、直線上以外の点を通って、それと交わらない直線のことで、平行線がただ１つ存在するというのがユークリッドの公理である。非ユークリッド幾何学では、そのような平行線が全然存在しなかったり、沢山存在する幾何学になっており、そのような幾何学は 実在し、現在も盛んに利用されている。
この平行線の問題が、ゼロ除算の発見1/0=0、台頭によって 驚嘆すべき、形相を帯びてきた。
ユークリッド自身、また、非ユークリッド幾何学の上記発見者たち、それに自ら深い研究をしていた天才ガウスにとっても驚嘆すべき事件であると考えられる。
何と ユークリッド空間で 平行線は ある意味で 全て原点で交わっている という、現象が明らかにされた。
もちろん、ここで交わっていることの意味を 従来の意味にとれば、馬鹿馬鹿しいことになる。
そこで、その意味をまず、正確に述べよう。まずは、 イメージから述べる。リーマン球面に立体射影させると 全ユークリッド平面は 球面から北極点を除いた球面上に一対一に写される。そのとき、球面の北極点に対応する点が平面上になく、想像上の点として無限遠点を付け加えて対応させれば、立体射影における円、円対応を考えれば、平面上の平行線は無限遠点で交わっているとして、すっきりと説明され、複素解析学における基本的な世界観を与えている。平行線は無限遠点で 角ゼロ（度）で交わっている（接している）も立体射影における等角性で保証される。あまりの美しさのため、１００年を超えて疑われることはなく、世の全ての文献はそのような扱いになっていて数学界の定説である。
ところがゼロ除算1/0=0では 無限遠点は空間の想像上の点として、存在していても、その点、無限遠点は数値では ゼロ（原点）に対応していることが明らかにされた。 すなわち、北極（無限遠点）は南極（原点）と一致している。そのために、平行線は原点で交わっていると解釈できる。もちろん、全ての直線は原点を通っている。
この現象はユークリッド空間の考えを改めるもので、このような性質は解析幾何学、微積分学、複素解析学、物理学など広範に影響を与え、統一的に新しい秩序ある世界を構成していることが明らかにされた。２２００年を超えて、ユークリッド幾何学に全く新しい局面が現れたと言える。
平行線の交わりを考えてみる。交わらない異なる２直線を１次方程式で書いて、交点の座標を求めて置く。その座標は、平行のとき、分母がゼロになって、交点の座標が求まらないと従来ではなっていたが、ゼロ除算では、それは可能で、原点（０，０）が対応すると解釈できる。ゼロ除算と解析幾何学からの帰結である。上記幾何学的な説明が、ゼロ除算で解析幾何学的にも導かれる。
一般の円の方程式を２次関数で表現すれば、(x^2+y^2) の係数がゼロの場合、直線の一般式になるが、ゼロ除算を用いると、それが保証されるばかりか、直線の中心は 原点である、直線も点円も曲率がゼロであることが導かれる。もちろん、ゼロ除算の世界では、全ての直線は原点を通っている。このとき、原点を無限遠点の映った影ともみなせ、原点はこのような意味で もともとの原点とこの意味での点としての、２重性を有し、この概念は今後大きな意味を有することになるだろう。
ゼロ除算1/0=0は ユークリッド幾何学においても、大きな変革を求めている。
以上
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
再生核研究所声明255 (2015.11.3) 神は、平均値として関数値を認識する
(２０１５．１０．３０．０７：４０
朝食後 散歩中突然考えが閃いて、懸案の問題が解決した：
どうして、ゼロ除算では、ローラン展開の正則部の値が 極の値になるのか？
そして、一般に関数値とは何か 想いを巡らしていた。
解決は、驚く程 自分の愚かさを示していると呆れる。 解は 神は、平均値として関数値を認識すると纏められる。実際、解析関数の場合、上記孤立特異点での関数値は、正則の時と全く同じく コ－シーの積分表示で表されている。 解析関数ではコ－シーの積分表示で定義すれば、それは平均値になっており、この意味で考えれば、解析関数は孤立特異点でも 関数値は 拡張されることになる ― 原稿には書いてあるが、認識していなかった。
連続関数などでも関数値の定義は そのまま成り立つ。平均値が定義されない場合には、いろいろな意味での平均値を考えれば良いとなる。解析関数の場合の微分値も同じように重み付き平均値の意味で、統一的に定義でき、拡張される。 いわゆるくりこみ理論で無限値（部）を避けて有限値を捉える操作は、この一般的な原理で捉えられるのではないだろうか。２０１５．１０．３０．０８：２５)
上記のようにメモを取ったのであるが、基本的な概念、関数値とは何かと問うたのである。関数値とは、関数の値のことで、数に数を対応させるとき、その対応を与えるのが関数でよく f 等で表され x 座標の点 x をy 座標の点 yに対応させるのが関数 y = f(x) で、放物線を表す２次関数 y=x^2, 直角双曲線を表す分数関数 y=1/x 等が典型的な例である。ここでは 関数の値 f(x) とは何かと問うたものである。結論を端的に表現するために、関数y=1/xの原点x=0における値を問題にしよう。 このグラフを思い出して、多くの人は困惑するだろう。なぜならば、x が正の方からゼロに近づけば 正の無限に発散し、xが負の方からゼロに近づけば負の無限大に発散するからである。最近発見されたゼロ除算、ゼロで割ることは、その関数値をゼロと解釈すれば良いという簡単なことを言っていて、ゼロ除算はそれを定義とすれば、ゼロ除算は 現代数学の中で未知の世界を拓くと述べてきた。しかし、これは誰でも直感するように、値ゼロは、 原点の周りの値の平均値であることを知り、この定義は自然なものであると 発見初期から認識されてきた。ところが、他方、極めて具体的な解析関数 W = e^{1/z} = 1 + 1/z + 1/2!z^2 + 1/3!z^3 +……. の点 z=0 における値がゼロ除算の結果１であるという結果に接して、人は驚嘆したものと考えられる。複素解析学では、無限位数の極、無限遠点の値を取ると考えられてきたからである。しかしながら、上記の考え、平均値で考えれば、値１をとることが 明確に分かる。実際、原点のコーシー積分表示をこの関数に適用すれば、値１が出てくることが簡単に分かる。そもそも、コーシー積分表示とは 関数の積分路上（簡単に点の周りの円周上での、 小さな円の取り方によらずに定まる）で平均値を取っていることに気づけば良い。
そこで、一般に関数値とは、考えている点の周りの平均値で定義するという原理を考える。
解析関数では 平均値が上手く定義できるから、孤立特異点で、逆に平均値で定義して、関数を拡張できる。しかし、解析的に延長されているとは言えないことに注意して置きたい。 連続関数などは 平均値が定義できるので、関数値の概念は 今までの関数値と同じ意味を有する。関数族では 平均値が上手く定義できない場合もあるが、そのような場合には、平均値のいろいろな考え方によって、関数値の意味が異なると考えよう。この先に、各論の問題が派生する。
以 上
Reality of the Division by Zero $z/0=0$
http://www.ijapm.org/show-63-504-1.html
目次 [非表示]
1 生涯と業績
2 点竄術
3 脚注
4 参考文献
4.1 一次資料
4.2 二次資料
5 関連項目
6 外部リンク
生涯と業績[編集]
生年は寛永12（1635年）- 20年（1643年）の間で諸説あり、はっきりしない。生誕地は上野国藤岡（現在の群馬県藤岡市）と江戸の2説ある。実父が寛永16年（1639年）に藤岡から江戸に移っているので、生年がそれ以前ならば生地は藤岡、それ以後なら生地は江戸と推測される。関の生涯については、あまり多くが伝わっていない。養子の関新七郎久之が重追放になり、家が断絶したことが理由の一つである。
若くして関家の養子となり、また、吉田光由の『塵劫記』を独学し、さらに高度な数学を学ぶ。甲斐国甲府藩（山梨県甲府市）の徳川綱重・綱豊（徳川家宣）に仕え、勘定吟味役となる。綱豊が6代将軍となると直参として江戸詰めとなり、西の丸御納戸組頭に任じられた。孝和は甲府藩における国絵図（甲斐国絵図[1]）の作成に関わり、また授時暦を深く研究して改暦の機会をうかがっていたが、その後渋川春海によって貞享暦が作られ、暦学において功績を挙げることはかなわなかった。
『発微算法』（複製）。国立科学博物館の展示。
関は和算が中国の模倣を超えて独自の発展を始めるにあたって、重要な役割を果たした。特に宋金元時代に大きく発展した天元術を深く研究し、根本的な改良を加えた。延宝2年（1674年）に『発微算法』を著し、点竄術（てんざんじゅつ）すなわち筆算による代数の計算法を発明して、和算が高等数学として発展するための基礎を作った。世界で最も早い時期に行列式・終結式の概念を提案したことはよく知られる。
また暦の作成にあたって円周率の近似値が必要になったため、1681年頃に正131072角形を使って小数第11位まで算出した。関が最終的に採用した近似値は「3.14159265359微弱」[2][3]だったが、エイトケンのΔ2乗加速法[4]を用いた途中計算では小数点以下第16位まで正確に求めている[5]。これは世界的に見ても、数値的加速法の最も早い適用例の一つである（西洋でエイトケンのΔ2乗加速法が再発見されたのは1876年、H.von.Nägelsbachによってである[6][5]）。ヤコブ・ベルヌーイとは独立かつやや早くにベルヌーイ数を発見していたことも知られている(ヤコブ・ベルヌーイの仕事が公開されたのは関の死後である)。
ベルヌーイ数や二項係数について書かれた『括要算法』（1712年）の頁
西洋の微分積分学の発展とは独立に、方程式の求根の際に導関数に相当するものを計算したり、求長・求積に関する業績を挙げている。これをもってアイザック・ニュートンやゴットフリート・ライプニッツよりも前に微分積分学を創始したとするのは誤りで、関が微分法と積分法を結びつけた（言い換えれば微分積分学の基本定理を発見した）事実はなく、これは妥当な評価ではない[7]。
宝永5年10月24日（1708年12月5日）、病に倒れて死去した。牛込弁天町（現在の東京都新宿区）の浄輪寺に葬られている[8]。弟子に建部賢弘や荒木村英がいる。関の死後もその学統（関流）はめざましく発展し、山路主住に至り免許制度などを整え、和算の圧倒的な中心勢力になる。有力な和算家はほとんどが関流に属するようになっていった。
関孝和は関流の始祖として、算聖とあがめられた。明治以後、和算が西洋数学にとって代わられた後も、日本数学史上最高の英雄的人物とされた。上毛かるたでも「和算の大家 関孝和」と詠われている。
関孝和の銅像と顕彰碑（群馬県藤岡市）
関孝和の銅像
関孝和の墓（藤岡市光徳寺）
点竄術[編集]
関の最大の業績は、天元術を革新して傍書法・点竄術を確立したことである。これは記号法の改良と理論の前進の双方を含み、後に和算で高度な数学が展開するための基礎を提供した。
天元術は中国で発達した代数的解法である。求める数を未知数（天元の一と呼ぶ）とし、演算を施して方程式を立てる。問題を1元方程式に帰着できれば、次数に拘わらず算木によるホーナー法で近似的に解けた。しかし明代に入ると中国では天元術は衰え、もっぱら李氏朝鮮で継承されてゆく。朝鮮での発展や日本への流入の過程は今日でも不明な点が多い。日本では17世紀に入ってから、主に京阪の和算家の橋本正数・沢口一之らによって熱心に研究された。沢口の『古今算法記』（寛文10年、1670年）は、天元術の学習がほぼ完了したことを示している。
天元術には多変数の高次方程式を扱えない欠点があった。これは未知数を記号ではなく算木を置く場所で表現しているからで、例えば (1 3 4) の配置は1変数の多項式 {\displaystyle 1+3x+4x^{2}} 1+3x+4x^2 または多変数の1次式 {\displaystyle x+3y+4z} x+3y+4z のいずれかを表す[9]。したがって2個目以降の未知数を文章による議論で消去してから、天元術を用いねばならなかった。
『古今算法記』巻末の15問の未解決問題（遺題）はまさに多変数の方程式を必要とした。関は『発微算法』（延宝2年、1674年）でそれらすべての解を与えている。それは傍書法、すなわち算木による数ではなく紙の上の文字によって算式を論じる代数筆算を用い、2個目以降の未知数を文字で表して多変数の方程式を表現し、それを点竄術で処理して求めた。
ただし『発微算法』には変数を消去した後の1元方程式が書かれているだけで（それすらも詳細を端折った解答もあった）、その背景にある傍書法は一切表に現れていない。加えて初期の版では若干の誤りがあったため、正当性に疑いを持つ者も現れた。 例えば佐治一平は15の回答のうち12が誤りだと主張した（実際には佐治の指摘のほとんどは的外れだった）。また佐治の師にあたる田中由真は『算法明解』（延宝7年、1679年）で、別の解答を関とは独立に発明した点竄術・傍書法を用いて与えた。
これに対して建部賢弘が『発微算法演段諺解』（貞享2年、1685年）で点竄術とそれを用いた解法の詳細を公開し、併せて若干の誤りを（場合によっては注記せずに）訂正している。さらに『解伏題之法』（天和3年、1683年）では終結式を用いた消去の一般的な理論を示し、加えて終結式を表現するために行列式に相当するものを導入した。ただし関は3次・4次の行列式は正しい表示を与えているが、5次については符号の誤りがあり、常に0になってしまう。これが単純な誤記の類であるか否かは不明である。やや後の1710年以前に完成した『大成算経』（建部賢明・建部賢弘との共著）で、第1列についての余因子展開を一般の行列について正しく与えている。
類似の結果は田中の『算学紛解』（1690年?）や、大阪の井関知辰による『算法発揮』（元禄3年、1690年）にも見られる。『解伏題之法』も『大成算経』も公刊されていないので、これらの研究は独自になされたと思われる。関と京阪の和算家との交流には不明な点が多い。また『大成算経』の存在にもかかわらず、後の関流の有力な和算家たちが『解伏題之法』を訂正して正しい展開式を得る研究を続けていて、この理由も今のところ不明である。
なおゴットフリート・ライプニッツが行列式を導入したのは関と同じ1683年ころだが、『解伏題之法』に比較して一般性に劣る。一般の行列式の公式や終結式の理論が発見されるのは18世紀の中ごろだった。先立って楊輝（中国、1238年? - 1298年）は『詳解九章算術』で、ジェロラモ・カルダーノは『偉大なる術』（Ars magna de Rebus Algebraicis, 1580年）で、数字係数の二元一次連立方程式の解を行列式と同様の計算式で与えている。
この一連の研究により、数学の問題は多元の代数方程式に表現できれば、原理的には解けることになった。また中国数学以来の伝統で、幾何の問題はピタゴラスの定理などを用い機械的に代数に落として処理していたので、これで実に広範な問題が原理的には解けるようになった。
ただしこの解法を実際に実行するのは多くの場合、計算量が膨大で現実的ではない。そのため『発微算法』でも方程式のみを求めていて、数値解の計算には進まなかった。ある問題は最終的に得られる方程式の次数が1458次にもなってしまい、方程式を具体的に書き下すことすらできなかった[10]。しかし以後、連立高次方程式に帰着される問題は、和算の中心的課題ではなくなった。
また数値解析で数値解を求めるには、実数根の定性的な性質（存在範囲・重根・個数）を解明し、効率的なアルゴリズムを確立しなけらばならない。関はホーナー法の収束を改善するため、ある精度から先は高次の項を省略する、ニュートン法と同値の方法を提案した。また重根の存在条件を示した。これは元の方程式とその導多項式が共通解を持つための条件にほかならず、先の消去の理論の応用である。
脚注[編集]
https://ja.wikipedia.org/wiki/%E9%96%A2%E5%AD%9D%E5%92%8C
再生核研究所声明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.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 DOI:10.12732/ijam.v27i2.9.
再生核研究所声明311（2016.07.05） ゼロ0とは何だろうか
ここ２年半、ゼロで割ること、ゼロ除算を考えているが、ゼロそのものについてひとりでに湧いた想いがあるので、その想いを表現して置きたい。
数字のゼロとは、実数体あるいは複素数体におけるゼロであり、四則演算で、加法における単位元（基準元）で、和を考える場合、何にゼロを加えても変わらない元として定義される。積を考えて変わらない元が数字の１である：
Wikipedia:ウィキペディア：
初等代数学[編集]
数の 0 は最小の非負整数である。0 の後続の自然数は 1 であり、0 より前に自然数は存在しない。数 0 を自然数に含めることも含めないこともあるが、0 は整数であり、有理数であり、実数（あるいは代数的数、複素数）である。
数 0 は正でも負でもなく、素数でも合成数でも単数でもない。しかし、0は偶数である。
以下は数 0 を扱う上での初等的な決まりごとである。これらの決まりはxを任意の実数あるいは複素数として適用して構わないが、それ以外の場合については何も言及していないということについては理解されなければならない。
加法:x + 0 = 0 +x=x. つまり 0 は加法に関する単位元である。
減法: x− 0 =x, 0 −x= −x.
乗法:x 0 = 0 ·x= 0.
除法:xが 0 でなければ0⁄x= 0 である。しかしx⁄0は、0 が乗法に関する逆元を持たないために、（従前の規則の帰結としては）定義されない（ゼロ除算を参照）。
実数の場合には、数直線で、複素数の場合には複素平面を考えて、すべての実数や複素数は直線や平面上の点で表現される。すなわち、座標系の導入である。
これらの座標系が無ければ、直線や平面はただ伸びたり、拡がったりする空間、位相的な点集合であると考えられるだろう。― 厳密に言えば、混沌、幻のようなものである。単に伸びたり、広がった空間にゼロ、原点を対応させるということは 位置の基準点を定めること と考えられるだろう。基準点は直線や平面上の勝手な点にとれることに注意して置こう。原点だけでは、方向の概念がないから、方向の基準を勝手に決める必要がある。直線の場合には、直線は点で２つの部分に分けられるので、一方が正方向で、他が負方向である。平面の場合には、原点から出る勝手な半直線を基準、正方向として定めて、原点を回る方向を定めて、普通は時計の回りの反対方向を 正方向と定める。これで、直線や平面に方向の概念が導入されたが、さらに、距離（長さ）の単位を定めるため、原点から、正方向の点（これも勝手に指定できる）を１として定める。実数の場合にも複素数の場合にも数字の１をその点で表す。以上で、位置、方向、距離の概念が導入されたので、あとはそれらを基礎に数直線や複素平面（座標）を考える、すなわち、直線と実数、平面と複素数を１対１に対応させる。これで、実数も複素数も秩序づけられ、明瞭に表現されたと言える。ゼロとは何だろうか、それは基準の位置を定めることと発想できるだろう。
― 国家とは何だろうか。国家意思を定める権力機構を定め、国家を動かす基本的な秩序を定めることであると原理を述べることができるだろう。
数直線や複素平面では 基準点、０と１が存在する。これから数学を展開する原理を下記で述べている：
しかしながら、数学について、そもそも数学とは何だろうかと問い、ユニバースと数学の関係に思いを致すのは大事ではないだろうか。この本質論については幸運にも相当に力を入れて書いたものがある：
No.81, May 2012(pdf 432kb)
19/03/2012
ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅.広く面白く触れたい。
複素平面ではさらに大事な点として、純虚数i が存在するが、ゼロ除算の発見で、最近、明確に認識された意外な点は、実数の場合にも、複素数の場合にも、ゼロに対応する点が存在するという発見である。ゼロに対応する点とは何だろうか？
直線や平面で実数や複素数で表されない点が存在するであろうか？ 無理して探せば、いずれの場合にも、原点から無限に遠ざかった先が気になるのではないだろうか？ そうである立体射影した場合における無限遠点が正しくゼロに対応する点ではないかと発想するだろう。その美しい点は無限遠点としてその美しさと自然さ故に１００年を超えて数学界の定説として揺るぐことはなかった。ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。オイラー、アーベル、リーマンの流れである。
ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。
直線を原点から、どこまでも どこまでも遠ざかって行くと、どこまでも行くが、その先まで行くと（無限遠点）突然、ゼロに戻ることを示している。これが数学であり、我々の空間であると考えられる。この発見で、我々の数学の結構な部分が修正、補充されることが分かりつつある。
ゼロ除算は可能であり、我々の空間の認識を変える必要がある。ゼロで割る多くの公式である意味のある世界が広がってきた。それらが 幾何学、解析学、代数学などと調和して数学が一層美しい世界であることが分かってきた。
全ての直線はある意味で、原点、基準点を通ることが示されるが、これは無限遠点の影が投影されていると解釈され、原点はこの意味で２重性を有している、無限遠点と原点が重なっている現象を表している。この２重性は 基本的な指数関数y=e^x が原点で、0 と1 の２つの値をとると表現される。このことは、今後大きな意味を持ってくるだろう。
古来、ゼロと無限の関係は何か通じていると感じられてきたが、その意味が、明らかになってきていると言える。
２点から無限に遠い点 無限遠点は異なり、無限遠点は基準点原点の指定で定まるとの認識は面白く、大事ではないだろうか。
以 上
再生核研究所声明296(2016.05.06) ゼロ除算の混乱
ゼロ除算の研究を進めているが、誠に奇妙な状況と言える。簡潔に焦点を述べておきたい。
ゼロ除算はゼロで割ることを考えることであるが、物理学的にはアリストテレス、ニュートン、アンシュタインの相当に深刻な問題として、問題にされてきた。他方、数学界では６２８年にインドで四則演算の算術の法則の確立、記録とともに永年問題とされてきたが、オイラー、アーベル、リーマン達による、不可能であるという考えと、極限値で考えて無限遠点とする定説が永く定着してきている。
ところが数学界の定説には満足せず、今尚熱い話題、問題として、議論されている。理由は、ゼロで割れないという例外がどうして存在するのかという、素朴な疑問とともに、積極的に、計算機がゼロ除算に出会うと混乱を起こす具体的な懸案問題を解消したいという明確な動機があること、他の動機としてはアインシュタインの相対性理論の上手い解釈を求めることである。これにはアインシュタインが直接言及しているように、ゼロ除算はブラックホールに関係していて、ブラックホールの解明を意図している面もある。偶然、アインシュタイン以後１００年 実に面白い事件が起きていると言える。偶然、２０年以上も考えて解明できたとの著書さえ出版された。― これは、初めから、間違いであると理由を付けて質問を送っているが、納得させる回答が無い。実名を上げず、具体的に 状況を客観的に述べたい。尚、ゼロ除算はリーマン仮説に密接に関係があるとの情報があるが 詳しいことは分からない。
１： ゼロ除算回避を目指して、新しい代数的な構造を研究しているグループ、相当な積み重ねのある理論を、体や環の構造で研究している。例えて言うと、ゼロ除算は沢山存在するという、考え方と言える。― そのような抽象的な理論は不要であると主張している。
２：同じくゼロ除算回避を志向して 何と0/0 を想像上の数として導入し、正、負無限大とともに数として導入して、新しい数の体系と演算の法則を考え、展開している。相当なグループを作っているという。BBCでも報じられたが、数学界の評判は良くないようである。― そのような抽象的な理論は不要であると主張している。
３：最近、アインシュタインの理論の専門家達が アインシュタインの理論から、0/0=1, 1/0=無限 が出て、ゼロ除算は解決したと報告している。― しかし、これについては、論理的な間違いがあると具体的に指摘している。結果も我々の結果と違っている。
４：数学界の永い定説では、1/0 は不可能もしくは、極限の考え方で、無限遠点を対応させる. 0/0 は不定、解は何でも良いとなっている。― 数学に基本的な欠落があって、ゼロ除算を導入しなければ数学は不完全であると主張し、新しい世界観を提起している。
ここ２年間の研究で、ゼロ除算は 何時でもゼロz/0=0であるとして、 上記の全ての立場を否定して、新しい理論の建設を進めている。z/0 は 普通の分数ではなく、拡張された意味でと初期から説明しているが、今でも誤解していて、混乱している人は多い、これは真面目に論文を読まず、初めから、問題にしていない証拠であると言える。
上記、関係者たちと交流、討論しているが、中々理解されず、自分たちの建設している理論に固執しているさまがよく現れていて、数学なのに、心情の問題のように感じられる微妙で、奇妙な状況である。
我々のゼロ除算の理論的な簡潔な説明、それを裏付ける具体的な証拠に当たる結果を沢山提示しているが、中々理解されない状況である。
数学界でも永い間の定説で、初めから、問題にしない人は多い状況である。ゼロ除算は算数、ユークリッド幾何学、解析幾何学など、数学の基本に関わることなので、この問題を究明、明確にして頂きたいと要請している：
再生核研究所声明 277(2016.01.26)：アインシュタインの数学不信 ― 数学の欠陥
再生核研究所声明 278(2016.01.27)： 面白いゼロ除算の混乱と話題
再生核研究所声明279(2016.01.28) ： ゼロ除算の意義
再生核研究所声明280(2016.01.29) : ゼロ除算の公認、認知を求める
我々のゼロ除算について８歳の少女が３週間くらいで、当たり前であると理解し、高校の先生たちも、簡単に理解されている数学、それを数学の専門家や、ゼロ除算の専門家が２年を超えても、誤解したり、受け入れられない状況は誠に奇妙で、アリストテレスの２０００年を超える世の連続性についての固定した世界観や、上記天才数学者たちの足跡、数学界の定説に まるで全く嵌っている状況に感じられる。
以 上
考えてはいけないことが、考えられるようになった。
説明できないことが説明できることになった。
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
再生核研究所声明292(2016.03.2５) ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算
（２０１６．３．２３ 朝、目を覚まして、情念と構想が閃いたものである。）
まず基本語をｳｲｷﾍﾟディアで確認して置こう：
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A6%E3%82%AF%E3%83%AC%E3%82%A4%E3%83%87%E3%82%B9
アレクサンドリアのエウクレイデス（古代ギリシャ語: Εὐκλείδης, Eukleídēs、ラテン語: Euclīdēs、英語: Euclid（ユークリッド）、紀元前3世紀? - ）は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。プトレマイオス1世治世下（紀元前323年-283年）のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学（特に幾何学）の教科書として使われ続けた。
https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E5%
非ユークリッド幾何学の成立： ニコライ・イワノビッチ・ロバチェフスキーは「幾何学の新原理並びに平行線の完全な理論」(1829年)において、「虚幾何学」と名付けられた幾何学を構成して見せた。これは、鋭角仮定を含む幾何学であった。ボーヤイ・ヤーノシュは父・ボーヤイ・ファルカシュの研究を引き継いで、1832年、「空間論」を出版した。「空間論」では、平行線公準を仮定した幾何学（Σ）、および平行線公準の否定を仮定した幾何学（S）を論じた。更に、1835年「ユークリッド第 11 公準を証明または反駁することの不可能性の証明」において、Σ と S のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。
ユークリッド幾何学は ２０００年を超えて数学及び論理と あらゆる科学の記述の基礎になってきた。その幾何学を支える平行線の公理については、非ユークリッド幾何学の成立過程で徹底的に検討、議論され、逆に 平行線の公理がユークリッド幾何学の特徴的な仮定（仮説）で証明できない公理であることが明らかにされた。それとともに 数学とは何かに対する認識が根本的に変わり、数学とは公理系（仮説系）の上に建設された理論体系であって、絶対的な真理という概念を失った。
ここで焦点を当てたいのは 平行線の概念である。ユークリッド幾何学における平行線とは 任意の直線に対して、直線上以外の点を通って、それと交わらない直線のことで、平行線がただ１つ存在するというのがユークリッドの公理である。非ユークリッド幾何学では、そのような平行線が全然存在しなかったり、沢山存在する幾何学になっており、そのような幾何学は 実在し、現在も盛んに利用されている。
この平行線の問題が、ゼロ除算の発見1/0=0、台頭によって 驚嘆すべき、形相を帯びてきた。
ユークリッド自身、また、非ユークリッド幾何学の上記発見者たち、それに自ら深い研究をしていた天才ガウスにとっても驚嘆すべき事件であると考えられる。
何と ユークリッド空間で 平行線は ある意味で 全て原点で交わっている という、現象が明らかにされた。
もちろん、ここで交わっていることの意味を 従来の意味にとれば、馬鹿馬鹿しいことになる。
そこで、その意味をまず、正確に述べよう。まずは、 イメージから述べる。リーマン球面に立体射影させると 全ユークリッド平面は 球面から北極点を除いた球面上に一対一に写される。そのとき、球面の北極点に対応する点が平面上になく、想像上の点として無限遠点を付け加えて対応させれば、立体射影における円、円対応を考えれば、平面上の平行線は無限遠点で交わっているとして、すっきりと説明され、複素解析学における基本的な世界観を与えている。平行線は無限遠点で 角ゼロ（度）で交わっている（接している）も立体射影における等角性で保証される。あまりの美しさのため、１００年を超えて疑われることはなく、世の全ての文献はそのような扱いになっていて数学界の定説である。
ところがゼロ除算1/0=0では 無限遠点は空間の想像上の点として、存在していても、その点、無限遠点は数値では ゼロ（原点）に対応していることが明らかにされた。 すなわち、北極（無限遠点）は南極（原点）と一致している。そのために、平行線は原点で交わっていると解釈できる。もちろん、全ての直線は原点を通っている。
この現象はユークリッド空間の考えを改めるもので、このような性質は解析幾何学、微積分学、複素解析学、物理学など広範に影響を与え、統一的に新しい秩序ある世界を構成していることが明らかにされた。２２００年を超えて、ユークリッド幾何学に全く新しい局面が現れたと言える。
平行線の交わりを考えてみる。交わらない異なる２直線を１次方程式で書いて、交点の座標を求めて置く。その座標は、平行のとき、分母がゼロになって、交点の座標が求まらないと従来ではなっていたが、ゼロ除算では、それは可能で、原点（０，０）が対応すると解釈できる。ゼロ除算と解析幾何学からの帰結である。上記幾何学的な説明が、ゼロ除算で解析幾何学的にも導かれる。
一般の円の方程式を２次関数で表現すれば、(x^2+y^2) の係数がゼロの場合、直線の一般式になるが、ゼロ除算を用いると、それが保証されるばかりか、直線の中心は 原点である、直線も点円も曲率がゼロであることが導かれる。もちろん、ゼロ除算の世界では、全ての直線は原点を通っている。このとき、原点を無限遠点の映った影ともみなせ、原点はこのような意味で もともとの原点とこの意味での点としての、２重性を有し、この概念は今後大きな意味を有することになるだろう。
ゼロ除算1/0=0は ユークリッド幾何学においても、大きな変革を求めている。
以上
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
再生核研究所声明255 (2015.11.3) 神は、平均値として関数値を認識する
(２０１５．１０．３０．０７：４０
朝食後 散歩中突然考えが閃いて、懸案の問題が解決した：
どうして、ゼロ除算では、ローラン展開の正則部の値が 極の値になるのか？
そして、一般に関数値とは何か 想いを巡らしていた。
解決は、驚く程 自分の愚かさを示していると呆れる。 解は 神は、平均値として関数値を認識すると纏められる。実際、解析関数の場合、上記孤立特異点での関数値は、正則の時と全く同じく コ－シーの積分表示で表されている。 解析関数ではコ－シーの積分表示で定義すれば、それは平均値になっており、この意味で考えれば、解析関数は孤立特異点でも 関数値は 拡張されることになる ― 原稿には書いてあるが、認識していなかった。
連続関数などでも関数値の定義は そのまま成り立つ。平均値が定義されない場合には、いろいろな意味での平均値を考えれば良いとなる。解析関数の場合の微分値も同じように重み付き平均値の意味で、統一的に定義でき、拡張される。 いわゆるくりこみ理論で無限値（部）を避けて有限値を捉える操作は、この一般的な原理で捉えられるのではないだろうか。２０１５．１０．３０．０８：２５)
上記のようにメモを取ったのであるが、基本的な概念、関数値とは何かと問うたのである。関数値とは、関数の値のことで、数に数を対応させるとき、その対応を与えるのが関数でよく f 等で表され x 座標の点 x をy 座標の点 yに対応させるのが関数 y = f(x) で、放物線を表す２次関数 y=x^2, 直角双曲線を表す分数関数 y=1/x 等が典型的な例である。ここでは 関数の値 f(x) とは何かと問うたものである。結論を端的に表現するために、関数y=1/xの原点x=0における値を問題にしよう。 このグラフを思い出して、多くの人は困惑するだろう。なぜならば、x が正の方からゼロに近づけば 正の無限に発散し、xが負の方からゼロに近づけば負の無限大に発散するからである。最近発見されたゼロ除算、ゼロで割ることは、その関数値をゼロと解釈すれば良いという簡単なことを言っていて、ゼロ除算はそれを定義とすれば、ゼロ除算は 現代数学の中で未知の世界を拓くと述べてきた。しかし、これは誰でも直感するように、値ゼロは、 原点の周りの値の平均値であることを知り、この定義は自然なものであると 発見初期から認識されてきた。ところが、他方、極めて具体的な解析関数 W = e^{1/z} = 1 + 1/z + 1/2!z^2 + 1/3!z^3 +……. の点 z=0 における値がゼロ除算の結果１であるという結果に接して、人は驚嘆したものと考えられる。複素解析学では、無限位数の極、無限遠点の値を取ると考えられてきたからである。しかしながら、上記の考え、平均値で考えれば、値１をとることが 明確に分かる。実際、原点のコーシー積分表示をこの関数に適用すれば、値１が出てくることが簡単に分かる。そもそも、コーシー積分表示とは 関数の積分路上（簡単に点の周りの円周上での、 小さな円の取り方によらずに定まる）で平均値を取っていることに気づけば良い。
そこで、一般に関数値とは、考えている点の周りの平均値で定義するという原理を考える。
解析関数では 平均値が上手く定義できるから、孤立特異点で、逆に平均値で定義して、関数を拡張できる。しかし、解析的に延長されているとは言えないことに注意して置きたい。 連続関数などは 平均値が定義できるので、関数値の概念は 今までの関数値と同じ意味を有する。関数族では 平均値が上手く定義できない場合もあるが、そのような場合には、平均値のいろいろな考え方によって、関数値の意味が異なると考えよう。この先に、各論の問題が派生する。
以 上
Reality of the Division by Zero $z/0=0$
http://www.ijapm.org/show-63-504-1.html
0 件のコメント:
コメントを投稿