リュイリエの公式
リュイリエの公式（リュイリエのこうしき、）は、単位球における任意の球面三角形の3辺 "a", "b", "c" の長さから球過量 "E" を求める公式。アドリアン＝マリ・ルジャンドルが18世紀末に発表した著書『"Eléments de géométrie"』の中で「この非常にエレガントな式はサイモン・アントワーヌ・ジャン・リュイリエによる」旨の言及をしていることから彼に帰せられる。