Nice solution...
I will present another synthetic solution (without the use of ratios etc.)
Consider points Q,R such that

and

then

is parallelogram so

and if

then

is cyclic so

(since

is the reflection of

across

). Similarly,

so

.
I posted this exercise here, not because it is difficult or something but because it is useful for a simple solution(without polar theory) to another exercise (which was posted by Silouan and was given to the Bulgarian team):
Let

be two interior points in a circle

such that

is the mid point of

. If

is a point that lies on the circle and

the intersection points of the lines

with the circle then prove that the if the tangents at

meet at

then the perpendicular bisector of

goes through the mid point of

.