コンウェイの記法 (幾何学)

幾何学において、**コンウェイの記法**（コンウェイのきほう、*[[英語|英]]:Conway notation, Conway triangle notation*）はジョン・ホートン・コンウェイにちなんで名付けられた、代数的な三角関数の表記法である。  三角形の辺の長さをそれぞれ *a*, *b*, *c* 、それに対応する角をそれぞれ*A*, *B*, *C* とする。コンウェイの記法は以下のような式を簡潔にまとめることに用いられる。

以降は下の式で、

  \sum_\text{cyclic}f(a,b,c)=f(a,b,c)+f(b,c,a)+f(c,a,b) 

のように、後ろ2つの文字に関する対称式の和を指すとする。

## 記法
:  S = bc \sin A = ac \sin B = ab \sin C \,

ここで*S*は三角形の2倍の面積である。

:  S_\varphi = S \cot \varphi .  \,

は特定の面積を表すのに用いられる。例えば

:  S_A = S \cot A = bc \cos A= \frac {b^2+c^2-a^2} {2}\,
:  S_B = S \cot B = ac \cos B= \frac {a^2+c^2-b^2} {2}\,
:  S_C = S \cot C = ab \cos C= \frac {a^2+b^2-c^2} {2}\,
:  S_\omega = S \cot \omega = \frac {a^2+b^2+c^2} {2}\,
: ここで、  \omega \,はブロカール角である。
:  S_{\frac {\pi} {3}} = S \cot {\frac {\pi} {3}} = S \frac {\sqrt 3}{3} \,

### 倍角・半角の公式
:  S_{2\varphi} = \frac {S_\varphi^2 - S^2} {2S_\varphi} \quad\quad S_{ \frac {\varphi} {2}} = S_\varphi + \sqrt {S_\varphi^2 + S^2} \,
: ただし  0 

### 加法定理
:  S_{\vartheta + \varphi} = \frac {S_\vartheta S_\varphi - S^2} {S_\vartheta + S_\varphi} \quad\quad S_{\vartheta - \varphi} = \frac {S_\vartheta S_\varphi + S^2} {S_\varphi - S_\vartheta}  \, .

 S_{\vartheta}S_{\varphi}=S_{\vartheta\varphi} \, 、 S_{\vartheta}S_{\varphi}S_{\psi}=S_{\vartheta\varphi\psi}と書くと以下の等式が成り立つ。

:  \sin A = \frac {S} {bc} = \frac {S} {\sqrt {S_A^2 + S^2}} \quad\quad \cos A = \frac {S_A} {bc} = \frac {S_A} {\sqrt {S_A^2 + S^2}} \quad\quad \tan A = \frac {S} {S_A}  \, 
:  a^2 = S_B + S_C \quad\quad b^2 = S_A + S_C \quad\quad c^2 = S_A + S_B \, .
:
:  \sum_\text{cyclic} S_A = S_\omega 
:  S_{BC} = S_BS_C = S^2 - a^2S_A \quad\quad S_{AC} = S_AS_C = S^2 - b^2S_B \quad\quad S_{AB} = S_AS_B = S^2 - c^2S_C  \, 
:   \quad\quad \sum_\text{cyclic} a^4 = 2(S_\omega^2-S^2)\quad\quad\sum_\text{cyclic} S_A^2 = S_\omega^2 - 2S^2 \quad\quad \sum_\text{cyclic} b^2c^2 =  S_\omega^2 + S^2 \, . 

### コンウェイの恒等式
下の二式は**コンウェイの恒等式**と呼ばれる。
:
:  S^2 = b^2c^2 - S_A^2 = a^2c^2 - S_B^2 = a^2b^2 - S_C^2  

 S^2=S_{AB}+S_{BC}+S_{CA}=S_{BC}+a^2S_{A}=\frac{1}{2}\sum_\text{cyclic} a^2S_A=\frac{1}{2}(a^2S_A+b^2S_B+c^2S_C) 

### その他
*R* を外接円の半径とすると*abc*=2*SRが成り立つ。*また、*r* を内接円の半径、sを半周長とすると、  s= \frac{a+b+c}{2},a+b+c = \frac {S} {r}  が成り立つ。

:  S_{ABC} = S_AS_BS_C = S^2(S_\omega-4R^2)\quad\quad S_\omega=s^2-r^2-4rR \,  \sin A \sin B \sin C = \frac {S} {4R^2} \quad\quad \cos A \cos B \cos C = \frac {S_\omega-4R^2} {4R^2} 
:  \sum_\text{cyclic} \sin A = \frac {S} {2Rr} = \frac {s}{R} \quad\quad \sum_\text{cyclic} \cos A = \frac {r+R} {R} \quad\quad \sum_\text{cyclic} \tan A = \frac {S}{S_\omega-4R^2}=\tan A \tan B \tan C \, .

## 応用
コンウェイの記法の用例を見てみよう。

二点の三線座標をそれぞれ とし、また、*などと書く。* 二点の距離*について、以下の式が成り立つ**。*

:  D^2= \sum_\text{cyclic} a^2S_A\left(\frac {p_a}{K_p} - \frac {q_a}{K_q}\right)^2 \, .

を垂心、を外心として、外心と垂心の距離を求める。 *が成り立つので**、*

:  K_p= \sum_\text{cyclic} a^2S_A = 2S^2 \quad\quad K_q= \sum_\text{cyclic} S_BS_C = S^2 \, .

: 
\begin{align}
D^2 & {} = \sum_\text{cyclic} a^2S_A\left(\frac {aS_A} {2S^2} - \frac {S_BS_C} {aS^2}\right)^2 \\
& {} = \frac {1} {4S^4} \sum_\text{cyclic} a^4S_A^3 - \frac {S_AS_BS_C} {S^4} \sum_\text{cyclic} a^2S_A + \frac {S_AS_BS_C} {S^4} \sum_\text{cyclic} S_BS_C \\
& {} = \frac {1} {4S^4} \sum_\text{cyclic} a^2S_A^2(S^2-S_BS_C) - 2(S_\omega-4R^2) + (S_\omega-4R^2) \\
& {} = \frac {1} {4S^2} \sum_\text{cyclic} a^2S_A^2 - \frac {S_AS_BS_C} {S^4} \sum_\text{cyclic} a^2S_A - (S_\omega-4R^2) \\
& {} = \frac {1} {4S^2} \sum_\text{cyclic} a^2(b^2c^2-S^2) - \frac {1} {2}(S_\omega-4R^2) -(S_\omega-4R^2) \\
& {} = \frac {3a^2b^2c^2} {4S^2} - \frac {1} {4} \sum_\text{cyclic} a^2 - \frac {3} {2}(S_\omega-4R^2) \\
& {} = 3R^2- \frac {1} {2} S_\omega - \frac {3} {2} S_\omega + 6R^2 \\
& {} = 9R^2- 2S_\omega.
\end{align}


このようにして、外心と垂心の距離を求めることができた。

:  OH = \sqrt{9R^2- 2S_\omega \,}.

## 出典