With the exception of another "fact", at the time when, around the age of twelve, I was interned in the concentration camp of Rieucros (near Mende). It is there that I learnt, from another prisoner, Maria, who gave me free private lessons, the definition of the circle. It impressed me by its simplicity and its evidence, whereas the property of "perfect rotundity" of the circle previously had appeared to me as a reality mysterious beyond words. It is at that moment, I believe, that I glimpsed for the first time (without of course formulating it to myself in these terms) the creative power of a "good" mathematical definition, of a formulation which describes the essence. Still today, it seems that the fascination which this power exercised on me has lost nothing of its force.
(My sincere thanks go to V. Gutenmacher who brought the quote to my attention.)
Circle is the locus of points equidistant from a given point, the center of the circle. The common distance from the center of the circle to its points is called radius. Thus a circle is completely defined by its center (O) and radius (R):
are more pleasant to the eye than the Euclidean ones.
For square circles, it is relatively simple to define their length as the sum of lengths of the constituent sides. The length of the Euclidean (ordinary) circle may be approximately measured to any precision with a variety of means. A rigorous definition, nonetheless, requires a theory of limits - the fundamental notion in Calculus. The length of a circle is usually called its circumference.
In any affine space endowed with a metric, all circles are similar. Which does not mean there is similarity between circles in various metric spaces. But which does mean that, however defined, the ratio of the circumference to the radius of circles in a given metric space is constant. It may vary between spaces, though. In Euclidean space, the ratio equals 2p, named so by L. Euler.
The most common tool for constructing (Euclidean) circles is the venerable compass. But there are of course other ways. The inversion can be used to convert circular motion into rectilinear and vice versa. A circle is also traced by the point common to two lighthouse beams rotating at the same angular speed. The midpoint of a ladder sliding down a wall also traces a circle. Circle is also the locus of points having the same ratio of distances to a pair of points. Circle (a part of it actually) is also the locus of points from which a given line segment is seen under a given angle.
The line joining the center of the circle to one of its points is often called the radius-vector of that point, or just one of the radii. Likewise, the word diameter is used in two different, but close meanings. On one hand, diameter is the largest distance between any two points on a circle. As such, it equals twice the radius of the circle. For a given circle, there is exactly one and only one diameter. On the other hand, the word "diameter" designates a line segment joining a point on the circle with its opposite, i.e. the point farthest away from the point at hand. For every point on a circle there is exactly one diameter that contains this point. The length of a diameter, as a line segment, is exactly the diameter, as a number. Any diameter passes through the center of the circle and is divided by the center into two equal halves, each the length of the radius.
Two intersecting chord are divided by the point of intersection into two parts each such that the products of their lengths are equal. This is known as the Intersecting Chords Theorem. The latter carries on to the intersecting secants and gives rise to the important notion of the power of a point with respect to a circle.
Some quadrilaterals have inscribed circles, and these are called inscriptible. Other quadrilaterals have concyclic vertices, and these are called circumscriptible, or cyclic. Those quadrilaterals that have both inscribed and circumscribed circles are said to be bicentric.
Surprisingly, in many respects circles behave like straight lines. Nowehere it is more apparent than in inversive geometry.