Wolfram Language & System 11.0 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)

Solving Equations

An expression like x^2+2x-7==0 represents an equation in the Wolfram Language. You will often need to solve equations like this, to find out for what values of x they are true.

This gives the two solutions to the quadratic equation . The solutions are given as replacements for x.
Click for copyable input
Here are the numerical values of the solutions.
Click for copyable input
You can get a list of the actual solutions for x by applying the rules generated by Solve to x using the replacement operator.
Click for copyable input
You can equally well apply the rules to any other expression involving x.
Click for copyable input
Solve[lhs==rhs,x]solve an equation, giving a list of rules for x
x/.solutionuse the list of rules to get values for x
expr/.solutionuse the list of rules to get values for an expression

Finding and using solutions to equations.

Solve always tries to give you explicit formulas for the solutions to equations. However, it is a basic mathematical result that, for sufficiently complicated equations, explicit algebraic formulas in terms of radicals cannot be given. If you have an algebraic equation in one variable, and the highest power of the variable is at most four, then the Wolfram Language can always give you formulas for the solutions. However, if the highest power is five or more, it may be mathematically impossible to give explicit algebraic formulas for all the solutions.

The Wolfram Language can always solve algebraic equations in one variable when the highest power is less than five.
Click for copyable input
It can solve some equations that involve higher powers.
Click for copyable input
There are some equations, however, for which it is mathematically impossible to find explicit formulas for the solutions. The Wolfram Language uses Root objects to represent the solutions in this case.
Click for copyable input
Even though you cannot get explicit formulas, you can still evaluate the solutions numerically.
Click for copyable input

In addition to being able to solve purely algebraic equations, the Wolfram Language can also solve some equations involving other functions.

After printing a warning, the Wolfram Language returns one solution to this equation.
Click for copyable input

It is important to realize that an equation such as actually has an infinite number of possible solutions, in this case differing by multiples of . However, Solve by default returns just one solution, but prints a message telling you that other solutions may exist. You can use Reduce to get more information.

There is no explicit "closed form" solution for a transcendental equation like this.
Click for copyable input
You can find an approximate numerical solution using FindRoot, and giving a starting value for x.
Click for copyable input

Solve can also handle equations involving symbolic functions. In such cases, it again prints a warning, then gives results in terms of formal inverse functions.

The Wolfram Language returns a result in terms of the formal inverse function of f.
Click for copyable input
solve a set of simultaneous equations for x, y,

Solving sets of simultaneous equations.

You can also use the Wolfram Language to solve sets of simultaneous equations. You simply give the list of equations, and specify the list of variables to solve for.

Here is a list of two simultaneous equations, to be solved for the variables x and y.
Click for copyable input
Here are some more complicated simultaneous equations. The two solutions are given as two lists of replacements for x and y.
Click for copyable input
This uses the solutions to evaluate the expression x+y.
Click for copyable input

The Wolfram Language can solve any set of simultaneous linear or polynomial equations.

When you are working with sets of equations in several variables, it is often convenient to reorganize the equations by eliminating some variables between them.

This eliminates y between the two equations, giving a single equation for x.
Click for copyable input

If you have several equations, there is no guarantee that there exists any consistent solution for a particular variable.

There is no consistent solution to these equations, so the Wolfram Language returns {}, indicating that the set of solutions is empty.
Click for copyable input
There is also no consistent solution to these equations for almost all values of a.
Click for copyable input

The general question of whether a set of equations has any consistent solution is quite a subtle one. For example, for most values of a, the equations {x==1,x==a} are inconsistent, so there is no possible solution for x. However, if a is equal to 1, then the equations do have a solution. Solve is set up to give you generic solutions to equations. It discards any solutions that exist only when special constraints between parameters are satisfied.

If you use Reduce instead of Solve, the Wolfram Language will however keep all the possible solutions to a set of equations, including those that require special conditions on parameters.

This shows that the equations have a solution only when a==1. The notation a==1&&x==1 represents the requirement that both a==1 and x==1 should be True.
Click for copyable input
This gives the complete set of possible solutions to the equation. The answer is stated in terms of a combination of simpler equations. && indicates equations that must simultaneously be true; || indicates alternatives.
Click for copyable input
This gives a more complicated combination of equations.
Click for copyable input
This gives a symbolic representation of all solutions.
Click for copyable input
Solve[lhs==rhs,x]solve an equation for x
solve a set of simultaneous equations for x, y,
eliminate x, in a set of simultaneous equations
give a set of simplified equations, including all possible solutions

Functions for solving and manipulating equations.

Reduce also has powerful capabilities for handling equations specifically over real numbers or integers. "Equations and Inequalities over Domains" discusses this in more detail.

This reduces the equation assuming x and y are complex.
Click for copyable input
This includes the conditions for x and y to be real.
Click for copyable input
This gives only the integer solutions.
Click for copyable input