We need to prove that r1r2q=rq1q2. To do this, we will show that
qr=q1r1⋅q2r2
Let s,s1,s2 be the semiperimeters, and Δ,Δ1,Δ2 the areas of the triangles △ABC,△AMC,△BMC respectively. Let h be the common altitude from C to AB.
The circle pairs (r,q),(r1,q1),(r2,q2) are centrally similar with the common external homothety center C, the intersection of their common external tangents. Their pairwise homothety coefficients are equal to the distances of their tangency points from the vertex C:
qr=ss−AB,q1r1=s1s1−AM,q2r2=s2s2−BM
We need to show that:
ss−AB=s1s1−AM⋅s2s2−BM
Rewriting the above equation, we get:
1−sAB=(1−s1AM)(1−s2BM)
Expanding the right-hand side, we have:
1−sAB=1−s1AM−s2BM+s1AM⋅s2BM
This simplifies to:
sAB=s1AM+s2BM−s1AM⋅s2BM
Substituting AB=h2Δ,AM=h2Δ1,BM=h2Δ2 and s=rΔ,s1=r1Δ1,s2=r2Δ2, we get:
h2r=h2r1+h2r2−h24r1r2
Reducing by r1r22h and rearranging, we obtain:
h2=r11+r21−r1r2r
This relation has been proved in the referenced problems and confirms the required equality.
■