Equation: Difference between revisions

543 bytes removed ,  6 October 2024
no edit summary
(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}}
{{other uses}}{{Expand French}}[[File:First Equation Ever.png|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#page/n237/mode/2up the third page of the chapter "The rule of equation, commonly called Algebers Rule."]</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>
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''&nbsp;=&nbsp;−1, ''y''&nbsp;=&nbsp;1.
has the unique solution ''x''&nbsp;=&nbsp;−1, ''y''&nbsp;=&nbsp;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}}