Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2018 IMO Problems/Problem 1"

(→‎Solution 2)
 
(7 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
==Problem==
 +
 
Let <math>\Gamma</math> be the circumcircle of acute triangle <math>ABC</math>. Points <math>D</math> and <math>E</math> are on segments <math>AB</math> and <math>AC</math> respectively such that <math>AD = AE</math>. The perpendicular bisectors of <math>BD</math> and <math>CE</math> intersect minor arcs <math>AB</math> and <math>AC</math> of <math>\Gamma</math> at points <math>F</math> and <math>G</math> respectively. Prove that lines <math>DE</math> and <math>FG</math> are either parallel or they are the same line.
 
Let <math>\Gamma</math> be the circumcircle of acute triangle <math>ABC</math>. Points <math>D</math> and <math>E</math> are on segments <math>AB</math> and <math>AC</math> respectively such that <math>AD = AE</math>. The perpendicular bisectors of <math>BD</math> and <math>CE</math> intersect minor arcs <math>AB</math> and <math>AC</math> of <math>\Gamma</math> at points <math>F</math> and <math>G</math> respectively. Prove that lines <math>DE</math> and <math>FG</math> are either parallel or they are the same line.
  
−
-- solution --
+
==Solution==
  
 
http://wiki-images.artofproblemsolving.com/5/5d/FB_IMG_1531446409131.jpg
 
http://wiki-images.artofproblemsolving.com/5/5d/FB_IMG_1531446409131.jpg
Line 20: Line 22:
 
The quadrilateral <math>OHQH'</math> is formed by the intersection of two pairs of equidistant lines <math>\implies</math>  <math>OHQH'</math> is a parallelogram with equal heights <math>\implies</math>  <math>OHQH'</math>  is a rhombus.
 
The quadrilateral <math>OHQH'</math> is formed by the intersection of two pairs of equidistant lines <math>\implies</math>  <math>OHQH'</math> is a parallelogram with equal heights <math>\implies</math>  <math>OHQH'</math>  is a rhombus.
  
−
Let <math>I</math> and <math>I'</math> be the bases of the heights of the rhombus drawn from the vertex <math>O.</math> In isosceles triangles <math>ADE</math> and <math>OII'</math> the sides are parallel, hence the bases are parallel, <math>DE||II'.</math>
+
Let <math>I</math> and <math>I'</math> be the feet of the heights of the rhombus from the vertex <math>O.</math> In isosceles triangles <math>\triangle ADE</math> and <math>\triangle OII'</math> the sides are parallel, hence the bases of these triangles are parallel, <math>DE||II'.</math>
−
The bases of the heights <math>I</math> and <math>I'</math> divide the sides of the rhombus in the same ratio, which means that the diagonal <math>HH'</math> of the rhombus is parallel to the segments <math>HH' ||II' || DE.</math>
+
The feet of the heights <math>I</math> and <math>I'</math> divide the sides of the rhombus in the same ratio, which means that the diagonal <math>HH'</math> of the rhombus is parallel to the segments <math>II' || DE.</math>
 +
 
 
The angles between the diagonal of the rhombus and its sides are the same, so <math>\angle HQO = \angle H'QO.</math>
 
The angles between the diagonal of the rhombus and its sides are the same, so <math>\angle HQO = \angle H'QO.</math>
 
The lines <math>QF</math> and <math>QG</math> are symmetrical with respect to the diameter <math>OQ,</math> so <math>QF = QG, QF' = QG'.</math>
 
The lines <math>QF</math> and <math>QG</math> are symmetrical with respect to the diameter <math>OQ,</math> so <math>QF = QG, QF' = QG'.</math>
 
The  homothety of triangles  <math>QHH',  QFG,</math> and <math>QF'G'</math>  centered at <math>Q</math>  implies <math>FG || F'G' || HH'.</math>
 
The  homothety of triangles  <math>QHH',  QFG,</math> and <math>QF'G'</math>  centered at <math>Q</math>  implies <math>FG || F'G' || HH'.</math>
 
Therefore, these three lines are parallel to <math>DE.</math>
 
Therefore, these three lines are parallel to <math>DE.</math>
 +
 
Note that triangle <math>ABC</math> may be obtuse.
 
Note that triangle <math>ABC</math> may be obtuse.
 +
 +
'''vladimir.shelomovskii@gmail.com, vvsss'''
 +
 +
==See Also==
 +
 +
{{IMO box|year=2018|before=First Problem|num-a=2}}

Latest revision as of 00:44, 19 November 2023

Problem

Let $\Gamma$ be the circumcircle of acute triangle $ABC$. Points $D$ and $E$ are on segments $AB$ and $AC$ respectively such that $AD = AE$. The perpendicular bisectors of $BD$ and $CE$ intersect minor arcs $AB$ and $AC$ of $\Gamma$ at points $F$ and $G$ respectively. Prove that lines $DE$ and $FG$ are either parallel or they are the same line.

Solution

http://wiki-images.artofproblemsolving.com/5/5d/FB_IMG_1531446409131.jpg

The diagram is certainly not to scale, but the argument is sound (I believe) and involves re-ordering the construction as specified in the original problem so that an identical state of affairs results, yet in so doing differently it is made clear that the line segments in question are parallel.

Construct a right-angled triangle ABC'. Select an arbitrary point H along the segment BC', and from point H select an arbitrary point F such that the segment HF is perpendicular to the segment AB. Mark the distance from the intersection of HF and AB to B at B" (i.e., HF is a perpendicular bisector). It follows that the triangle B"FB is isosceles. Construct an isosceles triangle FHG. Mark the distance of AB" along AC' at C". (From here, a circle can be constructed according to the sets of points A, B, F, and A, B, G. Points F and G may be repositioned to allow for these circles to coincide; also, point H may be repositioned so that point C falls on the coinciding circle, understood that HG is the other perpendicular bisector.)

Assign the angle BAC the value α. Hence, the angle FHG has the value 180°-α, and the angle HFG (also, HGF) has the value α/2. Assign the angle BFH the value β. Hence, the angle B'FB" has the value β-α/2. Consequently, the angle FB'B" has the value 180°-(β-α/2)-(90°-β) = 90°+α/2, and so too its vertical angle BB'G. As the triangle B"AC" is isosceles, and its subtended angle has the value α, the angles BB"C" and CC"B" both have the value 90°+α/2. It follows therefore that segments B"C" and FG are parallel.

(N.B. Points D and E, as given in the wording of the original problem, have been renamed B" and C" here.)

Solution 2

2018 IMO 1d.png

The essence of the proof is using a rhombus formed by the perpendicular bisectors of the segments $BD, CE, AB$ and $AC$ and the parallelism of its diagonal and the base of the triangle formed by the perpendiculars from one vertex of the rhombus.

The perpendicular bisectors of the segments $BD, CE, AB$ and $AC$ intersect at points $O$ (the circumcenter $ABC), H, H',$ and $Q.$ Let $AD = AE = 2x, AC = 2b.$ The distance from the line $HO$ to point $C$ is $b,$ from $QH'$ to $C$ is $b - x.$ Therefore, the distance between lines $HO$ and $QH'$ is $x.$ Similarly, the distance between the lines $HQ$ and $OH'$ is $x.$

The quadrilateral $OHQH'$ is formed by the intersection of two pairs of equidistant lines $\implies$ $OHQH'$ is a parallelogram with equal heights $\implies$ $OHQH'$ is a rhombus.

Let $I$ and $I'$ be the feet of the heights of the rhombus from the vertex $O.$ In isosceles triangles $\triangle ADE$ and $\triangle OII'$ the sides are parallel, hence the bases of these triangles are parallel, $DE||II'.$ The feet of the heights $I$ and $I'$ divide the sides of the rhombus in the same ratio, which means that the diagonal $HH'$ of the rhombus is parallel to the segments $II' || DE.$

The angles between the diagonal of the rhombus and its sides are the same, so $\angle HQO = \angle H'QO.$ The lines $QF$ and $QG$ are symmetrical with respect to the diameter $OQ,$ so $QF = QG, QF' = QG'.$ The homothety of triangles $QHH', QFG,$ and $QF'G'$ centered at $Q$ implies $FG || F'G' || HH'.$ Therefore, these three lines are parallel to $DE.$

Note that triangle $ABC$ may be obtuse.

vladimir.shelomovskii@gmail.com, vvsss

See Also

2018 IMO (Problems) • Resources
Preceded by
First Problem 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 2
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2018_IMO_Problems/Problem_1&oldid=204582"