日常刷刷微信订阅号文章，刷到公众号“机器学习研究组”的这篇文章，《江泽民「数学往事」：这道五点共圆题，差点难倒丘成桐》，里面提到了一道几何证明题，饶有兴致，便凑趣用自己熟悉的JSXGraph来进行下计算机几何证明。

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

第一步，在画板上任意位置，声明五角星的五个顶点，A、B、C、D、E；

第二步，连接AD、AC、EB、EC、DB，得到五条直线；

第三步，分别命名五条直线间的交点为F、G、H、I、J；

第四步，基于点A、F、J作三角形AFJ，点J、E、I作三角形JEI，点I、D、H作三角形IDH，点H、C、G作三角形HCG，点G、B、F作三角形GBF；