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:
- From :
- From :
- From :