コンテンツにスキップ

三角形に関する不等式の一覧

出典: フリー百科事典『ウィキペディア(Wikipedia)』

三角形に関する不等式(triangle inequalities)の一覧。辺だけでなく、周長半周長三角法面積内半径外半径角の二等分線頂垂線の長さなども不等式内に含まれることがある。

特に断りのない限り、ユークリッド平面上の三角形の不等式について言及する。

変数の表記

[編集]

以下に、本記事で扱う三角形の各値の表記を並べる。

辺長

[編集]

三角不等式または、

変形すれば、ここで右辺は極限値、つまり三角形を線分へ退化させた場合に等号が成立する[1]。また左辺はネスビットの不等式

[2]:p.250,#82
[1]:p. 260
[1]:p. 261
[1]:p. 261
[1]:p. 261

C鈍角であるとき、

C鋭角であるとき、

C直角であるとき、ピタゴラスの定理

[2]:p.1,#74

二等辺三角形が線分へ退化するときこの等号が成立する。

重心が内接円の内側にあるとき、

[3]:p. 153

ただし、三角不等式より、上の式は常に成立する。

これは調和平均相乗平均相加平均の関係式である[1]:p.267。等号成立条件はa=b=c

ガーファンクルの不等式(Garfunkel's Inequality)によれば、三角形の頂点と、それぞれ内心重心を結ぶ線分と内接円の交点が成す三角形について、重心の方の三角形の周長は、内心の方の三角形の周長以上である[4]

[編集]
[1]:p. 286
[2]:p.21,#836

この式の等号成立条件は三角形が正三角形であるとき[2]:p.13,#608

[5]:Thm.1
[1]:p.286
[1]:p. 286
[6]:p. 203
[2]:p.149,#3297

ここで つまり黄金比

[1]:p. 286
[1]:p. 286
[7]
[2]:p.187,#309.2

R,rについて、

等号成立条件は三角形が頂角60°以上の二等辺三角形であるとき[8]:Cor. 3

等号成立条件は三角形が頂角60°以下の二等辺三角形であるとき[8]:Cor. 3

左辺との等号成立条件はB=Cの頂角60°超過の三角形であるとき。右辺との等号成立条件はB=Cの頂角60°以下の三角形であるとき[8]:Prop. 5

次の不等式は角と辺の関係式[1]:p. 264

また、A=Ba=b同値 (Pons asinorum

外角定理によれば、次の式が成立する[1]:p. 261。三角形の内部の点Dについて、

[1]:p. 263

鋭角三角形について、[2]:p.26,#954

ただし、鋭角三角形については、逆向きの不等式が成立する。

更に鈍角三角形でない三角形について[9]:Corollary 3

等号成立条件はB=90°

Klamkinの不等式によれば、任意の実数x,y,zと非負整数nについて、[10][11]

フランダースの不等式(Flanders's inequality)またはAbi-Khuzam Inequalityによれば、次の式が成立する[12]

等号成立は正三角形の場合[13]

フランダースの定理の類似物としてYffの不等式がある[14][15]。ここでωブロカール角

面積

[編集]

ヴァイツェンベックの不等式英語版によれば、[1]:p. 290

等号成立条件は三角形が正三角形であるとき。また、この不等式はハドヴィッガー・フィンスラー不等式の不等式のである。

[16]:p. 138

または、[2]:p.192,#340.3[6]:p. 204

最右辺の上界AM-GM不等式を用いれば、三角形の等周不等式を得る。

[6]:p. 203

これを三角形の周長pに置き換えれば

を得る。等号成立条件は正三角形であるとき[17]。また、次式はこの不等式のより強力な不等式である。

等周不等式によれば、

更に、ボンネゼンの不等式はこの上の不等式より強力である。

また、面積と辺長について

[1]:p. 290[16]:p. 138

を得る。等号成立は正三角形。半周長を用いれば次の式が成立する。

[2]:p.111,#2807

また、

[2]:p.88,#2188

オノの不等式は鋭角三角形について成り立つ。

内接円の面積と三角形の面積の比について、次の式が成り立つ。

等号成立は正三角形[18]

基準三角形とそれに内接する三角形について、以下の不等式が成立する[16]:p. 138

基準三角形と内心三角形DEFについて、以下の不等式が成立する[2]:p.18,#762

三角形の重心を通る直線は三角形を、基準三角形の4/9以上の面積を持つ三角形に分ける[19]

中線と重心

[編集]

中線は頂点と、その対辺の中点を通る直線である。中線の長さma,mb,mcについて、次の式が成り立つ[1]:p. 271

さらに、[2]:p.12,#589

等号成立は正三角形。内半径については次の式が成り立つ[2]:p.22,#846

中線を含む外接円の弦の長さをMa,Mb,Mcとすれば、次の式が成立する[2]:p.16,#689

三角形の重心をGcircum-medial triangleUVWとすれば、

が成立する[2]:p.17#723。加えて、[2]:p.156,#S56

鋭角三角形について、[2]:p.26,#954

ただしRは外半径。鈍角三角形では不等式の向きが逆になる。

IA, IB, IC内心と各頂点の距離とすると、[2]:p.192,#339.3

中線の長さを持つ三角形を作ることができる[20]:p. 592。つまり、

更に、[21]:Coro. 6

頂垂線

[編集]

頂垂線の長さha,hb,hcについて、次の不等式が成立する[1]:p. 274

加えて、として[2]:222,#67

更に、[2]:p.140,#3150

内角の二等分線の長さをta,tb,tc、内半径と外半径をそれぞれR,rとすると[2]:p.125,#3005

頂垂線の長さの逆数の長さを持つ三角形を作ることができる[22]。つまり

内角の二等分線と内心

[編集]

内角の二等分線の長さ、つまり頂点と、その内角の二等分線と対辺の交点の距離をそれぞれta,tb,tcとする。次の式が成立する。

他の長さを用いれば

となる[1]:pp. 271–3。更に、 [2]:p.224,#132

[2]:p.125,#3005

Ta,Tb,Tcを内角の二等分線を含む外接円の弦の長さとする。このとき、[2]:p.11,#535

等号成立は正三角形。また、

[2]:p.14,#628

等号成立条件は三角形が正三角形であるとき。更に、次の式が成立する[2]

内心をIとする。

[2]:p.127,#3033

各辺の中点をL,M,Nとすると、[2]:p.152,#J53

正三角形でない三角形の内心をI重心G外心O九点中心英語版N垂心Hとすれば、それらの距離や成す角について以下の式が成立する[23]:p.232

[23]:p.233
[23]:p.233, Lemma 3

ただしvは最も長い中線の長さ。

> > 90° , > 90°.

鈍角三角形について、

オイラーによって示された次の式は上の2つ目の不等式より、強力である[24][25]

内角の二等分線の長さの大小と角の大小は対応する[26]:p.72,#114

垂直二等分線

[編集]

以下では、三角形の辺の二等分線の三角形の内部における長さpa,pb,pcを扱う。ただし とする。このとき[27]

かつ

任意の点における不等式

[編集]

内部の点

[編集]

Pを三角形の内部の点とする。

[1]:pp. 275–7

更に一般的に、c)が最短辺とすれば、[1]:p. 278

トレミーの不等式によれば、[2]:p.19,#770

A,B,C,Pを並び替えても成立する。

Pの三角形の辺に対する垂足をD,E,Fとすれば、[1]:p. 278

エルデシュ・モーデルの不等式によれば、[28] [29]

等号成立条件は正三角形の場合。

更に強い不等式にバローの不等式がある。APB,∠BPC, ∠CPAの二等分線とBC,CA,ABの交点をU,V,Wとして、[30]

他のエルデシュ・モーデルの不等式より強い不等式に、外接三角形に対するPの垂足をH, K, Lとして、[31]

がある。また、

が成り立つ[32]。ほかにも次の不等式がある[2]:p.29,#1045

[2]:p.37,#1159
[2]:p.26,#965

任意の正の数k1, k2, k3, ttは1以下)について、[33]

t > 1 ならば、[33]:Thm.2

内部または、外部の点

[編集]

任意の点Pに関する不等式は多数存在する[34]:p. 109

k = 0, 1, ..., 6について、

[35]:pp. 180–1

k = 0, 1, ..., 9について、

[36]:p. 227
[36]:p. 233
[36]:p. 233
[36]:p. 233

三角形ABCについて、D,E,Fを各辺の中点として、

[37]

円の半径

[編集]

内接円と外接円の半径

[編集]

オイラーの不等式によれば外接円内接円の半径をそれぞれR,rとして、

等号成立条件は正三角形のとき[38]:p. 198

より強い不等式に次の形がある[6]:p. 198

別の形では[2]:p.183,#276.2

右辺は正の値にも負の値にもなり得る。

更に別の形には、次のようなものがある。[2]:p.134,#3087

[2]:p.125,#3004
[1]:288

面積との関係には次の式が挙げられる[2]:p.20,#816

[6]:p. 201
[2]:p.17#708
[6]:p. 206[8]:p. 99

次の二つの不等式は、 最右辺は60°以上の頂角を持つ二等辺三角形で、最左辺は60°以下の頂角を持つ二等辺三角形で成立する。更に正三角形の場合すべての等式が成立する[8]:Thm. 1

ただし外心が内接円外にあるとき 、内接円内にある時 。外心が内接円内にある必要十分条件は、

[39]

である。

[1]:p. 291

Blundonの不等式によれば[6]:p. 206;[40][41]

鋭角三角形について、[42]

内心をI、circummidarc triangle の頂点をD,E,Fとして、[2]:p.14,#644

角について、 [2]:p.193,#342.6

三角形の頂点で外接円に接しさらに対辺と接する円の半径をそれぞれとして

[43]:Thm. 4

また、

[44]

どちらも等号成立条件は正三角形であるとき。

外半径と線分長

[編集]

外半径をRとする。

[2]:p.101,#2625
[2]:p.35,#1130
[1]:pp. 287–90
[2]:p.26,#957

外心をO、外心のチェバ三角形の頂点をU,V,Wとして、

[2]:p.17,#718

垂心をHとして、鋭角三角形について

[2]:p.26,#954

鈍角三角形については、不等号の向きが逆となる。

二つのブロカール点B1,B2として[45]

ライプニッツの不等式(Leibniz’s Inequality)によれば、[46]

内接円と外接円の半径と不等式

[編集]

rを内接円の半径、ra,rb,rcを各傍接円の半径として[1]:pp. 289–90

[2]:p.66,#1678
[2]:p.183,#281.2
[2]:p.66,#1680

鋭角三角形の内心と垂心の距離IHについて、

[2]:p.26,#954

鈍角三角形では不等号が逆になる。

更に鋭角三角形について[2]:p.26,#954

同様に鈍角三角形では不等号が逆になる。

内角の二等分線と対辺の交点をそれぞれU,V,Wとして、[2]:p.215,32nd IMO,#1

cicummidarc triangleの頂点をX,Y,Zとして、[2]:p.181,#264.4

更に、

[2]:p.181,#264.4:p.45,#1282

接触三角形DEFについて、[2]:p.115,#2875

内接図形

[編集]

内接する六角形

[編集]

3つの辺が三角形の辺でその角対辺が3辺と平行である、三角形に内接し円に外接する六角形の周長について[2]:p.42,#1245

内接する三角形

[編集]

BC,CA,AB上の点D,E,Fによってできる4つの三角形について、以下の式が成立する。また、等号成立条件はD,E,Fが各中点であるとき[16]:p.137

内接する正方形

[編集]

鋭角三角形は3つの内接する正方形を持つ。それぞれ1辺が三角形の辺に含まれ、その端点でない頂点が三角形の他2辺上にある(直角三角形はそのような正方形をただ1つ持つ)。3つのうち2つの、辺の長さをxa, xbxa < xb)とすれば

[47]:p. 115

更に、その面積について、[2]:p.18,#729[47]

オイラー線

[編集]

二等辺三角形でない三角形について、オイラー線と内心の距離をd、最長の中線と辺の長さをそれぞれu,v、半周長をsとして、次の不等式が成立する[23]:p. 234, Propos.5

すべての比について、その最大値は最右辺の1/3である[23]:p.235, Thm.6

直角三角形

[編集]

斜辺c、他二辺の長さをa,bIとする直角三角形について、次の式が成立する。等号成立条件は直角二等辺三角形であるとき[1]:p. 280

内接円半径について、次の式が成立する[1]:p. 281

直角からの頂垂線hcについて、[1]:p. 282

二等辺三角形

[編集]

底辺c、等辺a、頂角でない角の二等分線の長さをtとする二等辺三角形について、次の式が成立する[2]:p.169,#44

正三角形

[編集]

正三角形ABCと、その外接円上にない任意の点Pについて、次の式が成立する(ポンペイウの定理[1]:p. 279

Pが外接円上にある場合、ファン・スコーテンの定理である。

任意の点Pにおいて、三角形ABCの各辺の距離PD,PE,PFと各頂点との距離PA,PB,PCが次の式を満たす場合、ABCは正三角形である[2]:p.178,#235.4

二つの三角形

[編集]

ピドーの不等式英語版によれば、面積T、辺長a,b,cの三角形と面積S、辺長d,e,fの三角形について、以下の不等式が成立する。

等号成立条件は二つの三角形が相似であるとき。

Hinge theorem (Hinge theoremによれば、2つの三角形の二辺が合同であるとき、その成す角の大きさと3つ目の辺の大小は一致する。 つまりABC,△DEF(それぞれ辺長がa,b,cd,e,f)について、a = d , b = e , F < Cならば、

a = d , b = e , f < cF < Cも成立する。

任意の2つの三角形ABC,△DEFの角の余接について、次の式が成立する[7]

非ユークリッド平面

[編集]

楕円幾何学のように、球面における三角形の内角について、次の式が成り立つ。

この不等式は双曲三角形英語版にもたらされる。

関連項目

[編集]

出典

[編集]
  1. ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad Posamentier, Alfred S. and Lehmann, Ingmar. The Secrets of Triangles, Prometheus Books, 2012.
  2. ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be Inequalities proposed in “Crux Mathematicorum” and elsewhere, .
  3. ^ Nyugen, Minh Ha, and Dergiades, Nikolaos. "Garfunkel's Inequality", Forum Geometricorum 4, 2004, 153–156. http://forumgeom.fau.edu/FG2004volume4/FG200419index.html
  4. ^ Weisstein, Eric W.. “Garfunkel's Inequality” (英語). mathworld.wolfram.com. 2024年8月14日閲覧。
  5. ^ Lu, Zhiqin. "An optimal inequality", Mathematical Gazette 91, November 2007, 521–523.
  6. ^ a b c d e f g Svrtan, Dragutin and Veljan, Darko. "Non-Euclidean versions of some classical triangle inequalities", Forum Geometricorum 12, 2012, 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217index.html
  7. ^ a b Scott, J. A., "A cotangent inequality for two triangles", Mathematical Gazette 89, November 2005, 473–474.
  8. ^ a b c d e Birsan, Temistocle (2015). “Bounds for elements of a triangle expressed by R, r, and s”. Forum Geometricorum 15: 99–103. http://forumgeom.fau.edu/FG2015volume15/FG201508.pdf. 
  9. ^ Shattuck, Mark. “A Geometric Inequality for Cyclic Quadrilaterals”, Forum Geometricorum 18, 2018, 141-154. http://forumgeom.fau.edu/FG2018volume18/FG201822.pdf
  10. ^ Klamkin, Murray S. (1971). “Asymmetric Triangle Inequalities”. Publikacije Elektrotehničkog fakulteta. Serija Matematika i fizika (357/380): 33–44. ISSN 0522-8441. https://www.jstor.org/stable/43667540. 
  11. ^ Klamkinの不等式”. 高校数学の美しい物語 (2022年4月8日). 2024年8月14日閲覧。
  12. ^ フランダースの不等式とその証明”. 高校数学の美しい物語 (2022年4月8日). 2024年8月14日閲覧。
  13. ^ Weisstein, Eric W.. “Abi-Khuzam Inequality” (英語). MathWorld. 2024年8月14日閲覧。
  14. ^ Weisstein, Eric W.. “Yff Conjecture” (英語). mathworld.wolfram.com. 2024年8月14日閲覧。
  15. ^ Dincǎ, M. (2010-08-01). “A Direct Proof of the Yff's Conjecture”. viXra. https://www.semanticscholar.org/paper/A-Direct-Proof-of-the-Yff's-Conjecture-Dinc%C7%8E/e6d8b31cf5a91f1b317ba2f47d8da8ee1e7f43f9. 
  16. ^ a b c d Torrejon, Ricardo M. "On an Erdos inscribed triangle inequality", Forum Geometricorum 5, 2005, 137–141. http://forumgeom.fau.edu/FG2005volume5/FG200519index.html
  17. ^ Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.
  18. ^ Minda, D., and Phelps, S., "Triangles, ellipses, and cubic polynomials", American Mathematical Monthly 115, October 2008, 679–689: Theorem 4.1.
  19. ^ Henry Bottomley, “Medians and Area Bisectors of a Triangle” http://www.se16.info/js/halfarea.htm
  20. ^ Benyi, A ́rpad, and C ́́urgus, Branko. "Ceva's triangle inequalities", Mathematical Inequalities & Applications 17 (2), 2014, 591-609.
  21. ^ Michel Bataille, “Constructing a Triangle from Two Vertices and the Symmedian Point”, Forum Geometricorum 18 (2018), 129--133.
  22. ^ Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle", Mathematical Gazette 89 (November 2005), 494.
  23. ^ a b c d e Franzsen, William N.. "The distance from the incenter to the Euler line", Forum Geometricorum 11 (2011): 231–236.
  24. ^ L. Euler, "Solutio facilis problematum quorundam geometricorum difficillimorum", Novi Comm. Acad. Scie. Petropolitanae 11 (1765); reprinted in Opera Omnia, serie prima, vol. 26 (A. Speiser, ed.), n. 325, 139–157.
  25. ^ Stern, Joseph (2007). “Euler's triangle determination problem”. Forum Geometricorum 7: 1–9. http://forumgeom.fau.edu/FG2007volume7/FG200701index.html. 
  26. ^ Altshiller-Court, Nathan. College Geometry. Dover Publications, 2007.
  27. ^ Mitchell, Douglas W. "Perpendicular bisectors of triangle sides", Forum Geometricorum 13, 2013, 53–59: Theorem 4. http://forumgeom.fau.edu/FG2013volume13/FG201307index.html
  28. ^ Alsina, Claudi; Nelsen, Roger B. (2007), “A visual proof of the Erdős–Mordell inequality”, Forum Geometricorum 7: 99–102, http://forumgeom.fau.edu/FG2007volume7/FG200711index.html . http://forumgeom.fau.edu/FG2007volume7/FG200711index.html
  29. ^ Bankoff, Leon (1958), “An elementary proof of the Erdős–Mordell theorem”, American Mathematical Monthly 65 (7): 521, doi:10.2307/2308580, JSTOR 2308580, https://jstor.org/stable/2308580 .
  30. ^ Mordell, L. J. (1962), “On geometric problems of Erdös and Oppenheim”, Mathematical Gazette 46 (357): 213–215, doi:10.2307/3614019, JSTOR 3614019, https://jstor.org/stable/3614019 .
  31. ^ Dao Thanh Oai, Nguyen Tien Dung, and Pham Ngoc Mai, "A strengthened version of the Erdős-Mordell inequality", Forum Geometricorum 16 (2016), pp. 317--321, Theorem 2 http://forumgeom.fau.edu/FG2016volume16/FG201638.pdf
  32. ^ Dan S ̧tefan Marinescu and Mihai Monea, "About a Strengthened Version of the Erdo ̋s-Mordell Inequality", Forum Geometricorum Volume 17 (2017), pp. 197–202, Corollary 7. http://forumgeom.fau.edu/FG2017volume17/FG201723.pdf
  33. ^ a b Janous, Walther. "Further inequalities of Erdos–Mordell type", Forum Geometricorum 4, 2004, 203–206. http://forumgeom.fau.edu/FG2004volume4/FG200423index.html
  34. ^ Sandor, Jozsef. "On the geometry of equilateral triangles", Forum Geometricorum 5, 2005, 107–117. http://forumgeom.fau.edu/FG2005volume5/FG200514index.html
  35. ^ Mansour, Toufik, and Shattuck, Mark. "On a certain cubic geometric inequality", Forum Geometricorum 11, 2011, 175–181. http://forumgeom.fau.edu/FG2011volume11/FG201118index.html
  36. ^ a b c d Mansour, Toufik and Shattuck, Mark. "Improving upon a geometric inequality of third order", Forum Geometricorum 12, 2012, 227–235. http://forumgeom.fau.edu/FG2012volume12/FG201221index.html
  37. ^ Dao Thanh Oai, Problem 12015, The American Mathematical Monthly, Vol.125, January 2018
  38. ^ Dragutin Svrtan and Darko Veljan, "Non-Euclidean versions of some classical triangle inequalities", Forum Geometricorum 12 (2012), 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217index.html
  39. ^ Yurii, N. Maltsev and Anna S. Kuzmina, "An improvement of Birsan's inequalities for the sides of a triangle", Forum Geometricorum 16, 2016, pp. 81−84.
  40. ^ Blundon, W. J. (1965). “Inequalities associated with the triangle”. Canad. Math. Bull. 8 (5): 615–626. doi:10.4153/cmb-1965-044-9. 
  41. ^ Dorin Andrica, Cătălin Barbu. "A Geometric Proof of Blundon’s Inequalities", Mathematical Inequalities & Applications, Volume 15, Number 2 (2012), 361–370. http://mia.ele-math.com/15-30/A-geometric-proof-of-Blundon-s-inequalities
  42. ^ Bencze, Mihály; Drǎgan, Marius (2018). “The Blundon Theorem in an Acute Triangle and Some Consequences”. Forum Geometricorum 18: 185–194. http://forumgeom.fau.edu/FG2018volume18/FG201825.pdf. 
  43. ^ Andrica, Dorin; Marinescu, Dan Ştefan (2017). “New Interpolation Inequalities to Euler's R ≥ 2r”. Forum Geometricorum 17: 149–156. http://forumgeom.fau.edu/FG2017volume17/FG201719.pdf. 
  44. ^ Lukarevski, Martin: "An inequality for the tanradii of a triangle", Math. Gaz. 104 (November 2020) pp. 539-542. doi: 10.1017/mag.2020.115
  45. ^ Scott, J. A. "Some examples of the use of areal coordinates in triangle geometry", Mathematical Gazette 83, November 1999, 472–477.
  46. ^ ライプニッツの不等式の3通りの証明”. 高校数学の美しい物語 (2022年4月8日). 2024年8月14日閲覧。
  47. ^ a b Oxman, Victor, and Stupel, Moshe. "Why are the side lengths of the squares inscribed in a triangle so close to each other?" Forum Geometricorum 13, 2013, 113–115. http://forumgeom.fau.edu/FG2013volume13/FG201311index.html