【１】六斜術

　「六斜術」とは平面三角形ＡＢＣの６本の線分間の等式を意味する「和算用語」です．平面三角形ＡＢＣにおいて，ＢＣ＝ａ，ＣＡ＝ｂ，ＡＢ＝ｃとおき，平面上の点Ｐに対してＰＡ＝ｄ，ＰＢ＝ｅ，ＰＣ＝ｆとするとき

　　ａ^2ｄ^2（ｂ^2＋ｃ^2＋ｅ^2＋ｆ^2−ａ^2−ｄ^2）

　＋ｂ^2ｅ^2（ｃ^2＋ａ^2＋ｆ^2＋ｄ^2−ｂ^2−ｅ^2）

　＋ｃ^2ｆ^2（ａ^2＋ｂ^2＋ｄ^2＋ｅ^2−ｃ^2−ｆ^2）

　＝ａ^2ｂ^2ｃ^2＋ａ^2ｅ^2ｆ^2＋ｄ^2ｂ^2ｆ^2＋ｄ^2ｅ^2ｃ^2

が成立します．

　一見複雑ですが，左辺は相対する線分の２乗の積に，他の線分の２乗の和から自分自身の２乗を引いた量をかけた和

　　ａ^2ｄ^2（ｂ^2＋ｃ^2＋ｅ^2＋ｆ^2−ａ^2−ｄ^2）

　＋ｂ^2ｅ^2（ｃ^2＋ａ^2＋ｆ^2＋ｄ^2−ｂ^2−ｅ^2）

　＋ｃ^2ｆ^2（ａ^2＋ｂ^2＋ｄ^2＋ｅ^2−ｃ^2−ｆ^2）

であり，右辺は４個の三角形の周辺３本の２乗の積の和

　　ａ^2ｂ^2ｃ^2＋ａ^2ｅ^2ｆ^2＋ｄ^2ｂ^2ｆ^2＋ｄ^2ｅ^2ｃ^2

です．

（証）∠ＢＰＣ＝α，∠ＣＰＡ＝∠β，∠ＡＰＢ＝γとおく．このとき

　　ｃｏｓγ＝ｃｏｓ（α＋β）＝ｃｏｓαｃｏｓβ−ｓｉｎαｓｉｎβ

両辺を平方すると

　　ｃｏｓ^2α＋ｃｏｓ^2β＋ｃｏｓ^2γ＝２ｃｏｓαｃｏｓβｃｏｓγ＋１

第２余弦定理より

　　ｃｏｓα＝（ｅ^2＋ｆ^2−ａ^2）／２ｅｆ

　　ｃｏｓβ＝（ｆ^2＋ｄ^2−ｂ^2）／２ｆｄ

　　ｃｏｓγ＝（ｄ^2＋ｅ^2−ｃ^2）／２ｄｅ

を代入して整理すると当該の形になる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】オイラーの四面体公式（空間のヘロンの公式）

　この節で取り上げるのは，四面体についてのオイラーの問題「６辺の長さがａ，ｂ，ｃ，ｄ，ｅ，ｆで，与えられた４面体の体積を求めよ」です．空間のヘロンの公式というべきものであり，

　　Ｖ’＝Ｖ／６，Ｖ’＝Δとして

　　（１２Δ）^2＝ａ^2ｄ^2（ｂ^2＋ｃ^2＋ｅ^2＋ｆ^2−ａ^2−ｄ^2）

　　　　　　　　　＋ｂ^2ｅ^2（ｃ^2＋ａ^2＋ｆ^2＋ｄ^2−ｂ^2−ｅ^2）

　　　　　　　　　＋ｃ^2ｆ^2（ａ^2＋ｂ^2＋ｄ^2＋ｅ^2−ｃ^2−ｆ^2）

　　　　　　　−ａ^2ｂ^2ｃ^2−ａ^2ｅ^2ｆ^2−ｄ^2ｂ^2ｆ^2−ｄ^2ｅ^2ｃ^2

　この空間のヘロンの公式は，オイラーの公式とも呼ばれるものですが，

　　（１２×体積）^2＝六斜術の両辺の差

に等しいということを主張しています．点Ｐが平面三角形ＡＢＣの平面上になく，４点が四面体の頂点をなすときの四面体の体積公式ですから，六斜術は四面体が平面上に退化して体積が０になった極限と解釈することができます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　前置きが長くなったので，今回は問題設定のみとする．

［Ｑ］円に内接する五角形（辺の長さａ，ｂ，ｃ，ｄ，ｅ）がある．このとき，円の直径を求めよ．

　六斜術を使って計算することができそうだが・・・？

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝