数学 非ユークリッド幾何学の歴史を解説!-クラインモデルの解説! ユークリッドの原論が出版されて以来の注目の的であった「平行線公準」。これを公準ではなく定理なのではないかと考え、ほかの公準から証明しようとする試みは、数世紀も続いた。しかしながら、別の幾何学が生まれるという意外な結末を迎えた。非ユークリッド... 2021.10.14 数学
数学 公理と公準の違いを詳しく解説! 公理と公準はユークリッド原論ででてくることばであり、どちらも「証明なしで正しいとみなす事柄」であるので違いがわかりにくい。この記事では、この言葉のちがいや歴史をわかりやすくまとめた。公理と公準の違い以下のように、いくつかの観点から解説が可能... 2021.10.08 数学
数学 結び目理論とDNAの関係について解説!-面白い応用例・遊び 結び目理論は数学の研究分野であるが、二重螺旋の構造をもつDNAの研究にも役立てられている。これと歴史について解説する。また、面白い意応用例や遊びを紹介する。結び目理論とDNAの関係DNAは小さな細胞核のなかにとても長い線が収納されており、絡... 2021.09.23 数学
数学 ネウシス作図!定規・コンパスのみで角の三等分【動画】-作図可能な具体例 ネウシス作図という「グレーゾーンの作図」をすれば、角の三等分は不可能ではないことが知られている。ここでは、ネウシス作図の実例として角の三等分について解説する。三等分になっていることの証明も解説する。関連:角の3等分の方法が発見された?!ネウ... 2021.09.09 数学消された歴史
数学 P≠NP予想 証明への歴史 数学、あるいは計算機科学の未解決問題であるP≠NP予想の歴史。予想の年表1950まで チューリングマシン1965 ハートマニス、スターンズ、計算複雑さの論文、時間内に解けるかどうかの枠組を議論指数関数的時間がかかる問題が発見されはじめる。1... 2021.06.21 数学
数学 非推移的サイコロ3種!ジッヒャーマンダイス-確率論のサイコロ 確率論ではサイコロが例題として挙げられることが多いが、中にはそれらの応用として面白い性質をもつものが登場するる。有名な非推移サイコロをはじめとしてそれらをまとめた。また、その他のサイコロを題材にした不可能な問題も紹介している。非推移サイコロ... 2021.06.14 数学
数学 3次元の接吻数が12であることを図で証明!接吻数論争の歴史 3次元の接吻数(kissing number)は12であることが知られているが、3次元の接吻数にはニュートンが絡んだ論争があった。その歴史と、厳密ではないが簡単な証明を解説する。ざっくりとした証明図入りでまず2次元で解説する。これはイメージ... 2021.03.16 数学
人物伝 ブルバキのモデル!実在のブルバキ将軍の生涯を解説!ブルバキに娘がいた? 匿名の数学者たちの集団のハンドルネームである二コラ・ブルバキには、モデルといわれている同名の将軍がいる。その生涯について詳しく解説する。実在のブルバキ将軍の生涯シャルル・ドニ・ソテル・ブルバキ (1816~1897)フランスの軍人。ブルバキ... 2021.03.13 人物伝数学
数学 4色問題(四色問題)の反例が発見された?! 四色問題は、長い間解決されなかった難問であるが、その過程で、反例と思われるものが提出されたことがある。それを年表でまとめた。 なお、証明方法が間違っていることを示すものであって、四色問題そのものの反例ではない。よって、すべて4色あればぬれる... 2020.08.28 数学
数学 点予想 証明の歴史-フェルマーの最終定理との関係 解けそうで解けない難問の一つだった数学の問題に「点予想」がある。サイモン・シンの名著「フェルマーの最終定理」に載っていることで興味を持った人も多いかもしれない。 この問題がたどった歴史については当該図書には載っていないが、以下のような年表に... 2020.05.16 数学
数学 解の公式の歴史!作った人・誰が発見者?解の公式の呪い? 方程式の解の公式はどのように発見されていったのかの年表。1次方程式、2次方程式の解の公式は古代から知られていたが、3次方程式までに実に3000年近い時間の開きがある。なお、本文中に示した解の公式は、未知数にに記号がついていない場合のものであ... 2020.05.14 数学
工学 ファジィ理論の歴史 20世紀になってから、あいまいな対象を数学的に取り扱おうという理論が考案された。しかしながら、これは従来の西洋の考え方であった「曖昧性を排除したモデル」という考え方とは相いれないものであり、当初はあまり評価されなかった。 のちに、工学や機械... 2020.05.13 工学数学
数学 角の3等分の方法が発見された?! 不可能な作図問題の代表例として知られる角の3等分。ただし歴史上には、解いたという主張をする人があとを立たなかった。この失敗の歴史について解説する。関連:ネウシス作図!定規・コンパスのみで角の三等分【動画】-作図可能な具体例角に挟まれた円弧を... 2020.05.10 数学消された歴史
数学 リーマン予想 証明への歴史 現在おそらくもっとも有名な数学上の未解決問題であるリーマン予想の歴史。人類が長年興味をもっている素数についての最大級の課題であり、これが証明されれば恩恵は計り知れない。リーマン予想は大半の数学者が死んだと考えているようだが、はたしてその真偽... 2020.05.06 数学
数学 ポアンカレ予想 証明の歴史 100年規模で未解決だった数学上の難問として知られたポアンカレ予想の年表である。ポアンカレ予想はトポロジーの発展につながったが、最終的な証明は、トポロジー以外の分野の要素が多く盛り込まれた方法で達成された。この予想の証明に人生をかけて精神を... 2020.05.05 数学
数学 フェルマーの最終定理 証明の歴史 数学上の難問として名高いフェルマーの最終定理が証明されるまでの歴史。百年単位で解けなかった難問のうち、問題を理解すること自体はおそらく一番単純である(ピタゴラスの定理を知っていればなおさら)。それだけに、多くの数学者を惑わした。ピタゴラスの... 2020.04.15 数学
数学 ケプラー予想 証明の歴史 難問だったことで有名な「フェルマーの最終定理」よりも未解決の時間が長かった数学の問題として「ケプラー予想」がある。球体を空間に充填するときにはどのような方法が一番効率が良いのかという疑問から発した予想である。 2次元の場合は純粋に論考で証明... 2020.04.11 数学
数学 四色問題の証明の歴史!地図と150年をめぐる大冒険!コンピュータによる証明で波乱も? 「どんな地図も、4色あれば隣り合う国同士が同じ色にならずに塗れるのか?」この、ちょっとした疑問から始まったのが四色問題です。一見シンプルだけど、数学史においては大論争を巻き起こしたトピックの一つ。現在では証明済みなので、『四色定理』とも呼び... 2020.04.11 数学
数学 数学者たちのエイプリルフール 数学には数百年説かれていない難問が存在する。それを解こうと奮闘する人々は数多くいるが、数学者たちはときに、解決したというエイプリルフールが流され困惑させられることがある。その代表的な例を年表にまとめた。ガードナーのエイプリルフール地図数学者... 2020.04.01 数学
数学 ガウス『数学日記』における発見と謎 概要ガウスが残した数学に関する日記の内容。全146項目、最初の4年間(十代後半のころ)だけでおよそ7割が書かれている。 子孫であるカール・アウグスト・アドルフ・ガウス(1849-1927)から数学者パウル・シュテッケルへ渡され今日に伝えられ... 2020.02.19 数学