双曲几何和当且仅当

快捷方式: 差异，相似，杰卡德相似系数，参考。

双曲几何和当且仅当之间的区别

双曲几何 vs. 当且仅当

双曲几何又名罗氏几何（罗巴切夫斯基几何），是非欧几里德几何的一种特例。與欧几里德几何的差別在於第五條公理（公設）－平行公設。在欧几里德几何中，若平面上有一條直線R和線外的一點P，則存在唯一的一條線滿足通過P點且不與R相交（即R的平行線）。但在雙曲幾何中，至少可以找到兩條相異的直線，且都通過P點，並不與R相交，因此它違反了平行公設。然而，取代欧几里德几何中的平行公設的雙曲幾何本身並無矛盾之處，仍可以推得一系列屬於它的定理，這也說明了平行公設獨立於前四條公設，換句話說，無法由前四條公設推得平行公設。 到目前為止，數學家對雙曲幾何中平行線的定義尚未有共識，不同的作者會給予不同的定義。这里定義兩條逐漸靠近的線為漸進線，它們互相漸進；兩條有共同垂直線的線為超平行線，它們互相超平行，並且兩條線為平行線代表它們互相漸進或互相超平行。雙曲幾何還有一項性質，就是三角形的內角和小於一個平角（180°）。在極端的情況，三角形的三邊長趨近於無限，而三內角趨近於0°，此時該三角形稱作理想三角形。 双曲几何专门研究当平面变成鞍马型之后，平面几何到底还有几多可以适用，以及会有甚麼特別的现象產生。在双曲几何的环境裡，平面的曲率是負数。 通過兩個點可形成一個直線. 当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。.