1. Advanced Topics in Geometry _ 51 the cireles will be transformed into-a pair of parallel lines. ‘The same argument applies for the cireles 2, Cy. Now observe that points 4’, B', C’, D’ are the intersection points of two pairs of parallel lines, and so they form (im this order) a parallelogram. In particular, we have AE" = C'D! and B'C' = A‘D, terms of distances from the original picture this means (see Proposition 1.51(b)) AB _ cp BC AD PA-PBO PC-PD' PR-PC PD-PA’ Multiplying these two relations gives the result. o ‘The previous proof, although it is very short, docs not give any guidelines as to how we should be proving metric identities after inversion. In the next exainple we will try to make it more understandable. ‘The idea is that we perform some caleulation (Propesition LSi(e}) to see how the desired metric condition transforms into the inverted picture, ‘This time the strange constraints impased on angles mo We hope they turn into something more approachable, iwersion, Example 1.22 (IMO 1996). Let P be @ point inside a triangle ALC such that ZAPH- ACB = £APC = ZABC. Let D, E be the incenters of iriangles APB, APC, respectively. Show that the lines AP, BD, CE mect at a point. Proof, We want to prove that the angle bisectors of 2PBA and ZACP both erseet AP at the same point Z, By Angle Bisector Theorem applied to triangles PBA and PCA, this happens if and only if Hence it suffices to prove pf