几何原本
欧几里得在他的著作《几何原本》（第九卷的定理20）提出了证明，大意如下：