Difference between revisions of "2021 IMO Problems/Problem 4"
(Created page with "<math>Problem:</math> Let <math>\Gamma</math> be a circle with centre <math>I</math>, and <math>ABCD</math> a convex quadrilateral such that each of the segments <math>AB, BC,...") |
|||
Line 12: | Line 12: | ||
Now assume WLOG <math>AB < BC</math>. Then <math>T</math> lies between <math>A</math> and <math>X</math> in the minor arc <math>AX</math> and <math>Z</math> lies between <math>Y</math> and <math>C</math> in the minor arc <math>YC</math>. | Now assume WLOG <math>AB < BC</math>. Then <math>T</math> lies between <math>A</math> and <math>X</math> in the minor arc <math>AX</math> and <math>Z</math> lies between <math>Y</math> and <math>C</math> in the minor arc <math>YC</math>. | ||
+ | Consider the cyclic quadrilateral <math>ACZX</math>. | ||
+ | We have <math>\angle CZX = \angle CAB</math> and <math>\angle IAC = \angle IZC</math>. So that, <cmath>\angle CZX - \angle IZC = \angle CAB - \angle IAC</cmath> <cmath>\angle IZX = \angle IAB</cmath>. Since <math>I</math> is the incenter of quadrilateral <math>ABCD</math>, <math>AI</math> is the angular bisector of <math>\angle DBA</math>. This gives us, <cmath>\angle IZX = \angle IAB = \angle IAD = \angle IAY</cmath>. Hence the chords <math>IX</math> and <math>IY</math> are equal. | ||
+ | So <math>Y</math> is the reflection of <math>X</math> about <math>OI</math>. |
Revision as of 05:03, 23 July 2021
Let
be a circle with centre
, and
a convex quadrilateral such that each of
the segments
and
is tangent to
. Let
be the circumcircle of the triangle
.
The extension of
beyond
meets
at
, and the extension of
beyond
meets
at
.
The extensions of
and
beyond
meet
at
and
, respectively. Prove that
Let be the centre of
For
the result follows simply. By Pitot's Theorem we have
so that,
The configuration becomes symmetric about
and the result follows immediately.
Now assume WLOG . Then
lies between
and
in the minor arc
and
lies between
and
in the minor arc
.
Consider the cyclic quadrilateral
.
We have
and
. So that,
. Since
is the incenter of quadrilateral
,
is the angular bisector of
. This gives us,
. Hence the chords
and
are equal.
So
is the reflection of
about
.