Solve: 求解方程

Solve 给出通解；涉及参数方程的解没有给出：

Reduce 给出所有解，包含需要参数方程的解：

设置为 MaxExtraConditions->All 时，Solve 也给出非通解：

Solve 的结果不依赖于部分输入方程是否只含有参数. 下面的两个方程组等价，都不存在通解：

使用 MaxExtraConditions 指定所允许的参数条件数：

使用 Exists 量词求对于某些参数值 有效的解：

Solve 不去除既不是一般正确的，也不是一般不正确的解：

解在 时是正确的，在 时是不正确的：

对于超越方程，Solve 可能不给出所有的解：

使用 Reduce 得到所有解：

Solve 在设置 Method->"Reduce" 时，使用 Reduce 求解，但返回置换规则：

用反函数，这允许 Solve 快速求出某些解：

求出完全解可能花费更长的时间并且解可能会很大：

这里求出解为 x==2 的 n 值：

对假设条件的解释取决于它们的句法性质. 此处，解在受假设条件限制的参数空间中是通解：

下面在数学上等价的假设条件含有要求解的变量，因此被视为要求解的方程组的一部分：

没有通解，以你为输入被解释为：

解非通解，因为它要求参数满足一个等式：

当参数被限制于一个离散集合时，通解的概念定义不明确，则返回所有的解：

输入方程的可移除奇点通常不被视为有效解：

然而，解可以包括可移除的奇点，这些奇点会被自动化简取消：

处的可移除奇点在运算时被取消：

此处， 处的可移除奇点被对方程进行预处理的 Together 取消：

The value of MaxRoots is used only for systems with numeric coefficients:

When symbolic parameters are present, the option value is ignored: