Browse · MathNet
PrintBaltic Way 2019
Baltic Way 2019 geometry
Problem
Let be a scalene triangle. Let be an interior point of such that . Assume that and intersect and at and , respectively. Prove that iff there exists a circle with centre lying on and tangent to and at points and , respectively.
Solution
is trivial. For let . Now AD is a bisector of angle XDY, for this we can argue in two ways
Let . Then and , so statement.
Let be a parallel line to BC passing through A. Let and . Then using Ceva and Tales theorem we see that A is a midpoint of KL.
Since ABC is a scalene we see that in triangle XDY bisector DA and perpendicular bisector of XY intersects at A, so AXDY is inscribed in circle \omega. Now let Z be the second intersection of \omega with BC. Then AXZY is a kite, so circle with centre Z and radius ZX satisfies problem statement.
---
Alternative solution.
The implication is trivial. For the proof of , let . We prove that DA bisects angle XDY. We can argue in two ways:
Let and . It is well-known that the quadruple is harmonic. Since , it follows that DT bisects angle YDX.
Let be the line parallel to BC passing through A. Let and . By Ceva and similarities we obtain . Hence A is the midpoint of KL and since , it follows that DA bisects the angle XDY.
Since ABC is scalene, DA is not the perpendicular bisector of XY. So, since and DA bisects XDY, it follows that AXDY is cyclic. Let \omega be the circumcircle of AXDY. Let be the second intersection of \omega with BC. Then AXZY is a kite, so the circle with centre Z and radius ZX satisfies the problem condition.
Let . Then and , so statement.
Let be a parallel line to BC passing through A. Let and . Then using Ceva and Tales theorem we see that A is a midpoint of KL.
Since ABC is a scalene we see that in triangle XDY bisector DA and perpendicular bisector of XY intersects at A, so AXDY is inscribed in circle \omega. Now let Z be the second intersection of \omega with BC. Then AXZY is a kite, so circle with centre Z and radius ZX satisfies problem statement.
---
Alternative solution.
The implication is trivial. For the proof of , let . We prove that DA bisects angle XDY. We can argue in two ways:
Let and . It is well-known that the quadruple is harmonic. Since , it follows that DT bisects angle YDX.
Let be the line parallel to BC passing through A. Let and . By Ceva and similarities we obtain . Hence A is the midpoint of KL and since , it follows that DA bisects the angle XDY.
Since ABC is scalene, DA is not the perpendicular bisector of XY. So, since and DA bisects XDY, it follows that AXDY is cyclic. Let \omega be the circumcircle of AXDY. Let be the second intersection of \omega with BC. Then AXZY is a kite, so the circle with centre Z and radius ZX satisfies the problem condition.
Techniques
TangentsCeva's theoremCyclic quadrilateralsQuadrilaterals with perpendicular diagonalsPolar triangles, harmonic conjugatesAngle chasing