■直観幾何学研究会2022(その23)

2つの円が同心円のとき

外接円の半径:R

内接円の半径:r

とおくと,正n角形ではR=rsec(π/n),星形n/m角形ではR=rsec(mπ/n)が成り立つ.同心円でないとき,

外接円と内接円の中心間距離:d

とおく.

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

[1]任意の三角形は外心・内心をもつ.2心間の距離について,2次同次式:

R^2-2Rr=d^2

が成り立つ(オイラー, Chapple-Euler).

オイラーの関係式を導き出すことは見かけより厄介であるが,ポンスレーの定理を使えば簡単に導き出せる.オイラーの関係式を導き出せば,正三角形でない場合,直ちにR ≧ 2rがわかる.

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

[2]任意の三角形は外心と内心をもつが,四角形ではそうではない.しかし,双心四角形の場合,4次同次式:

2r^2(R^2+d^2)=(R^2-d^2)^2(フース)

が成り立つ

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

[3]双心五角形の基底は

  d^6-2d^4rR+8d^2r^3R-3d^4R^24d^2r^2R^2+4d^2rR^3+3d^2R^4+4r^2R^4-2rR^5-R^6=0

であり,

n=3: 3次同次式

n=4: 4次同次式

n=5: 6次同次式

n=6: 8次同次式

n=7: 12次同次式

n=8: 16次同次式

となる.

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

[4]また,星形n角形では( r→ -r)と置き換える必要があり,星形五角形の基底は,

  d^6+2d^4rR-8d^2r^3R-3d^4R^2-4d^2r^2R^2-4d^2rR^3+3d^2R^4+4r^2R^4+2rR^5-R^6=0

で与えられる.

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