Conics and Quadrics
Conics and Quadrics
Conics and Quadrics
Definition 9.27 (Quadratic Form) We can express any quadratic function f by a square matrix
A
f (x) = xT Ax
It can be shown that we can assume that A is symmetric without loss of generality.
Given a symmetric matrix A then we denote the expression f (x) = xT Ax as Quadratic Form
The fact that the matrix A in the quadratic form f (x) = xT Ax is symmetric has some
nice properties. Given a symmetric matrix A ∈ Rn×n , we have:
• All eigenvalues λi of A are real numbers (λi ∈ R).
• Eigenvectors belonging to different eigenvectors of A are orthogonal.
• algebraic and geometric multiplicities are the same.
This makes it possible for us to transform any conic or quadric to a diagonal matrix. This
is necessary for the classification of the conics and quadrics later on.
9.5.1 Conics
Definition 9.28 (Conic) A Conic is a curve described by a quadratic equation in a plane. For
homogeneous coordinates this is a set of all points x ∈ R3 which satisfy the equation
0 = xT Cx
where C is a symmetric 3 × 3 matrix.
The matrix C is enough to describe a certain conic. Explicitly, it is
x a b/2 d/2
For x =
y
and C =
b/2 c e/2
z d/2 e/2 f
Using this we can write the equation for the conic also as
We can see that the conic is a special case of the quadratic form. Thus all properties of
quadratic forms hold for conics as well.
The conic defining matrix C has obviously 6 independent parameters. Since we are
using the projective geometry framework however, all entities are up to scale. Hence a
conic has only 5 degrees of freedom. That is, 5 points define a conic.
If the plane is parallel to the axis of the cone, we get a circle, which is a closed curve. If
the plane is not parallel any more but the curve we get by the intersection is still closed,
then the curve is an ellipse. When the plane is parallel to the line which defines the cone
(i.e. to the side of the cone) we get an open curve named parabola. And when the angle gets
even bigger and the plane is not parallel to the side of the cone any more and the curve is
open, it is named hyperbola.
These are the so called nondegenerate conics. Then there are also the so called degenerate
conics which are intersections of the cone and the plane going through the tip of the cone -
resulting in either a point or two lines.
This classical classification however is only valid for the Euclidean geometry framework. It
can be shown however, that the all nondegenerate four conics types are equivalent under
projective transformations.
It is extremely important to always keep in mind which framework, the Euclidean or
the projective you are using. Especially at the beginning of the Computer Vision lecture,
this is something that is really difficult to get used to.
Using the diagonalization property of the quadric forms we can classify the conics for
the projective framework by the form of the diagonals corresponding to them.
9.5.2 Quadrics
Definition 9.29 (Quadric) A Quadric is a set of all points x ∈ R4 which satisfy the equation:
0 = xT Qx
where Q is a symmetric 4 × 4 matrix. So again, the quadric is a special case of the quadratic
forms.