2013 APMO Problems/Problem 5
Contents
Problem
Let be a quadrilateral inscribed in a circle
, and let
be a point on the extension of
such that
and
are tangent to
. The tangent at
intersects
at
and the line
at
. Let
be the second point of intersection between
and
. Prove that
,
,
are collinear.
Solution
Solution 1
Let . Note that the tangents at
and
concur on
at
, so
is harmonic, hence the tangents at
and
concur on
at
, say.
Now apply Pascal's Theorem to hexagon to find that
,
and
are collinear. Now note that
and
both lie on the tangent at
, hence
also lies on the tangent at
. It follows that
. So
and
are in fact the same point. Since
lies on
by definition, it follows that
, are indeed collinear, and thus the problem is solved.
Solution 2
We use complex numbers. Let be the unit circle, and let the lowercase letter of a point be its complex coordinate.
Since lies on the intersection of the tangents to
at
and
, we have
. In addition,
lies on chord
, so
. This implies that
, or
.
lies on the tangent at
, and lies on
, so
.
lies on chord
and on the tangent at
. Therefore we have
and
. Solving for
yields
are collinear, so we have
, or
We must prove that
are collinear, or that
or
Cross-multiplying, we have
which is true.
Solution 3
Set ,
,
and
, where
. Note that since
is harmonic, we have
collinear and with
But
is harmonic; therefore
.
Solution 4
Use barycentrics on , in that order. It is easy to derive that
and
. Clearly, line
has equation
, and the tangent from
has equation
, so we get that
. Line
has equation
, so we also get that
. Line
has equation
, and line
has equation
, so we quickly derive that
has coordinates
, and it is easy to verify that this lies on the circumcircle
, so we're done.
Solution 5
First off, let's state the constructions:
Let ; let the tangent from
to
not containing
be
, and let
.
Now we make a couple of slick observations;
Since is harmonic,
is the
symmedian in
, and since
is harmonic,
is the
symmedian in
. Then
is the symmedian point of
.
Now by the definition of ,
is harmonic. Hence
is a symmedian of
as well! Hence
lies on
.
Now since is the pole of
,
lies on the polar of point
(w.r.t.
, obviously). But by Brocard's theorem on quadrilateral
,
lies on the polar of
.
Hence lies on
and we are done.
Solution 6
Note that this problem is purely projective! So we can take a projective transformation fixing and taking
to the center of
. This implies
is a rectangle. But it is also harmonic; hence it is a square.
Now by some simple angle chasing, we get ,
and
.
, which proves that
,
,
are collinear, finishing our proof.
http://www.artofproblemsolving.com/community/c6h532682p3046946