特别地,抽象场景描述可以自动提供坐标值以产生满足场景条件的图。让我们将这个功能在《美国数学月刊》2019年2月刊和3月刊的几篇有关几何的文章和问题中尝试一下。...他的解就是牛顿方程:
?
我们来求解牛顿方程,a,b,c为下列随机值:
?
我们可以直接使用Solve求解d:
?...现在的作者证明了牛顿原始陈述的逆命题:给定满足牛顿方程的正数a,b,c,d,一定存在一个边长为a,b,c,d的四边形内接于直径为 d的圆上。
我们找到了这样的a,b,c,d值。
?...的平面上一点,满足
?
。令q和r分别在
?
和
?
外接圆上, 且分别是过p的直径的另一端点。令x为直线
?
和
?
的交点。证明
?
垂直于
?
。
绘出示意图:
?...生成三个单独的实例:
?
验证每个实例中的不等式是否成立:
?
验证不等式一般适用于边长
?
的三角形,使用半周长公式
?
,内切圆公式
?
,和从内切圆心到形心的距离公式
?
:
?