示例：带有约束的求解命令块
使用求解命令块求解带有约束的方程组。
考虑圆和线的交点。在无约束的情况下，当存在多个解时，估值将确定求哪个解。
1. 插入求解命令块并定义估值和约束，然后使用
find 求解器函数求出直线和圆的交叉点。
2. 绘制圆、直线以及交点。
绘图显示，此解对应于两个交点之一，但求解器选择了最接近估值的点。
3. 更改估值，并重新计算解。
4. 绘制圆、直线以及交点。
绘图显示，此解对应于第二个交点，因为求解器选择了最接近新估值的点。
5. 引入形如 x > a 的附加约束条件，其中 a 是一个常数。现在不再考虑直线左侧区域。
6. 绘制圆、直线以及交点。使用竖直标记显示直线 a。
绘图显示，此解对应于第一个且是唯一可能的交点，因为求解器必须满足新的常数。
