■三角法と球面三角法(その4)

球面三角形の辺長が保たれるように平面上に再構成すると、平面三角形のそれぞれの内角は対応する球面三角形の内角よりも小さい。

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

三辺の長さをa,b,c

球面三角形の内角をα、平面三角形の内角をα'とする。

α>α'→sinα/2>sinα'/2を示すことと同値である。

s=(a+b+c)/2

(sinα/2)^2=sin(s-b)sin(s-c)/sinbsinc

(sinα'/2)^2=(s-b)(s-c)/bc

したがって、sin(s-b)sin(s-c)/(s-b)(s-c)>sinbsinc/bcを示せればよい。

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

sinx/xが[0,π]で単調減少関数であること

s-b<c,s-c<bよりQED

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

平面三角形においてR=1とする。外接球の中心角は2α',2β',2γ'であるから

a=2sinα',b=2sinβ',c=2sinγ'

s=sinα'+sinβ'+sinγ'

α'+β'+γ'=π

sinα'+sinβ'+sinγ'=4cosα'/2・cosβ'/2・cosγ'/2

より

s=4cosα'/2cosβ'/2cosγ'/2

(sinα'/a)^2=(sinβ'/b)(sinγ'/c)=1/4

(sinα')^2=(asinβ'/b)(asinγ'/c)

4(sinα'/2cosα'/2)^2=(asinβ'/b)(asinγ'/c)

4(sinα'/2)^2・s^2/16(cosβ'/2)^2(cosγ'/2)^2=(asinβ'/b)(asinγ'/c)

(sinα'/2)^2=(asinβ'/b)(asinγ'/c)4(cosβ'/2)^2(cosγ'/2)^2/s^2

(sinα'/2)^2=(asinβ'/b)(asinγ'/c)(1+cosβ')(1+cosγ')/s^2

a=bcosγ'+ccosβ'

(sinα'/2)^2=(sinβ'/b)(sinγ'/c)(a+acosβ')(a+acosγ')/s^2

(sinα'/2)^2=(a+acosβ')(a+acosγ')/4s^2

=(a+(c^2+a^2-b^2)/2c)(a+(a^2+b^2-c^2)/2b)/4s^2

=((2ca+c^2+a^2-b^2)/2c)((2ab+a^2+b^2-c^2)/2b)/4s^2

=(a+b+c)(a-b+c)(a+b+c)(a+b-c)/16bcs^2

=16s^2(s-b)(s-c)/16bcs^2

(sinα'/2)^2=(s-b)(s-c)/bc

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

 a=bcosB+ccosC

  b=ccosC+acosA

  c=acosA+bcosB

→acosA=(b+c−a)/2

 bcosB=(c+a−b)/2

 ccosC=(a+b−c)/2

→cosA=(b^2+c^2−a^2)/2bc

 cosB=(c^2+a^2−b^2)/2ca

 cosC=(a^2+b^2−c^2)/2ab

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

球面三角形において、

(sinα/sina)^2=(sinβ/sinb)(sinγ/sinc)⇒(sinα/2)^2=sin(s-b)sin(s-c)/sinbsinc

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