トレミーの不等式
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/04/28 23:19 UTC 版)
仮定と導出
トレミーの不等式は、しばしば特殊な場合である4点が周期的な順番で与えられる凸四辺形の頂点である場合で述べられる[2][3]。しかし、この定理はより一般的に4つの点について適用され、4点が作る四辺形が凸、単純、平面である必要はない。
平面内の点の場合、トレミーの不等式は4つの点いずれかを中心とした反転により三角不等式から導き出すことができる[4][5]。また、複素数の恒等式を用いて4点を複素数として解釈することでも導出できる。
辺の長さが与えられた四辺形の辺の積である三角形を作るために、この三角形に三角不等式を適用する[6]。点を複素射影直線に属しているとみなし、不等式を点の2つの交差比の絶対値が少なくとも1つになる形式で表現し、これを交差比自体が正確に1つに加えられるという事実から推測できる[7]。
3次元空間の点に対するこの不等式の証明は、任意の非平面四辺形に対して四辺形が平面になるまで対角線の周りで点の1つを回転させ、他の対角線の長さを伸ばし、他の5つの距離を一定に保つことが可能であることを観察することにより、平面の場合に縮小することができる[6]。3よりも高い次元の空間では、任意の4点が3次元部分空間に存在し、同じ3次元の証明を使うことができる。
- ^ a b Schoenberg, I. J. (1940), “On metric arcs of vanishing Menger curvature”, Annals of Mathematics, Second Series 41: 715-726, doi:10.2307/1968849, MR0002903.
- ^ Steele, J. Michael (2004), “Exercise 4.6 (Ptolemy's Inequality)”, The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities, MAA problem books, Cambridge University Press, p. 69, ISBN 9780521546775.
- ^ Alsina, Claudi; Nelsen, Roger B. (2009), “6.1 Ptolemy's inequality”, When Less is More: Visualizing Basic Inequalities, Dolciani Mathematical Expositions, 36, Mathematical Association of America, pp. 82-83, ISBN 9780883853429.
- ^ Apostol (1967) attributes the inversion-based proof to textbooks by R. A. Johnson (1929) and Howard Eves (1963).
- ^ a b Stankova, Zvezdelina; Rike, Tom, eds. (2008), “Problem 7 (Ptolemy's Inequality)”, A Decade of the Berkeley Math Circle: The American Experience, MSRI Mathematical Circles Library, 1, American Mathematical Society, p. 18, ISBN 9780821846834.
- ^ a b Apostol, Tom M. (1967), “Ptolemy's inequality and the chordal metric”, Mathematics Magazine 40: 233-235, MR0225213.
- ^ Silvester, John R. (2001), “Proposition 9.10 (Ptolemy's theorem)”, Geometry: Ancient and Modern, Oxford University Press, p. 229, ISBN 9780198508250.
- ^ a b Giles, J. R. (2000), “Exercise 12”, Introduction to the Analysis of Normed Linear Spaces, Australian Mathematical Society lecture series, 13, Cambridge University Press, p. 47, ISBN 9780521653756.
- ^ Schoenberg, I. J. (1952), “A remark on M. M. Day's characterization of inner-product spaces and a conjecture of L. M. Blumenthal”, Proceedings of the American Mathematical Society 3: 961-964, doi:10.2307/2031742, MR0052035.
- ^ Howorka, Edward (1981), “A characterization of Ptolemaic graphs”, Journal of Graph Theory 5 (3): 323-331, doi:10.1002/jgt.3190050314, MR625074.
- ^ Buckley, S. M.; Falk, K.; Wraith, D. J. (2009), “Ptolemaic spaces and CAT(0)”, Glasgow Mathematical Journal 51 (2): 301-314, doi:10.1017/S0017089509004984, MR2500753.
- トレミーの不等式のページへのリンク