We will show that LA,LB,LC are the midpoints of the sides, and KA,KB,KC are the tangent points of the incircle to the sides in the triangle ABC. Note that the desired equality holds in this case. Indeed, if this is the case, we obtain
∣LAKA∣=∣BLA∣−∣BKA∣=2∣AC∣−∣AB∣
(∣AB∣<∣BC∣<∣CA∣). Similarly, we also get
∣LBKB∣=2∣BC∣−∣AB∣and∣LCKC∣=2∣AC∣−∣BC∣,
which clearly implies ∣KALA∣=∣KBLB∣+∣KCLC∣. Let LA′,KA′∈BC be points such that ∣BLA′∣=∣CLA′∣ and IKA′⊥BC. Define KB′,LB′,KC′,LC′, similarly. Now we can complete the proof in two different ways:
First Way:
We claim that HBKA′⊥ILA′. This completes the proof since it also means HCKA′⊥ILA′ by symmetry, which implies ILA′⊥HBHC and KA′∈HBHC, so we can conclude that LA=LA′ and KA=KA′. Let P be the point of intersection of HBKA′ and ILA′, and let S be the point on IHB such that SLA′⊥IHB. Since ISKA′LA′ is a cyclic quadrilateral, we find PLA′S=ILA′S=IKA′S. Therefore, if we prove that IKA′S=KA′HBI, we get PHBS=PHBI=PLA′S, which means LA′PSHB is cyclic and HBPLA′=HSLA′=90∘. As a result, it suffices to show that IKA′S=KA′HBI, which is equivalent to ∣IS∣∣IHB∣=∣IKA′∣2=r2 where r is the inradius of the triangle ABC. Since AIC=90∘+2B^, the Sine theorem gives ∣AC∣∣IHB∣=tan2B^=u−∣AC∣r. On the other hand, we have ∣IS∣=2hB−r=∣AC∣ur−r because LA′S∥AC. Therefore, we get ∣IS∣∣IHB∣=u−∣AC∣∣AC∣r∣AC∣r(u−∣AC∣)=r2, so the result follows.
Second Way:
We claim HBHC is the polar line of LA′ with respect to the incircle, which completes the proof easily. Let N be the point on IC such that BN⊥IC. Since ∣BLA′∣=∣CLA′∣, we have NLA′B=2⋅NCB=C^. This implies NLA′∥AC, in other words we get N∈LA′LC′. On the other hand, we obtain 180∘−NKC′I=NBI=90∘−IBC−ICB=IKC′KB′ since N,KC′,I,B are concyclic, so we obtain N∈KB′KC′.
Now, N∈KB′KC′ means that N lies on the polar line of A, so we can say that A lies on the polar line of N. Since AHB⊥IN, we get AHB is the polar line of N, which implies N lies on the polar line of HB. On the other hand, we have LA′LC′⊥IHB and N∈LA′LC′, so we can conclude that LA′LC′ is the polar line of HB. Similarly, we obtain LA′LB′ is the polar line of HC, which implies that HBHC is the polar line of LA′, so the result follows.