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}],
Triangle[{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}]]
