Geometry · Session 2

Conditional Statements

One hour, built on the four forms from the first strip. A conditional statement can be turned four ways — and only one of those turns still means what the original said.

0 – 8 min

Measure first

A short lesson before we start

What order does to a sentence

Swap the two halves of a sentence and you don't just rearrange words — you can change what the sentence actually claims. The dog chased the cat. The cat chased the dog. Same words. Opposite event.

Sentences that make a claim about one thing leading to another — if this, then that — work the same way. Flip which half comes first, and you very often get a different claim, even though every word stayed the same. Today is about noticing exactly when that flip still says the same thing and when it does not.

Two words you will need today

Both of them turn up in the sentences below, so they come first.

1 3 2 4 the gold dot is the vertex — where the lines turn

Vertical angles

When two straight lines cross, they make four angles. The two sitting directly across from each other — touching only at the crossing point, never sharing a side — are a pair of vertical angles. Every crossing has two such pairs: 1 with 3, and 2 with 4.

“Vertical” here has nothing to do with up and down. Same trap as “reverse” later on: the everyday word is not the geometry word.

It comes from vertex — the turning point, the corner where the lines meet. Vertical angles are vertex angles: two angles sharing one corner and opening in opposite directions. Same root as vertere, “to turn,” which is where converse and inverse come from as well.

And a pair of them is always equal. That is the Vertical Angle Theorem, and it is the statement you will be turning four ways in a little while.

56° 56° different places, different directions, different arm lengths

Congruent

Congruent means the same size and shape. For two angles that comes down to one thing: they open by the same amount.

Nothing else has to match. The two angles above are congruent even though they sit in different parts of the picture, point in different directions, and are drawn with arms of different lengths. Only the amount of opening counts.

From con-, “together,” plus gruere, “to agree” — two things that agree with each other.

Four pairs below. For each one: are the two sentences saying the same thing, or not? Answer by feel — nothing here is scored.

If it rains, then the ground is wet. If the ground is wet, then it rains.

  • Same claim
    Every word is the same, but the two halves swapped places, and that makes a new claim. The first sentence only says what rain does. The second says wet ground always comes from rain, and that is a promise the first never made.
  • Not the same
    A sprinkler can wet the ground with no rain at all. The second sentence rules that out — the first one never did.
  • If a triangle is equilateral, then it is isosceles. If a triangle is isosceles, then it is equilateral.

  • Same claim
    Same words, flipped order. The first sentence talks about equilateral triangles only. The second makes a promise about every isosceles triangle, including the ones with just two equal sides, and that is a much bigger claim.
  • Not the same
    A triangle with just two equal sides is isosceles but not equilateral. The second sentence claims something the first never did.
  • If two angles are vertical, then they are congruent. If two angles are congruent, then they are vertical.

  • Same claim
    Swapping the halves turned it into the converse. The first is the Vertical Angle Theorem. The second would make every pair of equal angles vertical, even two 40° angles in different corners of a room, which share no vertex at all.
  • Not the same
    Two angles can match in measure without ever sharing a vertex. Congruent doesn't force vertical — only vertical forces congruent.
  • If you study, then you pass the test. If you pass the test, then you studied.

  • Same claim
    Flipping it changed who the promise is about. The first sentence is about people who study. The second is about everyone who passes, and it says all of them studied, which is not what the first sentence said at all.
  • Not the same
    Somebody could pass by luck, or already knowing the material. Passing doesn't prove studying — the sentences claim different things.
  • 8 – 12 min

    Map

    One statement. Four buttons. One picture that never redraws — only the shading and the boundary move, and the line underneath says what changed.

    "Reverse" ≠ the geometry word — everyday "reverse" usually means "the exact same thing, backwards." In this room, a turn changes the claim. Keep the two apart.
    If it rains, then the ground is wet.
    every situation there is it rains THE IF HALF the ground is wet THE THEN HALF a rainy day the sprinkler a dry day
    Is this turn still true?
    TRUEThis is the statement we are starting from — we are taking it as true.

    Start anywhere inside it rains. The gold circle sits completely inside the blue one, so every rainy situation is also a wet-ground situation — there is nowhere in gold that falls outside blue. That is the whole of what the original claims, and it holds.

    How to read this picture

    Everything that could happen sits somewhere in the box, the blue circle holds every situation where the ground is wet, and the gold circle — drawn inside it — holds every situation where it rains, which is exactly what the original statement claims. Each button shades a different place to start you and asks one question: if I begin anywhere in the shaded part, am I guaranteed to end up where the sentence promised? You answer it by hunting for a single situation that starts right and finishes wrong — if a red band appears, that is where those live and the turn is broken, and if no band appears there is nowhere for one to hide and the turn holds.

    The colours are a rule, not decoration▸
    Gold is always it rains. Blue is always the ground is wet. The colour names the idea, and an idea never changes colour. What a turn changes is which idea has to play the if and which has to play the then — that is what the small tag inside each circle reports, which is why the tags trade places when you press a button. Green and red never name an idea at all; they are verdicts. Green means this holds, red means this breaks, and nothing else — so when something goes green or red you know at a glance that a judgement is being passed, not that a piece of the sentence is being named.
    Gold — it rains▸
    The first of the two ideas, and it keeps this colour whichever turn you press. It is drawn small and sitting inside, because rain is only one of the things that can wet the ground.
    Blue — the ground is wet▸
    The second idea, always this colour. It is the bigger circle, and gold sits entirely inside it. That nesting is the original statement.
    The small tag inside a circle — the job it is doing right now▸
    This is the part that moves. In the original, gold plays the if and blue plays the then. Press Converse and they swap jobs: blue becomes the if, gold becomes the then. Whichever is currently the if is the brighter of the two. A tag reading · NOT means that half has been negated, and its boundary goes dashed to match.
    A dot — one real situation▸
    One day, one place, one case. Where the dot sits tells you which halves are true of it: a rainy day, a sprinkler, a dry day.
    Shading — where this turn starts you▸
    Each turn hands you a different starting region and asks whether you are guaranteed to land somewhere. The shading is that starting region, and it moves every time you press a button.
    A dashed edge — not▸
    A solid circle means inside it. A dashed circle means you are talking about everything outside it. The inverse and the contrapositive are the two turns that put a NOT on things, so they are the two that dash a boundary.
    The red band — where the turn breaks▸
    Blue with the gold cut out of it: wet ground that is not rain. A turn only breaks if you can find one situation that starts where it says and finishes somewhere it did not promise. The band is where those live — and one dot in it is enough.
    12 – 45 min

    The move

    A short lesson before we start

    Where the word "hypothesis" comes from

    The if-part of a conditional statement has a name: the hypothesis. It comes from Greek — hypo, "under," plus thesis, "to place." Put together, it means "a placing under" — the thing set beneath everything else, the foundation the rest of the sentence stands on.

    That's literally what the if-part does. Everything the sentence claims rests on it being true. Change the foundation, and you're not adjusting the house — you're building on different ground entirely.

    The rule you can't just eyeball

    A rule — not a math one: If you are driving, then you must have a licence. Four people are in front of you. You can check one thing about each. Which do you actually have to check to know if anybody is breaking the rule? Tap the ones you'd check.

    is driving — licence uncertain
    is not driving — licence uncertain
    has a licence — driving uncertain
    has no licence — driving uncertain

    Only two are worth checking: is driving (could they be driving with no licence?) and has no licence (are they driving without one?). The other two can't break the rule no matter what you find.

    Here's the whole idea in one line: an if–then is broken in exactly one situation — the if-part true and the then-part false. Every other combination leaves the rule standing. That's the row you go hunting for, every time.

    Two traps, and how each one gets fixed

    If it rains, then the ground is wet. The ground is wet this morning. Did it rain?

  • Yes — wet ground means it rained
    This is affirming the consequent: you saw the then-part happen and assumed the if-part must have too. But a sprinkler wets the ground just as easily.
  • Can't tell — something else could have wet it
    Right. The sentence only ever promised what rain does. It never claimed rain is the only cause.
  • Why it fools people: this trap has a name — affirming the consequent, from consequent, "what follows," the back half of the sentence. The fix that actually works is handing yourself a second possible cause before you decide — here, a sprinkler. Once a second cause is in view, the wet ground stops feeling like proof of rain.

    Same sentence. It did not rain last night. Is the ground dry this morning?

  • Yes — no rain, so it's dry
    This is denying the antecedent — ruling out the if-part and assuming the then-part fails too. The sprinkler is still out there.
  • Can't tell — it could still be wet
    Right. The sentence never said what happens when it doesn't rain — only what happens when it does.
  • This one's called denying the antecedent — antecedent meaning "going before," the front half. This is also the mode called modus tollens done backwards. Run correctly — denying the then-part to conclude the if-part must be false — modus tollens is airtight. Denying the if-part proves nothing.

    Build all three turns yourself

    Starting statement: If two angles are vertical, then they are congruent. Below are the two halves as pieces. Tap a slot, then tap the piece (or the negate toggle) that belongs there, for each of the three turns.

    Converse
    then congruent
    →
    if vertical
    Tap the pieces above in order to build it.
    Inverse
    if NOT vertical
    →
    then NOT congruent
    Negate both parts, keep the order.
    Contrapositive
    if NOT congruent
    →
    then NOT vertical
    Flip the order AND negate both parts.

    Build the converse first, then negate both of its parts — where do you land? That's the contrapositive. It's built from the converse, not from the original.

    One more shape worth naming: a biconditional — "if and only if" — is what you get when a statement and its converse are both true. That's not a coincidence when it happens; it's exactly what a definition is. "A triangle is equilateral if and only if all three sides are equal" — that one really does work both directions, and that's precisely what makes it a definition rather than an ordinary claim.

    Carry this forward: a reversed statement is a new statement. Test it before you use it — unless it's a definition, in which case you already know it passes.
    45 – 55 min

    Break it down

    Four proofs below. Each one opens with a hypothesis and reasons to a conclusion — but not every conclusion here is one you should trust. Find the ones that go wrong, and why.

    a b c
    Proof 1 — the converse of the Vertical Angle Theorem breaks

    Hypothesis: two angles are congruent.
    Claim: therefore, they are vertical angles.

    This is the converse of the Vertical Angle Theorem, used as if it were the theorem itself. Two angles can be congruent by pure coincidence — a 40° angle in one corner of the room and a 40° angle in another have nothing to do with each other. Congruent doesn't force vertical. The conclusion is false, and the reasoning is exactly why.

    Proof 2 — right, but for the wrong reason the sneaky one

    Hypothesis: two lines cross, forming four angles.
    Claim: the angles opposite each other are equal — "because all the angles around a point add up to 360°, and 360 divided by 4 is 90, so each pair must match."

    The conclusion here is actually true — vertical angles really are equal. But the reasoning is wrong: nothing requires the four angles to be equal to each other just because they total 360°. (Four angles of 170°, 10°, 170°, 10° also add to 360.) The real reason is that each pair of adjacent angles forms a straight line — 180° — and subtracting the shared angle from both straight lines leaves the same value twice. A true conclusion reached by a broken argument is still a broken proof.

    Proof 3 — the inverse, used as if it settles things breaks

    Hypothesis: a triangle is not equilateral.
    Claim: therefore, it is not isosceles either.

    This is the inverse of "if equilateral, then isosceles" — negate both halves, keep the order. A triangle with exactly two equal sides is a perfectly good counterexample: not equilateral, but still isosceles. The inverse doesn't carry the same guarantee as the original — this is exactly the trap "measure first" opened on.

    Proof 4 — the contrapositive, used correctly

    Hypothesis: a triangle is not isosceles (no two sides equal).
    Claim: therefore, it is not equilateral either.

    This is the contrapositive of "if equilateral, then isosceles" — negate both halves and flip the order. If a triangle had no two equal sides, it certainly can't have all three equal — that would make plenty of pairs equal. The contrapositive always carries the same truth as the original. That's the one turn you can always rely on.

    55 – 60 min

    Homework

    Fill in what each root means, then check yourself. Screenshot this box when you're done — keep it as your own record.

    vertere
    → converse, inverse, reverse
    ponere / positus
    → contrapositive, opposite
    antecedent
    → the if-part
    consequent
    → the then-part

    The trap in this list: in- is two different prefixes wearing one spelling. In inverse it means "into" — turned in on itself. In incongruent it means "not." An inverse is not "not-verse" — you have to know which in- you're looking at.

    to turn · to place · going before · what follows — and remember, converse / inverse / contrapositive all turn the same original statement three different ways, and only the contrapositive is guaranteed to still be true.