在《阿基米德全集》中的《引理集》中记述了伟大的古希腊数学家、哲学家、物理学家阿基米德提出的六个有关圆的引理,其中第二个引理是:如图1,点 是 上的任意一点, 于点 ,点 在弦 上且 ,在 上取一点 ,使 ,连接 ,则有 .