Maths Olympiad Prep

Library / /16 of 16

Geometry Difficulty 6.7 National Olympiad Prove it JBMO

Problem:
Let AA and PP are the points of intersection of the circles k1k_{1} and k2k_{2} with centers OO and KK, respectively. Let also BB and CC be the symmetric points of AA with respect to OO and KK, respectively. A line through AA intersects the circles k1k_{1} and k2k_{2} at the points DD and EE, respectively. Prove that the centre of the circumcircle of the triangle DEPD E P lies on the circumcircle OKPO K P.

Solution

Solution:
The points B,P,CB, P, C are collinear, and
APC=APB=90 \angle A P C = \angle A P B = 90^\circ
Let NN be the midpoint of DPD P.
So we have:
NOP=DAP=ECP=ECA+ACP \begin{aligned} & \angle N O P = \angle D A P \\ & = \angle E C P = \angle E C A + \angle A C P \end{aligned}
Since OK//BCO K // B C and OKO K is the bisector of AKP\angle A K P we get
Figure 1
Figure 6
ACP=OKP \angle A C P = O K P
Also, since APOKA P \perp O K and MKPEM K \perp P E we have that
APE=MKO \angle A P E = \angle M K O
The points A,E,C,PA, E, C, P are co-cyclic, and so ECA=APE\angle E C A = \angle A P E.
Therefore, from (1), (2) and (3) we have that NOP=MKP\angle N O P = \angle M K P.
Thus O,M,KO, M, K and PP are co-cyclic.

It is sufficient to prove that the quadrilateral MOPKM O P K is circumscrible.
Since MOM O and MKM K are perpendicular bisectors of the line segments PDP D and PEP E, respectively, we have
Therefore the quadrilateral MOPKM O P K is circumscrible.

Figure 2
Figure 7

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.