Establecer las coordenadas cartesianas en el plano para que el centro del círculo sea $(0,0)$ y la línea negra $\overline{AB}$ es paralelo a la $x$ -eje.
Las coordenadas de $A$ son $(-(a - b), c)$ y la distancia $OA$ es $\sqrt{(a - b)^2 + c^2}$ . Por lo tanto, \begin{align} \angle OAB & = \arcsin\left( \frac{\sqrt{(a - b)^2 + c^2}}{c} \right) = \arctan \left( \frac{c}{a-b} \right) & \text{and} \\ \angle OAQ & = \arcsin\left( \frac{\sqrt{(a - b)^2 + c^2}}{r} \right). \end{align}
Las coordenadas de $B$ son $(b, c)$ y la distancia $OB$ es $\sqrt{b^2 + c^2}$ Así que \begin{align} \angle OBA & = \arcsin\left( \frac{\sqrt{b^2 + c^2}}{c} \right) = \arctan \left( \frac cb \right) & \text{and} \\ \angle OBP & = \arcsin\left( \frac{\sqrt{b^2 + c^2}}{r} \right). \end{align}
Desde $\angle BAM = \angle OAB + \angle OAQ$ y $\angle ABM = \angle OBA - \angle OBP$ , y $\theta = \pi - \angle BAM - \angle ABM$ ,
\begin{align} \theta & = \pi - (\angle OAB + \angle OAQ) - (\angle OBA - \angle OBP) \\ & = \pi - \arctan \frac{c}{a-b} - \arcsin \frac{\sqrt{(a - b)^2 + c^2}}{r} - \arctan \frac cb + \arcsin \frac{\sqrt{b^2 + c^2}}{r} . \end{align}
Otro enfoque: considere la figura siguiente, que muestra la línea $\overline{AB}$ y segmentos $\overline{OP}$ y $\overline{BP}$ . También muestra el perpendicular de $O$ a $\overline{AB}$ que se cruza con $\overline{AB}$ en $C$ y $\overline{BP}$ en $R$ .
A partir del planteamiento original del problema, tenemos $OP = r$ , $BC = |b|$ y $OC = c$ . Sea $OR = |u|$ con $u$ positivo si $R$ está entre $O$ y $C$ como se muestra. A continuación, $CR = |c - u|$ y $PR = \sqrt{u^2 - r^2}$ y por triángulos similares,
$$ \frac{\sqrt{u^2 - r^2}}{r} = \pm\frac{c - u}{b}.$$
En realidad hay tres casos representados aquí:
- $b > 0$ que se muestra en la figura;
- $-r < b < 0$ , en cuyo caso $R$ está en la extensión de $\overline{OC}$ más allá de $C$ , $u > c$ y $\triangle BCR$ tiene longitudes de tramo (positivas) $-b$ y $u - c$ y
- $b < -r$ , en cuyo caso $R$ está en la extensión de $\overline{OC}$ más allá de $O$ , $u < -r$ y $\triangle BCR$ tiene longitudes de tramo (positivas) $-b$ y $c - u = c + |u|$ . Este es el caso que requiere el " $-$ "de la opción $\pm$ signo.
En los tres casos asumo $c > r$ .
Elevando al cuadrado ambos lados de esta ecuación y reordenando los términos adecuadamente, obtenemos:
$$ (b^2 - r^2)u^2 + 2cr^2 u - (b^2 + c^2)r^2 = 0. \tag 1$$
Si $b^2 \neq r^2$ se trata de una ecuación cuadrática en $u$ y que tiene raíces
$$ u = \frac{-cr^2 \pm br \sqrt{b^2 + c^2 - r^2}}{b^2 - r^2}.$$
Queremos la raíz positiva si $b > -r$ y la raíz negativa si $b < -r$ Así que
$$ \angle CBP = \arccos \frac ru = \begin{cases} \arccos \dfrac{b^2 - r^2}{-cr + b \sqrt{b^2 + c^2 - r^2}} & \text{if $b > r$} \\ \arccos \dfrac{b^2 - r^2}{-cr - b \sqrt{b^2 + c^2 - r^2}} & \text{if $b < r$ and $b \neq -r$.} \end{cases}$$
Pero si $b = r$ entonces $ u = \dfrac{c^2+r^2}{2 c} $ y $$ \angle CBP = \arccos \frac ru = \arccos \frac{2cr}{c^2+r^2} ,$$ mientras que si $b = -r$ entonces $\angle CBP = \frac\pi2$ .
Y oh, mira, todas estas fórmulas se aplican a $\angle BAQ$ en la figura original si sustituimos $b - a$ para $b$ (y $b - a < -r$ siempre que $\angle BAQ$ es agudo, como se muestra), por lo que si suponemos que $b > -r$ ,
\begin{align} \theta & = \pi - \angle BAQ - \angle CBP \\ & \begin{aligned} = \pi & - \arccos \dfrac{(a - b)^2 - r^2} {-cr + (a - b) \sqrt{(a - b)^2 + c^2 - r^2}} \\ & - \begin{cases} \arccos \dfrac{b^2 - r^2}{-cr + b \sqrt{b^2 + c^2 - r^2}} & \text{if $b > r$} \\ \arccos \dfrac{b^2 - r^2}{-cr - b \sqrt{b^2 + c^2 - r^2}} & \text{if $-r < b < r$} \\ \arccos \dfrac{2cr}{c^2+r^2} & \text{if $b = r$} \end{cases} \fin{span} \\ & = \arcsin \dfrac{(a - b)^2 - r^2} {-cr + (a - b) \sqrt{(a - b)^2 + c^2 - r^2} \\ & \qquad\qquad + \begin{cases} \arcsin \dfrac{b^2 - r^2}{-cr + b \sqrt{b^2 + c^2 - r^2}} & \text{if $b > r$} \\ \arcsin \dfrac{b^2 - r^2}{-cr - b \sqrt{b^2 + c^2 - r^2}} & \text{if $-r < b < r$} \\ \arcsin \dfrac{2cr}{c^2+r^2} & \text{if $b = r$} \end{cases} \end{align}
Así que son sólo dos funciones trigonométricas, aunque hay tres casos que dependen del valor de $b$ . Como se sugirió en un comentario, podríamos reducir esto a una función trigonométrica si pudiéramos encontrar los tres lados de $\triangle ABM$ sin utilizar la trigonometría; pero creo que esto implicaría decir algo sobre los triángulos $\triangle OPM$ y $\triangle OQM$ y todavía no veo cómo hacerlo.