I am trying to find a way to determine whether an angle is between two given angles where all angles are provided as vectors on the unit circle i.e.: $\mathbf{a}=(\cos(\theta),\sin(\theta))$
Note that by inbetween I mean on the arc of the smaller of the two segments of the unit circle formed by the vectors we want to check between.
Specifically I do not want to obtain the angles from the given vectors by applying the inverse trig functions I just want to work with the given vectors.
I think the following is true if and only if the angle $\mathbf{c}$ is between $\mathbf{a}$ and $\mathbf{b}$: $$|\mathbf{a} + \mathbf{b} – \mathbf{c}|\leq 1$$
but I'm having trouble proving it. Is this statement true and can you prove it?
Best Answer
It's true (except possibly for edge cases).
It is fairly obvious if you draw a diagram with two unit circles - one at the origin with vectors $\mathbf{a}$ and $\mathbf{b}$ in it, and the other unit circle centred at $\mathbf{a}+\mathbf{b}$ and which contains the vector $-\mathbf{c}$. Vectors $\mathbf{a}$ and $\mathbf{b}$ will then point to the intersections of the unit circles.
For $|\mathbf{a} + \mathbf{b} - \mathbf{c}| < 1$ to hold, the head of $-\mathbf{c}$ must lie inside the first unit circle, and this happens exactly when it lies on the circular arc between the two intersection points. Therefore by symmetry of the paralellogram the same is true for $\mathbf{c}$ when placed at the origin. Those intersection points are pointed at by $\mathbf{a}$ and $\mathbf{b}$, so $|\mathbf{a} + \mathbf{b} - \mathbf{c}| < 1$ iff $\mathbf{c}$ lies strictly between $\mathbf{a}$ and $\mathbf{b}$.
Note that you used a $\le$ sign, but you'll have to think about whether that is what you want or if strict inequality is better. Does $\mathbf{a}$ itself lie between $\mathbf{a}$ and $\mathbf{b}$? And in the case of $\mathbf{a}=-\mathbf{b}$, does every unit vector lie between them or none at all?