基于JSXGraph引擎强大的几何证明推演能力,我的证明思路如下