リュイリエの公式
リュイリエの公式 ― 単位球において、3辺の長さが a, b, c である球面三角形の球過量 E は
E = 4 tan − 1  tan  s 2 tan  s − a 2 tan  s − b 2 tan  s − c 2 . {\displaystyle E=4\tan ^{-1}{\sqrt {\tan {\frac {s}{2}}\tan {\frac {s-a}{2}}\tan {\frac {s-b}{2}}\tan {\frac {s-c}{2}}}}.}
ただし、
s = a + b + c 2 . {\displaystyle s={\frac {a+b+c}{2}}.}