Algebraic
Show another proofTip to Tail
If and are perpendicular vectors, then — and a right triangle's three sides are exactly such a pair and their sum.
- Let triangle have its right angle at , with and the other two corners.
- Let be the vector running from to , and the vector running from to — two arrows, laid tip to tail.
- The turn at is square, so and are perpendicular. That means their dot product is exactly zero: .
- Follow , then , and you've walked straight from to . By the definition of vector addition, that path is — the hypotenuse, read as a single vector.
- A vector's squared length is its dot product with itself. Expanding: .
- The middle term is the dot product from step three — and it's zero. It isn't cancelled against anything on the other side; it simply was never there.
- What's left is . Since , , and , that reads — reached without drawing a single square.
Therefore c² = a² + b². ∎
Nothing here is specific to triangles. The argument only ever uses that for perpendicular vectors and that squared length means dotting a vector with itself — facts about vector algebra, not about right triangles in particular. The triangle is just the one picture where all three lengths happen to have names already: , , and .