Five Incircles Theorem: What Is It About?
A Mathematical Droodle

Explanation

Copyright © 1996-2009 Alexander Bogomolny

The theorem and the proof are due to J. B. Tabov, (Bulgaria) who responded to the challenge issued by H. Demir (Turkey) to provide a geometric proof (the original proof was trigonometric) to the following statement

(B)	Assume under the conditions of (A), triangles ABC, ACD, and ADE have equal incircles. Then the incircles of triangles ABD and ACE are equal.

(B) is clearly more restrictive and its assertion is less satisfying.

Proof of (A)

Since triangles ODT and O_dDT_d are similar, r/r_d = DT/DT_d. And, Since triangles O₁CT₁ and O_dCT_d are similar, r₁/r_d = CT₁/CT_d. Combining the two proportions we get

(1)	r/r1 = DT/DTd · CTd/CT1.

Now, in addition to the notions used in the diagram, denote for convenience CD = a, and the semiperimeters of triangles ABC, ACD, and ADE, respectively, s₁, s, s₂. Then, DT = s - c, DT_d = s (this is because O_d is the center of an excircle of ACD), CT_d = DT_d - CD = s - a, and, finally, CT₁ = s₁ - b. (1) then becomes

r/r1 = (s - c)/s · (s - a)/(s1 - b).

Similarly,

r/r1 = (s - d)/s · (s - a)/(s2 - e).

Hence r₁ = r₂ iff

(2)	(s - d)(s1 - b) = (s - c)(s2 - e).

We can do something similar for triangles ABD and ACE. Indeed, since triangles ODT and O'DT' are similar, r'/r = DT'/DT. Since triangles OCT and O"CT" are similar, r"/r = CT"/CT. Therefore, r' = r" iff

(3)	(s - d)(s' - b) = (s - c)(s" - e),

where s' and s" are the semiperimeters of triangles ABD and ACE, respectively. But clearly s' = s + s₁ - c and s" = s + s₂ - d, so that

(s - d)(s' - b) - (s - c)(s" - e) = (s - d)(s + s1 - c - b) - (s - c)(s + s2 - d - e)   = (s - d)(s - c) + (s - d)(s1 - b) - (s - c)(s - d) - (s - c)(s2 - e)   = (s - d)(s1 - b) - (s - c)(s2 - e)

Consequently, (2) and (3) are equivalent, which proves the theorem.

The theorem has bearing on the Equal Incircles Theorem.

References

1. H. Demir, Incircles within, Math Magazine, v 59 (1986), 77-83
2. J. B. Tabov, A Note on the Five-Circle Theorem, Math Magazine, v 63 (1990), 92-94

Copyright © 1996-2009 Alexander Bogomolny