Por un lado, tenemos que
\[\angle PRB=\angle PXB=90^\circ-\angle PBX=90^\circ-\angle ABC-\angle CBX=90^\circ-\angle ABC-\angle CAX,\]
donde hemos usado que los cuadriláteros $ABXC$ y $BPRX$ son cíclicos ($BPRX$ es cíclico por ser $\angle BPX=\angle BRX=90^\circ$, ver circunferencia verde en la figura). Por otro lado,
\begin{align*}
\angle BRO=\angle XDR&=\angle ADB=180^\circ-\angle ABC-\angle BAD\\
&=180^\circ-\angle ABC-\angle BAC+\angle CAX=\angle BCA+\angle CAX.
\end{align*}
Por lo tanto, $\angle PRB+\angle BRO=90^\circ-\angle ABC+\angle BCA$ es igual a $90^\circ$ si y sólo si $\angle ABC=\angle BCA$, es decir, cuando $AB=AC$.
Para el apartado (b), observemos que no es suficiente sumar las tres desigualdades ya obtenidas, sino que hay que trabajar un poco más. Usando lo que ya hemos calculado y la desigualdad entre las medias aritmética y armónica llegamos a que \[\frac{1}{r}(g_a+g_b+g_c)=\frac{2p}{3}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)\geq\frac{2p}{3}\left(\frac{9}{a+b+c}\right)=\frac{18p}{6p}=3.\]
Nota. En realidad, para que se dé la igualdad en alguna de las desigualdades del apartado (a) tiene que ocurrir que $p=a$, $p=b$ ó $p=c$, para lo que el triángulo $ABC$ tendría que ser degenerado. Por tanto, podría decirse que las desigualdades del apartado (a) son estrictas. Por el contrario, la igualdad en la desigualdad del apartado (b) se alcanza cuando el triángulo es equilátero, como puede deducirse de la igualdad en la desigualdad de las medias.