リュイリエの公式
この公式は単位球における球面三角形の球過量 E を求めるものであるが、球過量は任意の球における球面三角形の面積に直接的に関係することから、リュイリエの公式は平面三角形におけるヘロンの公式の球面三角形版に相当している。