There’s a little chance that you clicked this because of the title, which is somewhat subtle, given that we’re not marketing anything. So, if this turned out as a clickbait, we apologize straightway; but please wait, read on.

In our previous post, we talked about linear-quadratic systems. However, as that post was getting longer than we wanted, and we were gradually going off on a tangent, we decided to separate this content. Ironically, we went off on a tangent not long after we started talking about tangents. Can anything be closer to an irony?

## Tangent conditions for conic sections

The result below has been proved for the circle and the parabola ; we now consider ellipses and hyperbolas.

#### Proposition (ellipse)

If the linear-quadratic system

(1)

(2)

has __only one__ point of intersection, then:

- the point of tangency has coordinates .

To prove the first statement, we utilize the fact that there’s just one point of intersection, which in turn means that the discriminant of the resulting quadratic is zero. Substitute for in equation (2):

as required. This proves the first statement. To prove the second statement, we note that the only root of the quadratic equation

is at its vertex, namely , which is the -coordinate of the tangent point. Next, we use equation (1) to get the -coordinate of the tangent point:

This verifies that the point of tangency is at .

For a circle, ; so the above result simplifies to what we got for the case of circles.

#### Proposition (unit hyperbola)

If the linear-quadratic system

(3)

(4)

has only one point of intersection, then:

- ;
- the point of tangency has coordinates .

The proof is similar to the case of an ellipse, so is omitted.

## Obtaining three free tangents from one tangent

Now comes our main point, which motivated the title of this post. It has to do with circles, ellipses, and hyperbolas being generally generous, when it comes to tangents.

#### Proposition

For the linear-quadratic system

(5)

the following statements are equivalent:

- the line is a tangent;
- the line is a tangent;
- the line is a tangent;
- the line is a tangent.

In other words, one tangent gives rise to three other tangents.

To prove the above equivalence, we first substitute for in the second equation, just like we did previously and obtain the quadratic equation

whose discriminant is . Now, if the first claim is true, then

and so .

#### Proposition

For the linear-quadratic system

(6)

the following statements are equivalent:

- the line is a tangent;
- the line is a tangent;
- the line is a tangent;
- the line is a tangent.

The proof is just the same as in the case of a circle, so we skip it.

#### Proposition

For the linear-quadratic system

(7)

the following statements are equivalent:

- the line is a tangent;
- the line is a tangent;
- the line is a tangent;
- the line is a tangent.

Again we omit the proof, since it is similar to the case of a circle.

## Graphical illustration (circle case)

## Exercises for the reader

- If the linear-quadratic system
has only one point of intersection, prove that:

- ;
- the point of tangency is .

- Prove that a line with a slope “sandwiched” between and
__can never__be a tangent to a hyperbola. In other words, if , then it is impossible for the line to be a tangent to the hyperbola .

[What about when ? You may use the first part of the preceding exercise for the case .]