解以替换列表给出：

使用 ReplaceAll (/.) 用 替换解：

检查解是否满足方程：

Solve 使用 {} 表示空解或者没有解：

Solve 使用 {{}} 表示满足方程的通解或者所有点：

在特定域上求解：

求解具有涉及符号参数的系数的方程：

绘制 y 的解的实数部分，以参数 a 的函数表示:

在实数上方程的解需要参数上的条件：

把 x 用解替换，并且简化结果：

使用 Normal 删除条件：

在正整数上方程的解需要引入新参数：

列出前10个解：

多项式方程用根式可解：

如果想使用通用公式求解三次方程式，可设定 CubicsTrue：

默认情况下，Solve 使用 Root 对象表示系数为数字的一般三次方程的解：

一般的多项式方程：

有重根的多项式方程：

Find five roots of a polynomial of a high degree:

有符号系数的多项式方程：

代数方程：

超越方程：

Solve cannot find all solutions here:

Find three solutions:

有界区域上的单变量初等函数方程：

有界区域上的单变量正则函数方程：

这里，Solve 找到了一些解，但不能证实再无其他解：

复平面上一个垂直条纹的纯虚周期的方程：

Find a specified number of roots of an unrestricted complex equation:

符号函数：

非解析复数方程：

线性方程组：

有符号系数的线性方程：

线性方程的欠定组：

无解的线性方程：

多项式方程组：

Find five out of a trillion roots of a polynomial system:

有符号系数的多项式组：

代数方程：

超越方程：

Find a specified number of solutions of transcendental equations:

在边界盒上对解析方程组取平方：

非解析方程：

多项式方程：

具有重根的多项式方程：

具有符号系数的多项式方程：

代数方程：

分段方程：

超越方程，可以反函数求解：

超越方程，可用特殊零函数求解：

超越不等式，可用特殊零函数求解：

指对数方程：

高次离散多项式方程：

涉及高次根式的代数方程：

涉及非有理实数幂的方程：

具有双根的方程：

Tame 初等函数方程：

有界区间上的初等函数方程：

有界区间上的正则函数方程：

实数域上的周期型初等函数：

线性方程组：

多项式方程组：

量化的多项式方程组：

代数方程及不等式组：

分段方程组：

超越方程及不等式组，可用反函数求解：

第一个变量为指数对数形式、其他变量为多项式形式的方程及不等式组：

量化的方程组：

第一个变量为初等有界形式、其他变量为多项式形式的方程及不等式组：

量化的方程组：

对于第一个变量方程组解析且有界，对于其他变量则为多项式：

量化的方程及不等式组：

在有界区域上对解析方程组取平方：

线性方程组：

线性方程及不等式组：

单变量多项式方程：

二元二次方程：

Thue 方程：

平方和方程：

勾股方程：

有界方程及不等式组：

无解高次方程组：

超越丢番图系统：

同余多项式方程组：

线性方程组：

单变量多项式方程：

多项式方程及不等式组：

量化多项式方程及不等式组：

一元方程：

线性方程组：

多项式方程组：

混合的实数和复数变量：

混合的实数和整数变量：

求解在二维空间中的特殊区域：

绘制图线：

求解在三维空间中的特殊区域：

绘制图线：

定量系统：

隐式定义的区域：

使用参数定义的区域：

导出区域：

绘制图线：

在区域的笛卡尔积上消去量词：

取决于参数的区域：

答案取决于参数值 :

使用 指定 是 中的一个向量：

在这种情况下， 是 中的一个向量：

用 Assumptions 指定参数的条件：

默认情况下，不会给出需要参数满足等式的解：

如果给定关于参数的等式作为假设条件，则可返回解：

含有要求解的变量的假设条件被视为要求解的方程组的一部分：

不使用 Assumptions 的等价语句：

如果参数被假定属于一个离散集合，则返回涉及任意条件的解：

默认情况下，Solve 仅在出现符号参数的情况下，才使用通用公式求三次方程的根式解：

对于具有数字系数的多项式，Solve 不使用公式：

如果设置 Cubics->False，Solve 将不会使用公式：

如果设置 Cubics->True，Solve 则总是使用公式：

在不可约情况下，不可约三次方程的实根的代数形式仍然包含 I：

机器精度的数值计算给出了假的虚部：

任意精度的计算也给出了虚部：

使用默认设置 CubicsAutomatic，即可得到明确的实数结果：

Solve 可能引入新的参数以表示解：

使用 GeneratedParameters 来控制参数的生成方式：

在缺省情况下，Solve 用反函数但输出警告信息：

对于具有 NumericFunction 属性的符号，不使用符号式反函数：

设置 InverseFunctions->True，Solve 不输出反函数的警告信息：

符号式反函数用于所有符号：

设置 InverseFunctions->False，Solve 不使用反函数：

求解代数方程不需要使用反函数：

此处使用一种基于 Reduce 的方法，不需要使用反函数：

缺省时，不生成需要附加条件的解：

参数离散时除外：

缺省设置 MaxExtraConditions->0 不给出需要条件的解：

MaxExtraConditions->1 给出的解需要至多一个方程来确定参数：

MaxExtraConditions->2 给出的解需要至多二个方程来确定参数：

给出的解需要的参数方程数最少：

给出全部解：

缺省时，Solve 舍掉关于连续参数的不等式条件：

当设置为 MaxExtraConditions->All 时，Solve 包括所有条件：

Find out of roots of a polynomial:

Find out of roots of a polynomial system:

Find solutions of a transcendental system:

When the system contains symbolic parameters, the option value is ignored:

缺省时，Solve 舍掉关于连续参数的不等式条件：

当设置为 Method->Reduce 时，Solve 使用 Reduce 求完整的解集：

在以9为模的整数上求解方程：

求使方程组有一个解的模数：

默认情况下，Solve 仅在出现符号参数的情况下，才使用通用公式求四次方程的根式解：

对于具有数字系数的多项式，Solve 不使用公式：

如果设置 Quartics->False，Solve 将不会使用公式：

如果设置 Quartics->True，Solve 则总是使用公式：

Solve 用非等价转换来验证获得的解：

设置为 VerifySolutions->False 时，Solve 不验证解：

在 VerifySolutions->False 下返回的某些解可能不正确：

这里用快速数值测试来尽可能选择正确的解：

在这个例子中，数值验证给出正确的解集：

在缺省情况下，Solve 求出方程确切的解：

使用100位精度计算解，速度较快：

结果中的前100位数字与确切解一致：

用机器精度计算解会更快：

结果仍很接近确切解：