Firstly we claim that A′,B,O,C are concyclic points. Otherwise, extend AO to intersect the circumcircle of △BOC at point P which is different from A′. We get
∠BPA=∠BCO=∠CBO=∠CPA.
Then △PA′C≅△PA′B, and A′B=A′C. So AB=AC and that is a contradiction since △ABC is not isosceles. So
∠BCA′=∠BOA′=180∘−2∠C,
and ∠A′CA1=∠C.
Further, we have
ACHAA1=sin∠C=cos∠A2AA′=AA′AA2
and
∠A′AC=∠A2AHA=2π−∠B.
So △A2AHA∼△A′AC. In the same way, △A1HAA∼△A′BA. Then ∠A2HAA=∠ACA′ and ∠A1HAA=∠ABA′. Consequently,
∠A1HAA2=2π−∠A2HAA−∠A1HAA=2π−∠ACA′−∠ABA′=∠A+2(2π−∠A)=π−∠A.
We get
RAR=sin∠A2sin∠A1HAA2A1A2R=A1A22R=AA′2R;1◯
The last equality holds since A,A2,A′,A1 lie on the same circle with AA′ as the diameter.
Now, draw AA′′⊥A′C with point A′′ on line A′C. Since ∠ACA′′=∠A′CA1=∠C, we have AA′′=AHA. Then
AA′=sin∠AA′CAA′′=sin(90∘−∠A)AHA=cos∠AAHA=BCcos∠A2S△ABC.2◯
From ①, ② we get
RA1=S△ABCBCcos∠A=Rsin∠Bsin∠Ccos∠A=R1(1−cot∠Bcot∠C).
In the same way
RB1=R1(1−cot∠Ccot∠A)
and
RC1=R1(1−cot∠Acot∠B).
Notice that
cot∠Acot∠B+cot∠Bcot∠C+cot∠Ccot∠A=1.
We then have
RA1+RB1+RC1=R2.