Maths Olympiad Prep

Library / Ukrainian National Mathematical Olympiad, Third Round, Second Tour /9 of 14

Ukrainian National Mathematical Olympiad, Third Round, Second Tour

Geometry Difficulty 6.1 National Olympiad Prove it Ukraine

Let ABCDABCD be a cyclic quadrilateral. Suppose that there exists a line l∥BDl \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 B′B' and D′D' 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 KB′KB' are symmetric with respect to the line CKCK, so KB′KB' is tangent to the inscribed circle of △ABC\triangle ABC, similarly LD′LD' 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>12∠BAD\angle DBC > \frac{1}{2}\angle BAD, implying
∠AKB′=180∘−2∠BKC=2∠ABC+∠ACB−180∘>2∠ABD+∠BAD+∠ADB≥−180∘=∠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=ALLD⇒d(K)<d(L). \frac{AK}{KB} = \frac{AC}{CB} > \frac{AC}{CD} = \frac{AL}{LD} \Rightarrow d(K) < d(L).
Consider the line k∥BDk \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 BCB′KBCB'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 LD′LD', 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=CD′CB' = CB = CD = CD', so B′=D′B' = D' is the incenter of ∠DAB\angle DAB (fig. 21). Furthermore, ∠AKB′=180∘−2∠BKC=2∠ABC+∠ACB−180∘=2∠ABD+∠BAD+∠ADB−180∘=∠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 KB′∥BDKB' \parallel BD. Similarly LD′∥BDLD' \parallel BD, so the line KLKL is the common tangent.

Figure 2
Fig. 21

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

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