10,594
edits
(Created page with "{{Short description|Mathematical formula expressing equality}} {{other uses}}{{Expand French}}thumb|right|300px|The first use of an equals sign, equivalent to 14''x'' + 15 = 71 in modern notation. From ''[[The Whetstone of Witte'' by Robert Recorde of Wales (1557).<ref name="Whetstone">Recorde, Robert, ''The Whetstone of Witte'' ... (London, England: {{not a typo|Jhon}} Kyngstone, 1557), [https://archive.org/stream/TheWhetstoneOfWitte...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Mathematical formula expressing equality}} | {{Short description|Mathematical formula expressing equality}} | ||
In [[mathematics]], an '''equation''' is a [[mathematical formula]] that expresses the [[equality (mathematics)|equality]] of two [[Expression (mathematics)|expressions]], by connecting them with the [[equals sign]] {{char|1==}}.<ref name=":1">{{Cite web|title=Equation - Math Open Reference|url=https://www.mathopenref.com/equation.html|access-date=2020-09-01|website=www.mathopenref.com}}</ref><ref>{{Cite web|title=Equations and Formulas|url=https://www.mathsisfun.com/algebra/equation-formula.html|access-date=2020-09-01|website=www.mathsisfun.com}}</ref> The word ''equation'' and its [[cognate]]s in other languages may have subtly different meanings; for example, in [[French language|French]] an ''équation'' is defined as containing one or more [[variable (mathematics)|variables]], while in [[English language|English]], any [[well-formed formula]] consisting of two expressions related with an equals sign is an equation.<ref>{{cite web |last1=[[Solomon Marcus|Marcus]] |first1=Solomon |last2=Watt |first2=Stephen M. |title=What is an Equation? |url=https://www.academia.edu/3287674 |access-date=2019-02-27 }}</ref> | In [[mathematics]], an '''equation''' is a [[mathematical formula]] that expresses the [[equality (mathematics)|equality]] of two [[Expression (mathematics)|expressions]], by connecting them with the [[equals sign]] {{char|1==}}.<ref name=":1">{{Cite web|title=Equation - Math Open Reference|url=https://www.mathopenref.com/equation.html|access-date=2020-09-01|website=www.mathopenref.com}}</ref><ref>{{Cite web|title=Equations and Formulas|url=https://www.mathsisfun.com/algebra/equation-formula.html|access-date=2020-09-01|website=www.mathsisfun.com}}</ref> The word ''equation'' and its [[cognate]]s in other languages may have subtly different meanings; for example, in [[French language|French]] an ''équation'' is defined as containing one or more [[variable (mathematics)|variables]], while in [[English language|English]], any [[well-formed formula]] consisting of two expressions related with an equals sign is an equation.<ref>{{cite web |last1=[[Solomon Marcus|Marcus]] |first1=Solomon |last2=Watt |first2=Stephen M. |title=What is an Equation? |url=https://www.academia.edu/3287674 |access-date=2019-02-27 }}</ref> | ||
Line 14: | Line 13: | ||
The "[[=]]" symbol, which appears in every equation, was invented in 1557 by [[Robert Recorde]], who considered that nothing could be more equal than parallel straight lines with the same length.<ref name="Whetstone" /> | The "[[=]]" symbol, which appears in every equation, was invented in 1557 by [[Robert Recorde]], who considered that nothing could be more equal than parallel straight lines with the same length.<ref name="Whetstone" /> | ||
== Description == | == Description== | ||
An equation is written as two [[expression (mathematics)|expressions]], connected by an [[equals sign]] ("=").<ref name=":1" /> The expressions on the two [[Sides of an equation|sides]] of the equals sign are called the "left-hand side" and "right-hand side" of the equation. Very often the right-hand side of an equation is assumed to be zero. This does not reduce the generality, as this can be realized by subtracting the right-hand side from both sides. | An equation is written as two [[expression (mathematics)|expressions]], connected by an [[equals sign]] ("=").<ref name=":1" /> The expressions on the two [[Sides of an equation|sides]] of the equals sign are called the "left-hand side" and "right-hand side" of the equation. Very often the right-hand side of an equation is assumed to be zero. This does not reduce the generality, as this can be realized by subtracting the right-hand side from both sides. | ||
Line 30: | Line 29: | ||
Two equations or two systems of equations are ''equivalent'', if they have the same set of solutions. The following operations transform an equation or a system of equations into an equivalent one – provided that the operations are meaningful for the expressions they are applied to: | Two equations or two systems of equations are ''equivalent'', if they have the same set of solutions. The following operations transform an equation or a system of equations into an equivalent one – provided that the operations are meaningful for the expressions they are applied to: | ||
* [[addition|Adding]] or [[subtraction|subtracting]] the same quantity to both sides of an equation. This shows that every equation is equivalent to an equation in which the right-hand side is zero. | * [[addition|Adding]] or [[subtraction|subtracting]] the same quantity to both sides of an equation. This shows that every equation is equivalent to an equation in which the right-hand side is zero. | ||
* [[Multiplication|Multiplying]] or [[division (mathematics)|dividing]] both sides of an equation by a non-zero quantity. | *[[Multiplication|Multiplying]] or [[division (mathematics)|dividing]] both sides of an equation by a non-zero quantity. | ||
* Applying an [[identity (mathematics)|identity]] to transform one side of the equation. For example, [[polynomial expansion|expanding]] a product or [[factorization of polynomials|factoring]] a sum. | *Applying an [[identity (mathematics)|identity]] to transform one side of the equation. For example, [[polynomial expansion|expanding]] a product or [[factorization of polynomials|factoring]] a sum. | ||
* For a system: adding to both sides of an equation the corresponding side of another equation, multiplied by the same quantity. | *For a system: adding to both sides of an equation the corresponding side of another equation, multiplied by the same quantity. | ||
If some [[function (mathematics)|function]] is applied to both sides of an equation, the resulting equation has the solutions of the initial equation among its solutions, but may have further solutions called [[extraneous solution]]s. For example, the equation <math>x=1</math> has the solution <math>x=1.</math> Raising both sides to the exponent of 2 (which means applying the function <math>f(s)=s^2</math> to both sides of the equation) changes the equation to <math>x^2=1</math>, which not only has the previous solution but also introduces the extraneous solution, <math>x=-1.</math> Moreover, if the function is not defined at some values (such as 1/''x'', which is not defined for ''x'' = 0), solutions existing at those values may be lost. Thus, caution must be exercised when applying such a transformation to an equation. | If some [[function (mathematics)|function]] is applied to both sides of an equation, the resulting equation has the solutions of the initial equation among its solutions, but may have further solutions called [[extraneous solution]]s. For example, the equation <math>x=1</math> has the solution <math>x=1.</math> Raising both sides to the exponent of 2 (which means applying the function <math>f(s)=s^2</math> to both sides of the equation) changes the equation to <math>x^2=1</math>, which not only has the previous solution but also introduces the extraneous solution, <math>x=-1.</math> Moreover, if the function is not defined at some values (such as 1/''x'', which is not defined for ''x'' = 0), solutions existing at those values may be lost. Thus, caution must be exercised when applying such a transformation to an equation. | ||
Line 63: | Line 62: | ||
The process of finding the solutions, or, in case of parameters, expressing the unknowns in terms of the parameters, is called [[Equation solving|solving the equation]]. Such expressions of the solutions in terms of the parameters are also called ''solutions''. | The process of finding the solutions, or, in case of parameters, expressing the unknowns in terms of the parameters, is called [[Equation solving|solving the equation]]. Such expressions of the solutions in terms of the parameters are also called ''solutions''. | ||
A [[system of equations]] is a set of ''simultaneous equations'', usually in several unknowns for which the common solutions are sought. Thus, a ''solution to the system'' is a set of values for each of the unknowns, which together form a solution to each equation in the system. For example, the system | A [[system of equations]] is a set of ''simultaneous equations'', usually in several unknowns for which the common solutions are sought. Thus, a ''solution to the system'' is a set of values for each of the unknowns, which together form a solution to each equation in the system. For example, the system | ||
:<math>\begin{align} | :<math>\begin{align} | ||
3x+5y&=2\\ | 3x+5y&=2\\ | ||
5x+8y&=3 | 5x+8y&=3 | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
has the unique solution ''x'' = −1, ''y'' = 1. | has the unique solution ''x'' = −1, ''y'' = 1. | ||
Line 89: | Line 88: | ||
and | and | ||
:<math>\sin(2\theta)=2\sin(\theta) \cos(\theta) </math> | : <math>\sin(2\theta)=2\sin(\theta) \cos(\theta) </math> | ||
which are both true for all values of ''θ''. | which are both true for all values of ''θ''. | ||
Line 95: | Line 94: | ||
For example, to solve for the value of ''θ'' that satisfies the equation: | For example, to solve for the value of ''θ'' that satisfies the equation: | ||
:<math>3\sin(\theta) \cos(\theta)= 1\,, </math> | : <math>3\sin(\theta) \cos(\theta)= 1\,, </math> | ||
where ''θ'' is limited to between 0 and 45 degrees, one may use the above identity for the product to give: | where ''θ'' is limited to between 0 and 45 degrees, one may use the above identity for the product to give: | ||
Line 117: | Line 116: | ||
In general, an ''algebraic equation'' or [[polynomial equation]] is an equation of the form | In general, an ''algebraic equation'' or [[polynomial equation]] is an equation of the form | ||
:<math>P = 0</math>, or | :<math>P = 0</math>, or | ||
:<math>P = Q</math> {{efn|As such an equation can be rewritten {{math|1=''P'' – ''Q'' = 0}}, many authors do not consider this case explicitly.}} | :<math>P = Q</math> {{efn|As such an equation can be rewritten {{math|1=''P'' – ''Q'' = 0}}, many authors do not consider this case explicitly.}} | ||
Line 171: | Line 170: | ||
The invention of Cartesian coordinates in the 17th century by [[René Descartes]] revolutionized mathematics by providing the first systematic link between [[Euclidean geometry]] and [[algebra]]. Using the Cartesian coordinate system, geometric shapes (such as [[curve]]s) can be described by Cartesian equations: algebraic equations involving the coordinates of the points lying on the shape. For example, a circle of radius 2 in a plane, centered on a particular point called the origin, may be described as the set of all points whose coordinates ''x'' and ''y'' satisfy the equation {{nowrap|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = 4}}. | The invention of Cartesian coordinates in the 17th century by [[René Descartes]] revolutionized mathematics by providing the first systematic link between [[Euclidean geometry]] and [[algebra]]. Using the Cartesian coordinate system, geometric shapes (such as [[curve]]s) can be described by Cartesian equations: algebraic equations involving the coordinates of the points lying on the shape. For example, a circle of radius 2 in a plane, centered on a particular point called the origin, may be described as the set of all points whose coordinates ''x'' and ''y'' satisfy the equation {{nowrap|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = 4}}. | ||
===Parametric equations=== | === Parametric equations=== | ||
{{main|Parametric equation}} | {{main|Parametric equation}} | ||
A [[parametric equation]] for a [[curve]] expresses the [[coordinates]] of the points of the curve as functions of a [[variable (mathematics)|variable]], called a [[parameter]].<ref>Thomas, George B., and Finney, Ross L., ''Calculus and Analytic Geometry'', Addison Wesley Publishing Co., fifth edition, 1979, p. 91.</ref><ref>Weisstein, Eric W. "Parametric Equations." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/ParametricEquations.html</ref> For example, | A [[parametric equation]] for a [[curve]] expresses the [[coordinates]] of the points of the curve as functions of a [[variable (mathematics)|variable]], called a [[parameter]].<ref>Thomas, George B., and Finney, Ross L., ''Calculus and Analytic Geometry'', Addison Wesley Publishing Co., fifth edition, 1979, p. 91.</ref><ref>Weisstein, Eric W. "Parametric Equations." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/ParametricEquations.html</ref> For example, | ||
:<math>\begin{align} | :<math>\begin{align} | ||
x&=\cos t\\ | x&=\cos t\\ | ||
Line 196: | Line 195: | ||
An [[algebraic number]] is a number that is a solution of a non-zero [[polynomial equation]] in one variable with [[rational number|rational]] coefficients (or equivalently — by [[clearing denominators]] — with [[integer]] coefficients). Numbers such as [[Pi|{{pi}}]] that are not algebraic are said to be [[transcendental number|transcendental]]. [[Almost all]] [[real number|real]] and [[complex number|complex]] numbers are transcendental. | An [[algebraic number]] is a number that is a solution of a non-zero [[polynomial equation]] in one variable with [[rational number|rational]] coefficients (or equivalently — by [[clearing denominators]] — with [[integer]] coefficients). Numbers such as [[Pi|{{pi}}]] that are not algebraic are said to be [[transcendental number|transcendental]]. [[Almost all]] [[real number|real]] and [[complex number|complex]] numbers are transcendental. | ||
===Algebraic geometry=== | === Algebraic geometry=== | ||
{{main|Algebraic geometry}} | {{main|Algebraic geometry}} | ||
[[Algebraic geometry]] is a branch of [[mathematics]], classically studying solutions of [[polynomial equations]]. Modern algebraic geometry is based on more abstract techniques of [[abstract algebra]], especially [[commutative algebra]], with the language and the problems of [[geometry]]. | [[Algebraic geometry]] is a branch of [[mathematics]], classically studying solutions of [[polynomial equations]]. Modern algebraic geometry is based on more abstract techniques of [[abstract algebra]], especially [[commutative algebra]], with the language and the problems of [[geometry]]. | ||
Line 202: | Line 201: | ||
The fundamental objects of study in algebraic geometry are [[algebraic variety|algebraic varieties]], which are geometric manifestations of [[solution set|solutions]] of [[systems of polynomial equations]]. Examples of the most studied classes of algebraic varieties are: [[plane algebraic curve]]s, which include [[line (geometry)|lines]], [[circle]]s, [[parabola]]s, [[ellipse]]s, [[hyperbola]]s, [[cubic curve]]s like [[elliptic curve]]s and quartic curves like [[lemniscate of Bernoulli|lemniscates]], and [[Cassini oval]]s. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the [[singular point of a curve|singular points]], the [[inflection point]]s and the [[point at infinity|points at infinity]]. More advanced questions involve the [[topology]] of the curve and relations between the curves given by different equations. | The fundamental objects of study in algebraic geometry are [[algebraic variety|algebraic varieties]], which are geometric manifestations of [[solution set|solutions]] of [[systems of polynomial equations]]. Examples of the most studied classes of algebraic varieties are: [[plane algebraic curve]]s, which include [[line (geometry)|lines]], [[circle]]s, [[parabola]]s, [[ellipse]]s, [[hyperbola]]s, [[cubic curve]]s like [[elliptic curve]]s and quartic curves like [[lemniscate of Bernoulli|lemniscates]], and [[Cassini oval]]s. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the [[singular point of a curve|singular points]], the [[inflection point]]s and the [[point at infinity|points at infinity]]. More advanced questions involve the [[topology]] of the curve and relations between the curves given by different equations. | ||
==Differential equations== | ==Differential equations == | ||
{{main|Differential equation}} | {{main|Differential equation}} | ||
[[File:Attracteur étrange de Lorenz.png|thumb|A [[strange attractor]], which arises when solving a certain [[differential equation]]]] | [[File:Attracteur étrange de Lorenz.png|thumb|A [[strange attractor]], which arises when solving a certain [[differential equation]]]] | ||
Line 223: | Line 222: | ||
PDEs can be used to describe a wide variety of phenomena such as [[sound]], [[heat]], [[electrostatics]], [[electrodynamics]], [[fluid flow]], [[Elasticity (physics)|elasticity]], or [[quantum mechanics]]. These seemingly distinct physical phenomena can be formalised similarly in terms of PDEs. Just as ordinary differential equations often model one-dimensional [[dynamical systems]], partial differential equations often model [[multidimensional systems]]. PDEs find their generalisation in [[stochastic partial differential equations]]. | PDEs can be used to describe a wide variety of phenomena such as [[sound]], [[heat]], [[electrostatics]], [[electrodynamics]], [[fluid flow]], [[Elasticity (physics)|elasticity]], or [[quantum mechanics]]. These seemingly distinct physical phenomena can be formalised similarly in terms of PDEs. Just as ordinary differential equations often model one-dimensional [[dynamical systems]], partial differential equations often model [[multidimensional systems]]. PDEs find their generalisation in [[stochastic partial differential equations]]. | ||
== Types of equations == | ==Types of equations== | ||
<!--Linked from [[Simultaneous equations]]--> | <!--Linked from [[Simultaneous equations]]--> | ||
Equations can be classified according to the types of [[Operation (mathematics)|operations]] and quantities involved. Important types include: | Equations can be classified according to the types of [[Operation (mathematics)|operations]] and quantities involved. Important types include: | ||
* An [[algebraic equation]] or [[polynomial]] equation is an equation in which both sides are polynomials (see also [[system of polynomial equations]]). These are further classified by [[degree of a polynomial|degree]]: | *An [[algebraic equation]] or [[polynomial]] equation is an equation in which both sides are polynomials (see also [[system of polynomial equations]]). These are further classified by [[degree of a polynomial|degree]]: | ||
** [[linear equation]] for degree one | **[[linear equation]] for degree one | ||
** [[quadratic equation]] for degree two | **[[quadratic equation]] for degree two | ||
** [[cubic equation]] for degree three | **[[cubic equation]] for degree three | ||
** [[quartic equation]] for degree four | **[[quartic equation]] for degree four | ||
** [[quintic equation]] for degree five | **[[quintic equation]] for degree five | ||
** [[sextic equation]] for degree six | ** [[sextic equation]] for degree six | ||
** [[septic equation]] for degree seven | **[[septic equation]] for degree seven | ||
** [[octic equation]] for degree eight | **[[octic equation]] for degree eight | ||
* A [[Diophantine equation]] is an equation where the unknowns are required to be [[integer]]s | *A [[Diophantine equation]] is an equation where the unknowns are required to be [[integer]]s | ||
* A [[transcendental equation]] is an equation involving a [[transcendental function]] of its unknowns | * A [[transcendental equation]] is an equation involving a [[transcendental function]] of its unknowns | ||
* A [[parametric equation]] is an equation in which the solutions for the variables are expressed as functions of some other variables, called [[parameter]]s appearing in the equations | *A [[parametric equation]] is an equation in which the solutions for the variables are expressed as functions of some other variables, called [[parameter]]s appearing in the equations | ||
* A [[functional equation]] is an equation in which the unknowns are [[Function (mathematics)|functions]] rather than simple quantities | *A [[functional equation]] is an equation in which the unknowns are [[Function (mathematics)|functions]] rather than simple quantities | ||
* Equations involving derivatives, integrals and finite differences: | *Equations involving derivatives, integrals and finite differences: | ||
** A [[differential equation]] is a functional equation involving [[derivative]]s of the unknown functions, where the function and its derivatives are evaluated at the same point, such as <math>f'(x) = x^2</math>. Differential equations are subdivided into [[ordinary differential equation]]s for functions of a single variable and [[partial differential equation]]s for functions of multiple variables | **A [[differential equation]] is a functional equation involving [[derivative]]s of the unknown functions, where the function and its derivatives are evaluated at the same point, such as <math>f'(x) = x^2</math>. Differential equations are subdivided into [[ordinary differential equation]]s for functions of a single variable and [[partial differential equation]]s for functions of multiple variables | ||
** An [[integral equation]] is a functional equation involving the [[antiderivative]]s of the unknown functions. For functions of one variable, such an equation differs from a differential equation primarily through a change of variable substituting the function by its derivative, however this is not the case when the integral is taken over an open surface | **An [[integral equation]] is a functional equation involving the [[antiderivative]]s of the unknown functions. For functions of one variable, such an equation differs from a differential equation primarily through a change of variable substituting the function by its derivative, however this is not the case when the integral is taken over an open surface | ||
** An [[integro-differential equation]] is a functional equation involving both the [[derivative]]s and the [[antiderivative]]s of the unknown functions. For functions of one variable, such an equation differs from integral and differential equations through a similar change of variable. | **An [[integro-differential equation]] is a functional equation involving both the [[derivative]]s and the [[antiderivative]]s of the unknown functions. For functions of one variable, such an equation differs from integral and differential equations through a similar change of variable. | ||
** A [[functional differential equation]] of [[delay differential equation]] is a function equation involving [[derivative]]s of the unknown functions, evaluated at multiple points, such as <math>f'(x) = f(x-2)</math> | ** A [[functional differential equation]] of [[delay differential equation]] is a function equation involving [[derivative]]s of the unknown functions, evaluated at multiple points, such as <math>f'(x) = f(x-2)</math> | ||
** A [[difference equation]] is an equation where the unknown is a function ''f'' that occurs in the equation through ''f''(''x''), ''f''(''x''−1), ..., ''f''(''x''−''k''), for some whole integer ''k'' called the ''order'' of the equation. If ''x'' is restricted to be an integer, a difference equation is the same as a [[recurrence relation]] | **A [[difference equation]] is an equation where the unknown is a function ''f'' that occurs in the equation through ''f''(''x''), ''f''(''x''−1), ..., ''f''(''x''−''k''), for some whole integer ''k'' called the ''order'' of the equation. If ''x'' is restricted to be an integer, a difference equation is the same as a [[recurrence relation]] | ||
** A [[stochastic differential equation]] is a differential equation in which one or more of the terms is a [[stochastic process]] | **A [[stochastic differential equation]] is a differential equation in which one or more of the terms is a [[stochastic process]] | ||
==See also== | ==See also == | ||
{{Div col|colwidth=25em}} | {{Div col|colwidth=25em}} | ||
* [[Formula]] | * [[Formula]] | ||
Line 266: | Line 265: | ||
{{reflist}} | {{reflist}} | ||
== External links == | ==External links== | ||
* [https://web.archive.org/web/20090816161008/http://math.exeter.edu/rparris/winplot.html Winplot]: General Purpose plotter that can draw and animate 2D and 3D mathematical equations. | *[https://web.archive.org/web/20090816161008/http://math.exeter.edu/rparris/winplot.html Winplot]: General Purpose plotter that can draw and animate 2D and 3D mathematical equations. | ||
* [http://www.cs.cornell.edu/w8/~andru/relplot Equation plotter]: A web page for producing and downloading pdf or postscript plots of the solution sets to equations and inequations in two variables (''x'' and ''y''). | *[http://www.cs.cornell.edu/w8/~andru/relplot Equation plotter]: A web page for producing and downloading pdf or postscript plots of the solution sets to equations and inequations in two variables (''x'' and ''y''). | ||
{{Authority control}} | {{Authority control}} |