Radius of circle tangent to the semi-circles in an arbelos

Question

Points $P$, $Q$, and $R$ lie on the same line. Three semi-circles with the diameters $PQ$, $QR$, and $PR$ are drawn on the same side of the line segment $PR$. (That is, suppose we have an arbelos.) The centers of the semi-circles are $A$, $B$, and $O$, respectively. A circle with center $C$ touches all three semi-circles. Show that the radius of this circle is $$c = \frac{ab(a+b)}{a^2+ab+b^2}$$ where $a :=|AQ|$ and $b :=|BQ|$ are the radii of the smaller two semi-circles.

I know that since this is a trigonometry question, I have to construct a triangle somewhere. However, I am unsure as to whether I should construct the triangle between points ACQ or points ACB.

Answer 1

Hint: Draw the figure and you will have $AC=a+c$, $BC=b+c$, $OA=b$, $OB=a$ and $OC=a+b-c$. Apply the cosine formula to find $\cos\angle BAC$ in

(1) $\triangle ABC$

(ii) $\triangle OAC$

Answer 2

I will outline an approach that can be ultimately used to prove Descartes' (kissing circles) theorem too. The key idea is to perform a circle inversion and to keep track of some distances.

If we perform a circle inversion with respect to a circle centered at $Q$ through $P$ (first dotted circle) the $PQ$-circle is mapped into a line through $P$ (red line), the $QR$-circle is mapped into a parallel line (blue line) and the $PR$-circle is mapped into a circle tangent to both lines (green circle). If $PQ=2a$ and $QR=2b$ the radius of the green circle is $$ \frac{1}{2}\left(2a+\frac{4a^2}{2b}\right) = \frac{a^2+ab}{b}. $$ A circle $\Xi$ congruent to the green circle (the second dotted circle) lies above the green circle and is tangent to the green circle, the blue line and the red line. Its inverse (the orange circle) is the solution to the arbelos. It follows that it is enough to compute where the intersections of $\Xi$ with the red line, the blue line and the green circle lie (in terms of the previously computed radius) to get three points on the orange circle by inverting with respect to $Q$, and that also gives the radius of the orange circle.