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
Baltic Way Shortlist, 2023
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.