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
![$\frac{1}{4}b^2 = \frac{1}{2}r \left( 2R - \frac{1}{2}r \right)$](http://latex.artofproblemsolving.com/d/d/f/ddf84943582f8bb49ed6edafb4e87bfdb8ad8c8e.png)
where and
are the circumradius and inradius of
.
Then, the Pythagorean theorem on triangle gives us
![$\displaystyle BI^2 = BE^2 + IE^2 = b^2 + r^2 = 4Rr$](http://latex.artofproblemsolving.com/a/a/c/aacead105ff98a5cfa1700e2f1e8e425ef3a14fa.png)
If is the foot of the altitude from
to
, then we have
. Furthermore, triangles
are homothetic about
, so
![$\frac{BI}{IQ} + 1 = \frac{BQ}{IQ} = \frac{BH_b}{IF} = \frac{4r}{r} = 4$](http://latex.artofproblemsolving.com/8/6/3/8638ab5eb6f94b25ae7f580442f116d7ac736d01.png)
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
![$PT = \frac{AT \cdot CT}{AT} = \frac{\frac{ac}{9}}{(2+ 2/3)\sqrt{Rr}} = \sqrt{Rr}/3$](http://latex.artofproblemsolving.com/e/5/4/e543bfb4c6f4fecac144ab3614b4341a0809fce8.png)
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,
![$KB'' = DB' = \frac{BD \cdot DI}{BI} = \frac{b\cdot r}{\sqrt{Rr}}$](http://latex.artofproblemsolving.com/4/d/d/4dd93323320e5efdfec2e309305872866e5f7342.png)
and
![$IB'' = IB' = \frac{ID \cdot DI}{BI} = \frac{r^2}{\sqrt{Rr}}$](http://latex.artofproblemsolving.com/5/7/5/575aef410438f92908700ae6066593c8af35b7ef.png)
Thus
![$PB'' = PI - B''I = \sqrt{Rr} - \frac{r^2}{\sqrt{Rr}}$](http://latex.artofproblemsolving.com/8/8/f/88f123ba695509638e703b1338e5df8a48ccae32.png)
Finally, applying the Pythagorean theorem to triangle , we have
![$PK^2 = PB''^2 + KB''^2 = \left(\sqrt{Rr} - \frac{r^2}{\sqrt{Rr}}\right)^2 + \frac{b^2r}{R} = Rr -r^2 + \frac{r^3}{R} + \frac{r(4R-r)\cdot r}{R} = Rr$](http://latex.artofproblemsolving.com/0/8/b/08be69620ea0e65b4808554ad83258d6940a4963.png)
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.