The Central Idea
A geometric construction is not merely a careful drawing.
It is a finite sequence of permitted operations designed so that the desired relationship follows from geometric facts.
The central principle is:
\[ \boxed{\text{Construct the condition; do not estimate its appearance.}} \]What Is a Classical Construction?
A classical compass-and-straightedge construction begins with given points, lines, segments, or circles and creates new objects using only idealized compass and straightedge operations.
The goal is exactness in the mathematical sense.
No numerical scale, protractor measurement, or visual approximation is required.
The Straightedge
The classical straightedge is unmarked.
Its primary role is to draw the unique line through two known distinct points.
If \(A\) and \(B\) are known, a straightedge can produce
\[ \overleftrightarrow{AB}. \]It is not used as a ruler for measuring numerical lengths.
The Compass
A compass creates a circle from a chosen center and a chosen radius.
If the center is \(A\) and the radius is \(AB\), the compass constructs the circle consisting of all points \(P\) satisfying
\[ AP=AB. \]This ability to preserve distance is the source of many classical constructions.
The Two Fundamental Geometric Actions
At a high level, classical construction repeatedly uses two actions:
- draw a line through two known points;
- draw a circle with known center and known radius.
New points arise where constructed lines and circles intersect.
Intersections Create New Constructed Points
A new point can be obtained as:
- the intersection of two lines;
- the intersection of a line and a circle;
- the intersection of two circles.
These intersection points then become available for later steps.
Why Circles Are So Powerful
A circle represents an exact distance condition.
If \(P\) lies on the circle centered at \(A\) with radius \(r\), then
\[ AP=r. \]If two circles with centers \(A\) and \(B\) use the same radius \(r\), then any common intersection point \(P\) satisfies
\[ AP=BP=r. \]Equal-distance relationships are therefore built directly into the construction.
Construction versus Measurement
Suppose you want the midpoint of a segment.
Measuring the segment with a ruler and marking half its measured length gives an approximation subject to measurement error.
A classical midpoint construction instead creates a point that must satisfy
\[ AM=MB. \]The equality comes from the geometry of the construction.
Construction versus Freehand Sketching
A freehand sketch can make two lines look perpendicular.
A valid perpendicular construction creates a relationship that can be justified as
\[ \ell\perp m. \]The exact condition matters more than visual appearance.
Construction Instructions Must Be Reproducible
A construction should be described as a sequence another person can repeat.
Instructions such as “draw the point about halfway” are not sufficient for a classical construction.
Instead, every new point or line should arise from permitted geometric operations.
Construction Diagrams Record the Process
In a construction diagram, auxiliary arcs and circles are often left visible.
These marks are not clutter. They record why certain points exist and what equal-distance conditions they satisfy.
Erasing all construction marks can hide the logic that guarantees the result.
Copying a Segment: The Goal
Suppose segment \(\overline{AB}\) is given, and we want to create a segment starting at point \(P\) with the same length.
We seek a point \(Q\) satisfying
\[ PQ=AB. \]Copying a Segment: Construction
- Draw a ray beginning at \(P\).
- Set the compass opening to the distance \(AB\).
- Without changing the compass opening, center the compass at \(P\).
- Draw an arc that intersects the ray at \(Q\).
Then
\[ \boxed{PQ=AB}. \]Why the Segment Copy Works
The compass was set to radius \(AB\).
Point \(Q\) lies on the circle or arc centered at \(P\) with that radius.
Therefore,
\[ PQ=AB. \]The equality is guaranteed by the definition of a circle.
Constructing an Equilateral Triangle
Given segment \(\overline{AB}\), we can construct an equilateral triangle on that segment.
- Draw a circle centered at \(A\) with radius \(AB\).
- Draw a circle centered at \(B\) with radius \(AB\).
- Let one intersection point of the circles be \(C\).
- Draw \(\overline{AC}\) and \(\overline{BC}\).
Why the Equilateral Triangle Construction Works
Because \(C\) lies on the circle centered at \(A\),
\[ AC=AB. \]Because \(C\) also lies on the circle centered at \(B\),
\[ BC=AB. \]Therefore,
\[ AB=BC=CA, \]so
\[ \boxed{\triangle ABC\text{ is equilateral}.} \]Construction as Proof
Notice that the equilateral-triangle construction contains its own proof.
The circles were chosen precisely so that their intersection point would be one radius from each endpoint.
A strong construction is therefore both an algorithm and a geometric argument.
Copying an Angle: The Goal
Suppose \(\angle ABC\) is given and we want to create a congruent angle with vertex \(P\).
We seek an angle \(\angle QPR\) satisfying
\[ \angle QPR\cong\angle ABC. \]Copying an Angle: First Arc
Begin by drawing a ray \(\overrightarrow{PQ}\).
Center the compass at \(B\) and draw an arc that intersects the sides of \(\angle ABC\) at points \(D\) and \(E\).
Then
\[ BD=BE. \]Copying an Angle: Transfer the Radius
Without changing the compass opening used from \(B\), center the compass at \(P\) and draw an arc crossing \(\overrightarrow{PQ}\) at \(F\).
This creates
\[ PF=BD=BE. \]Copying an Angle: Transfer the Chord
Set the compass opening to the distance \(DE\).
Center at \(F\) and mark a point \(G\) on the arc centered at \(P\) so that
\[ FG=DE. \]Draw ray \(\overrightarrow{PG}\).
Why the Angle Copy Works
The two constructions create triangles with matching three side lengths:
\[ BD=PF, \] \[ BE=PG, \] \[ DE=FG. \]By side-side-side congruence, the corresponding included angles are congruent.
Therefore,
\[ \boxed{\angle QPG\cong\angle ABC}. \]Copying Does Not Mean Tracing
To copy a segment or angle in classical geometry means to recreate an equal geometric quantity using permitted operations.
The copied object may be placed elsewhere and oriented differently.
Equality of measure, not visual overlap, is what matters.
Constructing a Perpendicular Bisector: The Goal
Given segment \(\overline{AB}\), the perpendicular bisector is the line that both:
- passes through the midpoint of \(\overline{AB}\);
- is perpendicular to \(\overline{AB}\).
If it meets \(\overline{AB}\) at \(M\), then
\[ AM=MB \]and
\[ \ell\perp\overline{AB}. \]Perpendicular Bisector: Construction
- Open the compass to a radius greater than half of \(AB\).
- Center at \(A\) and draw arcs above and below the segment.
- Without changing the compass opening, center at \(B\) and draw arcs intersecting the first pair.
- Label the arc intersections \(P\) and \(Q\).
- Draw line \(\overleftrightarrow{PQ}\).
The line \(\overleftrightarrow{PQ}\) is the perpendicular bisector of \(\overline{AB}\).
Why the Arc Radius Must Be Large Enough
If the radius is too small, the two circles centered at \(A\) and \(B\) do not intersect.
Choosing a radius greater than
\[ \frac{AB}{2} \]ensures two intersections in the ordinary nondegenerate construction.
Equal Distances in the Perpendicular-Bisector Construction
Because \(P\) lies on both equal-radius circles,
\[ PA=PB. \]Likewise,
\[ QA=QB. \]Thus both \(P\) and \(Q\) are equidistant from \(A\) and \(B\).
The Perpendicular-Bisector Locus
The set of all points equidistant from \(A\) and \(B\) is the perpendicular bisector of \(\overline{AB}\).
Since both \(P\) and \(Q\) satisfy
\[ PA=PB \]and
\[ QA=QB, \]the line through them is the required perpendicular bisector.
Constructing the Midpoint
Once the perpendicular bisector has been drawn, let it intersect \(\overline{AB}\) at \(M\).
Then
\[ \boxed{AM=MB}. \]Thus the same construction produces both a perpendicular bisector and the midpoint of the segment.
Constructing an Angle Bisector: The Goal
Given \(\angle ABC\), an angle bisector is a ray from \(B\) that divides the angle into two congruent angles.
If the bisector passes through \(D\), then
\[ \angle ABD\cong\angle DBC. \]Angle Bisector: Construction
- Center the compass at \(B\) and draw an arc crossing the two sides of the angle at \(E\) and \(F\).
- Using the same compass radius, draw an arc centered at \(E\) inside the angle.
- With the same radius, draw another arc centered at \(F\) so that the two arcs intersect at \(D\).
- Draw ray \(\overrightarrow{BD}\).
The ray \(\overrightarrow{BD}\) bisects \(\angle ABC\).
Why the Angle-Bisector Construction Works
The first arc gives
\[ BE=BF. \]The second pair of arcs gives
\[ ED=FD. \]The triangles \(\triangle BED\) and \(\triangle BFD\) also share \(\overline{BD}\).
Therefore the triangles are congruent by SSS, which gives
\[ \boxed{\angle EBD\cong\angle DBF}. \]Constructing a Perpendicular through a Point on a Line
Suppose point \(P\) lies on line \(\ell\), and we want a line through \(P\) perpendicular to \(\ell\).
The construction begins by selecting two points \(A\) and \(B\) on \(\ell\) that are equally distant from \(P\).
Perpendicular through a Point on a Line: Construction
- Center the compass at \(P\) and draw an arc intersecting \(\ell\) at \(A\) and \(B\).
- Use equal compass radii centered at \(A\) and \(B\) to draw intersecting arcs at \(Q\).
- Draw line \(\overleftrightarrow{PQ}\).
Then
\[ \boxed{\overleftrightarrow{PQ}\perp\ell}. \]Why the On-Line Perpendicular Works
The first circle guarantees
\[ PA=PB. \]The later arcs guarantee
\[ QA=QB. \]Thus both \(P\) and \(Q\) are equidistant from \(A\) and \(B\), so they lie on the perpendicular bisector of \(\overline{AB}\).
Therefore their line is perpendicular to \(\ell\).
Constructing a Perpendicular through a Point off a Line
Suppose \(P\) does not lie on line \(\ell\).
We can still construct the unique line through \(P\) perpendicular to \(\ell\).
Off-Line Perpendicular: Construction
- Center the compass at \(P\) and draw an arc large enough to intersect \(\ell\) at two points \(A\) and \(B\).
- Using equal radii centered at \(A\) and \(B\), draw arcs intersecting at a point \(Q\) on the opposite side of \(\ell\) from \(P\), when convenient.
- Draw line \(\overleftrightarrow{PQ}\).
Then
\[ \boxed{\overleftrightarrow{PQ}\perp\ell}. \]Why the Off-Line Perpendicular Works
Because \(A\) and \(B\) lie on a circle centered at \(P\),
\[ PA=PB. \]Because \(Q\) is created by equal-radius arcs centered at \(A\) and \(B\),
\[ QA=QB. \]Thus \(P\) and \(Q\) both lie on the perpendicular bisector of \(\overline{AB}\).
Constructing a Parallel through a Point
Given a line \(\ell\) and a point \(P\) not on \(\ell\), one classical strategy is to construct a line through \(P\) perpendicular to \(\ell\), then construct a second line through \(P\) perpendicular to that new line.
If
\[ m\perp\ell \]and
\[ n\perp m, \]then in Euclidean geometry
\[ \boxed{n\parallel\ell}. \]Parallel Construction by Copying an Angle
Another approach uses angle copying.
A transversal through \(P\) can be drawn to meet \(\ell\). Then an angle formed at the intersection with \(\ell\) can be copied at \(P\).
If the copied angles are corresponding or alternate interior angles, their congruence establishes that the new line through \(P\) is parallel to \(\ell\).
Constructing a Triangle from Three Side Lengths
Suppose three segment lengths \(a\), \(b\), and \(c\) are given and satisfy the triangle inequalities.
To construct a triangle with those side lengths:
- construct a base \(\overline{AB}\) of length \(c\);
- draw a circle centered at \(A\) with radius \(b\);
- draw a circle centered at \(B\) with radius \(a\);
- choose an intersection point \(C\);
- draw \(\overline{AC}\) and \(\overline{BC}\).
Why the SSS Triangle Construction Works
By construction,
\[ AB=c, \] \[ AC=b, \] \[ BC=a. \]Thus the desired side lengths are built directly into the figure.
When the SSS Circles Do Not Intersect
If the chosen side lengths violate a triangle inequality, the two circles used to locate the third vertex do not intersect in two ordinary points.
For example, if
\[ a+bThe failed construction reflects the underlying geometry.
The Degenerate Triangle Boundary
If
\[ a+b=c, \]the two relevant circles are tangent rather than crossing in two points.
The three vertices become collinear.
This is a degenerate boundary case rather than an ordinary triangle.
Constructing a Triangle from Two Sides and an Included Angle
Suppose lengths \(a\) and \(b\) and an included angle \(\theta\) are given.
- construct a segment of length \(a\);
- copy angle \(\theta\) at one endpoint;
- along the new ray, copy a segment of length \(b\);
- connect the remaining endpoints.
The resulting triangle has the prescribed SAS data.
Constructing a Triangle from One Side and Two Angles
Suppose a side and the two adjacent angles are given.
- construct the given side as a base;
- copy one given angle at one endpoint;
- copy the other given angle at the other endpoint;
- let the two rays intersect at the third vertex.
The construction succeeds as an ordinary triangle when the angle conditions are compatible.
Construction and Uniqueness
Some construction problems determine one figure up to congruence, while others allow multiple solutions.
For example, the third vertex in an SSS triangle construction can often lie on either side of the base.
These two solutions are reflections of one another and are congruent.
Two Intersections Can Mean Two Valid Solutions
When two circles intersect at points \(P\) and \(Q\), both points satisfy the same pair of distance conditions.
A construction problem may permit either point, or later conditions may distinguish which one is intended.
No Intersection Can Mean No Solution
If the objects defining a desired point do not intersect, the requested configuration may not exist under the given conditions.
Construction therefore provides information about existence as well as location.
One Intersection Can Mark a Boundary Case
Two circles that touch at exactly one point are tangent.
In a construction, tangency often marks a transition between:
- two solutions;
- one boundary solution;
- no solution.
Auxiliary Objects
A construction frequently introduces circles, arcs, points, or lines that are not part of the final requested figure.
These are auxiliary objects.
Their purpose is to force useful relationships that identify the final object.
Auxiliary Circles Encode Equality
If an auxiliary circle has center \(A\) and radius \(AB\), every point \(P\) on that circle satisfies
\[ AP=AB. \]This lets a construction create equal lengths without numerical measurement.
Auxiliary Lines Encode Incidence
Drawing the line through two constructed points forces any later intersection on that line to satisfy the corresponding incidence condition.
Straightedge steps therefore convert known points into new exact line relationships.
Construction Marks Are Evidence
The arcs and circles used during a construction often provide the facts needed for its proof.
For example, two equal-radius arcs immediately provide pairs of equal distances.
Leaving those marks visible makes the reasoning easier to audit.
Construction and Congruence
Triangle congruence is deeply connected to classical construction.
When we copy sides and angles, we are often creating enough corresponding data to force two triangles to be congruent.
Congruence then explains why the desired angles, lengths, or alignments are correct.
Construction and Locus
Many constructions can be understood as finding the intersection of loci.
For example:
- a circle is the locus of points a fixed distance from a center;
- a perpendicular bisector is the locus of points equidistant from two fixed points;
- an angle bisector is the locus of interior points equidistant from the two sides of an angle.
The desired point is often where two required loci meet.
Construction as Constraint Satisfaction
A construction problem can be viewed as a system of geometric constraints.
If a point \(P\) must satisfy
\[ PA=r_1 \]and
\[ PB=r_2, \]then \(P\) must lie simultaneously on two circles.
Their intersection solves both conditions at once.
Classical Constructibility
Not every imaginable geometric quantity can be produced by a finite sequence of classical compass-and-straightedge operations.
The question of which lengths, angles, and figures are constructible became a major topic connecting geometry and algebra.
Constructible Lengths
Once a unit segment is chosen, many lengths can be constructed from it through geometric operations corresponding to arithmetic operations and certain square roots.
This creates a deep connection between geometric constructions and algebraic numbers.
Constructing Sums of Lengths
Given segments of lengths \(a\) and \(b\), place copies consecutively along the same ray.
The resulting endpoint distance is
\[ a+b. \]Thus segment copying gives a geometric version of addition.
Constructing Differences of Lengths
If \(a>b>0\), copy a segment of length \(a\) along a ray, then mark a distance \(b\) backward from its endpoint.
The remaining distance is
\[ a-b. \]Again, the construction transfers exact lengths rather than measuring numerically.
Products and Quotients through Similarity
Similar triangles can be used to construct products and quotients of given lengths relative to a chosen unit.
Proportional relationships such as
\[ \frac{x}{a}=\frac{b}{1} \]can encode
\[ x=ab. \]These methods show how geometric construction can implement algebraic operations.
Square Roots through Geometry
Classical constructions can also produce square roots using right triangles, semicircles, and geometric-mean relationships.
For suitable positive lengths \(a\) and \(b\), a construction can create a length \(x\) satisfying
\[ x^2=ab. \]Then
\[ x=\sqrt{ab}. \]The Algebra Behind Constructibility
In coordinate form, line and circle intersections lead to linear and quadratic equations.
This is why classical constructible numbers can be built through repeated arithmetic operations and square-root extensions from the initial data.
This algebraic viewpoint is more advanced, but it explains the limits of the classical tools.
Three Famous Classical Problems
Ancient geometers posed several famous construction problems:
- trisecting an arbitrary angle;
- doubling the cube;
- squaring the circle.
Each asks whether a certain construction can always be completed using only a classical compass and straightedge.
Angle Trisection
Some particular angles can be trisected classically.
However, there is no compass-and-straightedge procedure that trisects every arbitrary angle.
The impossibility is algebraic, not a failure of drawing skill.
Doubling the Cube
Doubling the cube asks for the side length of a cube whose volume is twice that of a given cube.
If the original side is \(1\), the required side is
\[ \sqrt[3]{2}. \]That length is not classically constructible from the unit segment.
Squaring the Circle
Squaring the circle asks for a square having the same area as a given circle.
For a unit circle, the required square side would be
\[ \sqrt{\pi}. \]Because \(\pi\) is transcendental, the required length is not classically constructible.
Impossible Does Not Mean Undrawable
A nonconstructible quantity can still be approximated numerically or drawn using other tools.
“Impossible” in this context means impossible under the specific rules of classical compass-and-straightedge construction.
Tool Rules Matter
Changing the allowed tools changes the set of possible constructions.
Marked rulers, origami folds, mechanical devices, numerical software, and dynamic geometry systems can solve problems that classical compass and straightedge cannot.
A construction problem is therefore partly defined by its permitted operations.
Construction and Algorithms
A classical construction resembles an algorithm.
It has:
- initial inputs;
- permitted operations;
- a finite sequence of steps;
- constructed outputs;
- a correctness argument.
This makes construction an early and concrete form of mathematical procedure.
Correctness Matters
A sequence of steps is not enough.
A complete construction solution should also explain why the result satisfies the requested condition.
The justification may use:
- equal radii;
- triangle congruence;
- locus theorems;
- parallel and perpendicular theorems;
- definitions.
Existence Matters
A construction should also account for whether its required intersections exist.
For example, two arcs cannot define a point if their circles are too far apart to intersect.
Conditions on lengths and positions may therefore be part of the validity of the construction.
Degenerate Cases Matter
A construction that works in a typical picture may fail in a special configuration.
Examples include:
- coincident input points;
- zero-length segments;
- tangent circles replacing two intersections with one;
- parallel lines that never meet;
- collapsed triangles.
Rigorous construction reasoning identifies relevant restrictions.
Orientation Does Not Matter
A valid construction should work after rotating or reflecting the initial figure.
The steps rely on incidence and distance conditions, not on the page having a preferred “up” or “down.”
Scale Does Not Matter
If the initial figure is enlarged or reduced, the same construction pattern still works.
Classical construction is based on geometric relationships rather than particular numerical measurements.
A Reliable Construction Workflow
- Identify the exact geometric condition to be created.
- List the given points, segments, lines, circles, and angles.
- Translate the desired condition into equalities, perpendicularities, parallelisms, or locus statements.
- Choose compass circles or straightedge lines that encode those conditions.
- Use intersections to define new points.
- Draw the requested final object.
- Justify why the construction works.
- Check for special or degenerate cases.
How to Write Construction Instructions
Good instructions should use geometric actions rather than visual estimates.
Prefer:
- “center the compass at \(A\) with radius \(AB\)”;
- “draw the line through \(P\) and \(Q\)”;
- “let the arcs intersect at \(R\)”;
- “copy the length \(CD\) from point \(X\).”
Avoid instructions such as “place the point about halfway” or “draw a nearly perpendicular line.”
How to Justify a Construction
After completing the steps, identify the properties created by each one.
For example:
\[ PA=PB \]because \(P\) lies on equal-radius circles centered at \(A\) and \(B\).
Then connect these facts to a theorem that proves the final condition.
Common Error: Measuring with the Straightedge
In the classical model, the straightedge is unmarked.
Using numerical ruler markings changes the allowed tool set.
Distances should instead be transferred with the compass.
Common Error: Changing a Compass Radius Accidentally
Many constructions require two arcs to have exactly the same radius.
If the compass opening changes unintentionally, equal-distance relationships used in the proof may no longer hold.
Common Error: Choosing an Arc Radius That Is Too Small
In a perpendicular-bisector construction, the equal-radius arcs centered at the segment endpoints must intersect.
A radius smaller than half the segment length produces no intersection.
Common Error: Using Appearance as the Final Check
A line that looks perpendicular may still be inaccurate.
The final check should be logical:
\[ \text{Which construction facts guarantee perpendicularity?} \]The proof, not the picture, confirms correctness.
Common Error: Omitting Auxiliary Arcs Too Early
Construction arcs often reveal the equal distances required for a justification.
Removing them before the reasoning is recorded can make a correct construction difficult to verify.
Common Error: Assuming Every Intersection Is Intended
A construction may create several intersection points.
Each point should be identified by the conditions it satisfies.
When two possible points are valid, the instructions should clarify whether either may be chosen or whether one is required by orientation.
Common Error: Skipping the Proof
A visually successful construction is not complete mathematically until the desired property is justified.
Construction asks both:
- How do we create the object?
- Why must the object satisfy the requirement?
Common Error: Assuming a Classical Construction Always Exists
Some requested configurations are impossible because the input conditions are inconsistent.
Others are geometrically possible but not constructible under the classical rules.
Existence and constructibility are separate questions.
Example: Copying a Length
Given a segment of length \(7\) units and a new ray beginning at \(P\), set the compass to the given segment length and mark the ray at \(Q\).
Then
\[ \boxed{PQ=7}. \]No numerical ruler measurement at \(P\) is necessary.
Example: Constructing a Midpoint
Given \(\overline{AB}\), draw equal-radius arcs centered at \(A\) and \(B\) with radius greater than half of \(AB\).
Let their intersections be \(P\) and \(Q\), and draw \(\overleftrightarrow{PQ}\).
If this line meets \(\overline{AB}\) at \(M\), then
\[ \boxed{AM=MB}. \]Example: Constructing a \(60^\circ\) Angle
Construct an equilateral triangle \(\triangle ABC\).
Every interior angle of an equilateral triangle has measure
\[ 60^\circ. \]Therefore,
\[ \boxed{m\angle ABC=60^\circ}. \]Example: Constructing a \(30^\circ\) Angle
First construct a \(60^\circ\) angle using an equilateral triangle.
Then construct its angle bisector.
The resulting angles each have measure
\[ \boxed{30^\circ}. \]Example: Constructing a \(90^\circ\) Angle
Construct a line perpendicular to a given line at a chosen point.
The adjacent angles formed by perpendicular lines have measure
\[ \boxed{90^\circ}. \]Example: Constructing a \(45^\circ\) Angle
Construct a \(90^\circ\) angle, then bisect it.
Each half has measure
\[ \boxed{45^\circ}. \]Repeated Bisection
Once an angle can be constructed, repeated angle bisection creates additional constructible angles.
For example,
\[ 90^\circ\to45^\circ\to22.5^\circ. \]Construction can therefore build new exact angles from old ones.
Combining Constructible Angles
Copied angles can be placed adjacently to form sums or differences when the geometry permits.
For example,
\[ 60^\circ+45^\circ=105^\circ. \]This extends the available library of constructible angles.
Construction as a Bridge between Geometry and Algebra
Classical constructions begin visually, but their exact possibilities are governed by algebraic structure.
This makes construction a natural bridge among:
- Euclidean geometry;
- algebra;
- number theory;
- proof;
- algorithms.
Practice 1: Allowed Straightedge Operation
Points \(A\) and \(B\) are known.
What fundamental object can be created directly with the straightedge?
Practice 2: Compass Condition
A circle is drawn with center \(A\) and radius \(AB\). Point \(P\) lies on the circle.
What exact length relationship follows?
Practice 3: Equilateral Triangle
Circles centered at \(A\) and \(B\) both have radius \(AB\), and they intersect at \(C\).
Explain why \(\triangle ABC\) is equilateral.
Practice 4: Midpoint Construction
Equal-radius arcs centered at \(A\) and \(B\) intersect at \(P\) and \(Q\). Line \(\overleftrightarrow{PQ}\) meets \(\overline{AB}\) at \(M\).
What relationship does \(M\) satisfy?
Practice 5: Angle Bisector
Ray \(\overrightarrow{BD}\) is constructed as the angle bisector of \(\angle ABC\).
State the resulting angle relationship.
Practice 6: Parallel Construction
Line \(m\) is constructed through point \(P\) perpendicular to line \(\ell\). Then line \(n\) is constructed through \(P\) perpendicular to \(m\).
What relationship holds between \(n\) and \(\ell\)?
Practice 7: Triangle Existence
Can side lengths
\[ 3,\qquad4,\qquad8 \]form a nondegenerate triangle? Explain from the construction viewpoint.
Practice 8: Two Circle Intersections
Two circles intersect at points \(P\) and \(Q\).
What does the existence of two intersections often mean in a geometric construction?
Practice 9: Construction versus Measurement
Explain why measuring half of a segment with a ruler is conceptually different from constructing its midpoint with a compass and straightedge.
Practice 10: Classical Impossibility
Does the impossibility of trisecting an arbitrary angle with classical tools mean that no particular angle can ever be trisected?
Explain.
Practice Answers
Practice 1
The straightedge can draw the unique line through the two known distinct points:
\[ \boxed{\overleftrightarrow{AB}}. \]Practice 2
Every point on the circle is one radius from its center. Therefore,
\[ \boxed{AP=AB}. \]Practice 3
Since \(C\) lies on the circle centered at \(A\),
\[ AC=AB. \]Since \(C\) also lies on the circle centered at \(B\),
\[ BC=AB. \]Hence,
\[ \boxed{AB=BC=CA}, \]so the triangle is equilateral.
Practice 4
The line through \(P\) and \(Q\) is the perpendicular bisector of \(\overline{AB}\). Therefore its intersection \(M\) with the segment is the midpoint:
\[ \boxed{AM=MB}. \]Practice 5
An angle bisector divides the angle into two congruent angles:
\[ \boxed{\angle ABD\cong\angle DBC}. \]Practice 6
In a plane, two lines perpendicular to the same line are parallel. Therefore,
\[ \boxed{n\parallel\ell}. \]Practice 7
No. The triangle inequality fails because
\[ 3+4<8. \]In an SSS construction, the circles used to locate the third vertex would not intersect in the required way.
Practice 8
It often means there are two points satisfying the same pair of geometric conditions. Both may be valid solutions, frequently related by reflection.
Practice 9
Ruler measurement produces an approximation based on a numerical scale. A classical midpoint construction creates equal subsegments through exact equal-distance relationships:
\[ \boxed{AM=MB}. \]Practice 10
No. Some particular angles can be trisected classically.
The impossibility result says that there is no classical compass-and- straightedge construction that trisects every arbitrary angle.
What to Remember
Classical construction creates exact geometric relationships from a small set of permitted operations.
- An unmarked straightedge draws lines through known points.
- A compass creates circles and transfers exact distances.
- New points arise from line-line, line-circle, and circle-circle intersections.
- Construction replaces visual estimation with guaranteed geometric conditions.
- Equal-radius circles are a primary tool for creating equal distances.
- Many constructions can be understood as intersections of loci.
- A complete construction includes both steps and a justification.
- Existence, uniqueness, multiple solutions, and degenerate cases all matter.
- Classical construction has precise algebraic limits.
The most important habit is: for every construction step, know both what you draw and what exact relationship that step guarantees.
Where We Go Next
Compass-and-straightedge methods become especially powerful when they create exact equal division and right-angle relationships.
The next lesson, Perpendicular and Angle Bisectors, develops these two construction families in greater depth, including their locus properties, proofs, coordinate interpretations, and applications in geometric reasoning.