この項目では、この記事は幾何学におけるコンウェイの記法について説明しています。巨大数におけるコンウェイの表記については「コンウェイのチェーン表記 」をご覧ください。
幾何学 において、コンウェイの記法 (コンウェイのきほう、英 :Conway notation, Conway triangle notation )はジョン・ホートン・コンウェイ にちなんで名付けられた、代数的な三角関数の表記法である[1] [2] 。 三角形の辺の長さをそれぞれ a , b , c 、それに対応する角 をそれぞれA , B , C とする。コンウェイの記法は以下のような式を簡潔にまとめることに用いられる[3] 。
以降は下の式で、
∑
cyclic
f
(
a
,
b
,
c
)
=
f
(
a
,
b
,
c
)
+
f
(
b
,
c
,
a
)
+
f
(
c
,
a
,
b
)
{\displaystyle \sum _{\text{cyclic}}f(a,b,c)=f(a,b,c)+f(b,c,a)+f(c,a,b)}
のように、後ろ2つの文字に関する対称式 f の和を指すとする。
S
=
b
c
sin
A
=
a
c
sin
B
=
a
b
sin
C
{\displaystyle S=bc\sin A=ac\sin B=ab\sin C\,}
ここでS は三角形の2倍の面積である。
S
φ
=
S
cot
φ
.
{\displaystyle S_{\varphi }=S\cot \varphi .\,}
は特定の面積を表すのに用いられる。例えば
S
A
=
S
cot
A
=
b
c
cos
A
=
b
2
+
c
2
−
a
2
2
{\displaystyle S_{A}=S\cot A=bc\cos A={\frac {b^{2}+c^{2}-a^{2}}{2}}\,}
S
B
=
S
cot
B
=
a
c
cos
B
=
a
2
+
c
2
−
b
2
2
{\displaystyle S_{B}=S\cot B=ac\cos B={\frac {a^{2}+c^{2}-b^{2}}{2}}\,}
S
C
=
S
cot
C
=
a
b
cos
C
=
a
2
+
b
2
−
c
2
2
{\displaystyle S_{C}=S\cot C=ab\cos C={\frac {a^{2}+b^{2}-c^{2}}{2}}\,}
S
ω
=
S
cot
ω
=
a
2
+
b
2
+
c
2
2
{\displaystyle S_{\omega }=S\cot \omega ={\frac {a^{2}+b^{2}+c^{2}}{2}}\,}
ここで、
ω
{\displaystyle \omega \,}
はブロカール角 である。
S
π
3
=
S
cot
π
3
=
S
3
3
{\displaystyle S_{\frac {\pi }{3}}=S\cot {\frac {\pi }{3}}=S{\frac {\sqrt {3}}{3}}\,}
倍角・半角の公式
編集
S
2
φ
=
S
φ
2
−
S
2
2
S
φ
S
φ
2
=
S
φ
+
S
φ
2
+
S
2
{\displaystyle 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
<
φ
<
π
{\displaystyle 0<\varphi <\pi \,}
加法定理
編集
S
ϑ
+
φ
=
S
ϑ
S
φ
−
S
2
S
ϑ
+
S
φ
S
ϑ
−
φ
=
S
ϑ
S
φ
+
S
2
S
φ
−
S
ϑ
.
{\displaystyle 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
ϑ
S
φ
=
S
ϑ
φ
{\displaystyle S_{\vartheta }S_{\varphi }=S_{\vartheta \varphi }\,}
、
S
ϑ
S
φ
S
ψ
=
S
ϑ
φ
ψ
{\displaystyle S_{\vartheta }S_{\varphi }S_{\psi }=S_{\vartheta \varphi \psi }}
と書くと以下の等式が成り立つ。
sin
A
=
S
b
c
=
S
S
A
2
+
S
2
cos
A
=
S
A
b
c
=
S
A
S
A
2
+
S
2
tan
A
=
S
S
A
{\displaystyle \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
b
2
=
S
A
+
S
C
c
2
=
S
A
+
S
B
.
{\displaystyle a^{2}=S_{B}+S_{C}\quad \quad b^{2}=S_{A}+S_{C}\quad \quad c^{2}=S_{A}+S_{B}\,.}
∑
cyclic
S
A
=
S
ω
{\displaystyle \sum _{\text{cyclic}}S_{A}=S_{\omega }}
S
B
C
=
S
B
S
C
=
S
2
−
a
2
S
A
S
A
C
=
S
A
S
C
=
S
2
−
b
2
S
B
S
A
B
=
S
A
S
B
=
S
2
−
c
2
S
C
{\displaystyle S_{BC}=S_{B}S_{C}=S^{2}-a^{2}S_{A}\quad \quad S_{AC}=S_{A}S_{C}=S^{2}-b^{2}S_{B}\quad \quad S_{AB}=S_{A}S_{B}=S^{2}-c^{2}S_{C}\,}
∑
cyclic
a
4
=
2
(
S
ω
2
−
S
2
)
∑
cyclic
S
A
2
=
S
ω
2
−
2
S
2
∑
cyclic
b
2
c
2
=
S
ω
2
+
S
2
.
{\displaystyle \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^{2}c^{2}=S_{\omega }^{2}+S^{2}\,.}
コンウェイの恒等式
編集
下の二式はコンウェイの恒等式 と呼ばれる[1] 。
S
2
=
b
2
c
2
−
S
A
2
=
a
2
c
2
−
S
B
2
=
a
2
b
2
−
S
C
2
{\displaystyle S^{2}=b^{2}c^{2}-S_{A}^{2}=a^{2}c^{2}-S_{B}^{2}=a^{2}b^{2}-S_{C}^{2}}
S
2
=
S
A
B
+
S
B
C
+
S
C
A
=
S
B
C
+
a
2
S
A
=
1
2
∑
cyclic
a
2
S
A
=
1
2
(
a
2
S
A
+
b
2
S
B
+
c
2
S
C
)
{\displaystyle S^{2}=S_{AB}+S_{BC}+S_{CA}=S_{BC}+a^{2}S_{A}={\frac {1}{2}}\sum _{\text{cyclic}}a^{2}S_{A}={\frac {1}{2}}(a^{2}S_{A}+b^{2}S_{B}+c^{2}S_{C})}
R を外接円 の半径とするとabc =2SRが成り立つ。 また、r を内接円 の半径、sを半周長 とすると、
s
=
a
+
b
+
c
2
,
a
+
b
+
c
=
S
r
{\displaystyle s={\frac {a+b+c}{2}},a+b+c={\frac {S}{r}}}
が成り立つ。
S
A
B
C
=
S
A
S
B
S
C
=
S
2
(
S
ω
−
4
R
2
)
S
ω
=
s
2
−
r
2
−
4
r
R
{\displaystyle S_{ABC}=S_{A}S_{B}S_{C}=S^{2}(S_{\omega }-4R^{2})\quad \quad S_{\omega }=s^{2}-r^{2}-4rR\,}
sin
A
sin
B
sin
C
=
S
4
R
2
cos
A
cos
B
cos
C
=
S
ω
−
4
R
2
4
R
2
{\displaystyle \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}}}}
∑
cyclic
sin
A
=
S
2
R
r
=
s
R
∑
cyclic
cos
A
=
r
+
R
R
∑
cyclic
tan
A
=
S
S
ω
−
4
R
2
=
tan
A
tan
B
tan
C
.
{\displaystyle \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\,.}
コンウェイの記法の用例を見てみよう。
二点P,Qの三線座標をそれぞれp a : p b : p c , q a : q b : q c とし、また、K p = ap a + bp b + cp c ,K q = aq a + bq b + cq c などと書く。 二点の距離Dについて、以下の式が成り立つ。
D
2
=
∑
cyclic
a
2
S
A
(
p
a
K
p
−
q
a
K
q
)
2
.
{\displaystyle D^{2}=\sum _{\text{cyclic}}a^{2}S_{A}\left({\frac {p_{a}}{K_{p}}}-{\frac {q_{a}}{K_{q}}}\right)^{2}\,.}
この公式にPを垂心 、Qを外心 として当てはめてみよう。 p a =aS A ,q a =S B S C /aが成り立つので、
K
p
=
∑
cyclic
a
2
S
A
=
2
S
2
K
q
=
∑
cyclic
S
B
S
C
=
S
2
.
{\displaystyle K_{p}=\sum _{\text{cyclic}}a^{2}S_{A}=2S^{2}\quad \quad K_{q}=\sum _{\text{cyclic}}S_{B}S_{C}=S^{2}\,.}
D
2
=
∑
cyclic
a
2
S
A
(
a
S
A
2
S
2
−
S
B
S
C
a
S
2
)
2
=
1
4
S
4
∑
cyclic
a
4
S
A
3
−
S
A
S
B
S
C
S
4
∑
cyclic
a
2
S
A
+
S
A
S
B
S
C
S
4
∑
cyclic
S
B
S
C
=
1
4
S
4
∑
cyclic
a
2
S
A
2
(
S
2
−
S
B
S
C
)
−
2
(
S
ω
−
4
R
2
)
+
(
S
ω
−
4
R
2
)
=
1
4
S
2
∑
cyclic
a
2
S
A
2
−
S
A
S
B
S
C
S
4
∑
cyclic
a
2
S
A
−
(
S
ω
−
4
R
2
)
=
1
4
S
2
∑
cyclic
a
2
(
b
2
c
2
−
S
2
)
−
1
2
(
S
ω
−
4
R
2
)
−
(
S
ω
−
4
R
2
)
=
3
a
2
b
2
c
2
4
S
2
−
1
4
∑
cyclic
a
2
−
3
2
(
S
ω
−
4
R
2
)
=
3
R
2
−
1
2
S
ω
−
3
2
S
ω
+
6
R
2
=
9
R
2
−
2
S
ω
.
{\displaystyle {\begin{aligned}D^{2}&{}=\sum _{\text{cyclic}}a^{2}S_{A}\left({\frac {aS_{A}}{2S^{2}}}-{\frac {S_{B}S_{C}}{aS^{2}}}\right)^{2}\\&{}={\frac {1}{4S^{4}}}\sum _{\text{cyclic}}a^{4}S_{A}^{3}-{\frac {S_{A}S_{B}S_{C}}{S^{4}}}\sum _{\text{cyclic}}a^{2}S_{A}+{\frac {S_{A}S_{B}S_{C}}{S^{4}}}\sum _{\text{cyclic}}S_{B}S_{C}\\&{}={\frac {1}{4S^{4}}}\sum _{\text{cyclic}}a^{2}S_{A}^{2}(S^{2}-S_{B}S_{C})-2(S_{\omega }-4R^{2})+(S_{\omega }-4R^{2})\\&{}={\frac {1}{4S^{2}}}\sum _{\text{cyclic}}a^{2}S_{A}^{2}-{\frac {S_{A}S_{B}S_{C}}{S^{4}}}\sum _{\text{cyclic}}a^{2}S_{A}-(S_{\omega }-4R^{2})\\&{}={\frac {1}{4S^{2}}}\sum _{\text{cyclic}}a^{2}(b^{2}c^{2}-S^{2})-{\frac {1}{2}}(S_{\omega }-4R^{2})-(S_{\omega }-4R^{2})\\&{}={\frac {3a^{2}b^{2}c^{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{aligned}}}
このようにして、外心と垂心の距離を求めることができた[4] 。
O
H
=
9
R
2
−
2
S
ω
.
{\displaystyle OH={\sqrt {9R^{2}-2S_{\omega }\,}}.}
参考文献
編集