Precalculus

Analytic Geometry

Analytic Geometry Logo

Canonical Forms

Canonical Forms of Second Order Curves

Second order curves can be described by the following canonical equations:

Real Ellipse \(\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1\)
Imaginary Ellipse \(\frac{x^2}{a^2} + \frac{y^2}{b^2} = -1\)
Hyperbola \(\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1\)
Parabola \(y^2 = 2px\)
Pair of Imaginary Intersecting Lines (a Real Point) \(\frac{x^2}{a^2} + \frac{y^2}{b^2} = 0\)
Pair of Real Intersecting Lines \(\frac{x^2}{a^2} - \frac{y^2}{b^2} = 0\)
Pair of Real Parallel Lines \(x^2 - d^2 = 0\)
Pair of Coincident Lines \(x^2 = 0\)
Pair of Imaginary Parallel Lines \(x^2 + d^2 = 0\)

Reduction to Canonical Forms

A general equation of a second-order curve in Cartesian coordinates is given by

\[Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0\]

The general second-order equation can be transformed into canonical form by changing the coordinate system. Such a change may include both parallel translation and rotation of the coordinate system.

Case 1. The General Equation Does Not Have An XY-Term

If the general equation does not contain an xy-term, that is, if the coefficient \(B = 0,\) then such an equation can be reduced into canonical form using only a parallel transfer of the coordinate system. Algebraic transformations are based on completing squares for terms with variables x and y.

Example

Write the equation of the curve in canonical form:

\[9x^2 + 4y^2 + 6x - 4y - 2 = 0.\]

Solution.

Let's group terms with x and y:

\[\left({9x^2 + 6x}\right) + \left({4y^2 - 4y}\right) - 2 = 0, \Rightarrow 9\left({x^2 + \frac{2}{3}x}\right) + 4\left({y^2 - y}\right) - 2 = 0.\]

Complete the square for x2 and y2 terms:

\[9\left({x^2 + \frac{2}{3}x \pm\frac{1}{9}}\right) + 4\left({y^2 - y \pm\frac{1}{4}}\right) - 2 = 0,\]
\[9\left({x + \frac{1}{3}}\right)^2 - 1 + 4\left({y - \frac{1}{2}}\right)^2 -1 - 2 = 0,\]
\[9\left({x + \frac{1}{3}}\right)^2 + 4\left({y - \frac{1}{2}}\right)^2 = 4.\]

Divide the left and right sides of the equation by 4:

\[\frac{9\left({x + \frac{1}{3}}\right)^2}{4} + \frac{\left({y - \frac{1}{2}}\right)^2}{1} = 1, \Rightarrow \frac{\left({x + \frac{1}{3}}\right)^2}{\frac{4}{9}} + \frac{\left({y - \frac{1}{2}}\right)^2}{1} = 1.\]

Recall that the canonical equation of an ellipse centered at \(\left({x_0,y_0}\right)\) is given by

\[\frac{\left({x - x_0}\right)^2}{a^2} + \frac{\left({y - y_0}\right)^2}{b^2} = 1\]

Thus, the canonical equation obtained above is the equation of an ellipse centered at point \(\left({-\frac{1}{3},\frac{1}{2}}\right)\) with the semi-major and semi-minor axes \(a = \frac{2}{3}\) and \(b = 1,\) respectively.

Case 2. The General Equation Has An XY-Term

If the general equation contains a Bxy term, then you first need to get rid of it by rotating the coordinate system by a certain angle φ, which is defined by the formula

\[\cot2\varphi = \frac{A-C}{B}\]

where it is assumed that the curve is given by the general equation.

In the special case when \(A = C,\) the rotation angle is \(45^\circ:\)

\[A = C, \Rightarrow \cot2\varphi = \frac{A-C}{B} = \frac{0}{B} = 0, \Rightarrow 2\varphi = \pm 90^\circ, \Rightarrow \varphi = \pm 45^\circ.\]

After rotation by angle φ we get a new XY-coordinate system in which the equation of the curve does not contain the XY-term, that is, Case 2 reduces to Case 1 considered above.

Example

Write the equation of the curve in canonical form:

\[x^2 - 2xy + y^2 + 2x + 2y = 0.\]

Solution.

Identify the coefficients in the general equation and calculate the angle of rotation:

\[A = 1, B = -2, C = 1.\]

Since \(A = C,\) then we choose the angle of rotation \(\varphi = 45^\circ = \frac{\pi}{4}.\)

Let's denote the new coordinates after rotation as X and Y. The old coordinates are expressed in terms of the new ones using relations

\[\left\{ \begin{array}{l} x = X\cos\varphi - Y\sin\varphi\\ y = X\sin\varphi + Y\cos\varphi \end{array} \right..\]

If \(\varphi = \frac{\pi}{4}\) then we get

\[\sin\varphi = \sin\frac{\pi}{4} = \frac{\sqrt{2}}{2},\;\cos\varphi = \cos\frac{\pi}{4} = \frac{\sqrt{2}}{2}.\]

Therefore, the coordinate transformation is described by the equations

\[\left\{ \begin{array}{l} x = X\frac{\sqrt{2}}{2} - Y\frac{\sqrt{2}}{2} = \frac{\sqrt{2}}{2}\left({X - Y}\right)\\ y = X\frac{\sqrt{2}}{2} + Y\frac{\sqrt{2}}{2} = \frac{\sqrt{2}}{2}\left({X + Y}\right) \end{array} \right..\]

Substitute x and y into the equation of the curve:

\[\left({\frac{\sqrt{2}}{2}}\right)^2\left({X - Y}\right)^2 - 2\cdot\frac{\sqrt{2}}{2}\cdot\frac{\sqrt{2}}{2}\left({X - Y}\right)\left({X + Y}\right) + \left({\frac{\sqrt{2}}{2}}\right)^2\left({X + Y}\right)^2 + 2\cdot\frac{\sqrt{2}}{2}\left({X - Y}\right) + 2\cdot\frac{\sqrt{2}}{2}\left({X + Y}\right) = 0,\]
\[\frac{1}{2}\left({X^2 - 2XY + Y^2}\right) - \left({X^2 - Y^2}\right) + \frac{1}{2}\left({X^2 + 2XY + Y^2}\right) + \sqrt{2}\left({X - Y}\right) + \sqrt{2}\left({X + Y}\right) = 0,\]
\[\cancel{\frac{1}{2}X^2} - \cancel{XY} + \frac{1}{2}Y^2 - \cancel{X^2} + Y^2 + \cancel{\frac{1}{2}X^2} + \cancel{XY} + \frac{1}{2}Y^2 + \sqrt{2}X - \cancel{\sqrt{2}Y} + \sqrt{2}X + \cancel{\sqrt{2}Y} = 0,\]
\[2Y^2 + 2\sqrt{2}X = 0.\]

This equation can be written as

\[X = -\frac{\sqrt{2}}{2}Y^2\]

In the new XY-coordinate system, we obtained the canonical equation of a parabola.

Solved Problems

Example 1.

Reduce the second-order equation to canonical form and identify the curve type: \[4x^2 - y^2 - 16x + 6y + 23 = 0.\]

Solution.

Let's group the terms with x and y:

\[\left({4x^2 - 16x}\right) - \left({y^2 - 6y}\right) + 23 = 0.\]

Complete the squares by adding and subtracting the integers:

\[4\left({x^2 - 4x \pm 4}\right) - \left({y^2 - 6y \pm 9}\right) + 23 = 0,\]
\[4\left({x - 2}\right)^2 - 16 - \left({y - 3}\right)^2 + 9 + 23 = 0,\]
\[\left({y - 3}\right)^2 - 4\left({x - 2}\right)^2 = 16.\]

Divide both sides of the equation by 16:

\[\frac{\left({y - 3}\right)^2}{16} - \frac{\left({x - 2}\right)^2}{4} = 1.\]

As you can see, we have obtained the equation of a hyperbola. The center of the hyperbola is at the point \(\left({2,3}\right).\) Also this hyperbola has a vertical orientation, that is, its transverse axis is directed along the y-axis.

Example 2.

Reduce the second-order equation to canonical form and determine the type of the line: \[9x^2 - 4y^2 + 36x - 16y + 20 = 0.\]

Solution.

Rewrite the equation in the form

\[\left({9x^2 + 36x}\right) - \left({4y^2 + 16y}\right) + 20 = 0.\]

Add and subtract the new integers in brackets to complete the squares:

\[9\left({x^2 + 4x \pm4}\right) - 4\left({y^2 + 4y \pm4}\right) + 20 = 0,\]
\[9\left({x + 2}\right)^2 - \cancel{36} - 4\left({y + 2}\right)^2 + \cancel{16} + \cancel{20} = 0,\]

so we get

\[9\left({x + 2}\right)^2 = 4\left({y + 2}\right)^2.\]

The canonical equation is written as

\[\frac{\left({x + 2}\right)^2}{4} - \frac{\left({y + 2}\right)^2}{9} = 0.\]

Let's go back to the previous equation and take the square root of both sides:

\[3\left({x + 2}\right) = \pm 2\left({y + 2}\right).\]

We are faced with two solutions here. In the first case we get the following equation:

  1. \(3x + 6 = 2y + 4,\;\) or \(\;3x - 2y + 2 = 0.\)

The second solution has the form

  1. \(3x + 6 = -2y -4,\;\) or \(\;3x + 2y + 10 = 0.\)

Therefore, the original equation describes two real intersecting straight lines.

Example 3.

Determine the type of second-order curve and write its canonical equation: \[x^2 + x - 6 = 0.\]

Solution.

Complete the square in this equation:

\[x^2 + x - 6 = 0,\;\Rightarrow x^2 + x + \frac{1}{4} - \frac{25}{4} = 0,\;\Rightarrow \left({x+\frac{1}{2}}\right)^2 - \left({\frac{5}{2}}\right)^2 = 0.\]

We have obtained a canonical equation that describes a pair of parallel lines. Let's define the equations of these two straight lines:

\[\left({x+\frac{1}{2}}\right)^2 - \left({\frac{5}{2}}\right)^2 = 0,\;\Rightarrow x + \frac{1}{2} = \pm\frac{5}{2}.\]
  1. \(x + \frac{1}{2} = \frac{5}{2},\;\Rightarrow x = 2;\)
  2. \(x + \frac{1}{2} = -\frac{5}{2},\;\Rightarrow x = -3.\)

Example 4.

Reduce the second-order equation to canonical form and identify the type of the curve: \[5x^2 + 4xy + 8y^2 - 32x - 56y + 80 = 0.\]

Solution.

It is easy to see that the given general equation has the following leading coefficients:

\[A = 5,\; B = 4,\; C = 8.\]

Since the equation contains an xy-term, we will first rotate the coordinate system to get rid of this term. The angle of rotation φ is determined by the relation

\[\cot2\varphi = \frac{A - C}{B} = \frac{5-8}{4} = -\frac{3}{4}.\]

The cotangent is negative, therefore the angle φ lies in the second quadrant:

\[\frac{\pi}{2} \lt 2\varphi \lt \pi.\]

In that case we have

\[\frac{\pi}{4} \lt \varphi \lt \frac{\pi}{4},\;\Rightarrow \sin\varphi \gt 0,\;\cos\varphi \gt 0,\;\cos2\varphi \lt 0.\]

Now we will use some trigonometric identities to construct the new XY-coordinate system. We need the formula

\[\frac{1}{\sin^2 2\varphi} = \cot^2 2\varphi + 1, \;\Rightarrow \sin^2 2\varphi = \frac{1}{\cot^2 2\varphi + 1}.\]

Substitute the cotangent value:

\[\sin^2 2\varphi = \frac{1}{\cot^2 2\varphi + 1} = \frac{1}{\left({-\frac{3}{4}}\right)^2 + 1} = \frac{1}{\frac{9}{16}+1} = \frac{1}{\frac{25}{16}} = \frac{16}{25}.\]

Find the cosine of the angle 2φ:

\[\cos^2 2\varphi = 1 - \sin^2 2\varphi = 1 - \frac{16}{25} = \frac{9}{25}.\]

From here we get \(\cos 2\varphi = -\frac{3}{5}.\) Now we can determine \(\sin \varphi\) and \(\cos \varphi:\)

\[\sin \varphi = \sqrt{\frac{1-\cos2\varphi}{2}} = \sqrt{\frac{1-\left({-\frac{3}{5}}\right)}{2}} = \sqrt{\frac{8}{10}} = \sqrt{\frac{4}{5}} = \frac{2}{\sqrt{5}};\]
\[\cos \varphi = \sqrt{\frac{1+\cos2\varphi}{2}} = \sqrt{\frac{1+\left({-\frac{3}{5}}\right)}{2}} = \sqrt{\frac{2}{10}} = \sqrt{\frac{1}{5}} = \frac{1}{\sqrt{5}}.\]

After rotating the coordinate system by the angle φ, the old xy-coordinates are expressed in terms of the new XY-coordinates as follows:

\[\left\{ \begin{array}{l} x = X\cos\varphi - Y\sin\varphi\\ y = X\sin\varphi + Y\cos\varphi \end{array} \right.,\;\Rightarrow \left\{ \begin{array}{l} x = X\frac{1}{\sqrt{5}} - Y\frac{2}{\sqrt{5}} = \frac{1}{\sqrt{5}}\left({X - 2Y}\right)\\ y = X\frac{2}{\sqrt{5}} + Y\frac{1}{\sqrt{5}} = \frac{1}{\sqrt{5}}\left({2X + Y}\right) \end{array} \right..\]

We substitute these expressions for x and y into the equation of the curve:

\[5\cdot\left(\frac{1}{\sqrt{5}}\right)^2\left({X - 2Y}\right)^2 + 4\cdot\frac{1}{\sqrt{5}}\cdot\frac{1}{\sqrt{5}}\left({X - 2Y}\right)\left({2X + Y}\right) + 8\cdot\left(\frac{1}{\sqrt{5}}\right)^2\left({2X + Y}\right)^2 - 32\cdot\frac{1}{\sqrt{5}}\left({X - 2Y}\right) - 56\cdot\frac{1}{\sqrt{5}}\left({2X + Y}\right) + 80 = 0,\]
\[X^2 - 4XY + 4Y^2 + \frac{4}{5}\left({2X^2 - 4XY + XY - 2Y^2}\right) + \frac{8}{5}\left({4X^2 + 4XY + Y^2}\right) - \frac{32}{\sqrt{5}}\left({X-2Y}\right) - \frac{56}{\sqrt{5}}\left({2X+Y}\right) + 80 = 0,\]
\[X^2 - \cancel{4XY} + 4Y^2 + \frac{8}{5}X^2 - \cancel{\frac{12}{5}XY} - \frac{8}{5}Y^2 + \frac{32}{5}X^2 + \cancel{\frac{32}{5}XY} + \frac{8}{5}Y^2 - \frac{32}{\sqrt{5}}X + \frac{64}{\sqrt{5}}Y - \frac{112}{\sqrt{5}}X - \frac{56}{\sqrt{5}}Y\ + 80 = 0.\]

Combining the like terms we have

\[\frac{45}{5}X^2 + \frac{20}{5}Y^2 - \frac{144}{\sqrt{5}}X + \frac{8}{\sqrt{5}}Y + 80 = 0,\]

or

\[9X^2 + 4Y^2 - \frac{144}{\sqrt{5}}X + \frac{8}{\sqrt{5}}Y + 80 = 0.\]

As you can see, the equation of the curve does not contain an XY-term in the new coordinate system. So now it is enough to complete squares to convert the equation into canonical form and determine the curve type.

\[\left({9X^2 - \frac{144}{\sqrt{5}}X}\right) + \left({4Y^2 + \frac{8}{\sqrt{5}}Y}\right) + 80 = 0,\]
\[9\left[{X^2 - \frac{16}{\sqrt{5}}X \pm\left({\frac{8}{\sqrt{5}}}\right)^2}\right] + 4\left[{Y^2 + \frac{2}{\sqrt{5}}Y \pm\left({\frac{1}{\sqrt{5}}}\right)^2}\right] + 80 = 0,\]
\[9\left({X - \frac{8}{\sqrt{5}}}\right)^2 - \frac{576}{5} + 4\left({Y + \frac{1}{\sqrt{5}}}\right)^2 - \frac{4}{5} + 80 = 0,\]
\[9\left({X - \frac{8}{\sqrt{5}}}\right)^2 + 4\left({Y + \frac{1}{\sqrt{5}}}\right)^2 = 36.\]

Divide both sides of the equation by 36 and get the canonical equation of an ellipse in the new XY-coordinate system:

\[\frac{\left({X - \frac{8}{\sqrt{5}}}\right)^2}{4} + \frac{\left({Y + \frac{1}{\sqrt{5}}}\right)^2}{9} = 1.\]