Elementary algebra

Two-dimensional plot (red curve) of the algebraic equation $y=x^2-x-2$.

Elementary algebra, also known as high school algebra or college algebra, encompasses the basic concepts of algebra. It is often contrasted with arithmetic: arithmetic deals with specified numbers, whilst algebra introduces variables (quantities without fixed values).

This use of variables entails use of algebraic notation and an understanding of the general rules of the operations introduced in arithmetic: addition, subtraction, multiplication, division, etc. Unlike abstract algebra, elementary algebra is not concerned with algebraic structures outside the realm of real and complex numbers.

It is typically taught to secondary school students and at introductory college level in the United States, and builds on their understanding of arithmetic. The use of variables to denote quantities allows general relationships between quantities to be formally and concisely expressed, and thus enables solving a broader scope of problems. Many quantitative relationships in science and mathematics are expressed as algebraic equations.

Algebraic notation

Template:Main Algebraic notation describes the rules and conventions for writing mathematical expressions, as well as the terminology used for talking about parts of expressions. For example, the expression $3x^2-2xy+c$ has the following components:

Algebraic expression notation:
  1 – power (exponent)
  2 – coefficient
  3 – term
  4 – operator
  5 – constant term
  $c$ – constant
  $x$ $y$ – variables

A coefficient is a numerical value, or letter representing a numerical constant, that multiplies a variable (the operator is omitted). A term is an addend or a summand, a group of coefficients, variables, constants and exponents that may be separated from the other terms by the plus and minus operators. Letters represent variables and constants. By convention, letters at the beginning of the alphabet (e.g. $a,b,c$) are typically used to represent constants, and those toward the end of the alphabet (e.g. $x,y$ and Template:Mvar) are used to represent variables. They are usually printed in italics.

Algebraic operations work in the same way as arithmetic operations, such as addition, subtraction, multiplication, division and exponentiation, and are applied to algebraic variables and terms. Multiplication symbols are usually omitted, and implied when there is no space between two variables or terms, or when a coefficient is used. For example, $3\times x^2$ is written as $3x^2$, and $2\times x\times y$ may be written $2xy$.

Usually terms with the highest power (exponent), are written on the left, for example, $x^2$ is written to the left of Template:Mvar. When a coefficient is one, it is usually omitted (e.g. $1x^2$ is written $x^2$). Likewise when the exponent (power) is one, (e.g. $3x^1$ is written $3x$). When the exponent is zero, the result is always 1 (e.g. $x^0$ is always rewritten to Template:Mvar). However $0^0$, being undefined, should not appear in an expression, and care should be taken in simplifying expressions in which variables may appear in exponents.

Alternative notation

Other types of notation are used in algebraic expressions when the required formatting is not available, or can not be implied, such as where only letters and symbols are available. As an illustration of this, while exponents are usually formatted using superscripts, e.g., $x^2$, in plain text, and in the TeX mark-up language, the caret symbol Template:Char represents exponentiation, so $x^2$ is written as "x^2". This also applies to some programming languages such as Lua. In programming languages such as Ada, Fortran, Perl, Python and Ruby, a double asterisk is used, so $x^2$ is written as "x**2". Many programming languages and calculators use a single asterisk to represent the multiplication symbol, and it must be explicitly used, for example, $3x$ is written "3*x".

Concepts

Variables

Example of variables showing the relationship between a circle's diameter and its circumference. For any circle, its circumference Template:Mvar, divided by its diameter Template:Mvar, is equal to the constant pi, $\pi$ (approximately 3.14).

Template:Main Elementary algebra builds on and extends arithmetic by introducing letters called variables to represent general (non-specified) numbers. This is useful for several reasons.

1. Variables may represent numbers whose values are not yet known. For example, if the temperature of the current day, C, is 20 degrees higher than the temperature of the previous day, P, then the problem can be described algebraically as $C=P+20$.
2. Variables allow one to describe general problems, without specifying the values of the quantities that are involved. For example, it can be stated specifically that 5 minutes is equivalent to $60\times 5=300$ seconds. A more general (algebraic) description may state that the number of seconds, $s=60\times m$, where m is the number of minutes.
3. Variables allow one to describe mathematical relationships between quantities that may vary. For example, the relationship between the circumference, c, and diameter, d, of a circle is described by $\pi =c/d$.
4. Variables allow one to describe some mathematical properties. For example, a basic property of addition is commutativity which states that the order of numbers being added together does not matter. Commutativity is stated algebraically as $(a+b)=(b+a)$.

Simplifying expressions

Template:Main Algebraic expressions may be evaluated and simplified, based on the basic properties of arithmetic operations (addition, subtraction, multiplication, division and exponentiation). For example,

• Added terms are simplified using coefficients. For example, $x+x+x$ can be simplified as $3x$ (where 3 is a numerical coefficient).
• Multiplied terms are simplified using exponents. For example, $x\times x\times x$ is represented as $x^3$
• Like terms are added together, for example, $2x^2+3ab-x^2+ab$ is written as $x^2+4ab$, because the terms containing $x^2$ are added together, and the terms containing $ab$ are added together.
• Brackets can be "multiplied out", using the distributive property. For example, $x(2x+3)$ can be written as $(x\times 2x)+(x\times 3)$ which can be written as $2x^2+3x$
• Expressions can be factored. For example, $6x^5+3x^2$, by dividing both terms by the common factor, $3x^2$ can be written as $3x^2(2x^3+1)$

Equations

Animation illustrating Pythagoras' rule for a right-angle triangle, which shows the algebraic relationship between the triangle's hypotenuse, and the other two sides.

Template:Main An equation states that two expressions are equal using the symbol for equality, = (the equals sign). One of the best-known equations describes Pythagoras' law relating the length of the sides of a right angle triangle:

$c^2=a^2+b^2$

This equation states that $c^2$, representing the square of the length of the side that is the hypotenuse, the side opposite the right angle, is equal to the sum (addition) of the squares of the other two sides whose lengths are represented by Template:Mvar and Template:Mvar.

An equation is the claim that two expressions have the same value and are equal. Some equations are true for all values of the involved variables (such as $a+b=b+a$); such equations are called identities. Conditional equations are true for only some values of the involved variables, e.g. $x^2-1=8$ is true only for $x=3$ and $x=-3$. The values of the variables which make the equation true are the solutions of the equation and can be found through equation solving.

Another type of equation is inequality. Inequalities are used to show that one side of the equation is greater, or less, than the other. The symbols used for this are: $a>b$ where $>$ represents 'greater than', and $a<b$ where $<$ represents 'less than'. Just like standard equality equations, numbers can be added, subtracted, multiplied or divided. The only exception is that when multiplying or dividing by a negative number, the inequality symbol must be flipped.

Properties of equality

By definition, equality is an equivalence relation, meaning it is reflexive (i.e. $b=b$), symmetric (i.e. if $a=b$ then $b=a$), and transitive (i.e. if $a=b$ and $b=c$ then $a=c$). It also satisfies the important property that if two symbols are used for equal things, then one symbol can be substituted for the other in any true statement about the first and the statement will remain true. This implies the following properties:

• if $a=b$ and $c=d$ then $a+c=b+d$ and $ac=bd$;
• if $a=b$ then $a+c=b+c$ and $ac=bc$;
• more generally, for any function Template:Mvar, if $a=b$ then $f(a)=f(b)$.

Properties of inequality

The relations less than $<$ and greater than $>$ have the property of transitivity:

• If   $a<b$   and   $b<c$   then   $a<c$;
• If   $a<b$   and   $c<d$   then   $a+c<b+d$;
• If   $a<b$   and   $c>0$   then   $ac<bc$;
• If   $a<b$   and   $c<0$   then   $bc<ac$.

By reversing the inequation, $<$ and $>$ can be swapped, for example:

• $a<b$ is equivalent to $b>a$

Substitution

Substitution is replacing the terms in an expression to create a new expression. Substituting 3 for Template:Mvar in the expression Template:Math makes a new expression Template:Math with meaning Template:Math. Substituting the terms of a statement makes a new statement. When the original statement is true independently of the values of the terms, the statement created by substitutions is also true. Hence, definitions can be made in symbolic terms and interpreted through substitution: if $a^2:=a\times a$ is meant as the definition of $a^2,$ as the product of Template:Mvar with itself, substituting Template:Math for Template:Mvar informs the reader of this statement that $3^2$ means Template:Math. Often it's not known whether the statement is true independently of the values of the terms. And, substitution allows one to derive restrictions on the possible values, or show what conditions the statement holds under. For example, taking the statement Template:Math, if Template:Mvar is substituted with Template:Math, this implies Template:Math, which is false, which implies that if Template:Math then Template:Mvar cannot be Template:Math.

If Template:Math and Template:Math are integers, rationals, or real numbers, then Template:Math implies Template:Math or Template:Math. Consider Template:Math. Then, substituting Template:Math for Template:Math and Template:Math for Template:Math, we learn Template:Math or Template:Math. Then we can substitute again, letting Template:Math and Template:Math, to show that if Template:Math then Template:Math or Template:Math. Therefore, if Template:Math, then Template:Math or (Template:Math or Template:Math), so Template:Math implies Template:Math or Template:Math or Template:Math.

If the original fact were stated as "Template:Math implies Template:Math or Template:Math", then when saying "consider Template:Math," we would have a conflict of terms when substituting. Yet the above logic is still valid to show that if Template:Math then Template:Math or Template:Math or Template:Math if, instead of letting Template:Math and Template:Math, one substitutes Template:Math for Template:Math and Template:Math for Template:Math (and with Template:Math, substituting Template:Math for Template:Math and Template:Math for Template:Math). This shows that substituting for the terms in a statement isn't always the same as letting the terms from the statement equal the substituted terms. In this situation it's clear that if we substitute an expression Template:Math into the Template:Math term of the original equation, the Template:Math substituted does not refer to the Template:Math in the statement "Template:Math implies Template:Math or Template:Math."

Solving algebraic equations

A typical algebra problem.

The following sections lay out examples of some of the types of algebraic equations that may be encountered.

Linear equations with one variable

Linear equations are so-called, because when they are plotted, they describe a straight line. The simplest equations to solve are linear equations that have only one variable. They contain only constant numbers and a single variable without an exponent. As an example, consider:

Problem in words: If you double the age of a child and add 4, the resulting answer is 12. How old is the child?

Equivalent equation: $2x+4=12$ where Template:Mvar represent the child's age

To solve this kind of equation, the technique is add, subtract, multiply, or divide both sides of the equation by the same number in order to isolate the variable on one side of the equation. Once the variable is isolated, the other side of the equation is the value of the variable. This problem and its solution are as follows:

Solving for x

1. Equation to solve:	$2x+4=12$
2. Subtract 4 from both sides:	$2x+4-4=12-4$
3. This simplifies to:	$2x=8$
4. Divide both sides by 2:	$\frac{2x}{2}=\frac{8}{2}$
5. This simplifies to the solution:	$x=4$

In words: the child is 4 years old.

The general form of a linear equation with one variable, can be written as: $ax+b=c$

Following the same procedure (i.e. subtract Template:Mvar from both sides, and then divide by Template:Mvar), the general solution is given by $x=\frac{c-b}{a}$

Linear equations with two variables

Solving two linear equations with a unique solution at the point that they intersect.

A linear equation with two variables has many (i.e. an infinite number of) solutions. For example:

Problem in words: A father is 22 years older than his son. How old are they?

Equivalent equation: $y=x+22$ where Template:Mvar is the father's age, Template:Mvar is the son's age.

That cannot be worked out by itself. If the son's age was made known, then there would no longer be two unknowns (variables). The problem then becomes a linear equation with just one variable, that can be solved as described above.

To solve a linear equation with two variables (unknowns), requires two related equations. For example, if it was also revealed that:

Problem in words

In 10 years, the father will be twice as old as his son.

Equivalent equation

$\begin{array}{cc}y+10& =2\times (x+10)\\ y& =2\times (x+10)-10& & \text{Subtract 10 from both sides}\\ y& =2x+20-10& & \text{Multiple out brackets}\\ y& =2x+10& & \text{Simplify}\end{array}$

Now there are two related linear equations, each with two unknowns, which enables the production of a linear equation with just one variable, by subtracting one from the other (called the elimination method):

$\{\begin{array}{cc}y=x+22& \text{First equation}\\ y=2x+10& \text{Second equation}\end{array}$

$\begin{array}{cccc}& & & \text{Subtract the first equation from}\\ (y-y)& =(2x-x)+10-22& & \text{the second in order to remove }y\\ 0& =x-12& & \text{Simplify}\\ 12& =x& & \text{Add 12 to both sides}\\ x& =12& & \text{Rearrange}\end{array}$

In other words, the son is aged 12, and since the father 22 years older, he must be 34. In 10 years, the son will be 22, and the father will be twice his age, 44. This problem is illustrated on the associated plot of the equations.

For other ways to solve this kind of equations, see below, System of linear equations.

Quadratic equations

Quadratic equation plot of $y=x^2+3x-10$ showing its roots at $x=-5$ and $x=2$, and that the quadratic can be rewritten as $y=(x+5)(x-2)$

A quadratic equation is one which includes a term with an exponent of 2, for example, $x^2$, and no term with higher exponent. The name derives from the Latin quadrus, meaning square. In general, a quadratic equation can be expressed in the form $a{x}^2+bx+c=0$, where Template:Mvar is not zero (if it were zero, then the equation would not be quadratic but linear). Because of this a quadratic equation must contain the term $a{x}^2$, which is known as the quadratic term. Hence $a\ne 0$, and so we may divide by Template:Mvar and rearrange the equation into the standard form

$x^2+px+q=0$

where $p=\frac{b}{a}$ and $q=\frac{c}{a}$. Solving this, by a process known as completing the square, leads to the quadratic formula

$x=\frac{-b\pm \sqrt{b^2-4ac}}{2a},$

where the symbol "±" indicates that both

$x=\frac{-b+\sqrt{b^2-4ac}}{2a}\text{and}x=\frac{-b-\sqrt{b^2-4ac}}{2a}$

are solutions of the quadratic equation.

Quadratic equations can also be solved using factorization (the reverse process of which is expansion, but for two linear terms is sometimes denoted foiling). As an example of factoring:

$x^2+3x-10=0,$

which is the same thing as

$(x+5)(x-2)=0.$

It follows from the zero-product property that either $x=2$ or $x=-5$ are the solutions, since precisely one of the factors must be equal to zero. All quadratic equations will have two solutions in the complex number system, but need not have any in the real number system. For example,

$x^2+1=0$

has no real number solution since no real number squared equals −1. Sometimes a quadratic equation has a root of multiplicity 2, such as:

$(x+1{)}^2=0.$

For this equation, −1 is a root of multiplicity 2. This means −1 appears twice, since the equation can be rewritten in factored form as

$[x-(-1)][x-(-1)]=0.$

Complex numbers

All quadratic equations have exactly two solutions in complex numbers (but they may be equal to each other), a category that includes real numbers, imaginary numbers, and sums of real and imaginary numbers. Complex numbers first arise in the teaching of quadratic equations and the quadratic formula. For example, the quadratic equation

$x^2+x+1=0$

has solutions

$x=\frac{-1+\sqrt{-3}}{2}\text{and}x=\frac{-1-\sqrt{-3}}{2}.$

Since $\sqrt{-3}$ is not any real number, both of these solutions for x are complex numbers.

Exponential and logarithmic equations

The graph of the logarithm to base 2 crosses the x axis (horizontal axis) at 1 and passes through the points with coordinates Template:Nowrap, Template:Nowrap, and Template:Nowrap. For example, Template:Nowrap, because Template:Nowrap The graph gets arbitrarily close to the y axis, but does not meet or intersect it.

An exponential equation is one which has the form $a^x=b$ for $a>0$, which has solution

$x={\log }_{a}b=\frac{\ln b}{\ln a}$

when $b>0$. Elementary algebraic techniques are used to rewrite a given equation in the above way before arriving at the solution. For example, if

$3\cdot 2^{x-1}+1=10$

then, by subtracting 1 from both sides of the equation, and then dividing both sides by 3 we obtain

$2^{x-1}=3$

whence

$x-1={\log }_{2}3$

or

$x={\log }_{2}3+1.$

A logarithmic equation is an equation of the form $lo{g}_a(x)=b$ for $a>0$, which has solution

$x=a^b.$

For example, if

$4{\log }_5(x-3)-2=6$

then, by adding 2 to both sides of the equation, followed by dividing both sides by 4, we get

${\log }_5(x-3)=2$

whence

$x-3=5^2=25$

from which we obtain

$x=28.$

Radical equations

Template:Image frame A radical equation is one that includes a radical sign, which includes square roots, $\sqrt{x},$ cube roots, $\sqrt[3]{x}$, and nth roots, $\sqrt[n]{x}$. Recall that an nth root can be rewritten in exponential format, so that $\sqrt[n]{x}$ is equivalent to $x^{\frac{1}{n}}$. Combined with regular exponents (powers), then $\sqrt[2]{x^3}$ (the square root of Template:Mvar cubed), can be rewritten as $x^{\frac{3}{2}}$. So a common form of a radical equation is $\sqrt[n]{x^m}=a$ (equivalent to $x^{\frac{m}{n}}=a$) where Template:Mvar and Template:Mvar are integers. It has real solution(s):

Template:Mvar is odd	Template:Mvar is even and $a\ge 0$	Template:Mvar and Template:Mvar are even and $a<0$	Template:Mvar is even, Template:Mvar is odd, and $a<0$
$x=\sqrt[n]{a^m}$ equivalently $x={\left(\sqrt[n]{a}\right)}^m$	$x=\pm \sqrt[n]{a^m}$ equivalently $x=\pm {\left(\sqrt[n]{a}\right)}^m$	$x=\pm \sqrt[n]{a^m}$	no real solution

For example, if:

$(x+5{)}^{2/3}=4$

then

$\begin{array}{cc}x+5& =\pm (\sqrt{4}{)}^3,\\ x+5& =\pm 8,\\ x& =-5\pm 8,\end{array}$

and thus

$x=3\text{or}x=-13$

System of linear equations

There are different methods to solve a system of linear equations with two variables.

Elimination method

The solution set for the equations $x-y=-1$ and $3x+y=9$ is the single point (2, 3).

An example of solving a system of linear equations is by using the elimination method:

$\{\begin{array}{cc}4x+2y& =14\\ 2x-y& =1.\end{array}$

Multiplying the terms in the second equation by 2:

$4x+2y=14$

$4x-2y=2.$

Adding the two equations together to get:

$8x=16$

which simplifies to

$x=2.$

Since the fact that $x=2$ is known, it is then possible to deduce that $y=3$ by either of the original two equations (by using 2 instead of Template:Mvar ) The full solution to this problem is then

$\{\begin{array}{c}x=2\\ y=3.\end{array}$

This is not the only way to solve this specific system; Template:Mvar could have been resolved before Template:Mvar.

Substitution method

Another way of solving the same system of linear equations is by substitution.

$\{\begin{array}{cc}4x+2y& =14\\ 2x-y& =1.\end{array}$

An equivalent for Template:Mvar can be deduced by using one of the two equations. Using the second equation:

$2x-y=1$

Subtracting $2x$ from each side of the equation:

$\begin{array}{cc}2x-2x-y& =1-2x\\ -y& =1-2x\end{array}$

and multiplying by −1:

$y=2x-1.$

Using this Template:Mvar value in the first equation in the original system:

$\begin{array}{cc}4x+2(2x-1)& =14\\ 4x+4x-2& =14\\ 8x-2& =14\end{array}$

Adding 2 on each side of the equation:

$\begin{array}{cc}8x-2+2& =14+2\\ 8x& =16\end{array}$

which simplifies to

$x=2$

Using this value in one of the equations, the same solution as in the previous method is obtained.

$\{\begin{array}{c}x=2\\ y=3.\end{array}$

This is not the only way to solve this specific system; in this case as well, Template:Mvar could have been solved before Template:Mvar.

Other types of systems of linear equations

Inconsistent systems

The equations $3x+2y=6$ and $3x+2y=12$ are parallel and cannot intersect, and is unsolvable.

Plot of a quadratic equation (red) and a linear equation (blue) that do not intersect, and consequently for which there is no common solution.

In the above example, a solution exists. However, there are also systems of equations which do not have any solution. Such a system is called inconsistent. An obvious example is

$\{\begin{array}{c}\begin{array}{cc}x+y& =1\\ 0x+0y& =2.\end{array}\end{array}$

As 0≠2, the second equation in the system has no solution. Therefore, the system has no solution. However, not all inconsistent systems are recognized at first sight. As an example, consider the system

$\{\begin{array}{c}\begin{array}{cc}4x+2y& =12\\ -2x-y& =-4.\end{array}\end{array}$

Multiplying by 2 both sides of the second equation, and adding it to the first one results in

$0x+0y=4,$

which clearly has no solution.

Undetermined systems

There are also systems which have infinitely many solutions, in contrast to a system with a unique solution (meaning, a unique pair of values for Template:Mvar and Template:Mvar) For example:

$\{\begin{array}{c}\begin{array}{cc}4x+2y& =12\\ -2x-y& =-6\end{array}\end{array}$

Isolating Template:Mvar in the second equation:

$y=-2x+6$

And using this value in the first equation in the system:

$\begin{array}{c}4x+2(-2x+6)=12\\ 4x-4x+12=12\\ 12=12\end{array}$

The equality is true, but it does not provide a value for Template:Mvar. Indeed, one can easily verify (by just filling in some values of Template:Mvar) that for any Template:Mvar there is a solution as long as $y=-2x+6$. There is an infinite number of solutions for this system.

Over- and underdetermined systems

Systems with more variables than the number of linear equations are called underdetermined. Such a system, if it has any solutions, does not have a unique one but rather an infinitude of them. An example of such a system is

$\{\begin{array}{c}\begin{array}{cc}x+2y& =10\\ y-z& =2.\end{array}\end{array}$

When trying to solve it, one is led to express some variables as functions of the other ones if any solutions exist, but cannot express all solutions numerically because there are an infinite number of them if there are any.

A system with a higher number of equations than variables is called overdetermined. If an overdetermined system has any solutions, necessarily some equations are linear combinations of the others.

See also

• History of algebra
• Binary operation
• Gaussian elimination
• Mathematics education
• Number line
• Polynomial
• Cancelling out
• Tarski's high school algebra problem

References

• Leonhard Euler, Elements of Algebra, 1770. English translation Tarquin Press, 2007, Template:ISBN, also online digitized editions 2006, 1822.
• Charles Smith, A Treatise on Algebra, in Cornell University Library Historical Math Monographs.
• Redden, John. Elementary Algebra Template:Webarchive. Flat World Knowledge, 2011

External links

• Template:Commons category-inline