罗巴切夫斯基双曲几何
罗巴切夫斯基几何（Lobachevskian geometry），也称双曲几何，波利亚-罗巴切夫斯基几何或罗氏几何，是一种独立于欧几里得几何的一种几何公理系统。
双曲几何的公理系统和欧氏几何的公理系统不同之处在于欧几里得几何的“第五公设”（又称平行公理，等价于“过直线之外一点有唯一的一条直线和已知直线平行”）被代替为“双曲平行公理”（等价于“过直线之外的一点至少有两条直线和已知直线平行”）。在这种公理系统中，经过演绎推理，可以证明一系列和欧氏几何内容不同的新的几何命题，比如三角形的内角和小于180度。
凡是不涉及到平行公理的几何命题，在欧氏几何中如果是正确的，在双曲几何中也同样是正确的。而依赖于平行公理的命题，在双曲几何中都不成立。下面举几个例子加以说明：
欧氏几何:
同一直线的垂线和斜线相交。
图1.罗巴切夫斯基几何相关图形
垂直于同一直线的两条直线平行。
存在相似而不全等的多边形。
过不在同一直线上的三点可以做且仅能做一个圆。
双曲几何：
同一直线的垂线和斜线不一定相交。
垂直于同一直线的两条直线，当两端延长的时候，离散到无穷。不存在相似而不全等的多边形。
过不在同一直线上的三点，不一定能做一个圆。
从上面所列举得罗巴切夫斯基几何的一些命题可以看到，这些命题和我们所习惯的直观有矛盾。所以罗巴切夫斯基几何中的一些几何事实没有象欧氏几何那样容易被接受。但是，我们可以用习惯的欧氏几何中的事实作一个直观“模型”来解释罗氏几何是正确的。
几何模型
罗巴切夫斯基几何的公理系统有几种直观的模型。罗巴切夫斯基几何中的非定义概念（元名）在各种模型中被定义为具体的对象，使得双曲几何的公理被这种模型满足。
庞加莱模型
Poincare model：在双曲几何的庞加莱模型中，“点”是庞加莱圆盘
（即平面上单位圆盘的内部）上的点，“直线”是所有包含在庞加莱圆盘内，并于单位圆垂直相交的圆弧。在这个模型内，可以证明过两“点”有唯一的“直线”等双曲几何的公理。而且我们可以看到，过“直线”外的一点有不止一条“直线”和已知“直线”平行（即不相交）。
Depiction of the polarization states on Poincaré sphere
克莱因模型
Klein model：在克莱因模型中，“点”仍然是庞加莱圆盘上的点，“直线”是单位圆的所有弦（chord）。这个模型仍然满足双曲几何的所有公理。但克莱因模型中两条直线的夹角并不等于欧氏几何意义下的夹角。
平行线与三角形
平行线
若两射线BC与CE在直线BC之同侧且不相交，但∠CBA内部的任一射线BD均与CE相交，则称射线BA平行于射线CE，记为BA∥CE，当BC⊥CE时，∠CBA称为线段BC的平行角，而线段BC称为∠CBA的平行距或指针，可以证明平行角是锐角。
三角形
欧氏几何中三角形的内角和是180度。这个命题依赖于欧氏几何的平行公理。而在双曲几何中，任何三角形的内角和一定是严格小于180度；内角和与180度的差称为这个三角形的“缺陷”（defect）。这个数值与三角形的面积成正比例。而因为缺陷最多是180度，所以在双曲几何中，三角形的面积不可能无限大。这又是与欧氏几何的直觉完全相反的现象。
历史
尼古拉斯·伊万诺维奇·罗巴切夫斯基（Никола́й Ива́нович Лобаче́вский，英文Nikolas lvanovich Lobachevsky）（1792年（壬子年）12月1日-1856年2月24日），俄罗斯数学家，非欧几何的早期发现人之一。主要著作：关于非欧几何的论文《几何学原理及平行线定理严格证明的摘要》、论文《几何学原理》（德文）、非欧几何著作《平行线理论的几何研究》《论几何学》等。
1893年，在喀山大学树立起了世界上第一个为数学家雕塑的塑像。这位数学家就是俄国的伟大学者、非欧几何的重要创始人——罗巴切夫斯基（Никола́й Ива́нович Лобаче́вский， Nikolai Ivanovich Lobachevskii， 尼古拉·伊万诺维奇·罗巴切夫斯基）。非欧几何是人类认识史上一个富有创造性的伟大成果，它的创立，不仅带来了近百年来数学的巨大进步，而且对现代物理学、天文学以及人类时空观念的变革都产生了深远的影响。
不过，这一重要的数学发现罗巴切夫斯基提出后相当长的一段时间内，不但没能赢得社会的承认和赞美，反而遭到种种歪曲、非难和攻击，使非欧几何这一新理论迟迟得不到学术界的公认。
罗巴切夫斯基是在尝试解决欧氏第五公设问题的过程中，从失败走上他的发现之路的。欧氏第五公设问题是数学史上最古老的著名难题之一，它是由古希腊学者最先提出来的。
公元前三世纪，希腊亚历山大里亚学派的创始者欧几里得集前人几何研究之大成，编写了数学发展史上具有极其深远影响的数学巨著《几何原本》。
这部著作的重要意义在于，它是用公理法建立科学理论体系的最早典范。在这部著作中，欧几里得为推演出几何学的所有命题，一开头就给出了五个公理(适用于所有科学)和五个公设(只应用于几何学)，作为逻辑推演的前提。《几何原本》的注释者和评述者们对五个公理和前四个公设都是很满意，唯独对第五个公设（即平行公理）提出了质疑。
第五公设是论及平行线的，它说的是：如果一直线和两直线相交，且所构成的两个同侧内角之和小于两直角，那么，把这两直线延长，它们一定在那两内角的一侧相交。数学家们并不怀疑这个命题的真实性，而是认为它无论在语句的长度，还是在内容上都不大像是个公设，而倒像是个可以证明的定理，只是由于欧几里得没能找到它的证明，才不得不把它放在公设之列。
为了给出第五公设的证明，完成欧几里得没能完成的工作，自公元前3世纪起到19世纪初，数学家们投入了无穷无尽的精力，他们几乎尝试了各种可能的方法，但都遭到了失败。
罗巴切夫斯基是从1815年着手研究平行线理论的。开始他也是循着前人的思路，试图给出第五公设的证明。在保存下来的他的学生听课笔记中，就记有他在1816～1817学年度在几何教学中给出的一些证明。可是，很快他便意识到自己的证明是错误的。
前人和自己的失败从反面启迪了他，使他大胆思索问题的相反提法：可能根本就不存在第五公设的证明。于是，他便调转思路，着手寻求第五公设不可证的解答。这是一个全新的，也是与传统思路完全相反的探索途径。罗巴切夫斯基正是沿着这个途径，在试证第五公设不可证的过程中发现了一个崭新的几何世界。
罗巴切夫斯基创造性地运用了处理复杂数学问题常用的一种逻辑方法——反证法。这种反证法的基本思想是，为证“第五公设不可证”，首先对第五公设加以否定，然后用这个否定命题和其它公理公设组成新的公理系统，并由此展开逻辑推演。
首先假设第五公设是可证的，即第五公设可由其它公理公设推演出来。那么，在新公理系统的推演过程中一定会出现逻辑矛盾，至少第五公设和它的否定命题就是一对逻辑矛盾；反之，如果在“第五公设不可证”的新公理系统的推演中不出矛盾，就反驳了“第五公设可证”这一假设，从而也就间接证得“第五公设不可证”。
依照这个逻辑思路，罗巴切夫斯基对第五公设的等价命题——普列菲尔公理“过平面上直线外一点，只能引一条直线与已知直线不相交”作以否定，得到否定命题“过平面上直线外一点，至少可引两条直线与已知直线不相交”，并用这个否定命题和其它公理公设组成新的公理系统展开逻辑推演。
在推演过程中，他得到一连串古怪、非常不合乎常理的命题。但是，经过仔细审查，却没有发现它们之间存在任何逻辑矛盾。于是，远见卓识的罗巴切夫斯基大胆断言，这个“在结果中并不存在任何矛盾”的新公理系统可构成一种新的几何，它的逻辑完整性和严密性可以和欧几里得几何相媲美。而这个无矛盾的新几何的存在，就是对第五公设可证性的反驳，也就是对第五公设不可证性的逻辑证明。由于尚未找到新几何在现实界的原型和类比物，罗巴切夫斯基慎重地把这个新几何称之为“想象几何”。
1826年2月23日，罗巴切夫斯基于喀山大学物理数学系学术会议上，宣读了他的第一篇关于非欧几何的论文：《几何学原理及平行线定理严格证明的摘要》。这篇论文的问世，标志着非欧几何的诞生。然而，这一重大成果刚一公诸于世，就遭到正统数学家的冷漠和反对。
参加2月23日学术公议的全是数学造诣较深的专家，其中有著名的数学家、天文学家西蒙诺夫，有后来成为科学院院士的古普费尔，以及后来在数学界颇有声望的博拉斯曼。在这些人的心目中，罗巴切夫斯基是一位很有才华的青年数学家。可是，出乎他们的意料，这位年轻的教授在简短的开场白之后，接着说的全是一些令人莫名其妙的话，诸如三角形的内角和小于两直角，而且随着边长增大而无限变小，直至趋于零；锐角一边的垂线可以和另一边不相交，等等。这些命题不仅离奇古怪，与欧几里得几何z相冲突，而且还与人们的日常经验相背离。然而，报告者却认真地、充满信心地指出，它们属于一种逻辑严谨的新几何，和欧几里得几何有着同等的存在权利。这些古怪的语言，竟然出自一个头脑清楚、治学严谨的数学家教授之口，不能不使与会者们感到意外。他们先是表现现一种疑惑和惊呆，不多一会儿，便流露出各种否定的表情。
宣讲论文后，罗巴切夫斯基诚恳地请与会者讨论，提出修改意见。可是，谁也不肯作任何公开评论，会场上一片冷漠。一个具有独创性的重大发现作出了，那些最先聆听到发现者本人讲述发现内容的同行专家，却因思想上的守旧，不仅没能理解这一发现的重要意义，反而采取了冷谈和轻慢的态度，这实在是一件令人遗憾的事情。
会后，系学术委员会委托西蒙诺夫、古普费尔和博拉斯曼组成三人鉴定小组，对罗巴切夫斯基的论文作出书面鉴定。他们的态度无疑是否定的，但又迟迟不肯写出书面意见，以致最后连文稿也给弄丢了。
罗巴切夫斯基的论文没能引起学术界的注意和重视，论文本身也似石沉大海，不知被遗弃何处。但他并没有因此灰心丧气，而是顽强地继续独自探索新几何的奥秘。1829年，他又撰写出一篇题为《几何学原理》的论文。这篇论文重现了第一篇论文的基本思想，并且有所补充和发展。此时，罗巴切夫斯基已被推选为喀山大学校长，可能出自对校长的“尊敬”，《喀山大学通报》全文发表了这篇论文。
1832年，根据罗巴切夫斯基的请求，喀山大学学术委员会把这篇论文呈送彼得堡科学院审评。科学院委托著名数学家奥斯特罗格拉茨基院士作评定。奥斯特罗格拉茨基是新推选的院士，曾在数学物理、数学分析、力学和天体力学等方面有过卓越的成就，在当时学术界有很高的声望。可惜的是，就是这样一位杰出的数学家，也没能理解罗巴切夫斯基的新几何思想，甚至比喀山大学的教授们更加保守。
如果说喀山大学的教授们对罗巴切夫斯基本人还是很“宽容”的话，那么，奥斯特罗格拉茨基则使用极其挖苦的语言，对罗巴切夫斯基作了公开的指责和攻击。同年11月7日，他在给科学院的鉴定书中一开头就以嘲弄的口吻写道：“看来，作者旨在写出一部使人不能理解的著作。他已经达到了自己的目的。”接着，对罗巴切夫斯基的新几何思想进行了歪曲和贬低。最后粗暴地断言：“由此我得出结论，罗巴切夫斯基校长的这部著作谬误连篇，因而不值得科学院的注意。”
这篇论文不仅引起了学术界的恼怒，而且还激起了社会上反动势力的敌对叫嚣。名叫布拉切克和捷列内的两个人，以匿名在《祖国之子》杂志上撰文，公开指名对罗巴切夫斯基进行人身攻击。
针对这篇污辱性的匿名文章，罗巴切夫斯基撰写了一篇反驳文章。但《祖国之子》杂志却以维护杂志声誉为由，将罗巴切夫斯基的文章扣压下来，一直不予发表。对此，罗巴切夫斯基极为气愤。
罗巴切夫斯基开创了数学的一个新领域，但他的创造性工作在生前始终没能得到学术界的重视和承认。就在他去世的前两年，俄国著名数学家布尼雅可夫斯基还在其所著的《平行线》一书中对罗巴切夫斯基发难，他试图通过论述非欧几何与经验认识的不一致性，来否定非欧几何的真实性。
英国著名数学家莫尔甘对非欧几何的抗拒心里表现得就更加明显了，他甚至在没有亲自研读非欧几何著作的情况下就武断地说：“我认为，任何时候也不会存在与欧几里得几何本质上不同的另外一种几何。”莫尔甘的话代表了当时学术界对非欧几何的普遍态度。
在创立和发展非欧几何的艰难历程上，罗巴切夫斯基始终没能遇到他的公开支持者，就连非欧几何的另一位发现者德国的高斯也不肯公开支持他的工作。
高斯是当时数学界首屈一指的数学巨匠，负有“欧洲数学之王”的盛名，早在1792年，也就是罗巴切夫斯基诞生的那一年，他就已经产生了非欧几何思想萌芽，到了1817年已达成熟程度。他把这种新几何最初称之为“反欧几何”，后称“星空几何”，最后称“非欧几何”。但是，高斯由于害怕新几何会激起学术界的不满和社会的反对，会由此影响他的尊严和荣誉，生前一直没敢把自己的这一重大发现公之于世，只是谨慎地把部分成果写在日记和与朋友的往来书信中。
当高斯看到罗巴切夫斯基的德文非欧几何著作《平行线理论的几何研究》后，内心是矛盾的，他一方面私下在朋友面前高度称赞罗巴切夫斯基是“俄国最卓越的数学家之一”，并下决心学习俄语，以便直接阅读罗巴切夫斯基的全部非欧几何著作；另一方面，却又不准朋友向外界泄露他对非欧几何的有关告白，也从不以任何形式对罗巴切夫斯基的非欧几何研究工作加以公开评论；他积极推选罗巴切夫斯基为哥廷根皇家科学院通讯院士，可是，在评选会和他亲笔写给罗巴切夫斯基的推选通知书中，对罗巴切夫斯基在数学上的最卓越贡献--创立非欧几何却避而不谈。
高斯凭任在数学界的声望和影响，完全有可能减少罗巴切夫斯基的压力，促进学术界对非欧几何的公认。然而，在顽固的保守势力面前他却丧失了斗争的勇气。高斯的沉默和软弱表现，不仅严重限制了他在非欧几何研究上所能达到的高度，而且客观上也助长了保守势力对罗巴切夫斯基的攻击。
晚年的罗巴切夫斯基心情更加沉重，他不仅在学术上受到压制，而且在工作上还受到限制。按照当时俄国大学委员会的条例，教授任职的最高期限是30年，依照这个条例，1846年罗巴切夫斯基向人民教育部提出呈文，请求免去他在数学教研室的工作，并推荐让位给他的学生波波夫。
人民教育部早就对不顺从他们意志办事的罗巴切夫斯基抱有成见，但又找不到合适的机会免去他在喀山大学的校长职务。罗巴切夫斯基辞去教授职务的申请正好被他们用以作为借口，不仅免去了他主持教研室的工作，而且还违背他本人的意愿，免去了他在喀山大学的所有职务。被迫离开终生热爱的大学工作，使罗巴切夫斯基在精神上遭到严重打击。他对人民教育部的这项无理决定，表示了极大的愤慨。
家庭的不幸格外增加了他的苦恼。他最喜欢的、很有才华的大儿子因患肺结核医治无效死去，这使他十分伤感。他的身体也变得越来越多病，眼睛逐渐失明，最后终于什么也看不见了。
1856年2月12日，伟大的学者罗巴切夫斯基在苦闷和抑郁中走完了他生命的最后一段路程。喀山大学师生为他举行了隆重的追悼会。在追悼会上，他的许多同事和学生高度赞扬他在建设喀山大学、提高民族教育水平和培养数学人材等方面的卓越功绩，可是谁也不提他的非欧几何研究工作，因为此时，人们还普遍认为非欧几何纯属“无稽之谈”。
罗巴切夫斯基为非欧几何的生存和发展奋斗了三十多年，他从来没有动摇过对新几何远大前途的坚定信念。为了扩大非欧几何的影响，争取早日取得学术界的承认，除了用俄文外，他还用法文、德文发行了自己的著作，同时还精心设计了检验大尺度空间几何特性的天文观测方案。
不仅如此，他还发展了非欧几何的解析和微分部分，使之成为一个完整的、有系统的理论体系。在身患重病，卧床不起的困境下，他也没停止对非欧几何的研究。他的最后一部巨著《论几何学》，就是在他双目失明，临去世的前一年，口授他的学生完成的。
历史是最公允的，因为它终将会对各种思想、观点和见解作出正确的评价。1868年，意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》，证明非欧几何可以在欧氏空间的曲面上实现。这就是说，非欧几何命题可以“翻译”成相应的欧氏几何命题，如果欧氏几何没有矛盾，非欧几何也就自然没有矛盾。
直到这时，长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究，罗巴切夫斯基的独创性研究也由此得到学术界的高度评价和一致赞美，这时的罗巴切夫斯基则被人们赞誉为“几何学中的哥白尼”。
参考资料：
Jones矢量、Stokes参量、Poincare球、Bloch球：https://www.cnblogs.com/immcrr/p/11861698.html