Browse · MathNet
PrintBaltic Way 2023 Shortlist
Baltic Way 2023 geometry
Problem
In an acute scalene triangle points lie on the smaller arcs and , respectively, and are the intersection of the midline parallel to with the circumcircle of . Points and are the intersection of the perpendicular bisectors of segments and , respectively, with the tangent of at point . Define point as the intersection of and . If is an altitude in the triangle , prove that

Solution
Shortlist: Keep confidential!
Step 1: Points lie on a circle. Proof. Since point lies on the perpendicular bisector of , we have that are tangents to . This means that , therefore quadrilateral is cyclic. From Power of the Point we have since quadrilateral is cyclic too. This implies that points lie on the same circle. Similarly, we can prove that points lie on the same circle, so points lie on a circle as desired.
Step 2: Proof. Observe that . Moreover, , since quadrilateral is cyclic. We deduce that Remember that as again quadrilateral is cyclic. Consequently, we have as desired.
Notice that and are right angle triangles, therefore and . This means that . Similarly, and are right angle triangles, therefore and . This means that . We deduce that as desired.
Step 1: Points lie on a circle. Proof. Since point lies on the perpendicular bisector of , we have that are tangents to . This means that , therefore quadrilateral is cyclic. From Power of the Point we have since quadrilateral is cyclic too. This implies that points lie on the same circle. Similarly, we can prove that points lie on the same circle, so points lie on a circle as desired.
Step 2: Proof. Observe that . Moreover, , since quadrilateral is cyclic. We deduce that Remember that as again quadrilateral is cyclic. Consequently, we have as desired.
Notice that and are right angle triangles, therefore and . This means that . Similarly, and are right angle triangles, therefore and . This means that . We deduce that as desired.
Techniques
TangentsCyclic quadrilateralsSpiral similarityTriangle trigonometryAngle chasing