リュイリエの公式

リュイリエの公式（リュイリエのこうしき、）は、単位球における任意の球面三角形の3辺 "a", "b", "c" の長さから球過量 "E" を求める公式。アドリアン＝マリ・ルジャンドルが18世紀末に発表した著書『"Eléments de géométrie"』の中で「この非常にエレガントな式はサイモン・アントワーヌ・ジャン・リュイリエによる」旨の言及をしていることから彼に帰せられる。
概要.
この公式は単位球における球面三角形の球過量 "E" を求めるものであるが、球過量は任意の球における球面三角形の面積に直接的に関係することから、リュイリエの公式は平面三角形におけるヘロンの公式の球面三角形版に相当している。
公式.
.&lt;/math&gt;
ただし、
証明.
球過量に関する最も基本的な公式であるの公式から出発して、ドランブルの公式、三角関数の和積公式と積和公式、比例式における合除比の理を用いた簡潔な証明が和文にて紹介されている。