Difference between revisions of "1985 IMO Problems/Problem 5"
(→Solution) |
Gougutheorem (talk | contribs) |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 4: | Line 4: | ||
== Solution == | == Solution == | ||
− | <math>M</math> is the Miquel Point of quadrilateral <math>ACNK</math>, so there is a spiral similarity centered at <math>M</math> that takes <math> | + | <math>M</math> is the Miquel Point of quadrilateral <math>ACNK</math>, so there is a spiral similarity centered at <math>M</math> that takes <math>KN</math> to <math>AC</math>. Let <math>M_1</math> be the midpoint of <math>KA</math> and <math>M_2</math> be the midpoint of <math>NC</math>. Thus the spiral similarity must also send <math>M_1</math> to <math>M_2</math> and so <math>BMM_1 M_2</math> is cyclic. <math>OM_1 B M_2</math> is also cyclic with diameter <math>BO</math> and thus <math>M</math> must lie on the same circumcircle as <math>B</math>, <math>M_1</math>, and <math>M_2</math> so <math>\angle OMB = 90^{\circ}</math>. |
+ | |||
+ | ==Solution 2== | ||
+ | [[File:1985 IMO.png|450px|right]] | ||
+ | Let <math>\Omega, \Omega', \omega</math> and <math>O,O',O''</math> be the circumcircles and circumcenters of <math>AKNC, ABC, BNKM,</math> respectively. | ||
+ | |||
+ | Let <math>\angle ACB = \gamma, AKNC</math> is cyclic <math>\implies \angle BKN = \gamma.</math> | ||
+ | |||
+ | The radius of <math>\omega</math> is <math>MO'' = BO'' = \frac {BN}{2 \sin \gamma}.</math> | ||
+ | |||
+ | Let <math>D</math> and <math>E</math> be midpoints of <math>BC</math> and <math>NC</math> respectively. | ||
+ | |||
+ | <math>OE \perp BC, OD \perp BC, OO' \perp AC, DE = \frac {BC}{2} - \frac {NC}{2} = \frac {BN}{2}</math> | ||
+ | <math>\implies OO' = \frac {DE}{\sin \gamma} = \frac {BN}{2 \sin \gamma} = MO''.</math> | ||
+ | |||
+ | <math>M</math> is the Miquel Point of quadrilateral <math>ACNK,</math> so <math>MO''O'O</math> is cyclic. | ||
+ | <math>MO''O'O</math> is trapezium <math>\implies O''O' || MO.</math> <math>O''O' \perp BM \implies MO\perp BM</math> as desired. | ||
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | ==Solution 3 (No Miquel's point)== | ||
+ | Consider <math>\triangle MKA </math> and <math>\triangle MNC</math>, they are similar because <math>\angle MAK</math> = <math>\angle MCN</math>, and also <math>\angle MKA = \angle MNC</math>. | ||
+ | |||
+ | Now draw <math>OP \perp AB</math>, and intersecting <math>AB</math> at <math>P</math>; <math>OQ \perp BC</math>, at <math>Q</math>. Naturally <math>OP</math> bisects <math>AK</math>, and <math>OQ</math> bisects <math>CN</math>. We claim <math>\triangle MAP \sim \triangle MCQ</math>, because | ||
+ | <math>\frac {AP}{CQ} = \frac {AK}{CN} = \frac {AM}{CB}.</math> | ||
+ | |||
+ | Thus <math>\angle AMP = \angle CMQ</math>, this implies <math>\angle PMQ = \angle AMC = \angle ABC = \angle PBQ</math>. Obviously BMPQ is cyclic, and so is BPOQ. Finally, we have <math>OM \perp MB</math>. ('''by gougutheorem''') | ||
+ | |||
+ | == See Also == | ||
+ | *[[Miquel's point]] | ||
+ | {{IMO box|year=1985|num-b=4|num-a=6}} |
Latest revision as of 13:35, 18 January 2023
Problem
A circle with center passes through the vertices
and
of the triangle
and intersects the segments
and
again at distinct points
and
respectively. Let
be the point of intersection of the circumcircles of triangles
and
(apart from
). Prove that
.
Solution
is the Miquel Point of quadrilateral
, so there is a spiral similarity centered at
that takes
to
. Let
be the midpoint of
and
be the midpoint of
. Thus the spiral similarity must also send
to
and so
is cyclic.
is also cyclic with diameter
and thus
must lie on the same circumcircle as
,
, and
so
.
Solution 2
Let and
be the circumcircles and circumcenters of
respectively.
Let is cyclic
The radius of is
Let and
be midpoints of
and
respectively.
is the Miquel Point of quadrilateral
so
is cyclic.
is trapezium
as desired.
vladimir.shelomovskii@gmail.com, vvsss
Solution 3 (No Miquel's point)
Consider and
, they are similar because
=
, and also
.
Now draw , and intersecting
at
;
, at
. Naturally
bisects
, and
bisects
. We claim
, because
Thus , this implies
. Obviously BMPQ is cyclic, and so is BPOQ. Finally, we have
. (by gougutheorem)
See Also
1985 IMO (Problems) • Resources | ||
Preceded by Problem 4 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 6 |
All IMO Problems and Solutions |