1、绘制一个经过ABC三点的圆。这是一个随机的几何图形：RandomInstance[GeometricScene[{a, b, c}, {Point[{a, b, c}], CircleThrough[{a, b, c}]}]]字母用小写字母表示。
2、加上线段BC的中点：RandomInstance[GeometricScene[{a, b, c, d}, {Point[{a, b, c, d}], d == Midpoint[{b, c}], CircleThrough[{a, b, c}]}]]
3、绘制三角形ABC：RandomInstance[GeometricScene[{a, b, c, d}, {Point[{a, b, c, d}], Triangle[{a, b, c}], d == Midpoint[{b, c}], CircleThrough[{a, b, c}]}]]
4、限定∠ABC的度数是36°：RandomInstance[GeometricScene[{a, b, c, d}, {Point[{a, b, c, d}], Triangle[{a, b, c}], d == Midpoint[{b, c}], CircleThrough[{a, b, c}], PlanarAngle[{a, b, c}] == 36 Degree}]]
5、再强加一个限制条件：RandomInstance[GeometricScene[{a, b, c, d}, {Point[{a, b, c, d}], Trian爿讥旌护gle[{a, b, c}], d == Midpoint[{b, c}], CircleThrough[{a, b, c}], PlanarAngle[{a, b, c}] == 36 Degree, PlanarAngle[{a, d, c}] == 99 Degree}]]此时的三角形ABC的形状已经确定了。
6、还可以加什么条件呢？形状不能变，大小却可以变化：RandomInstance[GeometricScene[{a, b, c, d}, {Point[{a, b荑樊综鲶, c, d}], Triangle[{a, b, c}], d == Midpoint[{b, c}], CircleThrough[{a, b, c}], PlanarAngle[{a, b, c}] == 36 Degree, PlanarAngle[{a, d, c}] == 99 Degree, EuclideanDistance[a, b] == 1}]]
