2.4.1 · D5Trigonometry — Foundation

Question bank — Pythagorean theorem — proof (by similar triangles, rearrangement), converse

1,442 words7 min readBack to topic

This bank hunts the ideas behind the Pythagorean theorem, not the arithmetic. Every item is a one-line reveal: read the prompt, answer out loud, then check. The answers give reasons, because in maths "yes" without "why" is worth nothing.


True or false — justify

The theorem only holds when the triangle has a right angle. Every claim below tests whether you know where that condition hides.

True or false: holds for every triangle if you just label the longest side .
False. It holds only for right triangles; the right angle is the earned condition, not the labelling. A 3–4–6 triangle has a longest side yet .
True or false: In , the letter must be the longest side.
True. is the hypotenuse, which sits opposite the largest (right) angle, and the largest angle always faces the longest side — so is necessarily longest.
True or false: If a triangle is right-angled, the right angle is always opposite the hypotenuse.
True. The hypotenuse is defined as the side facing the angle; that is what makes it the longest side.
True or false: The converse lets you detect a right angle using only a ruler, no protractor.
True. Measure all three sides; if then the angle opposite must be — that is exactly what the converse guarantees.
True or false: A triangle with sides is right-angled.
True. , so by the converse the angle opposite is a right angle (it is the isosceles right triangle).
True or false: If (with longest) the triangle can still be right-angled.
False. Equality is required for a right angle; means the angle opposite is acute (less than ), a fact you can feel via the Law of Cosines.
True or false: If the triangle is impossible.
False. It is perfectly valid but obtuse — the angle opposite exceeds . Impossibility only arises if a side is longer than the other two combined.
True or false: Scaling a 3–4–5 triangle to 30–40–50 keeps it right-angled.
True. Multiplying every side by the same positive number preserves all angles (similar triangles), so the right angle survives; still checks out.
True or false: The similar-triangles proof needs the perpendicular dropped from the right-angle vertex to the hypotenuse.
True. That single altitude splits the triangle into two smaller ones similar to the original, which is the whole engine of the proof; drop it from any other vertex and the similarity vanishes.

Spot the error

Each line contains a flawed argument. Name the flaw in one breath.

"Sides 5, 12, 13: check , so not right." — what went wrong?
The wrong side was called hypotenuse. The hypotenuse is the longest side, , so test ✓ — it is right.
"Legs 3 and 4, so the hypotenuse is ." — what went wrong?
The square root was forgotten. gives , not ; is an area-like quantity, is the length.
", so I must have made an arithmetic slip." — what went wrong?
No slip — the triangle simply isn't right-angled. The theorem is a property of right triangles, not a rule every triple must obey.
"This scalene triangle has sides 7, 8, 9, so should equal ." — what went wrong?
There is no reason to expect equality; , so it's obtuse-free but not right. Only right triangles give the sum-of-squares identity.
"I proved similarity, so I can write ." — what went wrong?
Corresponding sides are mismatched. In the ratio is (hypotenuse-to-hypotenuse, leg-to-leg), giving , not that flipped fraction.
"In the rearrangement proof the outer square has side ." — what went wrong?
The outer square has side (leg plus leg along each edge); the inner tilted square has side . Confusing the two collapses the whole area argument.
"The converse is obvious — it's just the theorem read backwards, no proof needed." — what went wrong?
A statement and its converse are logically independent; the converse needs its own argument (construct a reference right triangle, then use SSS congruence).

Why questions

Answer the reason, not just the fact.

Why does only the right angle give the clean (and no other angle)?
Because the general relation is ; the correction term vanishes exactly when since . See Law of Cosines.
Why is the theorem often described as being about areas, not lengths?
Because , , are literally the areas of squares built on the sides, and the theorem says the two smaller square-areas exactly fill the big one — a conservation of area.
Why must the perpendicular in Proof 1 create three similar triangles?
Each small triangle shares one acute angle with the original and has its own right angle, so by AA (two matching angles) all three are similar — that shared-angle structure is what proportions the sides.
Why does adding equations and finish the proof so neatly?
Because the two hypotenuse segments satisfy , so ; the geometry that and tile the hypotenuse is doing the real work.
Why does the theorem underlie the Distance Formula in Coordinate Geometry?
The horizontal and vertical gaps between two points are the two legs of a right triangle, and the straight-line distance is its hypotenuse, so distance is Pythagoras in disguise.
Why can a carpenter trust the "3-4-5 method" to square a corner?
By the converse: since , any triangle with those side ratios is forced to have a right angle opposite the 5-side — measurement alone certifies the corner.
Why does the theorem generalise to in three dimensions?
Applying Pythagoras twice — once in a base plane, once for the vertical rise — stacks two right triangles, giving the 3D Distance Formula; each new perpendicular axis adds one more squared term.

Edge cases

The theorem must survive degenerate and boundary inputs. These probe the limits.

What happens to the triangle as one leg shrinks toward ?
It flattens into a straight segment; in the limit we get , i.e. , the sensible statement that a "triangle" with no height is just its own base.
Can , , or equal zero and still satisfy ?
Only degenerately: if then and there is no triangle (two vertices coincide). A genuine triangle needs all three sides strictly positive.
If a triangle has sides , what does vs tell you?
, so the angle opposite the -side is obtuse (exceeds ); Pythagoras' inequality classifies the largest angle.
For which triangle does and the theorem hold with the smallest whole-number-free values?
The isosceles right triangle : equal legs force a split and an irrational hypotenuse, the classic non-integer Pythagorean case.
Does the theorem work for a triangle drawn on a sphere (a globe's surface)?
No. Pythagoras is a fact of flat (Euclidean) geometry; on a curved surface the angle sum and side relations change, so fails — the right angle no longer locks the sides that way.
Why is the diagonal of a unit square, , guaranteed to be irrational yet still a legitimate hypotenuse?
Length being irrational is no obstacle — the theorem constrains the square of the length (), and geometry happily realises as an exact segment even though no fraction names it.
Recall One-line summary of the traps

The theorem lives or dies on the right angle; the hypotenuse is always the longest side; squaring and un-squaring are different steps; and the converse — the part that certifies right angles — needs its own proof.