The Central Idea
A universal geometric statement claims that something is true for every configuration satisfying its hypotheses.
To prove such a statement, the reasoning must survive every allowed case.
To disprove it, only one valid counterexample is needed:
\[ \boxed{ \text{one valid counterexample defeats a universal claim} }. \]What Is a Counterexample?
A counterexample is a specific example that satisfies the hypotheses of a universal statement but makes its conclusion false.
If a claim says
\[ \forall x,\ P(x)\Rightarrow Q(x), \]then a counterexample is an \(x\) for which
\[ P(x) \]is true but
\[ Q(x) \]is false.
One Counterexample Is Enough
A universal statement must survive every allowed case.
Therefore one valid failure is decisive.
Ten successful examples do not prove a universal theorem, but one genuine counterexample disproves it.
Example versus Counterexample
An ordinary example shows that a statement works in one case.
A counterexample shows that a universal statement fails.
The logical roles are different.
Counterexamples Test Necessity
Counterexamples are especially useful when asking whether a condition is truly necessary.
If removing one hypothesis allows the conclusion to fail, that hypothesis may be essential.
Counterexamples Test Sufficiency
Suppose someone proposes a condition \(P\) as sufficient for conclusion \(Q\).
A counterexample satisfying \(P\) but not \(Q\) shows that \(P\) is not sufficient.
Example: One Pair of Equal Sides
Claim:
“If a quadrilateral has one pair of opposite sides congruent, then it is a parallelogram.”
This is false.
Many nonparallelograms can satisfy
\[ AB=CD \]without both pairs of opposite sides being parallel.
Example: Equal Diagonals
Claim:
“Every quadrilateral with congruent diagonals is a rectangle.”
This is false in general.
An isosceles trapezoid can have congruent diagonals without being a rectangle.
Example: Perpendicular Diagonals
Claim:
“Every quadrilateral with perpendicular diagonals is a rhombus.”
This is false.
Kites can have perpendicular diagonals without satisfying all the defining properties of a rhombus.
Example: One Right Angle
Claim:
“A quadrilateral with one right angle is a rectangle.”
One right angle is not sufficient.
A general quadrilateral can have exactly one right angle.
Example: Equal Angles in a Triangle
A true theorem says:
\[ \angle B\cong\angle C \Rightarrow AB=AC. \]Searching for a counterexample here fails because the theorem is valid.
Counterexample search is useful even when it does not succeed: it tests the strength of the theorem.
What Is a Degenerate Case?
A degenerate case occurs when a configuration collapses, loses dimension, or reaches a boundary condition where familiar geometric structure changes.
Examples include:
- two distinct points coinciding;
- a segment shrinking to length \(0\);
- three triangle vertices becoming collinear;
- two circles becoming tangent instead of intersecting twice;
- a polygon collapsing into overlapping or collinear edges.
Degenerate Does Not Mean Meaningless
A degenerate configuration may still be mathematically useful.
It can:
- mark a boundary between cases;
- expose hidden hypotheses;
- clarify why strict inequalities are needed;
- connect geometry to limiting behavior;
- show where a construction changes the number of solutions.
Triangle Degeneracy
For side lengths \(a\), \(b\), and \(c\), an ordinary nondegenerate triangle requires
\[ a+b>c, \] \[ a+c>b, \] \[ b+c>a. \]Equality marks a degenerate boundary.
Degenerate Triangle Boundary
If
\[ a+b=c, \]the three vertices lie on one line.
The “triangle” has area
\[ 0. \]The two shorter sides exactly span the longest side.
Construction View of Triangle Degeneracy
In an SSS construction, two circles normally intersect in two points.
At the boundary
\[ a+b=c, \]the circles become tangent and the two possible third vertices merge into one collinear point.
Below the Triangle Boundary
If
\[ a+bNo triangle exists.
Boundary Cases Change Solution Counts
Many geometric problems move through the pattern:
\[ 2\text{ solutions} \longrightarrow 1\text{ boundary solution} \longrightarrow 0\text{ solutions}. \]Tangency is a common transition point.
Circle-Circle Intersections
Two circles may:
- intersect in two points;
- be tangent at one point;
- have no real intersections;
- coincide and share infinitely many points.
These cases must be distinguished carefully.
Line-Circle Intersections
A line and circle may:
- meet in two points as a secant;
- meet in one point as a tangent;
- miss entirely.
Tangency is the boundary between two intersections and none.
Coincident Points
Many definitions silently require two points to be distinct.
For example, the phrase “the line through \(A\) and \(B\)” requires
\[ A\ne B. \]If \(A=B\), infinitely many lines pass through that single point.
Zero-Length Segments
If
\[ A=B, \]then
\[ AB=0. \]A zero-length segment can break constructions or theorems that assume a positive length.
Undefined Direction
A zero vector
\[ \langle0,0\rangle \]has no direction.
Therefore claims about its angle, slope, or normalized direction require care.
Undefined Slope Is Not Degeneracy by Itself
A vertical line has undefined slope, but it is still a perfectly valid nondegenerate line.
This is a reminder that algebraic formulas may have exceptional forms even when the geometry is ordinary.
Parallel Lines and Missing Intersections
Two distinct parallel Euclidean lines do not intersect.
If a proof or construction assumes their intersection exists, parallelism is an exceptional case that must be excluded.
Coincident Lines
Two equations may represent the same line.
Then the lines have infinitely many common points rather than zero or one.
Algebraic systems often reveal this case through dependent equations.
Collapsed Polygons
A polygon can become degenerate if consecutive vertices coincide or if edges collapse onto one another.
Depending on the definition being used, such a configuration may no longer count as a polygon at all.
Self-Intersection Is Different from Degeneracy
A self-intersecting polygon is not necessarily degenerate.
It may be a distinct class of polygon with crossings.
Definitions should distinguish self-intersection from collapse.
Definitions Control Edge Cases
Whether a boundary configuration is included depends on the definition.
Examples:
- Does a polygon require distinct consecutive vertices?
- Does a trapezoid require exactly one pair or at least one pair of parallel sides?
- Does a triangle mean noncollinear vertices by definition?
Precise definitions prevent ambiguity.
Inclusive and Exclusive Definitions
Some geometric classifications depend on whether definitions are inclusive or exclusive.
For example, under an inclusive trapezoid definition, every parallelogram is a trapezoid.
Under an exclusive definition, parallelograms are excluded.
Counterexamples Depend on the Definition
A proposed counterexample is valid only if it satisfies the adopted definitions.
A figure excluded by definition cannot serve as a counterexample to a theorem about that class.
Testing the Converse
Many false claims arise by reversing a true theorem.
If
\[ P\Rightarrow Q \]is true, the converse
\[ Q\Rightarrow P \]may fail.
Counterexample search is one of the best ways to test the converse.
Example: Rectangle Diagonals
A rectangle has congruent diagonals.
The converse claim
“If a quadrilateral has congruent diagonals, then it is a rectangle”
is false because an isosceles trapezoid provides a counterexample.
Testing the Inverse
The inverse of
\[ P\Rightarrow Q \]is
\[ \neg P\Rightarrow\neg Q. \]It is not automatically equivalent to the original statement.
Counterexamples can test it.
The Contrapositive Is Different
The contrapositive
\[ \neg Q\Rightarrow\neg P \]is logically equivalent to the original statement.
A genuine counterexample to one would be a counterexample to the other.
Counterexamples and Necessary Conditions
Suppose a theorem requires conditions \(A\), \(B\), and \(C\).
To test whether \(C\) is necessary, keep \(A\) and \(B\), remove \(C\), and search for a failure of the conclusion.
If one appears, \(C\) cannot simply be discarded.
Counterexamples and Sufficient Conditions
Suppose a student proposes:
\[ P\Rightarrow Q. \]Search for a configuration satisfying \(P\) but not \(Q\).
If such a figure exists, \(P\) is not sufficient.
Extreme Cases
An extreme case pushes a parameter toward a boundary of the allowed range.
Examples:
- an angle approaching \(0^\circ\);
- an angle approaching \(180^\circ\);
- a point approaching another point;
- a circle approaching tangency with a line;
- a triangle approaching collinearity.
Extreme Cases Can Reveal Hidden Dependencies
A proof that works only when an angle looks moderate or when an intersection lies well inside a figure may fail near a boundary.
Testing extreme cases helps identify which steps truly depend on the hypotheses.
Interior versus Boundary Points
Many theorems distinguish interior points from points on the boundary.
If a statement requires
\[ P\text{ inside a triangle}, \]placing \(P\) on an edge may create a different case.
Endpoint Cases
A point on a segment may lie:
- strictly between the endpoints;
- at one endpoint.
Theorems involving betweenness often require the strict interior case.
Betweenness Is Not the Same as Incidence
If \(B\) lies on \(\overline{AC}\), that does not automatically mean \(B\) is strictly between \(A\) and \(C\).
\(B\) could coincide with \(A\) or \(C\) unless distinctness is specified.
Degenerate Angles
Depending on convention, an angle may be allowed to have measure
\[ 0^\circ \]or
\[ 180^\circ. \]Such boundary cases can behave differently from ordinary interior angles.
Angle-Bisector Boundary Issues
If an angle collapses to
\[ 0^\circ, \]its two sides coincide.
Ordinary angle-bisector intuition may no longer distinguish a unique interior bisector.
Degenerate Circles
A circle with radius
\[ r=0 \]collapses to a single point.
Some contexts permit this as a degenerate circle; others define circles only for positive radius.
Zero Radius Changes Intersection Behavior
A radius-zero circle has no circumference in the ordinary geometric sense beyond its single center point.
Construction steps that assume two intersections may fail.
Degenerate Conic Sections
In broader analytic geometry, conic equations can degenerate into:
- a point;
- a pair of lines;
- one repeated line;
- the empty set.
Algebraic parameters determine when these transitions occur.
Degeneracy as Dimension Loss
Many degenerate cases involve a loss of dimension.
Examples:
- a triangle collapses from two-dimensional area to a one-dimensional line;
- a circle of radius zero collapses from a one-dimensional curve to a point;
- a three-dimensional solid may collapse into a planar figure when one dimension becomes zero.
Determinants Detect Degeneracy
In coordinate geometry, a triangle is degenerate when its signed area is zero.
For vertices \(A\), \(B\), and \(C\), this occurs when the appropriate determinant vanishes.
Coordinate Collinearity Test
Points
\[ A(x_1,y_1),\quad B(x_2,y_2),\quad C(x_3,y_3) \]are collinear when
\[ x_1(y_2-y_3)+x_2(y_3-y_1)+x_3(y_1-y_2)=0. \]This algebraically detects triangle collapse.
Zero Determinant and Dependence
A zero determinant often signals geometric dependence:
- collinear vectors;
- coplanar vectors in higher dimensions;
- zero area or volume;
- loss of independent directions.
Counterexamples in Coordinate Geometry
Coordinates make counterexample construction systematic.
To disprove a claimed quadrilateral theorem, choose coordinates satisfying the proposed hypotheses, then calculate whether the conclusion fails.
Example: Equal Diagonals but Not Rectangle
Coordinate models of isosceles trapezoids can be chosen so that the diagonals have equal squared lengths while adjacent side slopes fail the rectangle conditions.
This supplies an exact counterexample rather than a merely visual one.
Counterexamples in Transformation Geometry
A proposed transformation claim can be tested by checking whether one rule maps every required point.
If one vertex fails the same mapping rule, the claimed global transformation is false.
Counterexamples in Similarity
Two figures may have one pair of proportional sides without being similar.
A counterexample can preserve that one ratio while changing another side ratio or angle measure.
Counterexamples in Congruence
SSA demonstrates why some data are insufficient.
The same side-side-angle information can sometimes produce two different triangles.
This is a structural counterexample to treating SSA as a general congruence criterion.
The Ambiguous Case as a Counterexample Generator
When SSA produces two distinct triangles, the pair itself shows that the data do not determine one unique congruence class.
Construction Failures Reveal Conditions
A compass-and-straightedge construction may fail when required intersections disappear.
This often reveals a missing existence condition.
Example: Perpendicular-Bisector Arcs
If the equal compass radius is less than
\[ \frac{AB}{2}, \]the endpoint-centered circles do not intersect.
The construction fails because the chosen radius violates an existence condition.
Example: Tangent Construction from a Point
A point outside a circle has two tangents.
A point on the circle has one.
A point inside has none.
These are three distinct cases separated by the circle boundary.
Special Cases Are Not Always Degenerate
A square is a special case of a rectangle under inclusive classification, but it is not degenerate.
A special case has extra structure.
A degenerate case usually involves collapse or boundary behavior.
Special, Extreme, and Degenerate
These ideas should be distinguished:
- special case: satisfies extra properties;
- extreme case: lies near a boundary of allowed values;
- degenerate case: lies on a boundary where structure collapses or changes type.
Counterexample Strategy 1: Weaken Symmetry
If a claim looks true only because the diagram is symmetric, redraw it asymmetrically while preserving the actual hypotheses.
If the conclusion fails, the original reasoning depended on hidden symmetry.
Counterexample Strategy 2: Push a Point
Move a free point while preserving the stated conditions.
If the suspected conclusion changes, then it was not forced by the hypotheses.
Counterexample Strategy 3: Rotate the Figure
Rotation can expose assumptions tied to page orientation.
A valid theorem should not fail merely because “up,” “down,” “left,” or “right” changes.
Counterexample Strategy 4: Stretch the Figure
Change apparent side lengths or angles while preserving only the stated conditions.
This is useful for testing whether unmarked equalities were being assumed.
Counterexample Strategy 5: Use Coordinates
Assign simple coordinates that satisfy the hypotheses.
Then compute the conclusion directly.
Coordinate counterexamples are especially useful because every condition can be checked exactly.
Counterexample Strategy 6: Search the Boundary
Test:
- zero lengths;
- equal points;
- collinear vertices;
- right-angle boundaries;
- parallel cases;
- tangent cases.
Boundary cases often reveal hidden restrictions.
Counterexample Strategy 7: Test the Smallest Cases
If a claim concerns polygons or repeated structures, test the smallest allowed values first.
Small cases can expose exceptions that disappear visually in larger examples.
Counterexample Strategy 8: Break the Conclusion Deliberately
Start by imagining a configuration where the conclusion is false.
Then ask whether the hypotheses can still be satisfied.
If yes, you have found a counterexample.
Dynamic Geometry and Counterexamples
Dynamic geometry software is excellent for searching.
Drag a figure while preserving the actual constraints.
If a claimed invariant eventually fails, the theorem is false or missing a hypothesis.
Dynamic Evidence Is Not Proof
Failure in one valid dragged configuration is enough to disprove a universal claim.
But seeing the claim survive many drags does not by itself prove it for every configuration.
Degenerate Cases and Proof Validity
A proof may contain a step that silently assumes a quantity is nonzero.
For example, dividing by a length \(AB\) requires
\[ AB\ne0. \]If the hypotheses allow \(A=B\), the proof has a gap.
Division by Zero as a Hidden Geometric Failure
Algebraic proof steps can hide geometric degeneracy.
Dividing by
\[ x_2-x_1 \]in a slope calculation assumes the line is not vertical.
The vertical case must be handled separately if it is allowed.
Square Roots and Nonnegative Quantities
Lengths are nonnegative.
If a derivation squares an equation, extra algebraic solutions may appear.
Geometric constraints should be used to remove invalid candidates.
Extraneous Geometric Solutions
Algebraic manipulation can produce coordinates or parameter values that satisfy a transformed equation but not the original geometric conditions.
Always substitute candidate solutions back into the original constraints.
Orientation Changes
Some formulas assume a particular ordering of points.
Reversing orientation can change signs in directed angles, determinants, or signed area while leaving ordinary lengths unchanged.
Signed versus Unsigned Quantities
A degenerate case may be detected when a signed quantity becomes zero.
For example, signed area changes sign when orientation reverses and becomes zero at collinearity.
Continuity and Boundary Crossing
Many geometric quantities change continuously as points move.
A sign change often requires passing through a zero or boundary case.
This gives another way to understand why degeneracies mark transitions.
Proof by Contradiction versus Counterexample
Proof by contradiction proves a statement by assuming its negation and deriving impossibility.
A counterexample disproves a universal statement by exhibiting a real valid case where the conclusion fails.
Do not confuse these methods.
Counterexamples Refine Theorems
When a proposed theorem fails, the next question is:
“What additional condition would make it true?”
Counterexamples therefore help discover better theorem statements.
Example: Repairing a False Rectangle Claim
False claim:
“A quadrilateral with congruent diagonals is a rectangle.”
A stronger true statement is:
“A parallelogram with congruent diagonals is a rectangle.”
The counterexample reveals the missing parallelogram hypothesis.
Example: Repairing a False Rhombus Claim
False claim:
“A quadrilateral with perpendicular diagonals is a rhombus.”
A useful stronger statement is:
“A parallelogram with perpendicular diagonals is a rhombus.”
Counterexamples Clarify Definitions
If a definition produces unintended classifications, examples and counterexamples can reveal the issue.
Mathematical definitions are often refined precisely because edge cases make ambiguity visible.
Degenerate Cases Clarify Domains
A theorem may need a domain restriction such as:
- distinct points;
- positive radius;
- nonzero vector;
- nondegenerate triangle;
- nonparallel lines;
- interior point.
These restrictions prevent formulas or constructions from collapsing.
Hidden Assumptions Become Explicit Hypotheses
Once a degenerate case exposes a proof failure, the missing condition should be stated explicitly.
This improves both rigor and communication.
Necessary Restrictions Should Be Minimal
Do not exclude more cases than needed.
A theorem is strongest when its hypotheses are sufficient but not unnecessarily restrictive.
Example: Vertical-Line Case
A proof of perpendicularity using
\[ m_1m_2=-1 \]should not conclude that vertical-horizontal lines are excluded from the theorem.
Instead, handle that valid geometric case separately.
Exceptional Formula Case versus Geometric Exception
Sometimes a formula fails while the geometry remains valid.
Undefined slope for a vertical line is the standard example.
The correct response is to change the method, not to discard the geometry.
Case Splitting
If one formula or theorem does not cover every allowed configuration, divide the proof into cases.
Example:
- nonvertical lines: use slopes;
- vertical lines: use equations or vectors.
Exhaustive Cases
A proof by cases is complete only if the cases cover every possibility.
For a point relative to a circle:
\[ OPform an exhaustive partition.
Mutually Exclusive Cases
Well-designed proof cases should also avoid unnecessary overlap.
The three circle-position cases above cannot occur simultaneously.
Boundary Case as Its Own Case
Do not force the equality boundary into one of the strict inequality cases.
Tangency, collinearity, and zero-length conditions often deserve separate treatment.
Counterexample Search and Proof Planning
Before attempting a long proof, try to break the statement.
If the statement survives serious counterexample search, you gain evidence that the hypotheses may be sufficient.
If it fails quickly, you avoid proving something false.
Counterexample Search as Mathematical Debugging
Counterexamples play a role similar to adversarial test cases in algorithms and software.
They probe assumptions, boundaries, and rare configurations where ordinary examples may hide an error.
Geometric Debugging Checklist
When a claim seems suspicious, ask:
- What exactly are the hypotheses?
- Can any two named points coincide?
- Can a length be zero?
- Can lines become parallel or coincident?
- Can an intersection move to a boundary?
- Can the figure become collinear or tangent?
- Can I redraw the figure asymmetrically?
- Can I build an exact coordinate counterexample?
Common Error: Using an Invalid Counterexample
A counterexample must satisfy every hypothesis of the claim.
If it violates one hypothesis, it does not disprove the theorem.
Common Error: Using a Drawing That Only Looks Different
A visual sketch is not enough.
Verify that the proposed counterexample truly satisfies the conditions and truly violates the conclusion.
Common Error: Treating One Supporting Example as Proof
One example can show possibility, but not universal necessity.
A theorem about all triangles requires reasoning that covers all allowed triangles.
Common Error: Excluding an Allowed Degenerate Case Silently
If the definition permits a boundary case, a proof must handle it or state an additional restriction.
Common Error: Including a Forbidden Degenerate Case
The reverse problem also occurs.
If “triangle” is defined to require three noncollinear vertices, a collinear triple is not a valid counterexample to a theorem about triangles.
Common Error: Confusing Special and Degenerate Cases
A square is special, not degenerate.
A triangle with three collinear vertices is degenerate.
Extra symmetry is not the same as collapse.
Common Error: Ignoring Zero Denominators
Any proof that divides by a geometric quantity must establish that the quantity is nonzero.
Common Error: Ignoring Tangency
If a construction usually has two intersections, the tangent case may merge them into one.
This can change uniqueness, orientation, or later steps.
Common Error: Assuming Generic Position
A diagram often shows points in a convenient generic position.
Unless the theorem states otherwise, special alignments may still be allowed.
Common Error: Overrestricting the Theorem
Discovering one difficult boundary case does not always mean the theorem must exclude it.
Sometimes the proof method is the problem, not the theorem.
Try an alternative proof before adding unnecessary hypotheses.
A Reliable Counterexample Workflow
- Write the universal claim in precise hypothesis-conclusion form.
- List every hypothesis.
- Imagine the conclusion failing.
- Try to satisfy all hypotheses anyway.
- Use coordinates, constructions, or transformations to verify the candidate exactly.
- Confirm the conclusion truly fails.
- State clearly which valid case disproves the claim.
A Reliable Degenerate-Case Workflow
- Identify parameters or objects that could collapse.
- Check zero, equality, tangency, collinearity, coincidence, and parallel cases.
- Determine whether the definition includes the boundary configuration.
- Check whether formulas remain defined.
- Check whether the number of solutions changes.
- Handle the case separately or state a justified restriction.
Example: Testing a False Parallelogram Claim
Claim:
“If one pair of opposite sides of a quadrilateral is congruent, the quadrilateral is a parallelogram.”
To disprove it, construct a quadrilateral with
\[ AB=CD \]while arranging the other sides so the opposite pairs are not both parallel.
The figure satisfies the hypothesis but violates the conclusion.
Example: Testing a Converse
True theorem:
“If a quadrilateral is a rectangle, then its diagonals are congruent.”
False converse:
“If a quadrilateral has congruent diagonals, then it is a rectangle.”
An isosceles trapezoid disproves the converse.
Example: Degenerate Triangle
Let side lengths be
\[ 4,\qquad6,\qquad10. \]Since
\[ 4+6=10, \]the configuration lies exactly on the triangle-inequality boundary.
The vertices are collinear and the area is zero.
Example: Coincident Points
Suppose a proof uses the line through \(A\) and \(B\).
If the hypotheses do not guarantee
\[ A\ne B, \]then the line is not uniquely determined.
The proof needs either a distinctness condition or a different argument.
Example: Tangent Boundary
A line whose distance from circle center \(O\) is less than radius \(r\) intersects the circle twice.
At
\[ d(O,\ell)=r, \]it is tangent.
For
\[ d(O,\ell)>r, \]it has no intersection.
Example: Formula Exception without Geometric Failure
The negative-reciprocal slope rule cannot be applied directly to a vertical line.
But a vertical line can still be perpendicular to a horizontal line.
The geometry remains valid; only the chosen formula needs a separate case.
Practice 1: Counterexample Logic
How many valid counterexamples are needed to disprove a universal geometric claim?
Practice 2: Triangle Boundary
Classify side lengths
\[ 5,\qquad7,\qquad12. \]Do they form a nondegenerate triangle?
Practice 3: Circle Intersections
What geometric condition occurs when two circles that normally intersect in two points move until those two intersections merge into one?
Practice 4: Coincident Points
Why must two points \(A\) and \(B\) be distinct before the phrase “the unique line through \(A\) and \(B\)” is valid?
Practice 5: Converse Testing
A rectangle has congruent diagonals.
Does congruent diagonals alone prove that an arbitrary quadrilateral is a rectangle?
Practice 6: Degenerate Area
What is the area of a triangle whose three vertices are collinear?
Practice 7: Special versus Degenerate
Is a square a degenerate rectangle?
Practice 8: Invalid Counterexample
A theorem applies only to nondegenerate triangles. Can three collinear points serve as a counterexample?
Practice 9: Slope Exception
Does undefined slope mean a vertical line is geometrically invalid?
Practice 10: Repairing a False Claim
The claim “A quadrilateral with congruent diagonals is a rectangle” is false.
What additional common hypothesis makes the statement true?
Practice Answers
Practice 1
Only
\[ \boxed{1} \]valid counterexample is needed.
Practice 2
Since
\[ 5+7=12, \]the configuration is degenerate.
It does not form a nondegenerate triangle.
Practice 3
The circles become
\[ \boxed{\text{tangent}}. \]Tangency is the one-intersection boundary case.
Practice 4
If
\[ A=B, \]the two labels identify one point, and infinitely many lines pass through that point.
Distinct points are required to determine a unique line.
Practice 5
No.
An isosceles trapezoid can have congruent diagonals without being a rectangle.
Practice 6
Collinear vertices produce
\[ \boxed{0} \]area.
Practice 7
No.
A square is a special rectangle with additional equal-side structure. It is not a collapsed or degenerate rectangle.
Practice 8
No.
A counterexample must satisfy the hypotheses. If nondegeneracy is required, three collinear points are outside the theorem's domain.
Practice 9
No.
A vertical line is geometrically valid. Undefined slope only means the usual slope formula is not represented by a finite real number.
Practice 10
Add the condition that the quadrilateral is a parallelogram:
\[ \boxed{ \text{A parallelogram with congruent diagonals is a rectangle.} } \]What to Remember
Counterexamples and degenerate cases are not side issues. They are essential tools for testing whether geometric claims are correctly stated and whether proofs really cover every allowed case.
- One valid counterexample disproves a universal claim.
- A counterexample must satisfy every hypothesis and violate the conclusion.
- Degenerate cases occur when geometric structure collapses or reaches a boundary.
- Triangle equality \(a+b=c\) is a classic degeneracy boundary.
- Tangency often marks the transition between two intersections and none.
- Coincident points, zero lengths, collinearity, and parallelism can expose hidden assumptions.
- Definitions determine whether boundary cases are included.
- Some formula failures are only algebraic special cases, not geometric failures.
- Counterexamples help refine false conjectures into correct theorems.
- Proofs should either handle allowed edge cases or state justified restrictions.
The essential habit is: before trusting a geometric claim, actively search for the case that would break it.
Where We Go Next
This lesson completes the sequence on spatial reasoning, construction, and proof.
We began by learning how to read diagrams without confusing appearance with fact, then moved through exact constructions, loci, congruence and similarity, direct and indirect proof, coordinate proof, transformation proof, and finally counterexamples and degenerate cases.
Together, these methods form a general geometric reasoning toolkit:
\[ \boxed{ \text{interpret} \rightarrow \text{construct} \rightarrow \text{constrain} \rightarrow \text{prove} \rightarrow \text{test} }. \]