Triangles & Pythagorean Theorem

1. Introduction

The triangle is the simplest closed shape — three sides, three angles — yet it is the structural backbone of nearly all of geometry. Any polygon can be cut into triangles, bridges and roof trusses are built from triangles because they are rigid, and trigonometry is, at its heart, the study of triangles. Among all triangles, the right triangle (one $90^\circ$ angle) is the most important, and the Pythagorean Theorem is the single most famous relationship in elementary mathematics.

The theorem says: in a right triangle, the square built on the hypotenuse (the side opposite the right angle) has the same area as the two squares built on the legs combined. Symbolically, $a^2 + b^2 = c^2$. This lets us compute distances we cannot measure directly, test whether an angle is truly square, and it generalizes into the distance formula, the law of cosines, and the unit circle.

In this article we define triangles carefully, classify them, derive the Pythagorean Theorem and its converse, master the two special right triangles, explore geometric mean relationships in right triangles, and connect everything to coordinate geometry. Because we can't show diagrams, sketch each triangle as you read — orient the right angle at the bottom-left, legs along the axes, hypotenuse rising to the right.

The Pythagorean Theorem is the bridge between shape and number: it turns a geometric right angle into an algebraic check on side lengths. Every distance problem on a grid, every ladder-against-a-wall story, and every "is this triangle right?" question is ultimately asking whether $a^2 + b^2 = c^2$. Learning to spot special triangles and integer triples is as valuable as memorizing the formula itself.

2. Core Concepts

2.1 Classifying Triangles

Triangles are named two ways. By sides: a scalene triangle has three different side lengths; an isosceles triangle has (at least) two equal sides and two equal base angles; an equilateral triangle has three equal sides and three $60^\circ$ angles. By angles: an acute triangle has all angles less than $90^\circ$; a right triangle has exactly one $90^\circ$ angle; an obtuse triangle has one angle greater than $90^\circ$.

Two universal facts hold for every triangle:

• Angle sum: the three interior angles add to $180^\circ$.
• Triangle inequality: the sum of any two side lengths exceeds the third; otherwise the sides cannot close up into a triangle.

2.2 The Right Triangle and Its Parts

In a right triangle, the $90^\circ$ angle is the right angle. The side directly opposite it is the hypotenuse, always the longest side. The two sides forming the right angle are the legs. The two non-right angles are complementary (they sum to $90^\circ$, since all three sum to $180^\circ$).

2.3 The Pythagorean Theorem and a Proof

The theorem states that for legs $a$, $b$ and hypotenuse $c$, $a^2 + b^2 = c^2.$

A proof by rearrangement. Take a large square of side $a + b$. Inside it, place four copies of our right triangle, each with legs $a$ and $b$, arranged so their hypotenuses form a tilted inner square of side $c$. The area of the big square can be counted two ways. First, directly: $(a + b)^2 = a^2 + 2ab + b^2$. Second, as the inner square plus the four triangles: $c^2 + 4\cdot \tfrac{1}{2}ab = c^2 + 2ab$. Setting the two equal: $a^2 + 2ab + b^2 = c^2 + 2ab \implies a^2 + b^2 = c^2.$ The $2ab$ terms cancel, leaving exactly the Pythagorean relationship. This is one of hundreds of known proofs, and it requires nothing more than counting area.

2.4 The Converse

The converse is equally useful: if the three sides of a triangle satisfy $a^2 + b^2 = c^2$ (with $c$ the longest), then the triangle is right. This is how builders check that a corner is square — the "3-4-5 method." A sharper version classifies any triangle:

• If $a^2 + b^2 = c^2$: right.
• If $a^2 + b^2 > c^2$: acute.
• If $a^2 + b^2 < c^2$: obtuse.

2.5 Pythagorean Triples

A Pythagorean triple is a set of positive integers $(a, b, c)$ with $a^2 + b^2 = c^2$. The famous ones to recognize instantly are $(3, 4, 5)$, $(5, 12, 13)$, $(8, 15, 17)$, and $(7, 24, 25)$. Any multiple of a triple is also a triple: scaling $(3,4,5)$ by $2$ gives $(6, 8, 10)$. Recognizing these saves time because you can read off the answer without a calculator.

Generating triples: For integers $m > n > 0$, the formulas $a = m^2 - n^2$, $b = 2mn$, $c = m^2 + n^2$ always produce a triple (possibly after reordering legs).

2.6 Special Right Triangles

Two right triangles have fixed angle measures and therefore fixed side ratios:

• $45^\circ$–$45^\circ$–$90^\circ$ (isosceles right triangle): the two legs are equal, and the hypotenuse is $\sqrt{2}$ times a leg. Ratio $1 : 1 : \sqrt{2}$. If a leg is $x$, the hypotenuse is $x\sqrt{2}$.
• $30^\circ$–$60^\circ$–$90^\circ$: the side opposite $30^\circ$ is the shortest, opposite $60^\circ$ is $\sqrt{3}$ times it, and the hypotenuse (opposite $90^\circ$) is twice the shortest. Ratio $1 : \sqrt{3} : 2$. If the short leg is $x$, the sides are $x$, $x\sqrt{3}$, $2x$.

Where do these come from? Split a square along its diagonal to get two $45$-$45$-$90$ triangles; the diagonal of a unit square is $\sqrt{1^2 + 1^2} = \sqrt 2$. Split an equilateral triangle of side $2$ down its height to get a $30$-$60$-$90$ triangle with short leg $1$, hypotenuse $2$, and long leg $\sqrt{2^2 - 1^2} = \sqrt 3$.

2.7 From Triangle to Coordinate Plane

The Pythagorean Theorem becomes the distance formula. The distance between $(x_1, y_1)$ and $(x_2, y_2)$ is the hypotenuse of a right triangle with horizontal leg $|x_2 - x_1|$ and vertical leg $|y_2 - y_1|$: $d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}.$

2.8 Altitude to the Hypotenuse and Geometric Mean

In a right triangle, drop an altitude from the right angle to the hypotenuse. It splits the hypotenuse into two segments and creates three similar triangles. The altitude is the geometric mean of the two hypotenuse segments: $h^2 = p \cdot q,$ where $p$ and $q$ are the two pieces of the hypotenuse. Each leg is also a geometric mean: $a^2 = c \cdot p$ and $b^2 = c \cdot q$. These relationships power many contest-style problems.

2.9 Triangle Area

Every triangle has area $A = \tfrac{1}{2}bh$ where $b$ is any base and $h$ is the perpendicular height to that base. In a right triangle, the two legs serve as base and height directly: $A = \tfrac{1}{2}(\text{leg}_1)(\text{leg}_2)$. Heron's formula gives area from three sides $a$, $b$, $c$ alone: with semiperimeter $s = \tfrac{a+b+c}{2}$, $A = \sqrt{s(s-a)(s-b)(s-c)}$.

2.10 The Law of Cosines (Preview)

For any triangle (not just right), the law of cosines generalizes Pythagoras: $c^2 = a^2 + b^2 - 2ab\cos C.$ When $C = 90^\circ$, $\cos C = 0$ and this reduces to $c^2 = a^2 + b^2$. Use it when you know two sides and the included angle, or all three sides.

2.11 Coordinate Geometry and Right Triangles

Slope and distance combine in coordinate proofs. A triangle with vertices on a grid is right if two sides have slopes whose product is $-1$ (perpendicular), or if the side lengths satisfy the Pythagorean converse. The distance formula is the workhorse for verifying right angles on the plane.

2.12 Isosceles and Equilateral Triangles in Context

An isosceles right triangle is a $45$-$45$-$90$ triangle.

2.13 The Distance Formula and Midpoint Connection

The midpoint of $(x_1, y_1)$ and $(x_2, y_2)$ is $\left(\tfrac{x_1+x_2}{2}, \tfrac{y_1+y_2}{2}\right)$. The distance formula measures the segment length between endpoints; together they support coordinate proofs that a triangle is isosceles (two equal distances from a vertex) or right (Pythagorean check on side lengths computed from coordinates). These tools bridge algebra and geometry without any trigonometry. An equilateral triangle split by an altitude yields two $30$-$60$-$90$ triangles — a standard way to find height and area of equilateral triangles. Connecting special triangles to these familiar figures speeds up many calculations.