Logical Paradox

Logical Paradox

The dynamic geometry activity below is from the "Proof as Verification" section of my book Rethinking Proof (free to download).

Worksheet & Teacher Notes
Open (and/or download) a guided worksheet and teacher notes to use together with the dynamic sketch below at: Logical Paradox Worksheet & Teacher Notes.
Alternatively, use the guided Worksheet given further down below the (static) sketch.

Prerequisites: Knowledge of angle bisectors, perpendicular bisectors, conditions for congruency.

 

Logical Paradox

Worksheet: Logical Paradox

"Geometry is the art of correct reasoning from incorrectly drawn pictures." - Henri Poincare (1902), a French mathematician, physicist & philosopher of science

However, the statement above by Poincare is not generally true. Sometimes a correct logical argument, based on a faulty diagram, can lead to a paradox. Work through the following logical argument in relation to the (static) diagram shown above. (Do not use any accurately drawn sketch yet; you will use it later to check the validity of this argument).

Reasoning Logically
The (static) diagram above shows the following construction. ABC is any arbitrary triangle.
- CG is on the angle bisector of angle ACB, and EG is on the perpendicular bisector of AB.
- GD is perpendicular to AC, and GF is perpendicular to BC.
We now consider 4 different possible cases, first focussing on the 1st case above.
1. What can you say about triangles CGD and CGF? Why?
2. From Question 1, what can you conclude about DG and FG?
3. What can you say about AG and BG? Why?
4. What can you now conclude about triangles GDA and GFB? Why?
5. From Question 4, what can you conclude about DA and FB?
6. From Question 1, what can you conclude about CD and CF?
7. What can you now conclude about CD + DA and CF + FB, and therefore about CA and CB?
8. From Question 7, what type of triangle is ABC?
9. Now work through the other three cases on your own, adapting the above argument where necessary, to show that you arrive at exactly the same conclusion as in Question 8.

Reflect
10. Is this argument valid for any triangle ABC? What is the problem? Where is the mistake? Discuss with your partner or your group.

Check by Construction
11. Click on the 'Link to Checking by Construction1' button to navigate to a new sketch. Make an accurate construction using the Webtools on the left to check the sketch that provides the basis of the logical argument.
(Alternatively, click on the 'Link to Checking by Construction2' button to navigate to an accurately completed sketch.)
12. What do you notice? What important lesson can you learn from this?

Explore More
13. If not already done done, navigate to an accurately completed sketch by clicking on the 'Link to Checking by Construction2' button.
14. In the last sketch, click on the 'Show Circumcircle' button.
15. What do you notice? Check your observation by dragging the vertices of the ABC. Can you formulate a conjecture?

Challenge
16. Can you explain why (prove) your conjecture in 14 & 15 is true?
17. If stuck, or to compare your proof, click on the 'Show Proof' button.
18. This result can be proved in several different ways. Can you find other ways of proving the result?

****************

Notes
1) While it is easy to disprove the above proof in Q1-Q9 with reference to the 1st case by noting that the intersection of the angle bisector of ∠C and the perpendicular bisector of AB always falls outside the triangle (on the circumcircle), this is not applicable to the 3rd and 4th cases shown above. In fact the above 'proof' is not valid, since in general for a non-isosceles triangle, one of the points D and F always falls inside the triangle and the other one outside of the triangle. This invalidates the addition of segments used in the 'proof'. (For a more detailed discussion, see Northrop, 1945: 98-102).
'...........However, the proof is completely valid in the 2nd case where the angle bisector of ∠C intersects the opposite side AB at its midpoint E. In this case, we can deduce that ABC is isosceles with CA = CB (in which case the angle bisector of ∠C coincides with the perpendicular bisector of AB).
2) While the main purpose of this activity is to caution students about reasoning with faulty diagrams, a positive spin-off is that it naturally leads to the interesting result that in any non-isosceles triangle the angle bisector of an angle intersects the perpendicular bisector of its opposite side on the circumcircle. A slightly more general formulation of the same result (since it's also valid for an isosceles triangle) is that the angle bisector of a triangle bisects the arc of the circumcircle formed or subtended by its opposide side. This formulation is often useful in other problem solving contexts. See for example, Cyclic Quadrilateral Angle Bisectors Rectangle Result and Cyclic Quadrilateral Midpoints of Arcs Theorem.
3) Many ingenious paradoxes can arise by virtue of construction errors or mistaken assumptions in diagrams. There is often great educational value in using such paradoxes in a mathematics classroom. There are several resources available for teachers to consult and to select from: for example Movshovitz-Hadar & Webb (1998) and an old delighful classic by Northrop (1944).

References
De Villiers, M. (1994, 1996, 2009). Logical Paradox, pp. 37-38 excerpt from Some Adventures in Euclidean Geometry (free to download). Lulu Press: Dynamic Mathematics Learning.
De Villiers, M. (1999, 2003, 2012). Rethinking Proof with Geometer's Sketchpad (free to download). Key Curriculum Press.
Movshovitz-Hadar, N. & Webb, J. (1998). One Equals Zero (and other Mathematical Surprises). Emeryville, CA: Key Curriculum Press.
Northrop, E. P. (1944; 1975). Geometrical Fallacy, pp. 98-102 excerpt from Riddles in Mathematics. Penguin Books Ltd, Harmondsworth, Middlesex, England.

Other Rethinking Proof Activities
Other Rethinking Proof Activities

Some Related Links
Cyclic Quadrilateral Midpoints of Arcs Theorem
Cyclic Quadrilateral Angle Bisectors Rectangle Result
Cyclic Quadrilateral Incentres Rectangle
Triangle Circumcircle Incentre Result
Semi-regular Angle-gons and Side-gons: Generalizations of rectangles and rhombi
Angle Divider Theorem for a Cyclic Quadrilateral
Concurrent Angle Bisectors of a Quadrilateral
The Equi-inclined Lines to the Angle Bisectors of a Tangential Quadrilateral

Some External Links
SA Mathematics Olympiad Questions and worked solutions for past South African Mathematics Olympiad papers can be found at this link.
(Note, however, that prospective users will need to register and log in to be able to view past papers and solutions.)

********************************
Free Download of Geometer's Sketchpad

********************************

Back to "Dynamic Geometry Sketches"

Back to "Student Explorations"

Michael de Villiers, created with WebSketchpad, 11 September 2025.