How to | Solve an Equation
Mathematica has many powerful features which enable you to solve many kinds of equations.
You can solve an equation using
Solve. Remember to use "

" in an equation, not just "=":
| Out[1]= |  |
The result is a
Rule inside a doubly nested list. The outer list holds all of the solutions and each inner list holds a single solution. Here there are three solutions:
| Out[2]= |  |
To solve a system of equations, use a list in the first argument:
| Out[3]= |  |
Here there are two solutions to a simultaneous system of equations; each solution set is wrapped in its own list:
| Out[4]= |  |
Here the solution expresses one variable in terms of another:
| Out[5]= |  |
To use one of these solutions (here the first one is shown), use
[[...]] (the short form of
Part) to extract it from the list of solutions and use
/. (the short form of
ReplaceAll) to apply the rule:
| Out[6]= |  |
For example, here is a plot of
x^2-y^2 for different values of
y, assuming that the first solution holds:
| Out[7]= |  |
In a system of equations with multiple variables, you can solve for some or all of the variables by using a list in the second argument:
| Out[8]= |  |
If the system is underspecified,
Mathematica will give an answer in terms of the remaining variables:
| Out[9]= |  |
Solve finds what are known as "generic" solutions to equations. These are solutions that do not depend on the variables not specified in the second argument. For example:
| Out[10]= |  |
No matter what
y is, putting in 0 for
x solves the equation. But there is another solution that does depend on
y: namely, setting
y to 0. Adding
y in the second argument makes this solution show up:
| Out[11]= |  |
There are other cases in which
Solve does not find every solution. For example:
| Out[12]= |  |
You can also solve equations by using
Reduce:
| Out[13]= |  |
The output of
Reduce is different from the output of
Solve:
Reduce outputs a logical expression that is equivalent to the original equation, so it never omits a solution:
| Out[14]= |  |
| Out[15]= |  |