几何原本
欧几里得在其所著《几何原本》第12卷中，用穷竭法证明了以下六个命题。