# 1.2: Relations

- Page ID
- 80756

\( \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}\)From one point of view,^{1} all of Precalculus can be thought of as studying sets of points in the plane. With the Cartesian Plane now fresh in our memory we can discuss those sets in more detail and as usual, we begin with a definition.

A **relation** is a set of points in the plane.

Since relations are sets, we can describe them using the techniques presented in Section 1.1.1. That is, we can describe a relation verbally, using the roster method, or using set-builder notation. Since the elements in a relation are points in the plane, we often try to describe the relation graphically or algebraically as well. Depending on the situation, one method may be easier or more convenient to use than another. As an example, consider the relation \(\ R=\{(-2,1),(4,3),(0,-3)\}\). As written, \(\ R\) is described using the roster method. Since \(\ R\) consists of points in the plane, we follow our instinct and plot the points. Doing so produces the **graph** of \(\ R\).

In the following example, we graph a variety of relations.

Graph the following relations.

- \(\ A=\{(0,0),(-3,1),(4,2),(-3,2)\}\)
- \(\ H L S_{1}=\{(x, 3) \mid-2 \leq x \leq 4\}\)
- \(\ H L S_{2}=\{(x, 3) \mid-2 \leq x<4\}\)
- \(\ V=\{(3, y) \mid y \text { is a real number }\}\)
- \(\ H=\{(x, y) \mid y=-2\}\)
- \(\ R=\{(x, y) \mid 1<y \leq 3\}\)

###### Solution

- To graph \(\ A\), we simply plot all of the points which belong to \(\ A\), as shown below on the left.
- Don’t let the notation in this part fool you. The name of this relation is \(\ H L S_{1}\), just like the name of the relation in number 1 was \(\ A\). The letters and numbers are just part of its name, just like the numbers and letters of the phrase ‘King George III’ were part of George’s name. In words, \(\ \{(x, 3) \mid-2 \leq x \leq 4\}\) reads ‘the set of points \(\ (x, 3)\) such that \(\ -2 \leq x \leq 4\).’ All of these points have the same y-coordinate, 3, but the x-coordinate is allowed to vary between −2 and 4, inclusive. Some of the points which belong to \(\ H L S_{1}\) include some friendly points like: (−2, 3), (−1, 3), (0, 3), (1, 3), (2, 3), (3, 3), and (4, 3). However, \(\ H L S_{1}\) also contains the points \(\ (0.829,3),\left(-\frac{5}{6}, 3\right),(\sqrt{\pi}, 3)\), and so on. It is impossible
^{2}to list all of these points which is why the variable \(\ x\) is used. Plotting several friendly representative points should convince you that \(\ H L S_{1}\) describes the horizontal line segment from the point (−2, 3) up to and including the point (4, 3). - \(\ H L S_{2}\) is hauntingly similar to \(\ H L S_{1}\). In fact, the only difference between the two is that instead of \(\ \text{‘}-2 \leq x \leq 4^\text{’}\) we have \(\ \text {‘}-2 \leq x<4 \text {'}\). This means that we still get a horizontal line segment which includes (−2, 3) and extends to (4, 3), but we do not include (4, 3) because of the strict inequality x < 4. How do we denote this on our graph? It is a common mistake to make the graph start at (−2, 3) end at (3, 3) as pictured below on the left. The problem with this graph is that we are forgetting about the points like (3.1, 3), (3.5, 3), (3.9, 3), (3.99, 3), and so forth. There is no real number that comes ‘immediately before’ 4, so to describe the set of points we want, we draw the horizontal line segment starting at (−2, 3) and draw an open circle at (4, 3) as depicted below on the right.
- Next, we come to the relation \(\ V\), described as the set of points \(\ (3, y)\) such that \(\ y\) is a real number. All of these points have an x-coordinate of 3, but the y-coordinate is free to be whatever it wants to be, without restriction.
^{3}Plotting a few ‘friendly’ points of \(\ V\) should convince you that all the points of \(\ V\) lie on the vertical line^{4}\(\ x = 3\). Since there is no restriction on the y-coordinate, we put arrows on the end of the portion of the line we draw to indicate it extends indefinitely in both directions. The graph of \(\ V\) is below on the left. - Though written slightly differently, the relation \(\ H=\{(x, y) \mid y=-2\}\) is similar to the relation \(\ V\) above in that only one of the coordinates, in this case the y-coordinate, is specified, leaving \(\ x\) to be ‘free’. Plotting some representative points gives us the horizontal line \(\ y = −2\).
- For our last example, we turn to \(\ R=\{(x, y) \mid 1<y \leq 3\}\). As in the previous example, \(\ x\) is free to be whatever it likes. The value of \(\ y\), on the other hand, while not completely free, is permitted to roam between 1 and 3 excluding 1, but including 3. After plotting some
^{5}friendly elements of \(\ R\), it should become clear that \(\ R\) consists of the region between the horizontal lines \(\ y = 1\) and \(\ y = 3\). Since \(\ R\) requires that the y-coordinates be greater than 1, but not equal to 1, we dash the line \(\ y = 1\) to indicate that those points do not belong to \(\ R\).The relations \(\ V\) and \(\ H\) in the previous example lead us to our final way to describe relations:

**algebraically**. We can more succinctly describe the points in \(\ V\) as those points which satisfy the equation ‘\(\ x = 3\)’. Most likely, you have seen equations like this before. Depending on the context, ‘\(\ x = 3\)’ could mean we have solved an equation for \(\ x\) and arrived at the solution \(\ x = 3\). In this case, however, ‘\(\ x = 3\)’ describes a set of points in the plane whose x-coordinate is 3. Similarly, the relation \(\ H\) above can be described by the equation ‘\(\ y = −2\)’. At some point in your mathematical upbringing, you probably learned the following.

- The graph of the equation \(\ x = a\) is a
**vertical line**through \(\ (a, 0)\). - The graph of the equation \(\ y = b\) is a
**horizontal line**through \(\ (0, b)\).

Given that the very simple equations \(\ x = a\) and \(\ y = b\) produced lines, it’s natural to wonder what shapes other equations might yield. Thus our next objective is to study the graphs of equations in a more general setting as we continue to unite Algebra and Geometry.

## 1.2.1 Graphs of Equations

In this section, we delve more deeply into the connection between Algebra and Geometry by focusing on graphing relations described by equations. The main idea of this section is the following.

The graph of an equation is the set of points which satisfy the equation. That is, a point \(\ (x, y)\) is on the graph of an equation if and only if \(\ x\) and \(\ y\) satisfy the equation.

Here, ‘\(\ x\) and \(\ y\) satisfy the equation’ means ‘\(\ x\) and \(\ y\) make the equation true’. It is at this point that we gain some insight into the word ‘relation’. If the equation to be graphed contains both \(\ x\) and \(\ y\), then the equation itself is what is relating the two variables. More specifically, in the next two examples, we consider the graph of the equation \(\ x^{2}+y^{3}=1\). Even though it is not specifically spelled out, what we are doing is graphing the relation \(\ R=\left\{(x, y) \mid x^{2}+y^{3}=1\right\}\). The points \(\ (x, y)\) we graph belong to the relation \(\ R\) and are necessarily related by the equation \(\ x^{2}+y^{3}=1\), since it is those pairs of \(\ x\) and \(\ y\) which make the equation true.

Determine whether or not \(\ (2, −1)\) is on the graph of \(\ x^{2}+y^{3}=1\).

###### Solution

We substitute \(\ x = 2\) and \(\ y = −1\) into the equation to see if the equation is satisfied.

\(\ \begin{aligned}

(2)^{2}+(-1)^{3} \stackrel {?}{=} &1\\

3 \neq &1

\end{aligned}\)

Hence, \(\ (2, −1)\) is **not** on the graph of \(\ x^{2}+y^{3}=1\).

We could spend hours randomly guessing and checking to see if points are on the graph of the equation. A more systematic approach is outlined in the following example.

Graph \(\ x^{2}+y^{3}=1\).

###### Solution

To efficiently generate points on the graph of this equation, we first solve for \(\ y\)

\(\ \begin{aligned}

x^{2}+y^{3} &=1 \\

y^{3} &=1-x^{2} \\

\sqrt[3]{y^{3}} &=\sqrt[3]{1-x^{2}} \\

y &=\sqrt[3]{1-x^{2}}

\end{aligned}\)

We now substitute a value in for \(\ x\), determine the corresponding value \(\ y\), and plot the resulting point \(\ (x, y)\). For example, substituting \(\ x = −3\) into the equation yields

\(\ y=\sqrt[3]{1-x^{2}}=\sqrt[3]{1-(-3)^{2}}=\sqrt[3]{-8}=-2,\)

so the point \(\ (−3, −2)\) is on the graph. Continuing in this manner, we generate a table of points which are on the graph of the equation. These points are then plotted in the plane as shown below.

Remember, these points constitute only a small sampling of the points on the graph of this equation. To get a better idea of the shape of the graph, we could plot more points until we feel comfortable ‘connecting the dots’. Doing so would result in a curve similar to the one pictured below on the far left.

Don’t worry if you don’t get all of the little bends and curves just right − Calculus is where the art of precise graphing takes center stage. For now, we will settle with our naive ‘plug and plot’ approach to graphing. If you feel like all of this tedious computation and plotting is beneath you, then you can reach for a graphing calculator, input the formula as shown above, and graph.

Of all of the points on the graph of an equation, the places where the graph crosses or touches the axes hold special significance. These are called the intercepts of the graph. Intercepts come in two distinct varieties: x-intercepts and y-intercepts. They are defined below.

Suppose the graph of an equation is given.

- A point on a graph which is also on the x-axis is called an
**x-intercept**of the graph. - A point on a graph which is also on the y-axis is called an
**y-intercept**of the graph.

In our previous example the graph had two x-intercepts, (−1, 0) and (1, 0), and one y-intercept, (0, 1). The graph of an equation can have any number of intercepts, including none at all! Since x-intercepts lie on the x-axis, we can find them by setting y = 0 in the equation. Similarly, since y-intercepts lie on the y-axis, we can find them by setting x = 0 in the equation. Keep in mind, intercepts are points and therefore must be written as ordered pairs. To summarize,

Given an equation involving x and y, we find the intercepts of the graph as follows:

- x-intercepts have the form (x, 0); set y = 0 in the equation and solve for x.
- y-intercepts have the form (0, y); set x = 0 in the equation and solve for y.

Another fact which you may have noticed about the graph in the previous example is that it seems to be symmetric about the y-axis. To actually prove this analytically, we assume (x, y) is a generic point on the graph of the equation. That is, we assume \(\ x^{2}+y^{3}=1\) is true. As we learned in Section 1.1, the point symmetric to (x, y) about the y-axis is (−x, y). To show that the graph is symmetric about the y-axis, we need to show that (−x, y) satisfies the equation \(\ x^{2}+y^{3}=1\), too. Substituting (−x, y) into the equation gives

\(\ \begin{array}{rll}

(-x)^{2}+(y)^{3} & \stackrel{?}{=} & 1 \\

x^{2}+y^{3} & \stackrel{\checkmark}{=} & 1

\end{array}\)

Since we are assuming the original equation \(\ x^{2}+y^{3}=1\) is true, we have shown that (−x, y) satisfies the equation (since it leads to a true result) and hence is on the graph. In this way, we can check whether the graph of a given equation possesses any of the symmetries discussed in Section 1.1. We summarize the procedure in the following result.

To test the graph of an equation for symmetry

- about the y-axis − substitute (−x, y) into the equation and simplify. If the result is equivalent to the original equation, the graph is symmetric about the y-axis.
- about the x-axis – substitute (x, −y) into the equation and simplify. If the result is equivalent to the original equation, the graph is symmetric about the x-axis.
- about the origin - substitute (−x, −y) into the equation and simplify. If the result is equivalent to the original equation, the graph is symmetric about the origin.

Intercepts and symmetry are two tools which can help us sketch the graph of an equation analytically, as demonstrated in the next example.

Find the x- and y-intercepts (if any) of the graph of \(\ (x-2)^{2}+y^{2}=1\). Test for symmetry. Plot additional points as needed to complete the graph.

###### Solution

To look for x-intercepts, we set y = 0 and solve

\(\ \begin{aligned}

(x-2)^{2}+y^{2} &=1 \\

(x-2)^{2}+0^{2} &=1 \\

(x-2)^{2} &=1 \\

\sqrt{(x-2)^{2}} &=\sqrt{1} \quad\quad\quad \text { extract square roots } \\

x-2 &=\pm 1 \\

x &=2 \pm 1 \\

x &=3,1

\end{aligned}\)

We get two answers for x which correspond to two x-intercepts: (1, 0) and (3, 0). Turning our attention to y-intercepts, we set x = 0 and solve

\(\ \begin{aligned}

(x-2)^{2}+y^{2} &=1 \\

(0-2)^{2}+y^{2} &=1 \\

4+y^{2} &=1 \\

y^{2} &=-3

\end{aligned}\)

Since there is no real number which squares to a negative number (Do you remember why?), we are forced to conclude that the graph has no y-intercepts.

Plotting the data we have so far, we get

Moving along to symmetry, we can immediately dismiss the possibility that the graph is symmetric about the y-axis or the origin. If the graph possessed either of these symmetries, then the fact that (1, 0) is on the graph would mean (−1, 0) would have to be on the graph. (Why?) Since (−1, 0) would be another x-intercept (and we’ve found all of these), the graph can’t have y-axis or origin symmetry. The only symmetry left to test is symmetry about the x-axis. To that end, we substitute (x, −y) into the equation and simplify

\(\ \begin{aligned}

(x-2)^{2}+y^{2}=&1\\

(x-2)^{2}+(-y)^{2} \stackrel{?}{=} &1\\

(x-2)^{2}+y^{2} \stackrel{\checkmark}{=} &1

\end{aligned}\)

Since we have obtained our original equation, we know the graph is symmetric about the x-axis. This means we can cut our ‘plug and plot’ time in half: whatever happens below the x-axis is reflected above the x-axis, and vice-versa. Proceeding as we did in the previous example, we obtain

A couple of remarks are in order. First, it is entirely possible to choose a value for x which does not correspond to a point on the graph. For example, in the previous example, if we solve for y as is our custom, we get

\(\ y=\pm \sqrt{1-(x-2)^{2}}\)

Upon substituting x = 0 into the equation, we would obtain

\(\ y=\pm \sqrt{1-(0-2)^{2}}=\pm \sqrt{1-4}=\pm \sqrt{-3},\)

which is not a real number. This means there are no points on the graph with an x-coordinate of 0. When this happens, we move on and try another point. This is another drawback of the ‘plug-and-plot’ approach to graphing equations. Luckily, we will devote much of the remainder of this book to developing techniques which allow us to graph entire families of equations quickly.^{6} Second, it is instructive to show what would have happened had we tested the equation in the last example for symmetry about the y-axis. Substituting (−x, y) into the equation yields

\(\ \begin{array}{rll}

(x-2)^{2}+y^{2} & = & 1 \\

(-x-2)^{2}+y^{2} & \stackrel{?}{=} & 1 \\

((-1)(x+2))^{2}+y^{2} & \stackrel{?}{=} & 1 \\

(x+2)^{2}+y^{2} & \stackrel{?}{=} & 1.

\end{array}\)

This last equation does not appear to be equivalent to our original equation. However, to actually prove that the graph is not symmetric about the y-axis, we need to find a point (x, y) on the graph whose reflection (−x, y) is not. Our x-intercept (1, 0) fits this bill nicely, since if we substitute (−1, 0) into the equation we get

\(\ \begin{aligned}

(x-2)^{2}+y^{2}& \stackrel{?}{=} 1\\

(-1-2)^{2}+0^{2}& \neq 1\\

9 &\neq 1.

\end{aligned}\)

This proves that (−1, 0) is not on the graph.

## 1.2.2 Exercises

In Exercises 1 - 20, graph the given relation.

- \(\ \{(-3,9),(-2,4),(-1,1),(0,0),(1,1),(2,4),(3,9)\}\)
- \(\ \{(-2,0),(-1,1),(-1,-1),(0,2),(0,-2),(1,3),(1,-3)\}\)
- \(\ \{(m, 2 m) \mid m=0, \pm 1, \pm 2\}\)
- \(\ \left\{\left(\frac{6}{k}, k\right) \mid k=\pm 1, \pm 2, \pm 3, \pm 4, \pm 5, \pm 6\right\}\)
- \(\ \left\{\left(n, 4-n^{2}\right) \mid n=0, \pm 1, \pm 2\right\}\)
- \(\ \{(\sqrt{j}, j) \mid j=0,1,4,9\}\)
- \(\ \{(x,-2) \mid x>-4\}\)
- \(\ \{(x, 3) \mid x \leq 4\}\)
- \(\ \{(-1, y) \mid y>1\}\)
- \(\ \{(2, y) \mid y \leq 5\}\)
- \(\ \{(-2, y) \mid-3<y \leq 4\}\)
- \(\ \{(3, y) \mid-4 \leq y<3\}\)
- \(\ \{(x, 2) \mid-2 \leq x<3\}\)
- \(\ \{(x,-3) \mid-4<x \leq 4\}\)
- \(\ \{(x, y) \mid x>-2\}\)
- \(\ \{(x, y) \mid x \leq 3\}\)
- \(\ \{(x, y) \mid y<4\}\)
- \(\ \{(x, y) \mid x \leq 3, y<2\}\)
- \(\ \{(x, y) \mid x>0, y<4\}\)
- \(\ \left\{(x, y) \mid-\sqrt{2} \leq x \leq \frac{2}{3}, \pi<y \leq \frac{9}{2}\right\}\)

In Exercises 21 - 30, describe the given relation using either the roster or set-builder method.

In Exercises 31 - 36, graph the given line.

- \(\ x = −2\)
- \(\ x = 3\)
- \(\ y = 3\)
- \(\ y = −2\)
- \(\ x = 0\)
- \(\ y = 0\)

Some relations are fairly easy to describe in words or with the roster method but are rather difficult, if not impossible, to graph. Discuss with your classmates how you might graph the relations given in Exercises 37 - 40. Please note that in the notation below we are using the ellipsis, . . . , to denote that the list does not end, but rather, continues to follow the established pattern indefinitely. For the relations in Exercises 37 and 38, give two examples of points which belong to the relation and two points which do not belong to the relation.

- \(\ \{(x, y) \mid x \text { is an odd integer, and } y \text { is an even integer. }\}\)
- \(\ \{(x, 1) \mid x \text { is an irrational number }\}\)
- \(\ \{(1,0),(2,1),(4,2),(8,3),(16,4),(32,5), \ldots\}\)
- \(\ \{\ldots,(-3,9),(-2,4),(-1,1),(0,0),(1,1),(2,4),(3,9), \ldots\}\)

For each equation given in Exercises 41 - 52:

- Find the x- and y-intercept(s) of the graph, if any exist.
- Follow the procedure in Example 1.2.3 to create a table of sample points on the graph of the equation.
- Plot the sample points and create a rough sketch of the graph of the equation.
- Test for symmetry. If the equation appears to fail any of the symmetry tests, find a point on the graph of the equation whose reflection fails to be on the graph as was done at the end of Example 1.2.4

- \(\ y=x^{2}+1\)
- \(\ y=x^{2}-2 x-8\)
- \(\ y=x^{3}-x\)
- \(\ y=\frac{x^{3}}{4}-3 x\)
- \(\ y=\sqrt{x-2}\)
- \(\ y=2 \sqrt{x+4}-2\)
- \(\ 3 x-y=7\)
- \(\ 3 x-2 y=10\)
- \(\ (x+2)^{2}+y^{2}=16\)
- \(\ x^{2}-y^{2}=1\)
- \(\ 4 y^{2}-9 x^{2}=36\)
- \(\ x^{3} y=-4\)

The procedures which we have outlined in the Examples of this section and used in Exercises 41 - 52 all rely on the fact that the equations were “well-behaved”. Not everything in Mathematics is quite so tame, as the following equations will show you. Discuss with your classmates how you might approach graphing the equations given in Exercises 53 - 56. What difficulties arise when trying to apply the various tests and procedures given in this section? For more information, including pictures of the curves, each curve name is a link to its page at www.Wikipedia.org. For a much longer list of fascinating curves, click here.

- \(\ x^{3}+y^{3}-3 x y=0\) Folium of Descartes
- \(\ x^{4}=x^{2}+y^{2}\) Kampyle of Eudoxus
- \(\ y^{2}=x^{3}+3 x^{2}\) Tschirnhausen cubic
- \(\ \left(x^{2}+y^{2}\right)^{2}=x^{3}+y^{3}\) Crooked egg
- With the help of your classmates, find examples of equations whose graphs possess
- symmetry about the x-axis only ˆ
- symmetry about the y-axis only ˆ
- symmetry about the origin only ˆ
- symmetry about the x-axis, y-axis, and origin

Can you find an example of an equation whose graph possesses exactly two of the symmetries listed above? Why or why not?

## 1.2.3 Answers

- \(\ A=\{(-4,-1),(-2,1),(0,3),(1,4)\}\)
- \(\ B=\{(x, 3) \mid x \geq-3\}\)
- \(\ C=\{(2, y) \mid y>-3\}\)
- \(\ D=\{(-2, y) \mid-4 \leq y<3\}\)
- \(\ E=\{(x, 2) \mid-4 \leq x<3\}\)
- \(\ F=\{(x, y) \mid y \geq 0\}\)
- \(\ G=\{(x, y) \mid x>-2\}\)
- \(\ H=\{(x, y) \mid-3<x \leq 2\}\)
- \(\ I=\{(x, y) \mid x \geq 0, y \geq 0\}\)
- \(\ J=\{(x, y) \mid-4<x<5,-3<y<2\}\)

- \(\ y=x^{2}+1\)
The graph has no x-intercepts

y-intercept: (0, 1)

\(\ x\) \(\ y\) \(\ (x, y)\) −2 5 (−2, 5) −1 2 (−1, 2) 0 1 (0, 1) 1 2 (1, 2) 2 5 (2, 5) The graph is not symmetric about the x-axis (e.g. (2, 5) is on the graph but (2, −5) is not)

The graph is symmetric about the y-axis

The graph is not symmetric about the origin (e.g. (2, 5) is on the graph but (−2, −5) is not)

- \(\ y=x^{2}-2 x-8\)
x-intercepts: (4, 0), (−2, 0)

y-intercept: (0, −8)

\(\ x\) \(\ y\) \(\ (x, y)\) −3 7 (−3, 7) −2 0 (−2, 0) −1 −5 (−1, −5) 0 −8 (0, −8) 1 −9 (1, −9) 2 −8 (2, −8) 3 −5 (3, −5) 4 0 (4, 0) 5 7 (5, 7) The graph is not symmetric about the x-axis (e.g. (−3, 7) is on the graph but (−3, −7) is not)

The graph is not symmetric about the y-axis (e.g. (−3, 7) is on the graph but (3, 7) is not)

The graph is not symmetric about the origin (e.g. (−3, 7) is on the graph but (3, −7) is not)

- \(\ y=x^{3}-x\)
x-intercepts: (−1, 0),(0, 0),(1, 0)

y-intercept: (0, 0)

\(\ x\) \(\ y\) \(\ (x, y)\) −2 −6 (−2, −6) −1 0 (−1, 0) 0 0 (0, 0) 1 0 (1, 0) 2 6 (2, 6) The graph is not symmetric about the x-axis. (e.g. (2, 6) is on the graph but (2, −6) is not)

The graph is not symmetric about the y-axis. (e.g. (2, 6) is on the graph but (−2, 6) is not)

The graph is symmetric about the origin.

- \(\ y=\frac{x^{3}}{4}-3 x\)
x-intercepts: \(\ (\pm 2 \sqrt{3}, 0),(0,0)\)

y-intercept: \(\ (0, 0)\)

\(\ x\) \(\ y\) \(\ (x, y)\) −4 −4 \(\ (-4,-4)\) −3 \(\ \frac{9}{4}\) \(\ \left(-3, \frac{9}{4}\right)\) −2 4 (−2, 4) −1 \(\ \frac{11}{4}\) \(\ \left(-1, \frac{11}{4}\right)\) 0 0 (0, 0) 1 \(\ -\frac{11}{4}\) \(\ \left(1,-\frac{11}{4}\right)\) 2 −4 (2,-4) 3 \(\ -\frac{9}{4}\) \(\ \left(3,-\frac{9}{4}\right)\) 4 4 (4, 4) The graph is not symmetric about the x-axis (e.g. (−4, −4) is on the graph but (−4, 4) is not)

The graph is not symmetric about the y-axis (e.g. (−4, −4) is on the graph but (4, −4) is not)

The graph is symmetric about the origin

- \(\ y=\sqrt{x-2}\)
x-intercept: (2, 0)

The graph has no y-intercepts

\(\ x\) \(\ y\) \(\ (x, y)\) 2 0 (2, 0) 3 1 (3, 1) 6 2 (6, 2) 11 3 (11, 3) The graph is not symmetric about the x-axis (e.g. (3, 1) is on the graph but (3, −1) is not)

The graph is not symmetric about the y-axis (e.g. (3, 1) is on the graph but (−3, 1) is not)

The graph is not symmetric about the origin (e.g. (3, 1) is on the graph but (−3, −1) is not)

- \(\ y=2 \sqrt{x+4}-2\)
x-intercept: (−3, 0)

y-intercept: (0, 2)

\(\ x\) \(\ y\) \(\ (x, y)\) −4 −2 (−4, −2) −3 0 (−3, 0) −2 \(\ 2 \sqrt{2}-2\) \(\ (-2, \sqrt{2}-2)\) −1 \(\ 2 \sqrt{3}-2\) \(\ (-2, \sqrt{3}-2)\) 0 2 (0, 2) 1 \(\ 2 \sqrt{5}-2\) \(\ (-2, \sqrt{5}-2) The graph is not symmetric about the x-axis (e.g. (−4, −2) is on the graph but (−4, 2) is not)

The graph is not symmetric about the y-axis (e.g. (−4, −2) is on the graph but (4, −2) is not)

The graph is not symmetric about the origin (e.g. (−4, −2) is on the graph but (4, 2) is not)

- \(\ 3 x-y=7\)
Re-write as: \(\ y=3 x-7\).

x-intercept: \(\ \left(\frac{7}{3}, 0\right)\)

y-intercept: (0, −7)

\(\ x\) \(\ y\) \(\ (x, y)\) −2 −13 (−2, −13) −1 −10 (−1, −10) 0 −7 (0, −7) 1 −4 (1, −4) 2 −1 (2, −1) 3 2 (3, 2) The graph is not symmetric about the x-axis (e.g. (3, 2) is on the graph but (3, −2) is not)

The graph is not symmetric about the y-axis (e.g. (3, 2) is on the graph but (−3, 2) is not)

The graph is not symmetric about the origin (e.g. (3, 2) is on the graph but (−3, −2) is not)

- \(\ 3 x-2 y=10\)
Re-write as: \(\ y=\frac{3 x-10}{2}\).

x-intercepts: \(\ \left(\frac{10}{3}, 0\right)\)

y-intercept: \(\ (0,-5)\)

\(\ x\) \(\ y\) \(\ (x, y)\) −2 −8 (−2, −8) −1 \(\ -\frac{13}{2}\) \(\ \left(-1,-\frac{13}{2}\right)\) 0 −5 (0, −5) 1 \(\ -\frac{7}{2}\) \(\ \left(1,-\frac{7}{2}\right)\) 2 −2 (2, −2) The graph is not symmetric about the x-axis (e.g. (2, −2) is on the graph but (2, 2) is not)

The graph is not symmetric about the y-axis (e.g. (2, −2) is on the graph but (−2, −2) is not)

The graph is not symmetric about the origin (e.g. (2, −2) is on the graph but (−2, 2) is not)

- \(\ (x+2)^{2}+y^{2}=16\)
Re-write as \(\ y=\pm \sqrt{16-(x+2)^{2}}\).

x-intercepts: \(\ (−6, 0), (2, 0)\)

y-intercepts: \(\ (0, \pm 2 \sqrt{3})\)

\(\ x\) \(\ y\) \(\ (x, y)\) −6 0 (−6, 0) −4 \(\ \pm 2 \sqrt{3}\) \(\ (-4, \pm 2 \sqrt{3})\) −2 \(\ \pm 4\) \(\ (-2, \pm 4)\) 0 \(\ \pm 2 \sqrt{3}\) \(\ (0, \pm 2 \sqrt{3})\) 2 0 (2, 0) The graph is symmetric about the x-axis

The graph is not symmetric about the y-axis (e.g. (−6, 0) is on the graph but (6, 0) is not)

The graph is not symmetric about the origin (e.g. (−6, 0) is on the graph but (6, 0) is not)

- \(\ x^{2}-y^{2}=1\)
Re-write as: \(\ y=\pm \sqrt{x^{2}-1}\).

x-intercep: (−1, 0), (1, 0)

The graph has no y-intercepts

\(\ x\) \(\ y\) \(\ (x, y)\) −3 \(\ \pm \sqrt{8}\) \(\ (-3, \pm \sqrt{8})\) −2 \(\ \pm \sqrt{3}\) \(\ (-2, \pm \sqrt{3})\) −1 0 (−1, 0) 1 0 (1, 0) 2 \(\ \pm \sqrt{3}\) \(\ (2, \pm \sqrt{3})\) 3 \(\ \pm \sqrt{8}\) \(\ (3, \pm \sqrt{8})\) The graph is symmetric about the x-axis

The graph is symmetric about the y-axis

The graph is symmetric about the origin

- \(\ 4 y^{2}-9 x^{2}=36\)
Re-write as: \(\ y=\pm \frac{\sqrt{9 x^{2}+36}}{2}\).

The graph has no x-intercepts

y-intercepts: \(\ (0, \pm 3)\)

\(\ x\) \(\ y\) \(\ (x, y)\) −4 \(\ \pm 3 \sqrt{5}\) \(\ (-4, \pm 3 \sqrt{5})\) −2 \(\ \pm 3 \sqrt{2}\) \(\ (-2, \pm 3 \sqrt{2})\) 0 \(\ \pm 3\) \(\ (0, \pm 3)\) 2 \(\ \pm 3 \sqrt{2}\) \(\ (2, \pm 3 \sqrt{2})\) 4 \(\ \pm 3 \sqrt{5}\) \(\ (4, \pm 3 \sqrt{5})\) The graph is symmetric about the x-axis

The graph is symmetric about the y-axis

The graph is symmetric about the origin

- \(\ x^{3} y=-4\)
Re-write as: \(\ y=-\frac{4}{x^{3}}\).

The graph has no x-intercepts

The graph has no y-intercepts

\(\ x\) \(\ y\) \(\ (x, y)\) −2 \(\ \frac{1}{2}\) \(\ \left(-2, \frac{1}{2}\right)\) −1 4 \(\ (-1,4)\) \(\ -\frac{1}{2}\) 32 \(\ \left(-\frac{1}{2}, 32\right)\) \(\ \frac{1}{2}\) −32 \(\ \left(\frac{1}{2},-32\right)\) 1 −4 (1, −4) 2 \(\ -\frac{1}{2}\) \(\ \left(2,-\frac{1}{2}\right)\) The graph is not symmetric about the x-axis (e.g. (1, −4) is on the graph but (1, 4) is not)

The graph is not symmetric about the y-axis (e.g. (1, −4) is on the graph but (−1, −4) is not)

The graph is symmetric about the origin

## Reference

^{1} Carl’s, of course.

^{2} Really impossible. The interested reader is encouraged to research countable versus uncountable sets

^{3} We’ll revisit the concept of a ‘free variable’ in Section 8.1.

^{4 }Don’t worry, we’ll be refreshing your memory about vertical and horizontal lines in just a moment!

^{5} The word ‘some’ is a relative term. It may take 5, 10, or 50 points until you see the pattern.

^{6} Without the use of a calculator, if you can believe it!