自动绘图: 用自动化平面（几何）绘图求解美国数学月刊中问题

文章转自：WolframWolfram语言第12版引入了GeometricScene，RandomInstance和FindGeometricConjectures函数，用于表征、绘制和推导平面几何问题。特别地，抽象场景描述可以自动提供坐标值以产生满足场景条件的图。让我们将这个功能在《美国数学月刊》2019年2月刊和3月刊的几篇有关几何的文章和问题中尝试一下。牛顿方程的几何求解首先我们来看一下出现在2019年2月刊Mowaffaq Hajja和JonathanSondow发表的文章：“Newton Quadrilaterals，AssociatedCubic Equations，andtheir Rational Solutions”（牛顿四边形、相关三次方程及其有理解）。牛顿在他的1720代数教科书《Universal Arithmetick》中提出了以下问题：给出一个边长为a,b,c,d的四边形，并且四边形各顶点位于直径为d的圆上，用a,b,c表示d。他的解就是牛顿方程 ………………………………