【１】六斜術

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

　　ａ^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＋ｂ^2＋ｃ^2−ａ^2）

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

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

＝ｄ^4＋ｂ^2ｃ^2＋ａ^2ｃ^2＋ａ^2ｂ^2

　　ａ^2（ｄ^2＋ｂ^2＋ｃ^2）

　＋ｂ^2（ｄ^2＋ｃ^2＋ａ^2）

　＋ｃ^2（ｄ^2＋ａ^2＋ｂ^2）

　−ｂ^2ｃ^2−ａ^2ｃ^2−ａ^2ｂ^2

＝ａ^4＋ｂ^4＋ｃ^4＋ｄ^4

　　ｄ^2（ａ^2＋ｂ^2＋ｃ^2）＋ｂ^2ｃ^2＋ａ^2ｃ^2＋ａ^2ｂ^2

＝ａ^4＋ｂ^4＋ｃ^4＋ｄ^4

となる．

　一方，

（ａ^2＋ｂ^2＋ｃ^2＋ｄ^2）^2

＝（ａ^4＋ｂ^4＋ｃ^4＋ｄ^4）＋２（ｂ^2ｃ^2＋ａ^2ｃ^2＋ａ^2ｂ^2）＋２ｄ^2（ａ^2＋ｂ^2＋ｃ^2）

代入すると

　　３（ａ^4＋ｂ^4＋ｃ^4＋ｄ^4）＝（ａ^2＋ｂ^2＋ｃ^2＋ｄ^2）^2

が得られる．

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