可以用Minimize/NMinimize/FindMinimum:
Minimize[{y, x^2 + y^2 == 1, -1/2 < x < 1/2}, {x, y}]
NMinimize[{y, x^2 + y^2 == 1, -1/2 < x < 1/2}, {x, y}, Method -> "DifferentialEvolution"]
FindMinimum[{y, x^2 + y^2 == 1, -1/2 < x < 1/2}, {{x, 0}, {y, 0}}]
不过,上面举的例子比较简单,对于更复杂的问题,可能会需要仔细调节起始点或者选项,甚至考虑完全不同的方法。