Difference between revisions of "2018 IMO Problems/Problem 6"
(→Solution) |
|||
(6 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
+ | ==Problem== | ||
+ | |||
A convex quadrilateral <math>ABCD</math> satisfies <math>AB\cdot CD=BC \cdot DA.</math> Point <math>X</math> lies inside | A convex quadrilateral <math>ABCD</math> satisfies <math>AB\cdot CD=BC \cdot DA.</math> Point <math>X</math> lies inside | ||
<math>ABCD</math> so that | <math>ABCD</math> so that | ||
Line 7: | Line 9: | ||
[[File:2018 IMO 6bb.png|470px|right]] | [[File:2018 IMO 6bb.png|470px|right]] | ||
[[File:2018 IMO 6.png|470px|right]] | [[File:2018 IMO 6.png|470px|right]] | ||
+ | [[File:2018 IMO 6e.png|470px|right]] | ||
We want to find the point <math>X.</math> Let <math>E</math> and <math>F</math> be the intersection points of <math>AB</math> and <math>CD,</math> and <math>BC</math> and <math>DA,</math> respectively. | We want to find the point <math>X.</math> Let <math>E</math> and <math>F</math> be the intersection points of <math>AB</math> and <math>CD,</math> and <math>BC</math> and <math>DA,</math> respectively. | ||
The poinx <math>X</math> is inside <math>ABCD,</math> so points <math>E,A,X,C</math> follow in this order. | The poinx <math>X</math> is inside <math>ABCD,</math> so points <math>E,A,X,C</math> follow in this order. | ||
− | <math>\angle XAB = \angle XCD \implies \angle XAE + \angle XCE = 180^\circ \implies AXCE</math> is cyclic <math>\implies X</math> lie on circle <math>ACE.</math> | + | <math>\angle XAB = \angle XCD \implies \angle XAE + \angle XCE = 180^\circ </math> |
− | Similarly, <math>X</math> lie on circle <math>BDF.</math> Point <math>X</math> is the point of intersection of circles <math>ACE</math> and <math>\Omega = BDF.</math> | + | <math>\implies AXCE</math> is cyclic <math>\implies X</math> lie on circle <math>ACE.</math> |
+ | |||
+ | Similarly, <math>X</math> lie on circle <math>BDF.</math> | ||
+ | |||
+ | Point <math>X</math> is the point of intersection of circles <math>ACE</math> and <math>\Omega = BDF.</math> | ||
<i><b>Special case</b></i> | <i><b>Special case</b></i> | ||
Line 29: | Line 36: | ||
<cmath>\angle BXA + \angle DXC = 360^\circ -\angle AXD -\angle CXB = 180^\circ.</cmath> | <cmath>\angle BXA + \angle DXC = 360^\circ -\angle AXD -\angle CXB = 180^\circ.</cmath> | ||
− | + | [[File:2018 IMO 6c.png|470px|right]] | |
− | + | [[File:2018 IMO 6d.png|470px|right]] | |
− | [[File:2018 IMO 6c.png| | ||
− | [[File:2018 IMO 6d.png| | ||
<i><b>Common case </b></i> | <i><b>Common case </b></i> | ||
− | Denote by <math>O</math> the intersection point of <math>BD</math> and the perpendicular bisector of <math>AC.</math> Let <math>\omega</math> be a circle (red) with center <math>O</math> and radius <math>OA.</math> | + | Denote by <math>O</math> the intersection point of <math>BD</math> and the perpendicular bisector of <math>AC.</math> Let <math>\omega</math> be a circle (red) with center <math>O</math> and radius <math>OA = R.</math> |
− | The points <math>B</math> and <math>D</math> are symmetric with respect to | + | We will prove <math>\sin\angle BXA =\sin \angle DXC</math> using point <math>Y</math> symmetric to <math>X</math> with respect to <math>\omega.</math> |
+ | |||
+ | The points <math>B</math> and <math>D</math> are symmetric with respect to <math>\omega</math> <i><b>(Claim 1).</b></i> | ||
The circles <math>BDF</math> and <math>BDE</math> are orthogonal to the circle <math>\omega</math> <i><b>(Claim 2).</b></i> | The circles <math>BDF</math> and <math>BDE</math> are orthogonal to the circle <math>\omega</math> <i><b>(Claim 2).</b></i> | ||
Circles <math>ACF</math> and <math>ACE</math> are symmetric with respect to the circle <math>\omega</math> <i><b>(Lemma).</b></i> | Circles <math>ACF</math> and <math>ACE</math> are symmetric with respect to the circle <math>\omega</math> <i><b>(Lemma).</b></i> | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
Denote by <math>Y</math> the point of intersection of circles <math>BDF</math> and <math>ACF.</math> | Denote by <math>Y</math> the point of intersection of circles <math>BDF</math> and <math>ACF.</math> | ||
Line 54: | Line 55: | ||
Quadrangle <math>BYDF</math> is cyclic <math>\implies \angle CBY = \angle ADY.</math> | Quadrangle <math>BYDF</math> is cyclic <math>\implies \angle CBY = \angle ADY.</math> | ||
− | Quadrangle <math>AYCF</math> is cyclic <math>\implies \angle YAD = \angle | + | Quadrangle <math>AYCF</math> is cyclic <math>\implies \angle YAD = \angle YCB.</math> |
The triangles <math>\triangle YAD \sim \triangle YCB</math> by two angles, so <cmath>\frac {BC}{AD} = \frac {CY}{AY} = \frac {BY} {DY} \hspace{10mm} (1).</cmath> | The triangles <math>\triangle YAD \sim \triangle YCB</math> by two angles, so <cmath>\frac {BC}{AD} = \frac {CY}{AY} = \frac {BY} {DY} \hspace{10mm} (1).</cmath> | ||
Line 60: | Line 61: | ||
The points <math>X</math> and <math>Y</math> are symmetric with respect to the circle <math>\omega</math>, since they lie on the intersection of the circles <math>ACF</math> and <math>ACE</math> symmetric with respect to <math>\omega</math> and the circle <math>BDF</math> orthogonal to <math>\omega.</math> | The points <math>X</math> and <math>Y</math> are symmetric with respect to the circle <math>\omega</math>, since they lie on the intersection of the circles <math>ACF</math> and <math>ACE</math> symmetric with respect to <math>\omega</math> and the circle <math>BDF</math> orthogonal to <math>\omega.</math> | ||
− | The | + | The point <math>B</math> is symmetric to <math>D</math> with respect to <math>\omega \implies</math> |
− | |||
− | |||
<cmath>\triangle OBC \sim \triangle OCD \implies \frac {OB}{OC} = \frac {BC}{CD} = \frac {OC}{OD},</cmath> | <cmath>\triangle OBC \sim \triangle OCD \implies \frac {OB}{OC} = \frac {BC}{CD} = \frac {OC}{OD},</cmath> | ||
<cmath>\frac {OB}{OD} = \frac {OB}{OC} \cdot \frac {OC}{OD} = \frac{BC^2}{CD^2} = \frac{BC}{CD} \cdot \frac {AB}{AD}.</cmath> | <cmath>\frac {OB}{OD} = \frac {OB}{OC} \cdot \frac {OC}{OD} = \frac{BC^2}{CD^2} = \frac{BC}{CD} \cdot \frac {AB}{AD}.</cmath> | ||
Line 68: | Line 67: | ||
<cmath>\frac {BX}{DY} = \frac {R^2}{OD \cdot OY} ,\frac {DX}{BY} = \frac{R^2}{OB \cdot OY}.</cmath> | <cmath>\frac {BX}{DY} = \frac {R^2}{OD \cdot OY} ,\frac {DX}{BY} = \frac{R^2}{OB \cdot OY}.</cmath> | ||
<cmath>\frac{BX}{DX} =\frac{DY}{BY} \cdot \frac {OB}{OD} = \frac{AD}{BC} \cdot \frac{BC}{CD} \cdot \frac{AB}{AD} = \frac{AB}{CD}.</cmath> | <cmath>\frac{BX}{DX} =\frac{DY}{BY} \cdot \frac {OB}{OD} = \frac{AD}{BC} \cdot \frac{BC}{CD} \cdot \frac{AB}{AD} = \frac{AB}{CD}.</cmath> | ||
− | [[File:2018 IMO 6 angles.png| | + | [[File:2018 IMO 6 angles.png|390px|right]] |
− | [[File:2018 IMO 6 Claim 3.png| | + | [[File:2018 IMO 6 Claim 3.png|390px|right]] |
− | [[File:2018 IMO 6a.png| | + | [[File:2018 IMO 6a.png|390px|right]] |
Denote <math>\angle XAB = \angle XCD = \alpha, \angle BXA = \varphi, \angle DXC = \psi.</math> | Denote <math>\angle XAB = \angle XCD = \alpha, \angle BXA = \varphi, \angle DXC = \psi.</math> | ||
Line 83: | Line 82: | ||
<math>CD \cdot BC = AB \cdot AD \implies AD = CD, AB = BC.</math> This is a special case. | <math>CD \cdot BC = AB \cdot AD \implies AD = CD, AB = BC.</math> This is a special case. | ||
− | In all other cases, the equality of the sines follows <math> | + | In all other cases, the equality of the sines follows <math>\varphi + \psi = 180^\circ .</math> |
<i><b>Claim 1</b></i> Let <math>A, C,</math> and <math>E</math> be arbitrary points on a circle <math>\omega, l</math> be the perpendicular bisector to the segment <math>AC.</math> Then the straight lines <math>AE</math> and <math>CE</math> intersect <math>l</math> at the points <math>B</math> and <math>D,</math> symmetric with respect to <math>\omega.</math> | <i><b>Claim 1</b></i> Let <math>A, C,</math> and <math>E</math> be arbitrary points on a circle <math>\omega, l</math> be the perpendicular bisector to the segment <math>AC.</math> Then the straight lines <math>AE</math> and <math>CE</math> intersect <math>l</math> at the points <math>B</math> and <math>D,</math> symmetric with respect to <math>\omega.</math> | ||
− | |||
<i><b>Claim 2</b></i> Let points <math>B</math> and <math>D</math> be symmetric with respect to the circle <math>\omega.</math> Then any circle <math>\Omega</math> passing through these points is orthogonal to <math>\omega.</math> | <i><b>Claim 2</b></i> Let points <math>B</math> and <math>D</math> be symmetric with respect to the circle <math>\omega.</math> Then any circle <math>\Omega</math> passing through these points is orthogonal to <math>\omega.</math> | ||
Line 95: | Line 93: | ||
<i><b>Lemma</b></i> The opposite sides of the quadrilateral <math>ABCD</math> intersect at points <math>E</math> and <math>F</math> (<math>E</math> lies on <math>AB</math>). The circle <math>\omega</math> centered at the point <math>O</math> contains the ends of the diagonal <math>AC.</math> The points <math>B</math> and <math>D</math> are symmetric with respect to the circle <math>\omega</math> (in other words, the inversion with respect to <math>\omega</math> maps <math>B</math> into <math>D).</math> Then the circles <math>ACE</math> and <math>ACF</math> are symmetric with respect to <math>\omega.</math> | <i><b>Lemma</b></i> The opposite sides of the quadrilateral <math>ABCD</math> intersect at points <math>E</math> and <math>F</math> (<math>E</math> lies on <math>AB</math>). The circle <math>\omega</math> centered at the point <math>O</math> contains the ends of the diagonal <math>AC.</math> The points <math>B</math> and <math>D</math> are symmetric with respect to the circle <math>\omega</math> (in other words, the inversion with respect to <math>\omega</math> maps <math>B</math> into <math>D).</math> Then the circles <math>ACE</math> and <math>ACF</math> are symmetric with respect to <math>\omega.</math> | ||
− | <i><b>Proof</b></i> We will prove that the point <math>G,</math> symmetric to the point <math>E</math> with respect to <math>\omega,</math> belongs to the circle <math>ACF | + | <i><b>Proof</b></i> We will prove that the point <math>G,</math> symmetric to the point <math>E</math> with respect to <math>\omega,</math> belongs to the circle <math>ACF</math> becouse <math>\angle AGC = \angle AFC.</math> |
− | A circle <math>BDE</math> containing points <math>B</math> and <math>D</math> symmetric with respect to <math>\omega,</math> is orthogonal to <math>\omega</math> (Claim | + | A circle <math>BDE</math> containing points <math>B</math> and <math>D</math> symmetric with respect to <math>\omega,</math> is orthogonal to <math>\omega</math> <i><b>(Claim 2)</b></i> and maps into itself under inversion with respect to the circle <math>\omega.</math> Hence, the point <math>E</math> under this inversion passes to some point <math>G,</math> of the same circle <math>BDE.</math> |
A straight line <math>ABE</math> containing the point <math>A</math> of the circle <math>\omega,</math> under inversion with respect to <math>\omega,</math> maps into the circle <math>OADG.</math> Hence, the inscribed angles of this circle are equal <math>\angle ADB = \angle AGE.</math> | A straight line <math>ABE</math> containing the point <math>A</math> of the circle <math>\omega,</math> under inversion with respect to <math>\omega,</math> maps into the circle <math>OADG.</math> Hence, the inscribed angles of this circle are equal <math>\angle ADB = \angle AGE.</math> | ||
Line 105: | Line 103: | ||
'''vladimir.shelomovskii@gmail.com, vvsss''' | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | |||
+ | ==See Also== | ||
+ | |||
+ | {{IMO box|year=2018|num-b=5|after=Last Problem}} |
Latest revision as of 00:47, 19 November 2023
Problem
A convex quadrilateral satisfies Point lies inside so that and Prove that
Solution
We want to find the point Let and be the intersection points of and and and respectively. The poinx is inside so points follow in this order.
is cyclic lie on circle
Similarly, lie on circle
Point is the point of intersection of circles and
Special case
Let and
The points and are symmetric with respect to the circle (Claim 1).
The circle is orthogonal to the circle (Claim 2).
of of
(Claim 3)
Similarly,
Common case
Denote by the intersection point of and the perpendicular bisector of Let be a circle (red) with center and radius
We will prove using point symmetric to with respect to
The points and are symmetric with respect to (Claim 1).
The circles and are orthogonal to the circle (Claim 2).
Circles and are symmetric with respect to the circle (Lemma).
Denote by the point of intersection of circles and
Quadrangle is cyclic
Quadrangle is cyclic
The triangles by two angles, so
The points and are symmetric with respect to the circle , since they lie on the intersection of the circles and symmetric with respect to and the circle orthogonal to
The point is symmetric to with respect to The point is symmetric to and the point is symmetric to with respect to hence
Denote
By the law of sines for we obtain
By the law of sines for we obtain
Hence we get
If then This is a special case.
In all other cases, the equality of the sines follows
Claim 1 Let and be arbitrary points on a circle be the perpendicular bisector to the segment Then the straight lines and intersect at the points and symmetric with respect to
Claim 2 Let points and be symmetric with respect to the circle Then any circle passing through these points is orthogonal to
Claim 3 The sum of the arcs between the points of intersection of two perpendicular circles is In the figure they are a blue and red arcs
Lemma The opposite sides of the quadrilateral intersect at points and ( lies on ). The circle centered at the point contains the ends of the diagonal The points and are symmetric with respect to the circle (in other words, the inversion with respect to maps into Then the circles and are symmetric with respect to
Proof We will prove that the point symmetric to the point with respect to belongs to the circle becouse
A circle containing points and symmetric with respect to is orthogonal to (Claim 2) and maps into itself under inversion with respect to the circle Hence, the point under this inversion passes to some point of the same circle
A straight line containing the point of the circle under inversion with respect to maps into the circle Hence, the inscribed angles of this circle are equal maps into and maps into Consequently, the angles These angles subtend the of the circle, that is, the point symmetric to the point with respect to belongs to the circle
vladimir.shelomovskii@gmail.com, vvsss
See Also
2018 IMO (Problems) • Resources | ||
Preceded by Problem 5 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Last Problem |
All IMO Problems and Solutions |