Euclidean Geometry Revisited - Applications

TheoremCeva's Theorem

Let $\triangle ABC$ be a triangle, and let $D$ , $E$ , $F$ be points on sides $BC$ , $CA$ , $AB$ respectively. The lines $AD$ , $BE$ , $CF$ are concurrent if and only if:

\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = 1

Ceva's theorem, proven by Giovanni Ceva in 1678, provides a powerful tool for determining when three lines through the vertices of a triangle meet at a single point. This result unifies many classical theorems about triangle centers.

The theorem's applications are extensive. It immediately proves that the medians of a triangle are concurrent (each divides the opposite side in ratio 1:1, giving $(1/1)(1/1)(1/1)=1$ ). Similarly, it shows the concurrency of angle bisectors and altitudes. The point of concurrency for medians is the centroid, for angle bisectors the incenter, and for altitudes the orthocenter.

ExampleApplications to Triangle Centers

Using Ceva's theorem, we can prove:

Medians meet at the centroid $G$ : If $D$ , $E$ , $F$ are midpoints, then $AF/FB = BD/DC = CE/EA = 1$ .
Angle bisectors meet at the incenter $I$ : By the angle bisector theorem, $AF/FB = AC/BC$ , and the product condition holds.
Altitudes meet at the orthocenter $H$ : Using trigonometric identities for the ratios created by altitude feet.

A dual result, Menelaus' theorem, characterizes when three points on the sides of a triangle are collinear. If $D$ , $E$ , $F$ lie on lines $BC$ , $CA$ , $AB$ (possibly extended), then they are collinear if and only if:

\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1

The negative sign accounts for directed ratios when points lie on line extensions.

DefinitionBarycentric Coordinates

A point $P$ in the plane of $\triangle ABC$ can be expressed uniquely as:

P = \alpha A + \beta B + \gamma C \quad \text{where } \alpha + \beta + \gamma = 1

The coefficients $(\alpha:\beta:\gamma)$ are the barycentric coordinates of $P$ . This coordinate system makes many geometric relationships algebraically transparent.

Ceva's theorem has a beautiful proof using areas. The key observation is that triangles with the same height have areas proportional to their bases. By comparing areas of sub-triangles, the product condition emerges naturally. This area-based approach connects metric properties (areas) with incidence properties (concurrency).

Remark

Ceva's and Menelaus' theorems generalize to higher dimensions. In three dimensions, Ceva's theorem characterizes when four planes through the vertices of a tetrahedron meet at a point. The product formula involves ratios of volumes, maintaining the same algebraic structure.

The theorems also have trigonometric formulations. Using the law of sines, the ratio conditions can be expressed in terms of angles, leading to elegant proofs of results like the concurrency of angle bisectors. This interplay between synthetic geometry (using points and lines) and analytic geometry (using coordinates and equations) exemplifies the richness of Euclidean geometry.