リュイリエの公式
球過量に関する最も基本的な公式であるジラール(フランス語版、英語版)の公式から出発して、ドランブルの公式、三角関数の和積公式と積和公式、比例式における合除比の理を用いた簡潔な証明が和文にて紹介されている。