雙曲三角形

在雙曲幾何學中，雙曲三角形是指位於雙曲面上的三角形，與平面三角形一樣由3條邊和3個頂點組成，但雙曲三角形的內角和小於180度。正如歐幾里德幾何，任意維度的雙曲空間中的三個點也總是共面，因此，雙曲平面三角形也描述了在任何更高維度的雙曲空間中可能存在的三角形。 根據三角不等式，三角形的其中兩邊的和必定大於第三邊，此不等式對於邊長有限的雙曲三角形仍成立。平面三角形若兩邊的和等於第三邊將會退化成內角為0度的退化三角形，然而雙曲三角形允許內角為0的不退化三角形，這種三角形又稱為理想三角形。 雙曲三角形和一般的三角形一樣，由3個邊和3個頂點組成。構成雙曲三角形的3個點不落在相同的雙曲直線上。同時，這3條邊為連接這三個點的雙曲線段。 雙曲三角形有部分性質與歐幾里得幾何中的平面三角形類似，例如每個雙曲三角形皆存在內切圓，但並非每個雙曲三角形都有外接圓。雙曲三角形的頂點可以落在雙曲極限圓或超圓形上。 雙曲三角形的定義上允許點位於無窮遠點，即位於理想邊界上的理想點（英语：Ideal point），並保持邊位於同一個雙曲平面上。如果三角形有一對極限平行（英语：limiting parallel）（即兩個邊在往理想點逼近時，距離趨近於零，但不相交），則其將交於無窮遠處的理想點，則該點稱為歐米加點。該邊的夾角為0。這種三角形稱為歐米加三角形。 具有理想點的三角形有幾個特例： 平行三角形是指有一對邊平行的三角形。這個三角形其中一個角對應的頂點為落在無窮遠的理想點、另一個角是直角、第三個角是直角和第三個角之間的邊平行角（英语：Angle of parallelism）。 兩個頂點為理想點且第三個角為直角的三角形。這個三角形是費迪南德·卡爾·施魏卡特（英语：Ferdinand_Karl_Schweikart）首次描述雙曲三角形所提及的三角形之一。 所有頂點都是理想點的三角形。所有理想三角形內角和皆為零、面積皆為π。由於雙曲三角形的面積取決於內角和（見下節的面積公式），理想三角形是雙曲平面中，面積最大的三角形。 雙曲三角形邊與角的關係與球面三角形類似，例如：球面幾何和雙曲幾何中，長度尺度都可以利用具有固定角度的等邊三角形邊長來定義。 若將長度以絕對長度（一種特殊的長度單位，類似於球面幾何中的距離之間的關係）來定義，能使不少雙曲三角形的公式更為簡化。 在龐加萊半平面模型中，絕對長度對應於無窮小的度量 d s = | d z | Im ⁡ ( z ) {\displaystyle ds={\frac {|dz|}{\operatorname {Im} (z)}}} ，在龐加萊圓盤模型中對應於 d s = 2 | d z | 1 − | z | 2 {\displaystyle ds={\frac {2|dz|}{1-|z|^{2}}}} 。 以高斯曲率為負常數 K {\displaystyle K} 的雙曲平面而言，絕對長度的單位長對應到的長度為： R = 1 − K {\displaystyle R={\frac {1}{\sqrt {-K}}}} 在雙曲三角形中，角A、B、C（分別與對應字母的邊相對）之和嚴格小於平角。平角的度數與內角和的差稱為該三角形的角虧。雙曲三角形的面積等於其角虧（以弧度計）乘以R的平方： ( π − A − B − C ) R 2 {\displaystyle (\pi -A-B-C)R^{2}{}{}\!} 這個定理最早由约翰·海因里希·朗伯證明，可以視為高斯-博内定理在常曲率曲面的特例。 Weisstein, Eric W. (编). Triangle Inequality. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  Mohamed A. Khamsi; William A. Kirk. §1.4 The triangle inequality in Rn. An introduction to metric spaces and fixed point theory. Wiley-IEEE. 2001 [2021-08-24]. ISBN 0-471-41825-0. （原始内容存档于2021-10-28）.  A. G. Kovalev (Lecturer). Part IB - Geometry, 4.3 Two models for the hyperbolic plane [IB部 - 幾何學，4.3 雙曲平面的兩種模型]. Dexter Chua. [2021-08-26]. （原始内容存档于2021-08-26） （英语）.  Mathwords: Degenerate. www.mathwords.com. [2019-11-29]. （原始内容存档于2022-03-16）.  Schwartz, Richard Evan. Ideal triangle groups, dented tori, and numerical analysis. Annals of Mathematics. Ser. 2. 2001, 153 (3): 533–598. JSTOR 2661362. MR 1836282. arXiv:math.DG/0105264 . doi:10.2307/2661362.  Stothers, Wilson, Hyperbolic geometry, University of Glasgow, 2000 [2021-08-24], （原始内容存档于2012-09-06） , interactive instructional website The circumcircle of a hyperbolic triangle. maths.gla.ac.uk. [2021-08-24]. （原始内容存档于2018-02-11）.  Hyperbolic Geometry Theorem's We Know (PDF). math.uaa.alaska.edu. [2021-08-24]. （原始内容存档 (PDF)于2021-08-29）.  Marvin J. Greenberg (1974) Euclidean and Non-Euclidean Geometries, pp. 211–3, W.H. Freeman & Company. Gowers, T. and Barrow-Green, J. and Leader, I. The Princeton Companion to Mathematics. Princeton University Press. 2010. ISBN 9781400830398. LCCN 2008020450.  Thurston, Dylan. 274 Curves on Surfaces, Lecture 5 (PDF). Fall 2012 [23 July 2013]. （原始内容存档 (PDF)于2022-01-09）.  Sommerville, D.M.Y. The elements of non-Euclidean geometry Unabr. and unaltered republ. Mineola, N.Y.: Dover Publications. 2005: 58. ISBN 0-486-44222-5.  Needham, Tristan. Visual Complex Analysis. Oxford University Press. 1998: 270 [2021-08-24]. ISBN 9780198534464. （原始内容存档于2021-08-24）.  Ratcliffe, John. Foundations of Hyperbolic Manifolds. Graduate Texts in Mathematics 149. Springer. 2006: 99 [2021-08-24]. ISBN 9780387331973. （原始内容存档于2021-04-29）. That the area of a hyperbolic triangle is proportional to its angle defect first appeared in Lambert's monograph Theorie der Parallellinien, which was published posthumously in 1786.  Paul Minter (based on Mihalis Dafermos's lectures). Differential Geometry (Part II) [微分幾何（第二部）] (PDF). 2016 [2021-08-26]. （原始内容存档 (PDF)于2021-08-29） （英语）.  Svetlana Katok (1992) Fuchsian Groups, University of Chicago Press ISBN 0-226-42583-5