Khalil Tarsha Kurdi

The problem:

Let ABC be a triangle with incircle ω touching AB and AC at P and Q . Let

K ≡ BI ∩ P Q , L ≡ CI ∩ P Q . Prove that the circumcircle of IKL is tangent
to ω if and only if AB + AC = 3BC

Solution

Figure 1: the figure

Let s = (a + b + c)/2 we assume that:

x = s − a , y = s − b , z = s − c , C 0 ≡ Aexcircle ∩ AC , R ≡ ω ∩ BC

1
claim: The condition AB + AC = 3BC is equivalent to AI = IIa
proof. By hypothesis, AB + AC = 3BC we saw that (x + y) + (x + z) = 3(y + z)
⇒ x = y +z ⇒ AQ = QC 0 .Thus,by Thales’ theorem in traingles AQIand AC 0 Ia
we get AI=IIa
#

claim: The quadrilateral BCKL is cyclic

proof. By simple angel chasing . in quadrilateral BCQK

6 BKL = 180 − 6 BKQ

6 BKL = 180 − (360 − (6 KBC + 6 BCQ + 6 CQK))
6 BKL = 180 − (360 − 6 B/2 − 6 C − 90 − 6 A/2)
6 BKL = 6 C/2 = 6 BCL

Consider an inversion with respect to ω.so we get the following:

• Points P , Q , I , A , K 0 and L0 lie on one circle ω1

• 6 IK 0 A = 6 IQA = 90
• 6 IL0 A = 6 IP A = 90

claim: L0 K 0 and BC are parallel

proof. it is angle chasing too. 6 BCL = 6 IKL = 6 IL0 K 0

#
From now we are going to work in equivalent relations so the two conditions
will be true

(IKL) is tanget to ω ⇐⇒ K 0 L0 is tangent to ω ⇐⇒ K 0 L0 is tangent to ω at

T the point diametrically opposite to R (K 0 L0 k BC) ⇐⇒ 4IT L0 and 4 IRC
are congruent (IL0 = IC) ( 6 IK 0 L0 = 6 IIa C) ⇐⇒ ω and ω1 are congruent
⇐⇒ IIa = AI

So we are done , #