■エルランゲン・プログラムと変換群(その19)

球面三角法ではNapierの規則

[a]cosc=cosacosβ=cotαcotβ

[b]cosα=sinβcosa=cotctanb

[c]cosβ=sinαcosb=cotctana

[d]sina=sinccsinα=cotβtanb

[e]sinb=sinccsinβ=cotαtana

となる

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

Napierの規則についてはKaleidoscopeにも掲載されている。しかし順番が違っている。 

v0=α,v1=π/2-a,v2=c,v3=π/2-b,v4=β

シュレーフリの規則はこの一般化である。

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