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

ジョヴァンニ・ジローラモ・サッケーリ（Giovanni Girolamo Saccheri, 1667年9月5日サンレーモ - 1733年10月25日ミラノ）はイタリアの数学者である。死後に発表された論文「あらゆる汚点から清められたユークリッド」(Euclides ab Omni Naevo Vindicatus, 1733年)は、後の非ユークリッド幾何学の成立に大きな役割を果たした。

非ユークリッド幾何学についての功績と認識

彼はユークリッドの第5公準を他の4つの公準から証明するという古代からたくさんの数学者を苦しめてきた問題を、第5公準をそれと同値な命題「全ての三角形の内角の和は2直角に等しい」に置き換え（この置き換えは13世紀にアラビアの数学者ナシール‐エディンにより示されていたもので、サッケーリはこのことを直角仮定と呼んだ）、これに背反し互いに背反する2つの命題「全ての三角形の内角の和は2直角よりも小さい」（鋭角仮定）、「全ての三角形の内角の和は2直角よりも大きい」（鈍角仮定）が共に矛盾を導くことを示し直角仮定及び第5公準を証明するという手法（つまり背理法である）で解こうとした。サッケリーは前述した論文「あらゆる汚点から清められたユークリッド」で第5公準の代わりに鋭角仮定又は鈍角仮定を公準としてさまざまな定理を導き、特に鋭角仮定を代わりに付け加えると第2公準と矛盾する結果が得られることを書いた。したがって残りの鈍角仮定から矛盾が発生することを導き出せば第5公準を他の4つの公準から導き出せる定理だということが証明されるのだが、彼が導き出した鈍角仮定の反証はその仮定に第5公準が使われていたため当初の目的は遂に達成できなかった（第5公準を仮定すると第5公準に反する命題が反証できるのは当たり前である）。

サッケリーが自分の論文の中で鈍角仮定から導き出した定理は後にロシアの数学者ニコライ・イワノビッチ・ロバチェフスキーやハンガリーのボーヤイ・ヤーノシュ、ドイツのカール・フリードリヒ・ガウスによって再発見され双曲幾何学の定理として認識されるようになる。サッケリーと彼らの大きな違いはサッケリーがユークリッド幾何の完全性を信じ、それに反する公理から導き出されたこれらの定理を反証されるべき誤った定理と考えていたのに対し、ロバチェフスキーらは鈍角仮定（彼らはを含む三角形の内角の和を使った公理ではなくジョン・プレイフェアによる一点を通る平行線の数を使った公理を使ったためこういう言い方はしていない）を含む5つの公準から導かれたユークリッド幾何学とはまた別の新しい幾何学の定理と認識していたことである。サッケリーがこれらの定理を新しい幾何学の定理と考えて書いていたら彼が非ユークリッド幾何学の創始者と言われていたことだろう。当時はサッケリーのようにこのようなユークリッドの絶対性を信じていたものがたくさんいた。これはちょうど同じ時代を生きたドイツのイマヌエル・カントの啓蒙思想にも反映されており、彼の認識論では人間には外部からの情報によって創り上げられる概念とは別に絶対的な真理として空間（ここでの空間はユークリッド幾何に従う空間）と時間の概念をすでに持っているということがいわれている。この考えは長らく人々に支持され続け、ロバチェフスキーやボヤイ、それにもう一つの非ユークリッド幾何学である楕円幾何学を考案しガウスの微分幾何学を使って楕円幾何学と双曲幾何学とを曲率に関係付けまとめたリーマン幾何学の創始者であるベルンハルト・リーマンらの業績が認められるのに大きな障壁ともなった。サッケリーはユークリッド絶対主義の最後期を生きた人間であり、その評価はリーマン以前がユークリッド幾何の完全性に最も近づいた人間だったのに対し、リーマン以降は非ユークリッド幾何学の発見に後一歩及ばなかった人間と変化することになる。

関連項目

• ユークリッド幾何学
• 非ユークリッド幾何学
  • 双曲幾何学
• 絶対幾何学
• 数学基礎論
• 公理主義