MathLabs

Problem 6

Consider an isosceles triangle. Let RR be the radius of its circumcircle and rr the radius of its inscribed circle. Prove that the distance dd between the centers of these two circles is R(R−2r)\sqrt{R(R-2r)}.
Step 3 of 6: Show that the auxiliary triangle is isosceles
∠BIL=∠IBL=12∠A+12∠B⟹IL=BL\angle BIL=\angle IBL=\frac12\angle A+\frac12\angle B\Longrightarrow IL=BL
Detailed analysis

Because BIBI bisects angle BB and the cyclic angles subtending the same arcs have the required equal values, the source angle chase gives ∠BIL=∠IBL=12∠A+12∠B\angle BIL=\angle IBL=\frac12\angle A+\frac12\angle B. Therefore △BIL\triangle BIL is isosceles and IL=BLIL=BL.