Mathematica (23) Resolve函数

Resolve函数是解决函数，也就是是说要就一个表达式关系进行解决。其用法主要是用来判断存在性，比如判断在某一个范围内是是否存在着解满足特定的关系。

通过三个例子可以学会它的用法：

例1：判断值的存在性

例2：寻找使得等式或者不等式成立的所有参数值

例3：条件有界情形下判定表达式成立的条件