Circles
In a Euclidean plane, fix a point and a positive real number . The circle with center and radius is the set of points at distance from .
To describe a circle algebraically, we might use Cartesian coordinates. Write , and let denote the coordinates of a general point on the circle. The line segment with endpoints and may be viewed as the hypotenuse of a right triangle with sides and , the horizontal and vertical separations from the center to . By the Pythagorean theorem, the sum of the squares of the sides is the square of the hypotenuse: Since for every real number , the preceding equation may be written A point of the plane lies on the circle of center and radius (geometry) if and only if the preceding equation is true (algebra).
The unit circle is the circle centered at the origin, , and of radius . Its Cartesian equation is

Angle
Take a vertical line segment of length , place its bottom end at the point on the unit circle, and ``wrap'' the segment smoothly counterclockwise around the unit circle. The top end of the segment ``maps to'' a well-defined point of the circle. This function notation reminds us that the length uniquely defines a point on the circle.
There is a positive real number characterized by two properties:
- The segment of length wraps around: The upper endpoint maps to .
- No smaller positive real number wraps around the circle.
Algebraically, , and if then .
If is negative, we place the top end of the segment at , and define by wrapping the segment clockwise around the circle.
For each real number , we say makes angle with . A point on the circle does not have a unique angle. For example, , so the point has angles , and , and also , , and so on. Generally, each point has infinitely many distinct angles, any two differing by a whole multiple of . (Mathematicians prefer to measure angles in radians rather than degrees because formulas involving calculus come out more neatly.)
For cultural reasons, angle is not denoted by , but by the Greek letter (theta). If is real, we write for the point on the unit circle making angle with .
If and are points of the unit circle, we would like to view as a measure of ``distance'' between and . Because and are not uniquely defined by the points, however, our numerical quantity is not well-defined.
To remedy this, we focus our attention on the smallest distance over all choices of and . The angular separation of two points and on the unit circle is the smallest value of subject to and .
The angular separation is non-negative, as the minimum of a collection of non-negative real numbers. Further, the angular separation of two points is if and only if the points are the same. Finally, the angular separation is never larger than , one-half the circumference, and is equal to if and only if the points are opposite ends of a diameter. Intuitively, any two points on the unit circle lie in some half-circle, and so are separated by a distance ``along the circle'' of at most half the circumference, i.e., .
Trigonometry
For each real , there is a unique point on the unit circle making angle with . The horizontal and vertical coordinates of are the cosine of , denoted , and the sine of , denoted . We call and the circular functions.

Briefly, .
The Pythagorean theorem, which gives the Cartesian equation for the unit circle, tells us . Mathematicians write and for the squares of the cosine and sine, and therefore write this basic identity .
For each real , we have and . We say the circular functions are periodic with period , or -periodic. Geometrically, their graphs ``repeat'' after .

Rotation
There is a geometric operation of ``rotation'' about the origin of the Euclidean plane that fixes (does not move) the origin, preserves Euclidean distances, and ``preserves relative angles'' at the origin. For each real number , rotation by about the origin maps the rightmost point of the unit circle to the point .

Rotation by is the ``identity map'' on the plane: Each point maps to itself. Because an angle represents one full turn, rotation by is also the identity map: If we rotate the plane one full turn about the origin, every point maps to itself. The same is true of rotation by every whole multiple of .
Rotations satisfy a remarkable composition law. For example, if we rotate the plane by an angle ( degrees) and then by angle ( degrees), the net result is rotation by the sum of the angles, ( degrees).
Generally, if we rotate about the origin by an angle , and then rotate about the origin by an angle , the net result is rotation about the origin by the sum, .
We might express the composition law for rotations in symbols by letting denote the operation of rotating about the origin by angle . This entity is a type of function. Its inputs and outputs are points of the plane. If is a point of the plane, then denotes the image of under rotation.
If we write , giving a name to the ``output'' of acting on , substitution tells us that is the image of the point under , namely the net result of rotating about the origin by angle and then by .
The composition law would then be written There is one further abbreviation we can make. The preceding relation holds for every point , so mentioning is unnecessary. Abstracting to the operations themselves, we might write In symbols, this says ``the result of rotating about the origin by angle and then by angle has the same effect as the single rotation through angle .
Groups
In particular, the composition law for rotations says a composition of rotations about the origin is a rotation about the origin. Mathematicians say the set of rotations about the origin is ``closed under composition.''
Further, the identity mapping is a rotation (by angle , or any whole multiple of ), and the ``inverse'' of a rotation about the origin—the operation that ``undoes'' the rotation—is itself a rotation about the origin.
These three properties—a set of mappings that is closed under composition, contains the identity map, and contains the inverse of each mapping in —characterize a mathematical structure known as a group. The group of plane rotations about the origin is a personal favorite at Differential Geometry, and underlies many images and objects in our math art shop.
If we fix an arbitrary point of the plane, the set of rotations about is also a group under composition. In a mathematical sense (that we will not make precise here), this group of rotations has the same abstract structure as the group of rotations about the origin. Mathematicians say any two of these groups are isomorphic (iso: same, morph: form).
The set of rotations about arbitrary points of the plane, by contrast, is not a group. Can you see why? (Caution: Unless centers and angles are chosen carefully, a composition of rotations with different centers is a rotation, although its center is not the center of either ``factor.'')
The identity mapping is a particularly special rotation: By itself it forms a group! No other single rotation has this property.
Among non-identity rotations, there is the interesting class of half-turns, rotations by angle (or degrees) about some point. The set of all half-turns does not form a group. (Hint: What is the effect of successively performing two half-turns with different centers?) The identity mapping together with a half-turn a particular point does form a group, with just two elements.
If we focus on the half-turn about the origin, our group is abstractly the set under multiplication. The identity mapping sends each point to . The half-turn about the origin sends each point to . Composition effects multiplication of ``coefficients.''
One final observation is worth making: Consider a quarter-turn about the origin. (There are two, counterclockwise and clockwise.) Performing the same quarter-turn twice gives a half-turn. If there were a way to view a quarter-turn about the origin as ``multiplication'' by some kind of number, then the square of that number would be the coefficient of a half-turn, namely . In other words, we would have a concrete implementation of the (sometimes mysterious) ``square root of .'' This observation is a departure point for the world of complex numbers.