I am trying to solve for theta in Rodrigues' formula. I have the rotation axis, the vector to be rotated, and one dimension of the vector after rotation. I end up with a equation of this format:
$$0 = A\cos\theta + B\sin\theta + C$$
where $A$, $B$, and $C$ are known.
What approach can I take to solve for $\theta$? Thanks!