Olympiad Maths Prep

Library / /10 of 15

Geometry Difficulty 6.1 National olympiad Prove it Ukraine

Let ABCDABCD be a cyclic quadrilateral. Suppose that there exists a line lBDl \parallel BD, which is tangent to the inscribed circles of triangles ABCABC and CDACDA. Prove that the line ll contains the incenter of one of ABCD\triangle ABCD and DAB\triangle DAB.
(Fedir Yudin)

Solution

Suppose it's false, wlog BC<CDBC < CD. Let CKCK and CLCL be the bisectors of the correspondent angles in triangles ABC\triangle ABC and CDA\triangle CDA, and BB' and DD' be the points symmetric to the points BB and DD with respect to the lines CKCK and CLCL correspondingly (fig. 20). Then lines KBKB and KBKB' are symmetric with respect to the line CKCK, so KBKB' is tangent to the inscribed circle of ABC\triangle ABC, similarly LDLD' is tangent to the inscribed circle of CDA\triangle CDA.

Figure 1
Fig. 20

Denote by d(X)d(X) the oriented distance from the point XX to the line BDBD, where d(A)>0d(A) > 0.
Note that DBC>12BAD\angle DBC > \frac{1}{2}\angle BAD, implying
AKB=1802BKC=2ABC+ACB180>2ABD+BAD+ADB180=ABD, \begin{aligned} \angle AKB' &= 180^\circ - 2\angle BKC \\ &= 2\angle ABC + \angle ACB - 180^\circ \\ &> 2\angle ABD + \angle BAD + \angle ADB \\ &\ge -180^\circ = \angle ABD, \end{aligned}
so d(B)<d(K)d(B') < d(K). Similarly, ALD<ADB\angle ALD' < \angle ADB, so d(D)>d(L)d(D') > d(L). Also note that
AKKB=ACCB>ACCD=ALLDd(K)<d(L). \frac{AK}{KB} = \frac{AC}{CB} > \frac{AC}{CD} = \frac{AL}{LD} \Rightarrow d(K) < d(L).
Consider the line kBDk \parallel BD, with respect to which the points KK and LL lie on different sides. Then the inscribed circle of ABC\triangle ABC lies on the same side from the line kk, as the segment BDBD (as this circle lies in the quadrilateral BCBKBCB'K, which lies on this side with respect to kk) and the inscribed circle of CDA\triangle CDA has a point, lying from the different side with respect to kk (as it's tangent to the segment LDLD', which lies from the different side with respect to kk). So these inscribed circles can't have a common tangent, parallel to BDBD, which lies on the same side from BDBD, as point AA, this contradiction completes the proof.

Also note that when CC is the midpoint of arc BDBD, we have CB=CB=CD=CDCB' = CB = CD = CD', so B=DB' = D' is the incenter of DAB\angle DAB (fig. 21). Furthermore, AKB=1802BKC=2ABC+ACB180=2ABD+BAD+ADB180=ABD\angle AKB' = 180^\circ - 2\angle BKC = 2\angle ABC + \angle ACB - 180^\circ = 2\angle ABD + \angle BAD + \angle ADB - 180^\circ = \angle ABD, so KBBDKB' \parallel BD. Similarly LDBDLD' \parallel BD, so the line KLKL is the common tangent.

Figure 2
Fig. 21

Looking for a route rather than 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.