En cuanto al apartado (b), la relación que nos piden probar se puede expresar equivalentemente como $d^2=rr'+(r-r')^2=r^2+(r')^2-rr'$. Por comparación con el teorema del coseno, esto quiere decir que un triángulo de lados $d,r,r'$ tiene ángulo opuesto al lado $d$ de $60^\circ$. El triángulo $OPO'$ tiene estos lados, luego el resultado equivale a probar que $\angle OPO'=60^\circ$. Usando el arco capaz, la simetría de la figura y los ángulos centrales, así como la alineación de $X,Q,X'$ tenemos que \begin{align*} \angle PX'X&=\angle PBQ=2\angle PBR=\angle POO',\\ \angle PXX'&=\angle PAQ=2\angle PAO=\angle PO'O. \end{align*} Por lo tanto, $PXX'$ y $POO'$ son semejantes y, en particular, $\angle OPO'=\angle X'PX=60^\circ$.
