【kawasaki】ER-6n/f/Versys part19【ｶﾞﾁｬﾋﾟｿ】

双曲幾何学（そうきょくきかがく）またはボヤイ・ロバチェフスキー幾何学とは、まっすぐな空間（ユークリッド空間、放物幾何的空間）ではなく、
負の曲率を持つ曲がった空間における幾何学である。ユーグリッド幾何学の検証ということでサッケリーなども幾つかの定理を導いているが、
完全で矛盾のない公理系を持つユークリッド幾何学ではない新しい幾何学と認識してまとめたのは同時期にそれぞれ独立に発表した
ロバチェフスキー（1829年発表）、ボヤイ（1832年発表）、およびガウス（発表せず）らの功績である。
ユークリッドのユークリッド原論の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 平行線公準）、
それを否定する公理を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である非ユークリッド幾何学の一つである。
双曲幾何学の場合には、「ある直線 L とその直線の外にある点 p が与えられたとき、p を通り L に平行な直線は無限に存在する」という公理に支えられて構成される。
双曲幾何学では、ユークリッド原論の平行線の公準以外の公理公準はすべて成立する。これは平行線の公準が独立した公準であり、ほかの公準からは証明できないということである。
なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線の公準が成り立つはずだからである。
この幾何学は、もともと平行線の公準をユークリッド原論のほかの公準から証明しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線の公準は独立で
ほかの公準からは証明できないことが証明された。
例えば、平面においては任意の直線にその直線上にない一点を通る平行線は一本しかないが、無限に開き続ける漏斗のようなものにおいては、
任意の直線にその直線上にない一点を通る平行線は無限に存在することになる。