# 2005 IMO Shortlist Problems/G1

## Problem

(*Greece*)
In a triangle satisfying the incircle has centre and touches the sides and at and , respectively. Let and be the symmetric points of and with respect to . Prove that the quadrilateral is cyclic.

*This was also Problem 2 of the second round of the 2006 Poland Math Olympiad and Problem 6 of the final round of the 2006 Costa Rica Math Olympiad.*

**Remark.** The converse of this problem is also true, i.e., if is cyclic, then . This can be proven easily along the lines of the first solution.

## Solutions

### Solution 1

Let intersect the circumcircle of again at ; let be the midpoint of . We note that is the perpendicular bisector of , as it passes through the midpoint of segment and the midpoint of the arc . We note that the condition is equivalent to the condition .

Since , and and are both right angles, triangles , are similar.

Let be the projection of onto the line . We note that and are both right angles, and , so triangles are similar. Thus triangles are similar. But we note that by measures of intercepted arcs, , so (in fact, this is a known result) and triangles are congruent. This means that , so is the perpendicular bisector of , and . By symmetry, , so all lie on a circle centered at .

### Solution 2

Let the bisector of angle meet at , at , at , and the circumcircle of a second time at . Let be the midpoint of , and let the incircle of touch at . We note that is the perpendicular bisector of , since this passes both through the midpoint of arc and through the midpoint of . The condition is equivalent to the condition .

Now, we have , and , so triangles are similar. Thus we have . Considering the power of the point to the circumcircle of with respect to lines gives us

where and are the circumradius and inradius of .

Then, the Pythagorean theorem on triangle gives us

If is the foot of the altitude from to , then we have . Furthermore, triangles are homothetic about , so

It follows that . The extended law of sines gives us . By the angle bisector theorem, . Considering the power of the point with respect to the circumcircle of and lines gives us

Now, since is the reflection of about , the two triangles are congruent. Since are right triangles with a common acute angle, they are similar. Specifically,

and

Thus

Finally, applying the Pythagorean theorem to triangle , we have

By symmetry, , so all lie on the circle with center and radius .

*Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.*