Maths Olympiad Prep

Library / /6 of 8

Geometry Difficulty 6.5 National olympiad Prove it Romania

Let AA and CC be two points on a circle CC such that (AC)(AC) is not a diameter, and let PP be a point of the line segment (AC)(AC), other than its midpoint. Circles c1c_1 and c2c_2 are interiorly tangent to the circle CC at AA and CC, respectively. They both pass through PP and intersect again at QQ. The line PQPQ intersects circle CC at BB and DD. Circle c1c_1 intersects line segments ABAB and ADAD at KK and NN, respectively, while circle c2c_2 intersects line segments CBCB and CDCD at LL and MM, respectively. Prove that:

a) the quadrilateral KLMNKLMN is an isosceles trapezoid;

b) QQ is the midpoint of the line segment BDBD.

Figure 1

Solutions — 2

Solution 1

a) Point BB lies on the radical axis, BDBD, of circles c1c_1 and c2c_2, therefore BKBA=BLBCBK \cdot BA = BL \cdot BC, which indicates that the quadrilateral AKLCAKLC is cyclic. So is ACMNACMN. It follows that LKB=ACB\angle LKB = \angle ACB. The angle between the tangent at AA to the circle c1c_1 (which is also tangent to CC) with line ABAB subtends arcs AKAK of circle c1c_1 and ABAB of circle CC, and therefore ANK=ADB\angle ANK = \angle ADB. We obtain that NKBDNK \parallel BD and, similarly, MLBDML \parallel BD. (This fact also follows from the homotheties that transform circles c1c_1, and c2c_2, respectively, into CC.) Finally, NKL=180AKNLKB=180ABDLKB=180ACDACB=BAD\angle NKL = 180^\circ - \angle AKN - \angle LKB = 180^\circ - \angle ABD - \angle LKB = 180^\circ - \angle ACD - \angle ACB = \angle BAD. Similarly, MNK=BAD\angle MNK = \angle BAD, which leads to the conclusion. Alternatively, one could have noticed that line segments MLML, PQPQ and [NK][NK] share the same perpendicular bisector.

b) The radical axes of circles c1c_1, c2c_2, CC (one for each pair of circles), i.e., the tangent line to CC at AA, the tangent line to CC at CC and the line BDBD are not all parallel, therefore they are concurrent in the radical center. Diagonal BDBD is then a symmedian of triangle ABCABC, which means that quadrilateral ABCDABCD is harmonic. (One can also use this fact to give a different proof to a).)

As NPQKNPQK is an isosceles trapezoid, it follows that NAP=QAK\angle NAP = \angle QAK, which means that rays (AP(AP and (AQ(AQ are isogonal with respect to angle DAB\angle DAB). But ABCDABCD being harmonic, APAP is a symmedian of triangle DABDAB, therefore AQAQ, which is its isogonal, is the median.

Solution 2

*Alternative Solution.* One could use a property of harmonic quadrilaterals that was put into evidence by the Danube Mathematical Competition from the same year: If RR is the midpoint of diagonal BDBD of a harmonic quadrilateral ABCDABCD, then ARD=CRD\angle ARD = \angle CRD.

One proves that RR is the only point on the line segment BDBD that has the property from above. Next, one proves that point QQ does have the property, which makes it the midpoint of BDBD.

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 and solution reproduced as published; topic and difficulty added by this site.