Previous page : The circle and implicit derivatives

Next page : y^3+y^3=x^2+x

Let us say we should graph

Technically we could make *y* the subject of it, but the solution is horrid (try with say Mathematica, Wolfram Alpha, TI Nspire CAS, Geogebra or something similar, and you will see) and not very useful, so let us try to analyse it instead. First, we can see that all points such as *x=y* are on the graph.

We can also see that *x* and *y* are used symmetrically, so we know that if a point (*a, b*) is on the graph then the point (*b, a*) is on the graph too.

**Zeroes**

Next, we look for *x* and *y* intercepts. If *x*=0 we get

Or

So *y*=0 or *y*=–1. If *y*=0 we get that

This gives *x*=0 or *x*= –1.

For *y*=–1, we get

That we have already dealt with. So we now have a line *y=x* and two points (0, –1) and (–1, 0)

**Critical points – Horizontal tangents**

To find a point with a horizontal tangent we should find points where

*y*´=0.

We thus need to find the implicit derivative of our relation. We get

or

So if *y*´=0 we get

And thus *x*=0 or *x*=–2/3. Next, we can find the *y*-values by substituting these values into the original equation For *x*=0 we have already found *y*=0 and *y*=–1.

The solution (0, 0) does not work since that is on the already established line *y=x*, which does not have the slope 0. And if you let *x*=0 and *y*=0 in the equation for the derivative that we can get from the result we got after the implicit derivative we get that *y*´=0/0, i.e. undefined. So what could happen at that point? Asking my student this one student replied after a short moment of thought that the graph might cross itself there, which indeed is the case. Nota bene that this was my introductory problem for implicit derivative.

So we have a point with the slope 0 at (0, 1).

For *x*=–2/3 we get

So we need to solve the equation

Since we have *x*=–2/3, by symmetry we must have *y*=–2/3 as one root. With a bit of algebra, we can find that *y*=1/3 is another solution – but that is not what we should concentrate on now, so, say we have just found the roots in some way.^{*}

We can discard the solution *y*=−2/3 since it is on the *y=x* line. And as before we can suspect that the graph crosses itself at that point. That leaves us with the point (−2/3, 1/3).

**Vertical tangents**

For symmetry reasons, these must be at (1, 0) and (1/3, −2/3). This gives us:

How to connect these points in some reasonable way? It looks like it could be some kind of ellipse there, and indeed, if we graph it we get:

Rather cool I must say. The next thing is to prove that the ellipse-like figure is an ellipse, but I leave that to you to figure out, at least for the moment.

* We may, for example, rewrite the equation as

We can then rewrite this as

or, after the substitution 3*y*=*w*.

We can easily see that *w*=1 is a solution to this, and from *y*=–2/3, which we already know, we can see that *w*=–2 is another root. This is by the way a double root.

We thus get that *y*=1/3, and the other solution, *y*=–2/3, we already know.

Previous page : The circle and implicit derivatives

Next page : y^3+y^3=x^2+xLast modified: