Play ProofQuest

Construction Cole

PROOF BY CONSTRUCTION

Loading audio…

Press play to listen along. The line being read lights up as you go.

Show full transcript

Loading transcript…

01 Opening
Construction Cole beat 1 of 5

Cole is a carpenter. He should be introduced as a carpenter and not as a mathematician, because that is the order in which he became them, and Cole is firm about order.

He grew up in a western timber town called Beam. (Beam is, predictably, named for a kind of wood. The townspeople have, over generations, mostly stopped finding this funny.) Cole's family has been building things in Beam for nine generations. They build useful things: houses, barns, stalls, school benches, the occasional bridge when somebody asks for one. Cole's grandmother used to say that a Beam carpenter would rather build you a thing than describe one to you in writing. This was a family saying. It is also entirely true.

Cole apprenticed to his uncle at fifteen. He was, by twenty, a competent carpenter. By twenty-five he was a good one. He could look at a problem — I need a step here. I need a shelf there. I need a roof that does not leak — and he could build the answer. He did not draw plans first. He drew plans after, if at all. He preferred to build a small version, look at it, and then build the bigger version. He believed (and his uncle had taught him this) that you understand a thing when you've made one.

This is, in retrospect, a deeply mathematical attitude. Cole did not know it at the time.

02 Construction Cole
Construction Cole beat 2 of 5

He learned it at twenty-eight, in a way that surprised him.

A travelling mathematician — a polite woman who was passing through Beam on her way south — stopped at Cole's workshop to ask if he could repair a damaged shoulder-bag strap. Cole could. He repaired it. They got to talking. The mathematician asked what kind of work Cole found most satisfying. Cole said: "The kind where I look at the problem and just make the thing."

The mathematician said: "Have you ever heard of proof by construction?"

Cole said: "No."

The mathematician explained. The technique is this: when you want to prove that something exists — that there is some number with a certain property, or some arrangement of pieces that works, or some geometric figure that meets a description — you do not have to argue abstractly that it must exist. You can simply produce one. You point at it and say: "There. That one. It works."

03 Construction Cole
Construction Cole beat 3 of 5

Cole listened. He thought about it. He laughed for a long time. He said: "That is the only kind of proof I have ever done."

The mathematician said: "There are mathematicians at the central university who would love to meet you."

Cole said: "I do not have time for the central university. I am making a barn."

The mathematician said: "Of course. Just thinking aloud."

She left. Cole finished the barn.

04 Construction Cole
Construction Cole beat 4 of 5

But the conversation stayed with him. He thought about it for the next two years while he built three more houses and one footbridge. He realised, slowly, that he had been constructing proofs in his daily work — every cabinet he built was a proof that a cabinet with these dimensions and these supports is possible. Every roof was a proof that a roof spanning this distance can be built. He had not thought of his work that way. But the mathematician had been right.

He wrote to the academy at age thirty. He asked if they ever needed teachers. The academy master wrote back the same week and said yes, we always do.

Cole arrived in the capital with three carved wooden objects in his bag — a small block, a small step, and a small wedge. He used them in his first class. He has been using them, or replacements, ever since.

His teaching style is simple. He says: "You want to prove this thing exists? Fine. Here is one. Look at it. Touch it. It exists."

He then walks the children through why the thing he made satisfies the claim. The proof, in Cole's classroom, is the object plus the explanation of why it works. Both halves are essential. Many children find this style unusually clear, which is exactly the effect Cole intended.

05 Closing
Construction Cole beat 5 of 5

He has been at the academy for sixteen years now. He has built, by his own count, four hundred and thirty teaching objects. They are all kept in a large cupboard at the back of his classroom. The cupboard is labelled, in his own neat handwriting: Things That Exist.

He still takes a week off, every summer, to go back to Beam and build something. (Usually a step. He likes building steps. Steps are honest objects.) He returns to the academy each autumn with his hands slightly more callused and his patience slightly renewed.

If you ask Cole what he does, he will not say I am a mathematics teacher.

He will say: "I build things. Then I show people that they work."

And he will hand you a small wooden object and say: "Here. Look at this one."

Hear it as an audio drama

A short play starring Construction Cole, from ProofQuest. Different voices, same idea. Listen any time after you read.

Loading audio…

Read the drama script
  1. Narrator: From Spark and Anvil and ProofQuest — this is Cole, in chapter 1 of the ProofQuest cast.
  2. Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
  3. Narrator: Construction Cole is the academy's builder. While other proofs argue in the abstract, Cole picks up a hammer and produces the actual thing. Show, don't tell.
  4. Narrator: He is a tall otter-tween. Practical. Calm. He wears a tool-belt with hammers and chisels and rulers and a small toolbox slung over his shoulder. The toolbox is always full of half-finished examples — the proofs he's currently constructing.
  5. Cole: I am Construction Cole. I teach proof by construction. When someone says "I claim a thing of this kind exists," I don't argue. I build the thing. Then the existence is undeniable.
  6. Narrator: A proof by construction is a way of proving an existence claim by producing the actual example. If someone says "there exists an even number greater than ten that is the sum of two primes," you can't just argue in the abstract. You construct the example. Twelve. Twelve equals five plus seven. Done.
  7. Cole: My method has three steps. One: identify what kind of thing the claim is about. Two: pick out the specific thing you'll build. Three: show that the thing satisfies the claim. Once the example is on the table and the conditions check out, you're done. The existence is proven.
  8. Cole: Let me show you. Claim: there exists an irrational number whose square is rational. I construct: the square root of two. I check: the square root of two times the square root of two equals two, which is rational. The square root of two itself is irrational — a fact I either cite or separately prove. Done. The number exists. I built it.
  9. Narrator: Cole grew up in a small village on a fast river. His family were the bridge-builders. Otters who measured the spans, cut the timbers, drove the pegs, and tested the joints. When a bridge was finished, you could walk on it. That was the proof.
  10. Cole: By the time I was eight I had learned the village rule. Don't claim the bridge will hold. Build the bridge. Then walk across it. Then everyone knows it holds.
  11. Narrator: He walked to the ProofQuest academy at sixteen. The mentor Qed met him at the gate.
  12. Qed: What is proof by construction?
  13. Cole: Existence claims get proven by producing the example. Don't argue from afar. Build the thing. Show it satisfies the conditions. Done. My favorite cases are the ones where the construction is itself elegant — where the build teaches you something about why the existence holds.
  14. Qed: You are appointed.
  15. Narrator: Cole has been the academy's construction-proof teacher for years. He still carries the toolbox. He begins every first-day lesson the same way.
  16. Cole: I am Construction Cole. Build the example. That is what construction proof is. When the claim says "there exists" — I build. When the claim says "for every X there exists a Y" — I show how to build a Y for each X. When the claim says "construct a sequence that converges to the limit" — I construct.
  17. Cole: Existence claim. Pick the example. Build it. Check the conditions. Done. That's the whole technique. That's what makes construction proof a proof.
  18. Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
  19. Narrator: Apps stay free forever.
  20. Narrator: Curriculum aligned to Common Core math and discrete math.
  21. Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.

More stories with Construction Cole

Another short audio story about Construction Cole. Open one when you are ready.

Proof by construction

Loading audio…

Read the script
  1. Narrator: From Spark and Anvil and ProofQuest — this is Construction Cole, in chapter 1 of the ProofQuest cast.
  2. Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
  3. Narrator: Construction Cole is a carpenter. He has rough hands and wears a brown work-apron, smelling faintly of sawdust.
  4. Narrator: He understands the world not through words, but through the sturdy weight of a finished piece of wood.
  5. Construction Cole: I'm Cole. I build things. To show something is possible, you don't talk about it. You just make the thing.
  6. Narrator: This is proof by construction. To prove an object with certain properties can exist, you simply produce a working example.
  7. Construction Cole: You want to prove a thing exists? Fine. Here is one. Look at it. Touch it. It exists.
  8. Narrator: Cole grew up in a timber town. His family were carpenters who built houses, barns, and sturdy school benches.
  9. Construction Cole: My grandmother always said a Beam carpenter would rather build you a thing than explain it. You understand something when you've made it.
  10. Narrator: One day, a traveling mathematician visited his workshop and asked him about his work.
  11. Mathematician: Have you ever heard of proof by construction?
  12. Construction Cole: I listened as she explained. Then I laughed. That is the only kind of proof I have ever done.
  13. Mathematician: There are mathematicians at the central university who would love to meet you.
  14. Narrator: A proof by construction is the object itself, plus the explanation of why it works. Build the thing. Show it works.
  15. Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
  16. Narrator: Apps stay free forever.
  17. Narrator: Curriculum aligned to Common Core math and discrete math.
  18. Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.

The ProofQuest ensemble

Construction Cole is one of the friends in ProofQuest. Each friend shows you one idea by how they act; meet them all and you have the whole subject.

Kids also liked

App HuntForge App ReadQuest Play BallotQuest App StyleForge Play NumberSense Play FractionForge