Equation solving

In mathematics, solving an equation means finding the specific values that make a statement true. An equation consists of two expressions joined by an equals sign. To solve it, we look for the unknown variables that satisfy the condition of equality. These values are called solutions, and they are sometimes referred to as roots. When we collect every possible solution together, we call this the solution set.

There are two primary ways to approach these problems: symbolic and numerical solving. Symbolic solving uses mathematical expressions to represent the answers. For example, if you solve the equation $ax = b$ for $x$, the symbolic solution is the expression $x = b/a$. Numerical solving is different because it only uses specific numbers as answers. You might take a symbolic solution and plug in numbers to find a numerical one. This is useful when the expressions are too complex to handle easily.

An equation's solution set can take many different forms. It might be an empty set, meaning no value works. It could be a singleton, which is exactly one solution. Sometimes, the set is finite, containing a specific number of answers. In other cases, the solution set is infinite. For instance, the equation $x + y = 1$ has infinite solutions. These solutions can be written as a set where $x$ and $y$ can be any values that sum to one.

When an equation has multiple unknowns, the solutions often form geometric shapes. If you have many equations but even more unknowns, the solution set is often infinite. We can represent these sets using a parametrization. This involves expressing the solutions in terms of auxiliary variables. These infinite sets can look like lines, curves, or planes. In a field called algebraic geometry, mathematicians study these solution sets as algebraic varieties or manifolds.

Different types of equations require different specialized tools. For example, Diophantine equations are unique because they only seek integer solutions. Consider the equation $x^2 + y^2 = 2$. If we only look for integers, the solution set is empty because 2 is not a perfect square. However, if we look for real numbers, there are two solutions: the square roots of 2. This shows how the rules for the type of number allowed can change everything.

Mathematicians use several methods to tackle these puzzles. Brute force involves testing every possible candidate solution one by one. This works for finite sets but can be too slow for huge numbers. Another method is using inverse functions to undo an operation. For example, the $n$-th root is the inverse of raising a number to the power of $n$. We can also use factorization to break a complex equation into simpler parts. If an expression can be factored, the solutions to the whole are the solutions to its parts.

For very complex equations, we use numerical methods like the Newton–Raphson method. These are root-finding algorithms that find an answer through repetition. They are often used when exact symbolic answers are impossible to find. Some equations, like polynomial equations of degree five or higher, generally require these numerical methods. Even with advanced technology, some problems remain unsolvable. In 1970, it was proven that Hilbert's tenth problem cannot be solved by any algorithm.

Equation solving connects to many different areas of science and math. Systems of linear equations are often solved using linear algebra and algorithms like Gaussian elimination. Differential equations, which describe how things change, are solved both numerically and analytically. This includes the study of integration, which is known as symbolic integration when done with expressions. Whether through simple algebra or complex computer systems, solving equations helps us understand the rules of the world.