Analyzing the Geometry of the Incenter
The incenter I serves as the point equidistant from all sides of a triangle. When we drop perpendiculars ID, IE, and IF to the sides, we effectively partition the triangle into three distinct quadrilaterals.
Consider the quadrilateral CEID. Because the incenter is equidistant from the sides, the circle inscribed within this region with radius r3 is constrained by the right angles at D and E.
This configuration creates a symmetry that simplifies the geometry significantly. By defining the angle ∠DIE=2θ3, we can utilize trigonometric relationships to bridge the gap between local and global properties.
The Master Equation
The relationship between the radius of the small circle r3, the inradius r, and the angle θ3 is given by:
This expression acts as the key to connecting the geometry of the small inscribed circle to the global geometry of the triangle. By repeating this process for all three quadrilaterals, we derive three distinct expressions involving θ1, θ2, and θ3.
The Final Synthesis
The critical realization is that the sum of these half-angles satisfies the condition:
This identity leads us to the fundamental trigonometric relationship:
tanθ1+tanθ2+tanθ3=tanθ1tanθ2tanθ3
When you substitute the ratios derived from the radii into this identity, the proof resolves elegantly. By connecting these simple truths, you uncover the fundamental harmony of the triangle.