The Gergonne Point Theorem

The incircle touches each side at a point. The lines from each vertex to the opposite tangent point are concurrent at the Gergonne point, proven via Ceva's theorem and tangent length ratios.

Keywords: Gergonne point, incircle, tangent point, Ceva's theorem, concurrency

Prerequisites: cevas-theorem-proof, incenter-proof · Difficulty: intermediate

The incircle of touches side at , side at , and side at . The three lines , , are concurrent at a point called the Gergonne point .

Strategy: apply Ceva's theorem. The equal tangent lengths from the incircle make the Ceva product telescope to , so the three cevians meet at one point.

Step 1: Incircle and Tangent Points

Begin with triangle . Construct the incircle, which touches each side at exactly one point: on , on , on .

Step 2: Cevians to Tangent Points

Draw the line from each vertex to the tangent point on the opposite side: , , and . We claim these three cevians are concurrent.

Step 3: The Gergonne Point Theorem

The Gergonne Point Theorem: the three cevians , , from each vertex to the opposite incircle tangent point are concurrent. Their common point is the Gergonne point .

We'll prove it using Ceva's Theorem — the equal-tangent- length property of the incircle makes the Ceva product telescope to .

Step 4: Tangent Ratios: Product

Let , , be the side lengths opposite each vertex, and let be the semi-perimeter.

The two tangent segments from each vertex to the incircle are equal, giving:

By Ceva's theorem the cevians are concurrent.

Step 5: The Gergonne Point

By Ceva's theorem, since the product of the ratios is , the three cevians , , are concurrent. Their common point is the Gergonne point .

The lines from each vertex to the point where the incircle touches the opposite side are concurrent at the Gergonne point .

The proof is a direct application of Ceva's theorem: the tangent lengths from the incircle yield ratios whose product telescopes to . ∎

Notes

Notation

Let , , be the side lengths opposite the vertices , , , and let

denote the semi-perimeter of the triangle.

Tangent Lengths

The two tangent segments from an external point to a circle have equal length. Applying this at each vertex of and solving the resulting three linear equations gives: