Constructions as Proof

This lesson has three tasks and four consolidation moments. Do not rush any of them. The logical architecture of the whole unit is established here, and it is worth giving it the time it deserves.

 

The dragon definition task opens the lesson. Students write precise definitions of dragons and quickly feel the gap: no matter how careful the definition, it does not make the dragon real. Let the class arrive at a shared definition together — this is worth doing. The conversation that follows naturally from comparing group definitions is a genuine example of what Unit 1’s lesson on good definitions was building toward. Classification and differentiation, applied to something students find amusing, is still classification and differentiation. Euclid names twenty-three definitions before a single axiom — not as administrative overhead, but because the precision of the terms is what makes the system work. This is the same idea.

 

The compass work: unless you have access to board-mounted compasses that hold reliably, have students work on paper rather than whiteboards. Paper works better for most students. The best physical technique is to hold the compass still and rotate the paper — this gives more control than trying to swing a compass arm over a large surface. Have students practice drawing a circle before the task begins.

 

Euclid’s Proposition 1 is the right first construction task. It is accessible, elegant, and its proof follows directly from the postulates students already know. Postulate 3 allows the circles. Postulate 1 allows the segments. Common Notion 1 closes the argument. The logical chain is short enough for students to hold in their heads and precise enough to feel like a real proof. This experience — seeing how a construction follows necessarily from the axioms — is the foundation of everything in the unit.

 

The ‘nullilateral’ triangle task is the payoff of the lesson. A precise definition, applied to a geometric object, that turns out to be provably impossible to construct. Students feel the failure of the construction directly — the two circles simply do not meet. That failure is a proof of impossibility, not just a personal inability. Name the distinction explicitly: failing to find a method means we have not found it yet. Showing that the geometry makes it impossible is a stronger argument — but it is still worth asking the class: does the impossibility of construction prove the object cannot exist in our system? This is worth discussing. With the nullilateral triangle, the answer is yes — the impossibility of the construction is a proof of non-existence, because the circles not meeting means no third vertex can be formed. But this is different from the trisected angle case: we cannot construct one third of a given angle, but the object itself exists as a geometric reality. The class should feel the distinction rather than have it resolved too quickly.

 

One more thing worth pointing out during the equilateral triangle construction: when we conclude that AC = AB because both are radii of the circle centered at A, we are relying not just on Postulate 3 but on the definition of a circle — the set of all points equidistant from a given center. Euclid lists this definition before his axioms, and we use it here. Students do not need to write this in their notes, but a teacher who wants to reinforce the definitions-as-argument thread should name it: we are making a deductive argument, and we can only make it because we agreed on what a circle is. This is why Euclid lists the definitions first.

 

A note on the word ‘nullilateral’: this is not a standard mathematical term. The name was invented to sound authentic while pointing toward the idea that this kind of triangle is an empty set — no actual triangles satisfy the definition. Students at this level are unlikely to catch the reference, but teachers should know the reasoning behind the name. It was coined specifically to give students the experience of encountering a plausible-sounding definition for something that turns out to be constructively impossible.

 

The postulate/proposition distinction is the other critical consolidation moment. Both words start with P. Students will conflate them for the entire unit if this is not addressed directly and revisited often. A postulate is accepted without justification — it is a rule the system comes with. A proposition is a claim we make and then prove. Do not move past this moment until students can articulate the difference in their own words. Require them to write the comparison table in their notes.