(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

circle

(Definition)

A circle is the locus of points which are equidistant from some fixed point. It is in the plane is determined by a center and a radius. The center is a point in the plane, and the length of the radius is a positive real number, the radius being a line segment from the center to the circumference. The circle consists of all points whose distance from the center equals the radius.

Another way of defining the circle is thus: Given and as two points and as another point, the circle with center is the locus of points with congruent to . (Hilbert, 1927)

Notice there is no definition of distance needed to make that definition and so it works in many geometries, even ones with no distance function. Hilbert uses it in his Foundations of Geometry book Also used by Forder in his Foundations of Euclidean geometry book, c 1927

In this entry, we only work with the standard Euclidean norm in the plane. A circle has one center only.

A circle determines a closed curve in the plane, and this curve is called the perimeter or circumference of the circle. If the radius of a circle is , then the length of the perimeter is $2\pi r$ . Also, the area of the circle is $\pi r^2$ . More precisely, the interior of the perimeter has area $\pi r^2$ . The diameter of a circle is defined as .

The circle is a special case of an ellipse. Also, in three dimensions, the analogous geometric object to a circle is a sphere.

The circle in analytic geometry

Let us next derive an analytic equation for a circle in Cartesian coordinates . If the circle has center and radius , we obtain the following condition for the points of the sphere,

$\displaystyle (x - a)^2 + (y - b)^2 = r^2.$

(1)

In other words, the circle is the set of all points

that satisfy the above equation. In the special case that

, the equation is simply

. The unit circle is the circle

It is clear that equation 1 can always be reduced to the form

$\displaystyle x^2 + y^2 + Dx + Ey + F = 0,$

(2)

where

are real numbers. Conversely, suppose that we are given an equation of the above form where

are arbitrary real numbers. Next we derive conditions for these constants, so that equation (2) determines a circle [2]. Completing the squares yields

$\displaystyle x^2 + Dx + \frac{D^2}{4} + y^2 + Ey + \frac{E^2}{4} = - F + \frac{D^2}{4} + \frac{E^2}{4},$

whence

$\displaystyle \left(x + \frac{D}{2}\right)^2 + \left(y + \frac{E}{2}\right)^2 = \frac{D^2 - 4F + E^2}{4}.$

There are three cases:

If , then equation (2) determines a circle with center $( - \frac{D}{2}, - \frac{E}{2})$ and radius $\frac{1}{2}\sqrt{D^2 - 4F + E^2}$ .
If , then equation (2) determines the point $( - \frac{D}{2}, - \frac{E}{2})$ .
If , then equation (2) has no (real) solution in the - plane.

The circle in polar coordinates

Using polar coordinates for the plane, we can parameterize the circle. Consider the circle with center and radius in the plane $\mathbb{R}^2$ . It is then natural to introduce polar coordinates $(\rho, \phi)$ for $\mathbb{R}^2\setminus\{(a,b)\}$ by

$\displaystyle x(\rho, \phi)$	$\displaystyle = a + \rho \cos \phi,$
$\displaystyle y(\rho, \phi)$	$\displaystyle = b + \rho \sin \phi,$

with $\rho > 0$ and $\phi\in [0,2\pi)$ . Since we wish to parameterize the circle, the point

does not pose a problem; it is not part of the circle. Plugging these expressions for

into equation (1) yields the condition $\rho = r$ . The given circle is thus parameterization by $\phi\mapsto (a + \rho \cos \phi, b + \rho \sin \phi)$ , $\phi\in[0,2\pi)$ . It follows that a circle is a closed curve in the plane.

Three point formula for the circle

Suppose we are given three points on a circle, say , , . We next derive expressions for the parameters in terms of these points. We also derive equation (3), which gives an equation for a circle in terms of a determinant.

First, from equation (2), we have

$\displaystyle x_1^2 + y_1^2 + Dx_1 + Ey_1 + F$	$\displaystyle = 0,$
$\displaystyle x_2^2 + y_2^2 + Dx_2 + Ey_2 + F$	$\displaystyle = 0,$
$\displaystyle x_3^2 + y_3^2 + Dx_3 + Ey_3 + F$	$\displaystyle = 0.$

These equations form a linear set of equations for

, i.e.,

$\displaystyle \begin{pmatrix}x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \e... ...begin{pmatrix}x_1^2 + y_1^2 \\ x_2^2 + y_2^2 \\ x_3^2 + y_3^2 \\ \end{pmatrix}.$

Let us denote the matrix on the left hand side by $\Lambda$ . Also, let us assume that $\det \Lambda \neq 0$ . Then, using Cramer's rule, we obtain

$\displaystyle D$	$\displaystyle = - \frac{1}{\det \Lambda} \det \begin{pmatrix}x_1^2 + y_1^2 & y_1 & 1 \\ x_2^2 + y_2^2 & y_2 & 1 \\ x_3^2 + y_3^2 & y_3 & 1 \\ \end{pmatrix},$
$\displaystyle E$	$\displaystyle = - \frac{1}{\det \Lambda} \det \begin{pmatrix}x_1 & x_1^2 + y_1^2 & 1 \\ x_2 & x_2^2 + y_2^2 & 1 \\ x_3 & x_3^2 + y_3^2 & 1 \\ \end{pmatrix},$
$\displaystyle F$	$\displaystyle = - \frac{1}{\det \Lambda} \det \begin{pmatrix}x_1 & y_1 & x_1^2 ... ...1^2 \\ x_2 & y_2 & x_2^2 + y_2^2 \\ x_3 & y_3 & x_3^2 + y_3^2 \\ \end{pmatrix}.$

These equations give the parameters

as functions of the three given points. Substituting these equations into equation (2) yields

$\displaystyle (x^2 + y^2)\det \begin{pmatrix}x_1 & y_1 & 1 \\ x_2 & y_2 & 1 \\ x_3 & y_3 & 1 \\ \end{pmatrix}$	$\displaystyle \mathbin{ - } x\det \begin{pmatrix}x_1^2 + y_1^2 & y_1 & 1 \\ x_2^2 + y_2^2 & y_2 & 1 \\ x_3^2 + y_3^2 & y_3 & 1 \\ \end{pmatrix}$
	$\displaystyle \mathbin{ - } y\det \begin{pmatrix}x_1 & x_1^2 + y_1^2 & 1 \\ x_2 & x_2^2 + y_2^2 & 1 \\ x_3 & x_3^2 + y_3^2 & 1 \\ \end{pmatrix}$
	$\displaystyle \mathbin{ - } \det \begin{pmatrix}x_1 & y_1 & x_1^2 + y_1^2 \\ x_2 & y_2 & x_2^2 + y_2^2 \\ x_3 & y_3 & x_3^2 + y_3^2 \\ \end{pmatrix} = 0.$

Using the cofactor expansion, we can now write the equation for the circle passing through

as [3,4]

$\displaystyle \det \begin{pmatrix}x^2 + y^2 & x & y & 1 \\ x_1^2 + y_1^2 & x_1 ... ... + y_2^2 & x_2 & y_2 & 1 \\ x_3^2 + y_3^2 & x_3 & y_3 & 1 \\ \end{pmatrix} = 0.$

(3)

References

1: D. Hilbert, Foundations of Geometry Chicago: The Open Court Publishing Co. (1921): 163
2: J. H. Kindle, Schaum's Outline Series: Theory and problems of plane of Solid Analytic Geometry, Schaum Publishing Co., 1950.
3: E. Weisstein, Eric W. Weisstein's world of mathematics, entry on the circle.
4: L. Råde, B. Westergren, Mathematics Handbook for Science and Engineering, Studentlitteratur, 1995.

"circle" is owned by PrimeFan. [ full author list (6) | owner history (4) ]

(view preamble)

See Also: squeezing $\mathbb{R}^n$ , curvature of a circle

Other names:

circular

Also defines:

unit circle, radius, radii, perimeter, circumference, three point formula for the circle, center

Attachments:: compass and straightedge construction of center of given circle (Algorithm) by Wkbj79
circle has one center (Theorem) by Wkbj79

Log in to rate this entry.
(view current ratings)

Cross-references: passing through, cofactor expansion, Cramer's rule, left hand side, matrix, determinant, terms, parameters, expressions, polar coordinates, solution, completing the squares, reduced, clear, Cartesian coordinates, equation, analytic, sphere, object, dimensions, ellipse, diameter, interior, area, curve, closed curve, circle has one center, Euclidean norm, Euclidean geometry, foundations, function, even, geometries, congruent, distance, line segment, real number, positive, length, plane, fixed point, points, locus
There are 264 references to this entry.

This is version 11 of circle, born on 2003-05-02, modified 2007-07-03.
Object id is 4236, canonical name is Circle.
Accessed 118399 times total.

Classification:

AMS MSC:

51-00 (Geometry :: General reference works )

Pending Errata and Addenda

None.[ View all 11 ]

Discussion

forum policy

Interact