ジョヴァンニ・ジェローラモ・サッケーリ

ジョヴァンニ・ジローラモ・サッケーリ（Giovanni Girolamo Saccheri, 1667年9月5日サンレーモ - 1733年10月25日ミラノ）はイタリアのイエズス会に所属した司祭、スコラ哲学者、数学者である。1694年からパヴィア大学で哲学と神学を教え、1697年からトリノ大学で哲学の教鞭を執った。 1699年にはパヴィア大学で数学の終身の教授に就任した。数学者のトンマーゾ・チェバ（英語版）の弟子であり、Quaesita geometrica (1693年)、Logica demonstrativa (1697年)や Neo-statica (1708年)などの著作を出版した。 現在ではサッケーリの名前は1733年の死の直前に出版された最後の論文によって知られている。彼の論文『あらゆる汚点から清められたユークリッド』は非ユークリッド幾何学に関する2番目の著作と考えられているが、19世紀の中頃にユージニオ・ベルトラミ（英語版）によって再発見されるまでは忘れられていた。サッケーリのアイデアの多くは11世紀のペルシアの大博識者ウマル・ハイヤームの著作『ユークリッドの難点に関する議論』（Risâla fî sharh mâ ashkala min musâdarât Kitâb 'Uglîdis）において先取りされていたが、この事実は最近まで西洋の学者から無視されていた。サッケーリがハイヤームの翻訳書からアイデアを得たのか、ハイヤームと独立に考えたのかどうかは不明だが、サッケーリの四角形（英語版）は現在ではハイヤーム‐サッケーリの四角形と呼ばれることもある。 サッケーリはユークリッドの第5公準を他の4つの公準から証明するという古代からたくさんの数学者を苦しめてきた問題を、第5公準をそれと同値な命題「全ての三角形の内角の和は2直角に等しい」に置き換え（この置き換えは13世紀にアラビアの数学者ナシールッディーンにより示されていたもので、サッケーリはこのことを直角仮定と呼んだ）、これに対し、互いに背反する2つの命題「全ての三角形の内角の和は2直角よりも小さい」（鋭角仮定）、「全ての三角形の内角の和は2直角よりも大きい」（鈍角仮定）が共に矛盾を導くことを示し、直角仮定、したがって第5公準を証明するという手法（つまり背理法である）で解こうとした。サッケーリは前述した論文『あらゆる汚点から清められたユークリッド』で第5公準の代わりに鋭角仮定又は鈍角仮定を公準としてさまざまな定理を導き、特に鈍角仮定を付け加えると直線の長さが有限になるため、直線の長さが無限であるという第2公準と矛盾することを示した。したがって残りの鋭角仮定から矛盾が発生することを導き出せば第5公準は他の4つの公準から導き出せる定理だということが証明されるのだが、彼が導き出した鋭角仮定の反証はその中で第5公準が使われていたため当初の目的は達成できなかった。 サッケーリが自分の論文の中で鋭角仮定から導き出した定理は19世紀にドイツの数学者カール・フリードリヒ・ガウス、ロシアのニコライ・ロバチェフスキーやハンガリーのボーヤイ・ヤーノシュによって再発見され双曲幾何学の定理として認識されるようになる。サッケーリと彼らの大きな違いはサッケーリがユークリッド幾何の完全性を信じ、それに反する公理から導き出されたこれらの定理を反証されるべき誤った定理と考えていたのに対し、ガウスらは鋭角仮定を含む5つの公準から導かれたユークリッド幾何学とはまた別の新しい幾何学の定理と認識していたことである。サッケーリがこれらの定理を新しい幾何学の定理と考えて書いていたら彼が非ユークリッド幾何学の創始者と言われていたことだろう。当時はサッケーリのようにこのようなユークリッド幾何学の絶対性を信じていた者がほとんどであった。これはちょうど同じ時代を生きたドイツのイマヌエル・カントの啓蒙思想にも反映されており、彼の認識論では人間には外部からの情報によって創り上げられる概念とは別に絶対的な真理として空間と時間の概念をすでに持っているということがいわれている。この考えは長らく人々に支持され続け、ロバチェフスキーやボーヤイ、それにもう一つの非ユークリッド幾何学である楕円幾何学を考案しガウスの微分幾何学を使って楕円幾何学と双曲幾何学とを曲率に関係付けまとめたリーマン幾何学の創始者であるベルンハルト・リーマンらの業績が認められるのに大きな障壁ともなった。 Saccheri, Girolamo G・B・ハルステッド（英語版）訳 (1920) [1733], Euclides Vindicatus, Chicago: The Open Court Publishing Company, http://catalog.hathitrust.org/Record/000381755  - G. B. Halsted によるラテン語からの英訳（原文と英訳の対訳本）, 1st ed. (1920); 2nd ed. (1986), [脚注の使い方] ^ トンマーゾ・チェバはチェバの定理で知られるジョバンニ・チェバの弟である。 ^ 彼らは角度の概念を含む三角形の内角の和を使った公理ではなくジョン・プレイフェアによる一点を通る平行線の数を使った公理（プレイフェアの公理）を使ったためこういう言い方はしていない。 ^ ここでの空間はユークリッド幾何に従う空間のことである。 ^ Emch, Arnold (1922). “Review of Giralamo Saccheri's Euclides Vindicatus, edited and translated by G. B. Halsted”. Bull. Amer. Math. Soc. 28 (3): 131–132. doi:10.1090/s0002-9904-1922-03514-8. http://www.ams.org/journals/bull/1922-28-03/S0002-9904-1922-03514-8/S0002-9904-1922-03514-8.pdf.  ^ ジョン・コーコラン (論理学者)（英語版）によるレビュ－ Mathematical Reviews 88j:01013, 1988 がある。 寺阪英孝『非ユークリッド幾何学の世界　幾何学の原点をさぐる』講談社〈ブルーバックス B-312〉、1977年5月。ISBN 978-4-06-117912-7。  寺阪英孝『非ユークリッド幾何学の世界　幾何学の原点をさぐる』（新装版）講談社〈ブルーバックス B-1880〉、2014年8月。ISBN 978-4-06-257880-6。  Gardner, Martin (2001), “Chapter 14: Non-Euclidean Geometry”, The Colossal Book of Mathematics, W. W.Norton & Company,, ISBN 978-0-393-02023-6  Greenberg, M. J. (2008), Euclidean and Non-Euclidean Geometries: Development and History (4th ed.), W. H. Freeman, ISBN 978-0-7167-9948-1, https://books.google.co.jp/books?id=4uw0dwi7bmQC  - 1st ed. 1974, 2nd ed. 1980, 3rd ed. 1993, 4th ed. 2008. 幾何学基礎論 公理主義 絶対幾何学 非ユークリッド幾何学 双曲幾何学 ユークリッド幾何学 O'Connor, John J.; Robertson, Edmund F., “ジョヴァンニ・ジェローラモ・サッケーリ”, MacTutor History of Mathematics archive, University of St Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Saccheri/ . 表示 編集