The Logical Path from Euclid’s Postulate to General Trigonometry

This note traces the logical thread that connects foundational Euclidean geometry to the laws governing any triangle. The journey demonstrates how a single axiom about parallel lines cascades through geometry, giving rise to similarity, the Pythagorean theorem, and ultimately, modern trigonometry.

1. The Foundation: Euclid’s 5th Postulate and Parallel Lines

Everything begins with an axiom that cannot be proven from others: the Parallel Postulate.

Playfair’s Axiom (Modern Form): Through a point not on a given line, there is exactly one line parallel to the given line.

This postulate is the linchpin. When a transversal line intersects two parallel lines, this axiom guarantees predictable relationships between the angles. Specifically, it allows us to prove that:

Alternate Interior Angles are equal.
Corresponding Angles are equal.
Consecutive Interior Angles are supplementary (sum to 180°).

These angle relationships are not trivial; they are direct consequences of the 5th postulate and form the basis for measuring and comparing shapes.

2. The Consequence: Triangle Similarity

The angle rules for parallel lines provide the necessary tools to prove the criteria for triangle similarity. The most direct proof is for the Angle-Angle (AA) Similarity Criterion.

AA Similarity: If two angles of one triangle are congruent to two angles of another triangle, then the triangles are similar.

Proof Sketch: If we place the vertex of one angle of the first triangle (e.g., A) onto the corresponding angle of the second triangle (A'), the other sides (AB and AC) will lie along the sides of the larger triangle. Because the second angles (B and B') are equal, the side BC must be parallel to the side B'C' (due to the corresponding angles rule). The properties of parallel lines then ensure that the sides are scaled proportionally.

While Thales of Miletus did foundational work with ratios and intercepts, the systematic proof of similarity criteria (AA, SAS, SSS) is a cornerstone of Euclid’s Elements.

3. The Application: A Proof of the Pythagorean Theorem

With the concept of similarity established, the Pythagorean Theorem can be proven as a direct geometric consequence, rather than just an algebraic formula.

Start with a right-angled triangle, ABC, with the right angle at C.
Draw an altitude from C to the hypotenuse AB, and call the intersection point D.
This construction creates three similar triangles: the original triangle ABC, and the two smaller triangles ADC and CDB. They are all similar to each other by the AA criterion.

Because the triangles are similar, the ratios of their corresponding sides are equal. This leads to the relations:

a² = c * y
b² = c * x

Adding them together: a² + b² = cx + cy = c(x + y). Since x + y = c, we get:

a² + b² = c²

This shows that the theorem is fundamentally about the proportional relationships inherent in similar right triangles.

4. The Generalization Part 1: From Ratios to the Unit Circle

Trigonometry is born from the relationships within a right-angled triangle.

Initial Definition (Right Triangles): For an acute angle θ, we define sin(θ), cos(θ), and tan(θ) as the ratios of the lengths of the opposite side, adjacent side, and hypotenuse. These ratios are consistent for a given angle θ precisely because all right triangles with that angle are similar.
Generalization (Unit Circle): To extend trigonometry to all angles (0° to 360° and beyond), we place the angle at the origin of a Cartesian plane and consider the coordinates (x, y) of the point where the terminal side of the angle intersects a circle of radius r. This leads to the generalized definitions:
- sin(θ) = y/r
- cos(θ) = x/r

When r=1 (the unit circle), this simplifies beautifully to sin(θ) = y and cos(θ) = x. The Pythagorean theorem x² + y² = r² immediately gives us the fundamental identity:

cos²(θ) + sin²(θ) = 1

5. The Power of Trigonometry: Identities and Transformations

The unit circle framework allows us to derive all other trigonometric identities. For example, angle addition formulas can be derived by considering a coordinate rotation.

If we rotate a point (x, y) by an angle α, its new coordinates are given by a rotation matrix, which connects trigonometry to linear algebra. This process can be used to rigorously prove identities like:

cos(α + β) = cos(α)cos(β) - sin(α)sin(β)

From these, we can derive double-angle, half-angle, and power-reduction formulas, which are essential for calculus and signal processing.

6. The Generalization Part 2: Laws for Any Triangle

Trigonometry allows us to break free from the constraint of right-angled triangles.

Law of Cosines (Generalized Pythagorean Theorem): For any triangle with sides a, b, c and angle C opposite side c, the relationship is:

c² = a² + b² - 2ab cos(C) If C is 90°, cos(C) = 0, and the formula reduces to the Pythagorean theorem. This term -2ab cos(C) is the “correction factor” for non-right angles.
Area of a Triangle: The area of any triangle can be found if we know two sides and the included angle. By dropping an altitude h = b * sin(C), the area is:

Area = ½ * base * height = ½ * a * (b sin(C))
Law of Sines: The area formula provides a simple path to the Law of Sines. The area of the triangle is the same regardless of which sides and angle we use: ½ ab sin(C) = ½ bc sin(A) = ½ ac sin(B)

Multiplying by 2 and dividing by abc gives the Law of Sines:

sin(A)/a = sin(B)/b = sin(C)/c

This completes the journey from a single postulate about parallel lines to a complete set of tools for solving any triangle.

Edmondo's Vault

Explorer

Logical Path From Euclide To General Trigonometry