Contents / Geometry / Circles & Polygons
Chapter 3
Circles & Polygons
Circles, radii and diameters, polygons, inscribed angles, and area.
Introduction
Circles, radii and diameters, polygons, inscribed angles, and area.
A circle is the set of all points in a plane that are at a fixed distance (the radius) from a given center point.
It is the most symmetric of all plane figures and appears everywhere from wheels to orbits to the definition of π.
3.1Definition and Basic Terminology
Definition 3.1 (Circle). A circle with center and radius is the set of points of the plane at distance from . Its diameter is the longest chord, the one passing through the center. A chord is a segment joining two points on the circle, and an arc is a portion of the circle between two points.
Theorem 3.2 (Circumference and area). A circle of radius has
Intuition. A circle is every point exactly r steps away from the center, like a perfect round fence with the center as the post.
The diameter is the widest straight cut through the middle; twice as wide as from center to edge.
Example 3.3. A circle with center and radius consists of all satisfying .
Solution.
- test a point: substitute : . It satisfies the equation, so lies on the circle.
- locate the diameter: the diameter along the -axis runs from to , length .
- Sanity check: the distance from the center to is , confirming the point is exactly one radius away. Good.
3.2Chords, Arcs, and Central Angles
Definition 3.4 (Central angle). A central angle is formed by two radii. The measure of the arc it cuts off equals the measure of the central angle.
Proposition 3.5 (Chords and the angles they subtend). In a given circle, longer chords subtend larger central angles, and equal chords subtend equal arcs and equal central angles.
Intuition. The "slice" of pie from the center (central angle) tells you how big the crust arc is.
A bigger slice has a longer crust piece and a longer straight chord across the top of the slice.
Example 3.6. In a circle of radius , a central angle of subtends an arc of , which is of the full circle.
Solution.
- arc length: the circumference is , so the arc has length .
- chord length: drop a perpendicular from the center to the chord. This splits the isosceles triangle (two radii of length plus the chord) into two right triangles, each with a half-angle of at . The half-chord is the opposite side, so , giving a full chord of .
- Sanity check: the two radii ( and ) and the chord () form an equilateral triangle, which matches the vertex angle. The chord () is a little shorter than its arc (), as it must be, since the straight path is shorter than the curved one. Both good.
3.3Inscribed Angles and Angles in Semicircles
Definition 3.7 (Inscribed angle). An inscribed angle has its vertex on the circle and its sides passing through two other points of the circle.
Theorem 3.8 (Inscribed angle theorem). An inscribed angle measures half the intercepted arc, and therefore half the central angle standing on the same arc.
Corollary 3.9 (Angle in a semicircle). An angle inscribed in a semicircle is a right angle (Thales' theorem).
Intuition. An angle sitting on the edge of the circle "sees" only half as much of the arc as the center does.
If the arc is exactly a semicircle (180°), the inscribed angle is 90° — that's why a diameter makes a right triangle with any point on the circle.
Example 3.10. Arc measures (that is, the central angle ).
Solution.
- An inscribed angle , with vertex anywhere on the major arc (the part of the circle not between and ), intercepts arc .
- By the inscribed angle theorem, .
- Sanity check: the inscribed angle () is exactly half the central angle () for the same arc, as expected. As a second case, if arc were (a semicircle), the inscribed angle would be — Thales' theorem falls right out.
- Confusing central and inscribed angles: Inscribed is half the central for the same arc.
- Thinking the diameter is any chord through the center: Only the one passing through center is diameter; others are just long chords.
- Forgetting that all radii are equal: This is what makes the circle so symmetric and allows so many isosceles triangles inside it.
- Mixing arc measure (degrees) with arc length (units of length): Arc measure is angle; length is (theta/360)*2πr.
The radius of a circle or sphere is the distance from its center to any point on its circumference (or surface). It is usually denoted r and is the fundamental length parameter of the circle.
All radii of a given circle are equal, and the radius determines every other measurement of the circle.
3.4Definition and Properties
Definition 3.11 (Radius). The radius is half the diameter: the set of points at distance from the center is the circle, and any segment from the center to the circumference is a radius, of length .
Because all radii are equal, triangles formed by two radii and a chord are isosceles.
Intuition. The radius is the "spoke" length from the axle (center) to the rim. Every spoke is the same.
Once you fix r, the whole circle is fixed; you cannot have a bigger or smaller circle with the same r.
Example 3.12. Circle with center and radius .
Solution.
- an axis-aligned point: is a distance from the center, so it is on the circle. Likewise is on it.
- an off-axis point: is on the circle? Its distance from the center is . Yes.
- Sanity check: every point we found sits exactly from , which is the defining property — any point at distance exactly from the center lies on the circle, and no others do. Good.
3.5Radius in Formulas
Circumference . Area . In a unit circle , many trig identities simplify.
Theorem 3.13 (Chord length). The chord subtending a central angle has length
Proof. Drop a perpendicular from the center to the chord. It bisects both the chord and the central angle, creating a right triangle in which the half-chord is the side opposite the half-angle , of length . The full chord is twice that.∎
Intuition. Circumference is "unrolled" length around the circle: like the string you wrap exactly once.
Area is "how much carpet" inside the circle; it grows with the square of the radius (bigger r means much more area).
Example 3.14. Take .
Solution.
- circumference: .
- area: .
- chord for a central angle: here , so , and the chord is .
- Sanity check: the chord () equals the radius (), exactly what we expect for a central angle (the equilateral-triangle case). Good.
3.6Radius vs Other Lengths
For a circle, every point on the boundary is the same distance from the center, so "the distance from center to boundary" is unambiguous — it is always . For a polygon, though, the boundary is not equidistant from the center, and two different lengths matter.
Definition 3.15 (Circumradius and apothem). The circumradius of a polygon is the distance from its center to a vertex — the farthest boundary points. The apothem is the perpendicular distance from the center to a side — the nearest boundary points, equal to the radius of the inscribed circle.
In 3D the radius of a sphere is the direct analogue of the circle's radius.
Intuition. The radius is the shortest "ruler" from middle to edge. Any other line from center to edge is also a radius, same length.
For a square, the radius of the inscribed circle touches the middle of each side (apothem); the circumradius goes to the corners.
Example 3.16. For a regular hexagon with side length , find both the circumradius and the apothem.
Solution.
- circumradius: connect the center to two adjacent vertices. The central angle is , and the two connecting segments are equal (both circumradii), so the triangle is isosceles with a apex — hence equilateral. Its third side is a hexagon side of length , so the circumradius .
- apothem: the apothem drops from the center perpendicular to the midpoint of a side, splitting that equilateral triangle in half. It is the height of an equilateral triangle of side , so .
- Sanity check: the apothem () is shorter than the circumradius (), as it must be — the nearest boundary point (side midpoint) is closer than the farthest (a vertex). Good.
- Using diameter when radius is needed in formulas: Many formulas (area, ) explicitly use ; doubling by mistake is common.
- Thinking radius can vary around the circle: In a true circle it cannot; varying distance means it is not a circle (ellipse, etc.).
- Confusing radius of circle with radius of curvature: For more complex curves the local radius of curvature can change.
- Forgetting r=0 is a degenerate point-circle: A circle of radius 0 is just its center point.
The diameter of a circle is a chord that passes through the center. It is the longest possible chord and its length is twice the radius (d = 2r).
Any angle inscribed in a semicircle (with the diameter as one side) is a right angle.
3.7Definition and Properties
Definition 3.17 (Diameter). The diameter is a chord through the center,
and it is the maximum distance between any two points of the circle. The center is the midpoint of every diameter.
A diameter divides the circle into two equal semicircles.
Intuition. The diameter is the straight-line distance from one side of the circle, through the middle, to the opposite side — the widest you can go.
Cut a round pizza through the center; the cut is a diameter and you get two equal halves.
Example 3.18. Circle center (0,0), r=5. One diameter runs from (−5,0) to (5,0), length 10. Another from (0,−5) to (0,5). The center (0,0) is exactly in the middle of each.
3.8Diameter and Right Angles (Thales)
Theorem 3.19 (Thales' theorem). The angle subtended by a diameter at any point of the circle is .
This gives a quick way to construct right angles or recognize right triangles inscribed in circles.
Intuition. If you take the diameter as the base of a triangle and put the third corner anywhere on the circle, the corner at the circumference will always be a perfect 90° corner.
This is why you can draw a right triangle by picking any point on a circle with a given hypotenuse as diameter.
Example 3.20. Diameter with center , and a point anywhere on the circle. Show .
Solution.
- , , and are all radii, so . That makes and both isosceles.
- Let (base angles of isosceles ) and (base angles of isosceles ).
- The three angles of sum to . Angle , angle , and angle . So , giving and .
- Therefore .
- Sanity check: this matches the inscribed-angle view — the central angle for the semicircular arc is , and the inscribed angle at is half of it, . Both routes agree.
3.9Diameter in Calculations
Proposition 3.21 (Circumference and area from the diameter).
Proof. Substitute into and .∎
The longest chord is the diameter; any other chord is shorter.
Intuition. Using d instead of r is convenient when you measure across the whole circle (e.g., with a ruler on a physical wheel).
The formulas are just rewritten with the factor of absorbed into or .
Example 3.22. Circle with (so ).
Solution.
- circumference from : .
- area from : .
- Sanity check: using directly, and — the -based and -based formulas agree. Good.
- Calling any long chord a diameter: Only those passing exactly through the center qualify.
- Forgetting Thales gives a right angle only when the hypotenuse is the diameter: If the hypotenuse is a shorter chord the inscribed angle is acute or obtuse accordingly.
- Mixing radius and diameter in formulas: ; using by mistake doubles the circumference.
- Thinking the center is not part of the diameter segment: The diameter segment includes the center as its midpoint.
A polygon is a closed plane figure bounded by a finite chain of straight line segments (sides) meeting at vertices.
Polygons are the basic building blocks for tiling, computer graphics, and much of discrete geometry.
3.10Definition and Classification
Definition 3.23 (Polygon). A polygon with sides is an -gon. Simple polygons do not cross themselves; complex ones may. Convex polygons have all interior angles less than and no sides that bend back inward. Regular polygons have all sides and all angles equal.
Intuition. A polygon is a closed shape made of straight sides, like a stop sign (octagon) or a yield sign (triangle).
Convex means you can draw a rubber band around it and it touches all vertices; no dents.
Example 3.24. Quadrilateral (4-gon), pentagon (5), hexagon (6), heptagon (7), octagon (8), nonagon (9), decagon (10). A star pentagram is a complex (self-intersecting) polygon.
3.11Interior and Exterior Angles
Theorem 3.25 (Interior angle sum). The interior angles of a simple -gon sum to
Proof. Pick one vertex and draw the diagonals to all the others. This cuts the polygon into triangles, each contributing , and every interior angle of the polygon is accounted for exactly once.∎
Theorem 3.26 (Exterior angle sum). The exterior angles of any simple polygon — one at each vertex, all turning the same way — sum to , regular or not. For a regular -gon each of them is therefore
Intuition. As you walk around the polygon, the total turn you make is a full circle (360°). That is the sum of the exterior angles.
Interior angles are what is inside at each corner; for regular they are all equal.
Example 3.27. Find every angle of a regular pentagon ().
Solution.
- exterior angle: the five exterior angles are equal and sum to , so each is .
- interior angle: an interior angle and its exterior angle are supplementary (they form a straight line along the extended side), so each interior angle is .
- check the interior sum: .
- Sanity check: the formula gives — a match. Good.
3.12Convexity and Simple vs Complex
Definition 3.28 (Convexity). A polygon is convex when any line segment between two points inside it stays inside.
Theorem 3.29 (Jordan curve theorem, polygonal case). The boundary of a simple polygon divides the plane into an interior and an exterior region.
Intuition. Convex = no "caves"; you can see every point from every other point inside without the wall getting in the way.
A star is simple? No, self-intersecting; a simple dented shape is concave but still simple (no crossings).
Example 3.30. A rectangle is convex. An arrowhead shape (chevron) is concave (one interior angle >180°). A pentagram crosses itself and is complex.
- Counting sides vs vertices: An n-gon has n sides and n vertices.
- Assuming all polygons are convex or regular: Many are irregular or concave.
- Forgetting the (n-2) formula: Quadrilateral 360°, pentagon 540°, etc.
- Including self-intersecting when talking 'interior angle sum': The simple formula assumes simple polygons.
A regular polygon is both equilateral (all sides equal) and equiangular (all interior angles equal). It has rotational symmetry of order n and reflection symmetries.
Regular polygons tile the plane in only three cases (triangles, squares, hexagons) and are the faces of the Platonic solids.
3.13Properties
Theorem 3.31 (Measurements of a regular polygon). For a regular -gon with side length and circumradius (center to vertex):
- each central angle is ;
- each interior angle is ;
- the area is
Proof. The radii to the vertices cut the polygon into congruent isosceles triangles, each with two sides and included angle , so each has area . Summing the of them gives the first expression; rewriting in terms of the side gives the second.∎
Intuition. A regular polygon is perfectly "fair"; every corner and every side is identical. You can spin it and it looks the same every 360/n degrees.
The more sides, the closer it looks to a circle.
Example 3.32. Analyze a regular hexagon () with side length .
Solution.
- central angle: .
- interior angle: .
- circumradius: since the central angle is and the two bounding segments are equal circumradii, each of the central triangles is equilateral, so the circumradius .
- area via the general formula: .
- Sanity check: six equilateral triangles of side each have area , so the total is — matches. Good.
3.14Construction and Symmetry
Regular polygons with 3, 4, 5, 6 sides are classically constructible with ruler and compass. Gauss showed the 17-gon is constructible; not all are.
Theorem 3.33 (Symmetry group of a regular polygon). The symmetries of a regular -gon are the rotations about its center and the reflections in its axes: the symmetry group is the dihedral group , with elements.
Intuition. You can draw some regular polygons exactly with just a compass and straightedge (equilateral triangle, square, regular hexagon, and some others like pentagon). Others require more advanced tools or are impossible exactly.
The symmetries are all the ways you can turn or flip it and have it land on itself.
Example 3.34. Count the symmetries of a regular pentagon () and check constructibility.
Solution.
- rotations: rotating by any multiple of maps the pentagon onto itself. That gives rotations: (the rotation is the identity).
- reflections: a regular polygon with an odd number of sides has one reflection axis through each vertex and the midpoint of the opposite side — that is reflection axes, hence reflections.
- total: symmetries, so the symmetry group is with elements.
- constructibility: by the Gauss–Wantzel theorem a regular -gon is ruler-and-compass constructible exactly when is a power of times a product of distinct Fermat primes (). Since is a Fermat prime, the regular pentagon is constructible; its classical construction (Euclid, Book IV) relies on building the golden ratio via isosceles triangles with – – angles, then stepping equal chords around a circle.
- Sanity check: the pentagon's exterior angle is , so five turns of close the figure () — consistent with the rotation being a symmetry. Good.
3.15Limits and Approximation to Circle
Theorem 3.35 (Regular polygons exhaust the circle). As , a regular -gon inscribed in a circle of radius approaches the circle:
This is one historical way to define and compute (Archimedes' method).
Intuition. With more and more sides the polygon gets "rounder" until you cannot see the difference from a true circle.
Archimedes used -sided polygons to bound between and .
Example 3.36. Watch the perimeter of an inscribed regular -gon close in on (take , so the target is ).
Solution. side length: a side subtends a central angle , so by the chord formula each side has length , and the perimeter is .
plug in values (with ):
: . : . : .
area by the "half perimeter times apothem" rule: the apothem is , which as . Since , the area .
Sanity check: the perimeters rise , staying just below the circle (an inscribed polygon is shorter than the curve it sits inside) and converging to it. Good.□
- Calling a regular polygon 'equilateral' only: It must also have equal angles; a rhombus is equilateral but not regular unless it is a square.
- Confusing radius and apothem: Radius goes to a vertex; apothem is perpendicular distance to a side (inradius).
- Assuming all regular polygons tile the plane: Only 3,4,6 do; others leave gaps or overlap.
- Forgetting that constructibility is rare: Most regular n-gons are not ruler-and-compass constructible.
An inscribed angle is an angle whose vertex lies on the circle and whose sides (chords) pass through two other points on the circle.
Its measure is half the measure of the intercepted arc.
3.16Definition and Measure
Definition 3.37 (Intercepted arc). An inscribed angle intercepts the arc lying between its two sides.
Theorem 3.38 (Inscribed angle theorem). An inscribed angle is half its intercepted arc,
which is half the central angle subtending the same arc.
Intuition. The angle sitting on the rim of the circle sees only half the arc that the center sees.
The farther from the center, the "smaller" the angle looks for the same arc.
Example 3.39. Arc (central angle ). Find the inscribed angle and confirm it does not depend on where the vertex sits.
Solution.
- Place the vertex anywhere on the major arc. The inscribed angle intercepts the same arc .
- Applying the inscribed angle theorem, .
- Move the vertex to a different point on the major arc. It still intercepts arc , so as well — the measure is fixed by the arc, not the vertex position.
- Sanity check: is exactly half the central angle for the same arc, as the theorem requires. Good.
3.17Inscribed Angle in Semicircle
Corollary 3.40 (Thales' theorem). When the intercepted arc is a semicircle (), the inscribed angle is .
This gives a construction for right angles and shows that any triangle with its hypotenuse as diameter is right-angled at the circumference.
Intuition. Put the hypotenuse as the diameter; no matter where you put the third corner on the circle, the angle at that corner is a perfect right angle.
This is a quick way to draw or recognize right triangles.
Example 3.41. Diameter , point on the circle. Show , then use it.
Solution.
- The diameter splits the circle into two semicircular arcs. The arc not containing measures .
- is inscribed and intercepts that arc, so .
- application: if and , then since , triangle is right-angled at , and .
- Sanity check: – – is a scaled – – right triangle, and confirms the right angle at . Good.
- Using the wrong arc: The inscribed angle intercepts the arc that lies in its interior (the one "seen" by the angle), not the reflex arc.
- Confusing with central: Always half for the same arc.
- Forgetting the vertex must be on the circle: If the vertex is inside or outside, the angle/arc relations differ (power of point, etc.).
- Assuming all inscribed angles on the same side are equal: They are, for the same arc; different arcs give different measures.
The circumscribed circle (or circumcircle) of a polygon is the unique circle that passes through all the vertices of the polygon.
Its center is the circumcenter; its radius is the circumradius.
3.18Definition and Existence
Definition 3.42 (Circumcircle, circumcenter, circumradius). The circumcircle of a polygon is a circle through all of its vertices; its center is the circumcenter and its radius the circumradius.
Theorem 3.43 (Every triangle has a circumcircle). For a triangle the circumcircle always exists and is unique, and its center is the point where the perpendicular bisectors of the three sides meet.
For a general polygon, a circumcircle exists only if the polygon is cyclic — that is, only if its vertices lie on a common circle.
Intuition. The circumcircle is the "round fence" that just touches all the corners of your polygon.
For a triangle you can always find such a circle; for a random quadrilateral the four corners may not lie on one circle.
Example 3.44. Find the circumcircle of , , .
Solution.
- perpendicular bisector of : runs along the -axis with midpoint ; its perpendicular bisector is the vertical line .
- perpendicular bisector of : runs along the -axis with midpoint ; its perpendicular bisector is the horizontal line .
- circumcenter: the two bisectors meet at .
- circumradius: distance from to is .
- Sanity check: distance to is , and to is — all three vertices are equidistant, so is indeed the circumcenter. (Note , so by Thales the hypotenuse is a diameter; its midpoint is the center, confirming the result.)
3.19Properties
Proposition 3.45 (Where the circumcenter sits). In a right triangle the circumcenter is the midpoint of the hypotenuse, so the circumradius is half the hypotenuse. In an acute triangle the circumcenter lies inside the triangle; in an obtuse triangle, outside it.
Theorem 3.46 (Extended law of sines). For every side–angle pair of a triangle,
where is the circumradius and is the side opposite the angle .
Intuition. In a right triangle the hypotenuse is the diameter of the circumcircle (Thales again).
The bigger the triangle relative to its angles, the larger R.
Example 3.47. Right triangle with legs and , hypotenuse .
Solution.
- circumradius: for a right triangle the hypotenuse is a diameter (Thales), so , and the circumcenter is the midpoint of the hypotenuse.
- cross-check with the law of sines: the right angle () is opposite the hypotenuse (), so , giving .
- check another side–angle pair: the side of length is opposite an angle with (opposite over hypotenuse). Then , so again.
- Sanity check: all three methods give , and each vertex is exactly from the hypotenuse's midpoint. Good.
3.20For Regular Polygons and Cyclic Quads
Every regular polygon has a circumcircle, by symmetry.
Theorem 3.48 (Cyclic quadrilaterals). A quadrilateral has a circumcircle if and only if its opposite angles sum to . Such a quadrilateral is called cyclic.
Intuition. Regular polygons are perfectly symmetric so their vertices lie on a circle centered at the polygon's center.
For a quad to fit on a circle, the opposite corners must "add up" to a straight angle in a certain way.
Example 3.49. Test which quadrilaterals are cyclic using the "opposite angles sum to " rule.
Solution.
- square: every angle is , so each pair of opposite angles sums to . Cyclic — its circumcircle has the diagonal as diameter.
- non-square rectangle: again every angle is , so opposite angles sum to . Cyclic — the equal diagonals meet at the center, which is the circumcenter.
- a general (non-rectangular) parallelogram: opposite angles are equal, say and . Their sum is , so it is not cyclic. A parallelogram is cyclic only when each angle is — i.e., when it is a rectangle.
- Sanity check: in the square/rectangle cases the two adjacent angles at the ends of a diagonal already show the four vertices lie on one circle (Thales, since each angle is subtending the diagonal). Consistent. Good.
- Confusing circumcircle with incircle: Circum passes through vertices (outside or through); in touches the sides (inside).
- Assuming every quadrilateral has a circumcircle: Only cyclic ones do.
- Forgetting the circumcenter may lie outside the triangle: In obtuse triangles it does.
- Mixing R with inradius r: R is usually larger.
The area of a circle of radius r is .
This formula can be derived by dividing the circle into sectors and rearranging them into a rectangle-like shape whose dimensions involve and .
3.21Derivation by Sectors
Theorem 3.50 (Area of a circle). A circle of radius has area
Proof. Divide the circle into thin sectors, each with angle , arc length and "height" . Rearranged by alternating them point-up and point-down, the sectors interlock into a shape that approaches a rectangle of width and height as : the width is because half the sectors contribute their arcs to the top edge and half to the bottom, so each long edge totals half the circumference, . Hence the area is .∎
Intuition. Cut the pizza into many skinny slices and rearrange them into a rectangle that is half the circumference wide and radius tall.
The wiggly edges become straight in the limit, giving the clean rectangle area.
Example 3.51. Apply the rearrangement to .
Solution.
- rectangle width: half the circumference is .
- rectangle height: the radius, .
- area: .
- Sanity check: the direct formula gives — a match. (With only sectors the rearranged edge is still visibly wavy, so the estimate is rough; the equality becomes exact only in the limit .)
3.22Other Derivations
Proof. By integral calculus, slicing the disc into vertical strips of height at each ,
Using Green's theorem or polar coordinates also yields the formula.
Intuition. You can add up the areas of infinitely many thin rings or use trig to integrate the circle equation.
All methods agree on .
Example 3.52. Derive the area in polar coordinates.
Solution.
- set up the sector-sweep integral: the area swept by a radius as goes from to is , where is constant for a circle.
- integrate: since is constant, .
- Sanity check: this matches both the sector-rearrangement result and . All three methods agree. Good.
3.23Applications and Scaling
Proposition 3.53 (Quadratic scaling of area). Area scales with the square of the linear dimensions:
so doubling the radius quadruples the area.
Used in physics (pressure on a circular piston, flux through circular aperture), probability (normal distribution in 2D), and design.
Intuition. A circle twice as wide has four times as much 'stuff' inside (area).
This quadratic scaling is why large pizzas are better value per crust (less crust per area).
Example 3.54. Show how area responds to scaling the radius.
Solution.
- compute a few areas: ; ; .
- read off the factors: going from to (radius ) multiplies area by ; going from to (radius ) multiplies area by .
- general rule: scaling the radius by a factor scales area by , since .
- Sanity check: the observed factors and equal and , matching the law. Good.
- Using for area: That is circumference. Area is .
- Forgetting the square: is not area.
- Using diameter instead of radius without adjusting: is correct but easy to forget the .
- Confusing with sphere surface/volume: Sphere surface , volume .