几何原本
下面的几何讨论和欧几里得在几何原本中给出的证明非常相似：