8.7: Systems of NonLinear Equations and Inequalities
 Page ID
 80808
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{\!\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\ #1 \}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\ #1 \}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{\!\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{\!\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left#1\right}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In this section, we study systems of nonlinear equations and inequalities. Unlike the systems of linear equations for which we have developed several algorithmic solution techniques, there is no general algorithm to solve systems of nonlinear equations. Moreover, all of the usual hazards of nonlinear equations like extraneous solutions and unusual function domains are once again present. Along with the tried and true techniques of substitution and elimination, we shall often need equal parts tenacity and ingenuity to see a problem through to the end. You may find it necessary to review topics throughout the text which pertain to solving equations involving the various functions we have studied thus far. To get the section rolling we begin with a fairly routine example.
Solve the following systems of equations. Verify your answers algebraically and graphically.
 \(\left\{\begin{array}{r}
x^{2}+y^{2} =&4 \\
4 x^{2}+9 y^{2} =& 36
\end{array}\right.\)  \(\left\{\begin{array}r
x^{2}+y^{2} =&4 \\
4 x^{2}9 y^{2} =&36
\end{array}\right.\)  \(\text { 3. }\left\{\begin{array}{r}
x^{2}+y^{2}=4 \\
y2 x=0
\end{array}\right.\)  \(\left\{\begin{array}{r}
x^{2}+y^{2}=4 \\
yx^{2}=0
\end{array}\right.\)
Solution
 Since both equations contain \(x^{2}\) and \(y^{2}\) only, we can eliminate one of the variables as we did in Section 8.1. \[\left\{\begin{array}{lrrl}
(E 1) \quad x^2+y^2&=&4 &\quad \xrightarrow{\text{Replace } E2 \text{ with}}\\
(E 2)\quad 4x^2+9y^2&=&36 &\quad 4E1 + E2 \end{array}\right.\quad \left \{\begin{array}{lr} (E1) \quad x^2+y^2 &=&4\\ (E2)\quad \ \ \ \ \ \ \ 5y^2 &=&20 \end{array}\right.\nonumber\] From \(5 y^{2}=20\), we get \(y^{2}=4\) or \(y=\pm 2\). To find the associated \(x\) values, we substitute each value of \(y\) into one of the equations to find the resulting value of \(x\). Choosing \(x^{2}+y^{2}=4\), we find that for both \(y = −2\) and \(y = 2\), we get \(x = 0\). Our solution is thus {(0, 2),(0, −2)}. To check this algebraically, we need to show that both points satisfy both of the original equations. We leave it to the reader to verify this. To check our answer graphically, we sketch both equations and look for their points of intersection. The graph of \(x^{2}+y^{2}=4\) is a circle centered at (0, 0) with a radius of 2, whereas the graph of \(4 x^{2}+9 y^{2}=36\), when written in the standard form \(\frac{x^{2}}{9}+\frac{y^{2}}{4}=1\) is easily recognized as an ellipse centered at (0, 0) with a major axis along the xaxis of length 6 and a minor axis along the yaxis of length 4. We see from the graph that the two curves intersect at their yintercepts only, (0, ±2).  We proceed as before to eliminate one of the variables \[\left\{\begin{array}{lrrl}
(E 1) \quad \ \ x^2+\ \ y^2&=&4 &\quad \xrightarrow{\text{Replace } E2 \text{ with}}\\
(E 2)\quad 4x^29y^2&=&36 &\quad 4E1 + E2 \end{array}\right.\quad \left \{\begin{array}{lr} (E1) \quad x^2+y^2 &=&4\\ (E2)\quad 13y^2 &=&20 \end{array}\right.\nonumber\] Since the equation \(13 y^{2}=20\) admits no real solution, the system is inconsistent. To verify this graphically, we note that \(x^{2}+y^{2}=4\) is the same circle as before, but when writing the second equation in standard form, \(\frac{x^{2}}{9}\frac{y^{2}}{4}=1\), we find a hyperbola centered at (0, 0) opening to the left and right with a transverse axis of length 6 and a conjugate axis of length 4. We see that the circle and the hyperbola have no points in common.  Since there are no like terms among the two equations, elimination won’t do us any good. We turn to substitution and from the equation \(y − 2x = 0\), we get \(y = 2x\). Substituting this into \(x^{2}+y^{2}=4\) gives \(x^{2}+(2 x)^{2}=4\). Solving, we find \(5 x^{2}=4\) or \(x=\pm \frac{2 \sqrt{5}}{5}\). Returning to the equation we used for the substitution, \(y = 2x\), we find \(y=\frac{4 \sqrt{5}}{5}\) when \(x=\frac{2 \sqrt{5}}{5}\), so one solution is \(\left(\frac{2 \sqrt{5}}{5}, \frac{4 \sqrt{5}}{5}\right)\). Similarly, we find the other solution to be \(\left(\frac{2 \sqrt{5}}{5},\frac{4 \sqrt{5}}{5}\right)\). We leave it to the reader that both points satisfy both equations, so that our final answer is \(\left\{\left(\frac{2 \sqrt{5}}{5}, \frac{4 \sqrt{5}}{5}\right),\left(\frac{2 \sqrt{5}}{5},\frac{4 \sqrt{5}}{5}\right)\right\}\). The graph of \(x^{2}+y^{2}=4\) is our circle from before and the graph of \(y − 2x = 0\) is a line through the origin with slope 2. Though we cannot verify the numerical values of the points of intersection from our sketch, we do see that we have two solutions: one in Quadrant I and one in Quadrant III as required.
 While it may be tempting to solve \(yx^{2}=0\) as \(y=x^{2}\) and substitute, we note that this system is set up for elimination.^{1} \[ \left\{\begin{array}{ll}
(E 1) \quad x^2+\ \ y^2&=&4 &\quad \xrightarrow{\text{Replace } E2 \text{ with}}\\
(E 2)\quad y\ \ \ \ x^2&=&0 &\quad \ \ \ \ \ \ E1 + E2 \end{array}\right.\quad \left \{\begin{array}{lr} (E1) \quad x^2+y^2 &=&4\\ (E2)\quad y^2+y &=&4 \end{array}\right.\nonumber\] From \(y^{2}+y=4\) we get \(y^{2}+y4=0\) which gives \(y=\frac{1 \pm \sqrt{17}}{2}\). Due to the complicated nature of these answers, it is worth our time to make a quick sketch of both equations to head off any extraneous solutions we may encounter. We see that the circle \(x^{2}+y^{2}=4\) intersects the parabola \(y=x^{2}\) exactly twice, and both of these points have a positive \(y\) value. Of the two solutions for \(y\), only \(y=\frac{1+\sqrt{17}}{2}\) is positive, so to get our solution, we substitute this into \(yx^{2}=0\) and solve for \(x\). We get \(x=\pm \sqrt{\frac{1+\sqrt{17}}{2}}=\pm \frac{\sqrt{2+2 \sqrt{17}}}{2}\). Our solution is \(\left\{\left(\frac{\sqrt{2+2 \sqrt{17}}}{2}, \frac{1+\sqrt{17}}{2}\right),\left(\frac{\sqrt{2+2 \sqrt{17}}}{2}, \frac{1+\sqrt{17}}{2}\right)\right\}\), which we leave to the reader to verify.
A couple of remarks about Example 8.7.1 are in order. First note that, unlike systems of linear equations, it is possible for a system of nonlinear equations to have more than one solution without having infinitely many solutions. In fact, while we characterize systems of nonlinear equations as being ‘consistent’ or ‘inconsistent,’ we generally don’t use the labels ‘dependent’ or ‘independent’. Secondly, as we saw with number 4, sometimes making a quick sketch of the problem situation can save a lot of time and effort. While in general the curves in a system of nonlinear equations may not be easily visualized, it sometimes pays to take advantage when they are. Our next example provides some considerable review of many of the topics introduced in this text.
Solve the following systems of equations. Verify your answers algebraically and graphically, as appropriate.
 \(\left\{\begin{array}{l}
x^{2}+2 x y16=0 \\
y^{2}+2 x y16=0
\end{array}\right.\)  \(\left\{\begin{array}{l}
y+4 e^{2 x}=1 \\
y^{2}+2 e^{x}=1
\end{array}\right.\)  \(\left\{\begin{aligned}
z(x2) &=x \\
y z &=y \\
(x2)^{2}+y^{2} &=1
\end{aligned}\right.\)
Solution
 At first glance, it doesn’t appear as though elimination will do us any good since it’s clear that we cannot completely eliminate one of the variables. The alternative, solving one of the equations for one variable and substituting it into the other, is full of unpleasantness. Returning to elimination, we note that it is possible to eliminate the troublesome \(xy\) term, and the constant term as well, by elimination and doing so we get a more tractable relationship between \(x\) and \(y\) \[ \left\{\begin{array}{ll} (E 1) \quad x^2+\ \ 2xy16&=&0 &\quad \xrightarrow{\text{Replace } E2 \text{ with}}\\
(E 2)\quad y^2+\ \ 2xy16&=&0 &\quad \ \ \ \ \ \ E1 + E2 \end{array}\right.\quad \left \{\begin{array}{lr} (E1) \quad x^2+2xy16 &=&0\\ (E2)\quad \ \ \ \ \ \ \ \ \ \ \ \ y^2x^2 &=&0 \end{array}\right.\nonumber\] We get \(y^{2}x^{2}=0\) or \(y=\pm x\). Substituting \(y = x\) into \(E\)1 we get \(x^{2}+2 x^{2}16=0\) so that \(x^{2}=\frac{16}{3}\) or \(x=\pm \frac{4 \sqrt{3}}{3}\). On the other hand, when we substitute \(y = −x\) into \(E\)1, we get \(x^{2}2 x^{2}16=0\) or \(x^{2}=16\) which gives no real solutions. Substituting each of \(x=\pm \frac{4 \sqrt{3}}{3}\) into the substitution equation \(y = x\) yields the solution \(\left\{\left(\frac{4 \sqrt{3}}{3}, \frac{4 \sqrt{3}}{3}\right),\left(\frac{4 \sqrt{3}}{3},\frac{4 \sqrt{3}}{3}\right)\right\}\). We leave it to the reader to show that both points satisfy both equations and now turn to verifying our solution graphically. We begin by solving \(x^{2}+2 x y16=0\) for \(y\) to obtain \(y=\frac{16x^{2}}{2 x}\). This function is easily graphed using the techniques of Section 4.2. Solving the second equation, \(y^{2}+2 x y16=0\), for \(y\), however, is more complicated. We use the quadratic formula to obtain \(y=x \pm \sqrt{x^{2}+16}\) which would require the use of Calculus or a calculator to graph. Believe it or not, we don’t need either because the equation \(y^{2}+2 x y16=0\) can be obtained from the equation \(x^{2}+2 x y16=0\) by interchanging \(y\) and \(x\). Thinking back to Section 5.2, this means we can obtain the graph of \(y^{2}+2 x y16=0\) by reflecting the graph of \(x^{2}+2 x y16=0\) across the line \(y = x\). Doing so confirms that the two graphs intersect twice: once in Quadrant I, and once in Quadrant III as required.  Unlike the previous problem, there seems to be no avoiding substitution and a bit of algebraic unpleasantness. Solving \(y+4 e^{2 x}=1\) for \(y\), we get \(y=14 e^{2 x}\) which, when substituted into the second equation, yields \(\left(14 e^{2 x}\right)^{2}+2 e^{x}=1\). After expanding and gathering like terms, we get \(16 e^{4 x}8 e^{2 x}+2 e^{x}=0\). Factoring gives us \(2 e^{x}\left(8 e^{3 x}4 e^{x}+1\right)=0\), and since \(2 e^{x} \neq 0\) for any real \(x\), we are left with solving \(8 e^{3 x}4 e^{x}+1=0\). We have three terms, and even though this is not a ‘quadratic in disguise’, we can benefit from the substitution \(u=e^{x}\). The equation becomes \(8 u^{3}4 u+1=0\). Using the techniques set forth in Section 3.3, we find \(u=\frac{1}{2}\) is a zero and use synthetic division to factor the left hand side \(\left(u\frac{1}{2}\right)\left(8 u^{2}+4 u2\right)\). We use the quadratic formula to solve \(8 u^{2}+4 u2=0\) and find \(u=\frac{1 \pm \sqrt{5}}{4}\). Since \(u=e^{x}\), we now must solve \(e^{x}=\frac{1}{2}\) and \(e^{x}=\frac{1 \pm \sqrt{5}}{4}\). From \(e^{x}=\frac{1}{2}\), we get \(x=\ln \left(\frac{1}{2}\right)=\ln (2)\). As for \(e^{x}=\frac{1 \pm \sqrt{5}}{4}\), we first note that \(\frac{1\sqrt{5}}{4}<0\), so \(e^{x}=\frac{1\sqrt{5}}{4}\) has no real solutions. We are left with \(e^{x}=\frac{1+\sqrt{5}}{4}\), so that \(x=\ln \left(\frac{1+\sqrt{5}}{4}\right)\). We now return to \(y=14 e^{2 x}\) to find the accompanying \(y\) values for each of our solutions for \(x\). For \(x=\ln (2)\), we get \[ \begin{aligned} y &=14 e^{2 x} \\ &=14 e^{2 \ln (2)} \\ &=14 e^{\ln \left(\frac{1}{4}\right)} \\ &=14\left(\frac{1}{4}\right) \\ &=0 \end{aligned}\nonumber\] For \(x=\ln \left(\frac{1+\sqrt{5}}{4}\right)\), we have \[ \begin{aligned} y &=14 e^{2 x} \\ &=14 e^{2 \ln \left(\frac{1+\sqrt{5}}{4}\right)} \\ &=14 e^{\ln \left(\frac{1+\sqrt{5}}{4}\right)^{2}} \\ &=14\left(\frac{1+\sqrt{5}}{4}\right)^{2} \\ &=14\left(\frac{3\sqrt{5}}{8}\right) \\ &=\frac{1+\sqrt{5}}{2} \end{aligned}\] We get two solutions, \(\left\{(0,\ln (2)),\left(\ln \left(\frac{1+\sqrt{5}}{4}\right), \frac{1+\sqrt{5}}{2}\right)\right\}\). It is a good review of the properties of logarithms to verify both solutions, so we leave that to the reader. We are able to sketch \(y=14 e^{2 x}\) using transformations, but the second equation is more difficult and we resort to the calculator. We note that to graph \(y^{2}+2 e^{x}=1\), we need to graph both the positive and negative roots, \(y=\pm \sqrt{12 e^{x}}\). After some careful zooming,^{2} we get
 Our last system involves three variables and gives some insight on how to keep such systems organized. Labeling the equations as before, we have \[ \left \{\begin{array}{lr} E 1& \quad z(x2)&=&x\\ E 2& y z&=&y\\ E 3&(x2)^{2}+y^{2}&=&1 \end{array}\right.\nonumber\] The easiest equation to start with appears to be \(E\)2. While it may be tempting to divide both sides of \(E\)2 by \(y\), we caution against this practice because it presupposes \(y \neq 0\). Instead, we take \(E\)2 and rewrite it as \(y zy=0\) so \(y(z1)=0\). From this, we get two cases: \(y = 0\) or \(z = 1\). We take each case in turn.
Case 1: \(y = 0\). Substituting \(y = 0\) into \(E\)1 and \(E\)3, we get
\[\left\{\begin{array}{lr}
E 1& \quad z(x2)&=&x \\
E 3& (x2)^{2}&=&1
\end{array}\right.\nonumber\]Solving \(E\)3 for \(x\) gives \(x = 1\) or \(x = 3\). Substituting these values into \(E\)1 gives \(z = −1\) when \(x = 1\) and \(z = 3\) when \(x = 3\). We obtain two solutions, (1, 0, −1) and (3, 0, 3).
Case 2: \(z = 1\). Substituting \(z = 1\) into \(E\)1 and \(E\)3 gives us
\[ \left\{\begin{array}{lr}
E 1& \quad(1)(x2)&=&x \\
E 3&(12)^{2}+y^{2}&=&1
\end{array}\right.\nonumber\]Equation \(E\)1 gives us \(x − 2 = x\) or −2 = 0, which is a contradiction. This means we have no solution to the system in this case, even though \(E\)3 is solvable and gives y = 0. Hence, our final answer is {(1, 0, −1),(3, 0, 3)}. These points are easy enough to check algebraically in our three original equations, so that is left to the reader. As for verifying these solutions graphically, they require plotting surfaces in three dimensions and looking for intersection points. While this is beyond the scope of this book, we provide a snapshot of the graphs of our three equations near one of the solution points, (1, 0, −1).
Example 8.7.2 showcases some of the ingenuity and tenacity mentioned at the beginning of the section. Sometimes you just have to look at a system the right way to find the most efficient method to solve it. Sometimes you just have to try something.
We close this section discussing how nonlinear inequalities can be used to describe regions in the plane which we first introduced in Section 2.4. Before we embark on some examples, a little motivation is in order. Suppose we wish to solve \(x^2 < 4  y^2\). If we mimic the algorithms for solving nonlinear inequalities in one variable, we would gather all of the terms on one side and leave a \(0\) on the other to obtain \(x^2 + y^2 4 < 0\). Then we would find the zeros of the left hand side, that is, where is \(x^2 + y^2  4 = 0\), or \(x^2 + y^2 = 4\). Instead of obtaining a few numbers which divide the real number line into intervals, we get an equation of a curve, in this case, a circle, which divides the plane into two regions  the ‘inside’ and ‘outside’ of the circle  with the circle itself as the boundary between the two. Just like we used test values to determine whether or not an interval belongs to the solution of the inequality, we use test points in the each of the regions to see which of these belong to our solution set.^{3} We choose \((0,0)\) to represent the region inside the circle and \((0,3)\) to represent the points outside of the circle. When we substitute \((0,0)\) into \(x^2 + y^2 4 < 0\), we get \(4 < 4\) which is true. This means \((0,0)\) and all the other points inside the circle are part of the solution. On the other hand, when we substitute \((0,3)\) into the same inequality, we get \(5 < 0\) which is false. This means \((0,3)\) along with all other points outside the circle are not part of the solution. What about points on the circle itself? Choosing a point on the circle, say \((0,2)\), we get \(0 < 0\), which means the circle itself does not satisfy the inequality.^{4} As a result, we leave the circle dashed in the final diagram.
We put this technique to good use in the following example.
Sketch the solution to the following nonlinear inequalities in the plane.
 \(y^{2}4 \leq x<y+2\)
 \(\left\{\begin{aligned}
x^{2}+y^{2} & \geq 4 \\
x^{2}2 x+y^{2}2 y & \leq 0
\end{aligned}\right.\)
Solution
 The inequality \(y^{2}4 \leq x<y+2\) is a compound inequality. It translates as \(y^{2}4 \leq x\) and \(x<y+2\). As usual, we solve each inequality and take the set theoretic intersection to determine the region which satisfies both inequalities. To solve \(y^{2}4 \leq x\), we write \(y^{2}x4 \leq 0\). The curve \(y^{2}x4=0\) describes a parabola since exactly one of the variables is squared. Rewriting this in standard form, we get \(y^{2}=x+4\) and we see that the vertex is (−4, 0) and the parabola opens to the right. Using the test points (−5, 0) and (0, 0), we find that the solution to the inequality includes the region to the right of, or ‘inside’, the parabola. The points on the parabola itself are also part of the solution, since the vertex (−4, 0) satisfies the inequality. We now turn our attention to \(x<y+2\). Proceeding as before, we write \(xy2<0\) and focus our attention on \(x − y − 2 = 0\), which is the line \(y = x − 2\). Using the test points (0, 0) and (0, −4), we find points in the region above the line \(y = x − 2\) satisfy the inequality. The points on the line \(y = x − 2\) do not satisfy the inequality, since the yintercept (0, −2) does not. We see that these two regions do overlap, and to make the graph more precise, we seek the intersection of these two curves. That is, we need to solve the system of nonlinear equations \[ \left\{\begin{array}{l} (E 1) \quad y^{2}&=&x+4 \\ (E 2) \quad y&=&x2 \end{array}\right.\nonumber\] Solving \(E\)1 for \(x\), we get \(x=y^{2}4\). Substituting this into \(E\)2 gives \(y=y^{2}42\), or \(y^{2}y6=0\). We find \(y = −2\) and \(y = 3\) and since \(x=y^{2}4\), we get that the graphs intersect at (0, −2) and (5, 3). Putting all of this together, we get our final answer below.
 To solve this system of inequalities, we need to find all of the points \((x, y)\) which satisfy both inequalities. To do this, we solve each inequality separately and take the set theoretic intersection of the solution sets. We begin with the inequality \(x^{2}+y^{2} \geq 4\) which we rewrite as \(x^{2}+y^{2}4 \geq 0\). The points which satisfy \(x^{2}+y^{2}4=0\) form our friendly circle \(x^{2}+y^{2}=4\). Using test points (0, 0) and (0, 3) we find that our solution comprises the region outside the circle. As far as the circle itself, the point (0, 2) satisfies the inequality, so the circle itself is part of the solution set. Moving to the inequality \(x^{2}2 x+y^{2}2 y \leq 0\), we start with \(x^{2}2 x+y^{2}2 y=0\). Completing the squares, we obtain \((x1)^{2}+(y1)^{2}=2\), which is a circle centered at (1, 1) with a radius of \(\sqrt{2}\). Choosing (1, 1) to represent the inside of the circle, (1, 3) as a point outside of the circle and (0, 0) as a point on the circle, we find that the solution to the inequality is the inside of the circle, including the circle itself. Our final answer, then, consists of the points on or outside of the circle \(x^{2}+y^{2}=4\) which lie on or inside the circle \((x1)^{2}+(y1)^{2}=2\). To produce the most accurate graph, we need to find where these circles intersect. To that end, we solve the system \[\left\{\begin{array}{r} (E 1)& \quad x^{2}+y^{2}&=&4 \\ (E 2)& \quad x^{2}2 x+y^{2}2 y&=&0 \end{array}\right.\n\nonumber\] We can eliminate both the \(x^{2}\) and \(y^{2}\) by replacing \(E2\) with \(E 1+E 2\). Doing so produces \(−2x − 2y = −4\). Solving this for \(y\), we get \(y = 2 − x\). Substituting this into \(E1\) gives \(x^{2}+(2x)^{2}=4\) which simplifies to \(x^{2}+44 x+x^{2}=4\) or \(2 x^{2}4 x=0\). Factoring yields \(2x(x − 2)\) which gives \(x = 0\) or \(x = 2\). Substituting these values into \(y = 2 − x\) gives the points (0, 2) and (2, 0). The intermediate graphs and final solution are below.
8.7.1 Exercises
In Exercises 1  6, solve the given system of nonlinear equations. Sketch the graph of both equations on the same set of axes to verify the solution set.
 \(\left\{\begin{aligned}
x^{2}y &=4 \\
x^{2}+y^{2} &=4
\end{aligned}\right.\)  \(\left\{\begin{array}{r}
x^{2}+y^{2}=4 \\
x^{2}y=5
\end{array}\right.\)  \(\left\{\begin{aligned}
x^{2}+y^{2} &=16 \\
16 x^{2}+4 y^{2} &=64
\end{aligned}\right.\)  \(\left\{\begin{array}{rrr}
x^{2}+y^{2} & =&16 \\
9 x^{2}16 y^{2} & =&144
\end{array}\right.\)  \(\left\{\begin{array}{rlr}
x^{2}+y^{2} & =&16 \\
\frac{1}{9} y^{2}\frac{1}{16} x^{2} & =&1
\end{array}\right.\)  \(\left\{\begin{array}{rlr}
x^{2}+y^{2} & = & 16 \\
xy & = & 2
\end{array}\right.\)
In Exercises 7  15, solve the given system of nonlinear equations. Use a graph to help you avoid any potential extraneous solutions.
 \(\left\{\begin{aligned}
x^{2}y^{2} &=1 \\
x^{2}+4 y^{2} &=4
\end{aligned}\right.\)  \(\left\{\begin{aligned}
\sqrt{x+1}y &=0 \\
x^{2}+4 y^{2} &=4
\end{aligned}\right.\)  \(\left\{\begin{aligned}
x+2 y^{2} &=2 \\
x^{2}+4 y^{2} &=4
\end{aligned}\right.\)  \(\left\{\begin{aligned}
(x2)^{2}+y^{2} &=1 \\
x^{2}+4 y^{2} &=4
\end{aligned}\right.\)  \(\left\{\begin{array}{rlr}
x^{2}+y^{2} & =&25 \\
yx & =&1
\end{array}\right.\)  \(\left\{\begin{aligned}
x^{2}+y^{2} &=25 \\
x^{2}+(y3)^{2} &=10
\end{aligned}\right.\)  \(\left\{\begin{array}{l}
y=x^{3}+8 \\
y=10 xx^{2}
\end{array}\right.\)  \(\left\{\begin{array}{l}
x^{2}x y=8 \\
y^{2}x y=8
\end{array}\right.\)  \(\left\{\begin{array}{rlr}
x^{2}+y^{2} & = & 25 \\
4 x^{2}9 y & = & 0 \\
3 y^{2}16 x & = & 0
\end{array}\right.\)  A certain bacteria culture follows the Law of Uninbited Growth, Equation 6.4. After 10 minutes, there are 10,000 bacteria. Five minutes later, there are 14,000 bacteria. How many bacteria were present initially? How long before there are 50,000 bacteria?
Consider the system of nonlinear equations below
\(\left\{\begin{array}{l}
\frac{4}{x}+\frac{3}{y}=1 \\
\frac{3}{x}+\frac{2}{y}=1
\end{array}\right.\)
If we let \(u=\frac{1}{x}\) and \(v=\frac{1}{y}\) then the system becomes
\(\left\{\begin{array}{lr}
4 u+3 v&=&1 \\
3 u+2 v&=&1
\end{array}\right.\)
This associated system of linear equations can then be solved using any of the techniques presented earlier in the chapter to find that \(u = −5\) and \(v = 7\). Thus \(x=\frac{1}{u}=\frac{1}{5}\) and \(y=\frac{1}{v}=\frac{1}{7}\).
We say that the original system is linear in form because its equations are not linear but a few substitutions reveal a structure that we can treat like a system of linear equations. Each system in Exercises 17  19 is linear in form. Make the appropriate substitutions and solve for \(x\) and \(y\).
 \(\left\{\begin{array}{rrr}
4 x^{3}+3 \sqrt{y}= & 1 \\
3 x^{3}+2 \sqrt{y}= & 1
\end{array}\right.\)  \(\left\{\begin{aligned}
4 e^{x}+3 e^{y} &=1 \\
3 e^{x}+2 e^{y} &=1
\end{aligned}\right.\)  \(\left\{\begin{array}{lr}
4 \ln (x)+3 y^{2}&=&1 \\
3 \ln (x)+2 y^{2}&=&1
\end{array}\right.\)  Solve the following system \[\left\{\begin{aligned}
x^{2}+\sqrt{y}+\log _{2}(z) &=6 \\
3 x^{2}2 \sqrt{y}+2 \log _{2}(z) &=5 \\
5 x^{2}+3 \sqrt{y}+4 \log _{2}(z) &=13
\end{aligned}\right.\nonumber\]
In Exercises 21  26, sketch the solution to each system of nonlinear inequalities in the plane.
 \(\left\{\begin{aligned}
x^{2}y^{2} & \leq 1 \\
x^{2}+4 y^{2} & \geq 4
\end{aligned}\right.\)  \(\left\{\begin{aligned}
x^{2}+y^{2} &<25 \\
x^{2}+(y3)^{2} & \geq 10
\end{aligned}\right.\)  \(\left\{\begin{aligned}
(x2)^{2}+y^{2} &<1 \\
x^{2}+4 y^{2} &<4
\end{aligned}\right.\)  \(\left\{\begin{array}{rrr}
y & > & 10 xx^{2} \\
y & < & x^{3}+8
\end{array}\right.\)  \(\left\{\begin{aligned}
x+2 y^{2} &>2 \\
x^{2}+4 y^{2} & \leq 4
\end{aligned}\right.\)  \(\left\{\begin{aligned}
x^{2}+y^{2} & \geq 25 \\
yx & \leq 1
\end{aligned}\right.\)  Systems of nonlinear equations show up in third semester Calculus in the midst of some really cool problems. The system below came from a problem in which we were asked to find the dimensions of a rectangular box with a volume of 1000 cubic inches that has minimal surface area. The variables \(x\), \(y\) and \(z\) are the dimensions of the box and λ is called a Lagrange multiplier. With the help of your classmates, solve the system.^{5} \[\left\{\begin{aligned}
2 y+2 z &=\lambda y z \\
2 x+2 z &=\lambda x z \\
2 y+2 x &=\lambda x y \\
x y z &=1000
\end{aligned}\right.\nonumber\]  According to Theorem 3.16 in Section 3.4, the polynomial \(p(x)=x^{4}+4\) can be factored into the product linear and irreducible quadratic factors. In this exercise, we present a method for obtaining that factorization.
 Show that \(p\) has no real zeros.
 Because \(p\) has no real zeros, its factorization must be of the form \(\left(x^{2}+a x+b\right)\left(x^{2}+c x+d\right)\) where each factor is an irreducible quadratic. Expand this quantity and gather like terms together.
 Create and solve the system of nonlinear equations which results from equating the coefficients of the expansion found above with those of \(x^{4}+4\). You should get four equations in the four unknowns \(a\), \(b\), \(c\) and \(d\). Write p(x) in factored form.
 Factor \(q(x)=x^{4}+6 x^{2}5 x+6\).
8.7.2 Answers
 \((\pm 2,0),(\pm \sqrt{3},1)\)
 No solution
 \((0, \pm 4)\)
 \((\pm 4,0)\)
 \(\left(\pm \frac{4 \sqrt{7}}{5}, \pm \frac{12 \sqrt{2}}{5}\right)\)
 \((1+\sqrt{7},1+\sqrt{7}),(1\sqrt{7},1\sqrt{7})\)
 \(\left(\pm \frac{2 \sqrt{10}}{5}, \pm \frac{\sqrt{15}}{5}\right)\)
 \((0,1)\)
 \((0, \pm 1),(2,0)\)
 \(\left(\frac{4}{3}, \pm \frac{\sqrt{5}}{3}\right)\)
 \((3,4),(4,3)\)
 \((\pm 3,4)\)
 \((4,56),(1,9),(2,16)\)
 \((2,2),(2,2)\)
 \((3,4)\)
 Initially, there are \(\frac{250000}{49} \approx 5102\) bacteria. It will take \(\frac{5 \ln (49 / 5)}{\ln (7 / 5)} \approx 33.92\) minutes for the colony to grow to 50,000 bacteria.
 \((\sqrt[3]{5}, 49)\)
 No solution
 \(\left(e^{5}, \pm \sqrt{7}\right)\)
 (1, 4, 8), (−1, 4, 8)

\(\left\{\begin{aligned}
x^{2}y^{2} & \leq 1 \\
x^{2}+4 y^{2} & \geq 4
\end{aligned}\right.\) 
\(\left\{\begin{aligned}
x^{2}+y^{2} &<25 \\
x^{2}+(y3)^{2} & \geq 10
\end{aligned}\right.\) 
\(\left\{\begin{aligned}
(x2)^{2}+y^{2} &<1 \\
x^{2}+4 y^{2} &<4
\end{aligned}\right.\) 
\(\left\{\begin{array}{lr}
y> & 10 xx^{2} \\
y< & x^{3}+8
\end{array}\right.\) 
\(\left\{\begin{aligned}
x+2 y^{2} &>2 \\
x^{2}+4 y^{2} & \leq 4
\end{aligned}\right.\) 
\(\left\{\begin{aligned}
x^{2}+y^{2} & \geq 25 \\
yx & \leq 1
\end{aligned}\right.\)  \(x=10, y=10, z=10, \lambda=\frac{2}{5}\)
 \(\text { (c) } x^{4}+4=\left(x^{2}2 x+2\right)\left(x^{2}+2 x+2\right)\)
 \(x^{4}+6 x^{2}5 x+6=\left(x^{2}x+1\right)\left(x^{2}+x+6\right)\)
Reference
^{1} We encourage the reader to solve the system using substitution to see that you get the same solution.
^{2} The calculator has trouble confirming the solution (− ln(2), 0) due to its issues in graphing square root functions. If we mentally connect the two branches of the thicker curve, we see the intersection.
^{3} The theory behind why all this works is, surprisingly, the same theory which guarantees that sign diagrams work the way they do  continuity and the Intermediate Value Theorem  but in this case, applied to functions of more than one variable.
^{4} Another way to see this is that points on the circle satisfy \(x^{2}+y^{2}4=0\), so they do not satisfy \(x^{2}+y^{2}4<0\).
^{5} If using λ bothers you, change it to \(w\) when you solve the system.