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
****************
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.)
********************************
Back to "Dynamic Geometry Sketches"
Back to "Student Explorations"
Michael de Villiers, created with WebSketchpad, 11 September 2025.