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