Consistent and inconsistent equations: Difference between revisions

Revision as of 16:34, 25 April 2019

Latest revision as of 01:40, 3 September 2024

(37 intermediate revisions by 24 users not shown)

Line 1:

{{Short description|Whether or not there exists a set of values to satisfy a given system of equations}}

{{unreferenced|date=April 2018}}

In [[mathematics]] and in particularparticularly in [[algebra]], a [[system of equations]] (either [[linear equation system|linear]] or [[nonlinear equation system|nonlinear]] [[system of equations]]) is called '''consistent''' if there is at least one set of values for the unknowns that satisfies everyeach equation in the system&mdash;that is, that when [[substitution (algebra)|substituted]] into each of the equations, they makesmake each equation hold true as an [[identity (mathematics)|identity]]. In contrast, ana linear or non linear equation system is called '''inconsistent''' if there is no set of values for the unknowns that satisfies all of the equations.<ref>{{Cite web|title=Definition of INCONSISTENT EQUATIONS|url=https://www.merriam-webster.com/dictionary/consistent+equations|access-date=2021-06-10|website=www.merriam-webster.com|language=en}}</ref><ref>{{Cite web|title=Definition of consistent equations {{!}} Dictionary.com|url=https://www.dictionary.com/browse/consistent-equations|access-date=2021-06-10|website=www.dictionary.com|language=en}}</ref>

If a system of equations is inconsistent, then it is possible to manipulate and combine the equations incannot suchbe atrue waytogether asleading to obtain contradictory information, such as the false statements {{math|1=2 = 1}}, or ''x''<supmath>x^3</sup> + ''y''^{^3} = 5</math> ''and'' ''x''<supmath>x^3</sup> + ''y''^{^3} = 6</math> (which implies {{math|1=5 = 6}}).

Both types of equation system, consistentinconsistent and inconsistentconsistent, can be any of [[overdetermined system|overdetermined]] (having more equations than unknowns), [[underdetermined system|underdetermined]] (having fewer equations than unknowns), or properlyexactly determined.

==Simple examples==

Line 11:

===Underdetermined and consistent===

The system

:<math>x+y+z=3,</math>\begin{align}

x+y+z &= 3, \\

x+y+2z &= 4

\end{align}</math>

has an infinite number of solutions, all of them having {{math|1=''z'' = 1}} (as can be seen by subtracting the first equation from the second), and all of them therefore having {{math|1=''x'' + ''y'' = 2}} for any values of {{mvar|x}} and {{mvar|y}}.

:<math>x+y+2z=4</math>

has an infinite number of solutions, all of them having ''z'' = 1 (as can be seen by subtracting the first equation from the second), and all of them therefore

The nonlinear system

:<math>x^2+y^2+z^2=10,</math>\begin{align}

:<math>x^2+y^2+z^2 &=5</math> 10, \\

x^2+y^2 &= 5

\end{align}</math>

has an infinitude of solutions, all involving <math>z=\pm \sqrt{5}.</math>

Since each of these systems has more than one solution, it is an [[indeterminate system]] .

===Underdetermined and inconsistent===

Line 29 ⟶ 33:

The system

:<math>x+y+z=3,</math>\begin{align}

x+y+z &= 3, \\

x+y+z &= 4

\end{align}</math>

has no solutions, as can be seen by subtracting the first equation from the second to obtain the impossible {{math|1=0 = 1}}.

:<math>x+y+z=4</math>

The nonlinearnon-linear system

has no solutions, as can be seen by subtracting the first equation from the second to obtain the impossible 0 = 1.

:<math>\begin{align}

The nonlinear system

x^2+y^2+z^2 &= 17, \\

:<math>x^2+y^2+z^2 &=17,</math> 14

:<math>x^2+y^2+z^2=14\end{align}</math>

has no solutions, because if one equation is subtracted from the other we obtain the impossible {{math|1=0 = 3}}.

===Exactly determined and consistent===

Line 46 ⟶ 53:

The system

:<math>x+y=3,</math>\begin{align}

x+y &= 3, \\

:<math>x+2y= 5</math>

x+2y &= 5

\end{align}</math>

has exactly one solution: {{math|1=''x'' = 1, ''y'' = 2.}}

The nonlinear system

:<math>x+y=1,</math>\begin{align}

:<math>x^2+y^2 &= 1</math>, \\

x^2+y^2 &= 1

\end{align}</math>

has the two solutions {{math|1=(''x, y'') = (1, 0)}} and {{math|1=(''x, y'') = (0, 1)}}, while

:<math>x^3+y^3+z^3=10,</math>\begin{align}

:<math>x^3+2yy^3+z^3 &=12 10,</math> \\

:<math>3xx^3+5y2y^3+3zz^3 &=34</math> 12, \\

3x^3+5y^3+3z^3 &= 34

\end{align}</math>

has an infinite number of solutions because the third equation is the first equation plus twice the second one and hence contains no independent information; thus any value of ''{{mvar|z''}} can be chosen and values of ''{{mvar|x''}} and ''{{mvar|y''}} can be found to satisfy the first two (and hence the third) equations.

===Exactly determined and inconsistent===

Line 68 ⟶ 81:

The system

:<math>x+y=3,</math>\begin{align}

x+y &= 3, \\

:<math>4x+4y=10</math>

4x+4y &= 10

\end{align}</math>

has no solutions; the inconsistency can be seen by multiplying the first equation by 4 and subtracting the second equation to obtain the impossible {{math|1=0 = 2}}.

Likewise,

:<math>x^3+y^3+z^3=10,</math>\begin{align}

:<math>x^3+2yy^3+z^3 &=12 10,</math> \\

:<math>3xx^3+5y2y^3+3zz^3 &=32</math> 12, \\

3x^3+5y^3+3z^3 &= 32

\end{align}</math>

is an inconsistent system because the first equation plus twice the second minus the third contains the contradiction {{math|1=0 = 2}}.

===Overdetermined and consistent===

Line 85 ⟶ 102:

The system

:<math>x+y=3,</math>\begin{align}

:<math>x+y 2y&= 73,</math> \\

x+ 2y &= 7, \\

:<math>4x+6y=20</math>

4x+6y &= 20

\end{align}</math>

has a solution, {{math|1=''x'' = –1, ''y'' = 4}}, because the first two equations do not contradict each other and the third equation is redundant (since it contains the same information as can be obtained from the first two equations by multiplying each through by 2 and summing them).

The system

:<math>x+2y=7,</math>\begin{align}

x+2y &= 7, \\

:<math>3x+6y=21,</math>

3x+6y &= 21, \\

:<math>7x+14y=49</math>

7x+14y &= 49

\end{align}</math>

has an infinitude of solutions since all three equations give the same information as each other (as can be seen by multiplying through the first equation by either 3 or 7). Any value of ''{{mvar|y''}} is part of a solution, with the corresponding value of {{mvar|x}} being {{math|7 – 2''xy'' being 7–2y}}.

The nonlinear system

:<math>x^2-1=0,</math>\begin{align}

:<math>yx^2-1 &= 0,</math> \\

y^2-1 &= 0, \\

:<math>(x-1)(y-1) &= 0</math>

\end{align}</math>

has the three solutions {{math|1=(''x, y'') = (1, –1), (–1, 1), and (1, 1)}}.

===Overdetermined and inconsistent===

Line 111 ⟶ 134:

The system

:<math>x+y=3,</math>\begin{align}

:<math>x+y 2y&= 73,</math> \\

x+2y &= 7, \\

:<math>4x+6y=21</math>

4x+6y &= 21

\end{align}</math>

is inconsistent because the last equation contradicts the information embedded in the first two, as seen by multiplying each of the first two through by 2 and summing them.

Line 119 ⟶ 144:

The system

:<math>x^2+y^2=1,</math>\begin{align}

:<math>x^2+2yy^2 &=2 1,</math> \\

:<math>2xx^2+3y2y^2 &=4</math> 2, \\

2x^2+3y^2 &= 4

\end{align}</math>

is inconsistent because the sum of the first two equations contradicts the third one.

Line 136 ⟶ 163:

===Nonlinear systems===

{{Main|System of polynomial equations#What is solving?}}

==References==

{{reflist}}