■等式と不等式(その3)

 三角形に関する演習問題を提示しておきます.

[Q]任意の三角形の三辺の長さをa,b,c,面積をΔとする.外接円の半径Rおよび内接円の半径rをa,b,c,Δで表せ.また,与えられた三角形が直角三角形のときのR,rをa,b,cの一次式で表せ.

(ヒント)正弦定理

[Q]6辺の長さがa,b,c,d,e,fで,与えられた4面体に外接,内接する球面の半径を求めよ.

===================================

【1】オイラーの定理・オイラーの不等式

[Q]R≧2r(オイラーの不等式)を証明せよ.等号が成り立つのはどのようなときか.

(ヒント)外接円と内接円の中心間の距離をdとおくとき,R^2−2Rr=d^2が成り立っています(オイラーの定理).この関係式を導き出せば,ただちにR≧2rがわかるのですが,この関係式を導き出すことは見かけよりもやっかいで,ヘロンの公式を使ったほうがほうが簡単です.

 ヘロンの公式とは,

Δ^2=(2a^2b^2+2b^2c^2+2c^2a^2−a^4−b^4−c^4)/16

  =(a+b+c)(−a+b+c)(a−b+c)(a+b−c)/16

ここで,2s=a+b+cとおくと

Δ^2=s(s−a)(s−b)(s−c)

となり,おなじみの平面三角形のヘロンの公式が得られます.

 なお,三次元空間では三角形は四面体に,正方形は立方体に,正五角形は正十二面体に,円は球に拡張されると考えられます.三次元空間において四面体の外接球,内接球の半径をそれぞれR,rとすれば,R≧3rが成り立ちます.

 n次元の幾何学の例をもう一つあげると,三角形の面積は底辺かける高さ割る2ですが,三角錐になると底面積かける高さ割る3,四次元の三角錐なら底体積かける高さ割る4,五次元なら底四次元面積かける高さ割る5・・・.高次元の多面体ではこのようになることが知られています.

【補】双心四角形(フースの定理)

 内接円と外接円の両方をもつ四角形(双心四角形)では,

  2r^2(R^2+d^2)=(R^2−d^2)^2

が成り立ちます.

===================================

【2】ライプニッツの定理・ライプニッツの不等式

 オイラーの定理は外心Oと内心Iの距離の関係式でしたが,ここでは外心Oと重心Gの距離の関係式を扱います.

  OG^2=R^2−(a^2+b^2+c^2)/9

が成り立つ(ライプニッツの定理).

  9R^2≧a^2+b^2+c^2

が成り立つ(ライプニッツの不等式).等号は正三角形のとき.

===================================