Triple Circles, but actually, there is only one

Geometry Level 5

Circle ω 1 \omega_1 is tangent to A B AB and A C AC , ω 2 \omega_2 is tangent to B A BA and B C BC , and ω 3 \omega_3 is tangent to C B CB and C A CA . Those three circles have equal radii and are inside A B C \triangle ABC . If ω 1 , ω 2 \omega_1, \omega_2 and ω 3 \omega_3 have a common point P P , which of the answers is true?

Note: \textbf{Note:} I I is the incenter. O O is the circumcenter, H H is the orthocenter, G G is the centroid, I a I_a is the excenter for the A-excircle, and A , B , C A' , B', C' are the centers of circles ω 1 , ω 2 , ω 3 \omega_1, \omega_2 , \omega_3 respectively.

A B C C B A \triangle ABC \sim \triangle C'B'A' Points P , I , O P, I, O are collinear Points P , I , H P, I, H form an equilateral triangle Points P , I , H P, I, H are collinear P , G , I a P, G, I_a are collinear

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Alan Yan
Sep 13, 2015

EDIT: In the diagram, C C' should be A A' and B B' should be C C' and A A' should be B 'B .

Notice how A B C A B C \triangle A'B'C' \sim \triangle ABC . We can prove this by using the fact that A B A B , A C A C , B C B C A'B' || AB , A'C' || AC , B'C' || BC and start angle chasing.

Thus, there must be a point inside A B C \triangle A'B'C' that is the center of homothety of the two triangles that maps A A to A A' , B B to B B' , and C C to C C' .

Notice how by connecting A A to A A' and likewise for B B and C C we get the three angle bisectors. These intersect at I I .

This means that I I must be the center of homothety of A B C \triangle ABC and A B C \triangle A'B'C' .

Now notice how P P is equidistant from A , B , C A', B', C' which implies it is the circumcenter of A B C \triangle A'B'C' . This implies that I I maps O O to P P . Because homothety preserves the collinearity of mapped points, we know that P , I , O are collinear \boxed{P, I, O \text{ are collinear} }

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...