2018 IMO Problems/Problem 6
A convex quadrilateral
satisfies
Point
lies inside
so that
and
Prove that
Solution

Special case
We construct point
and prove that
coincides with the point
Let
and
Let
and
be the intersection points of
and
and
and
respectively.
The points
and
are symmetric with respect to the circle
(Claim 1).
The circle
is orthogonal to the circle
(Claim 2).
Let
be the point of intersection of the circles
and
(quadrilateral
is cyclic) and
(quadrangle
is cyclic). This means that
coincides with the point
indicated in the condition.
subtend the arc
of
subtend the arc
of
The sum of these arcs is
(Claim 3)..
Hence, the sum of the arcs XF is 180°, the sum of the angles ∠XСВ + ∠XВС = 90°, ∠СХВ = 90°. Similarly, ∠AXD = 90°, that is, ∠BXA + ∠DXC = 180°.
Claim 1
Let A, C, and E be arbitrary points on a circle ω, l be the middle perpendicular to the segment AC. Then the straight lines AE and CE intersect l at the points B and D, symmetric with respect to ω.