The spherical distance between two points $P_1=(0,0,1)$ and $P_2=(\frac{1}{2\sqrt{2}},\frac{1}{2\sqrt{2}},{-}\frac{\sqrt{3}}{2})$ is $\frac{5\pi }{6}$.
I am at a loss as to how the spherical distance was obtained. My notes just give the answer but no step by step derivation. Any help would be much appreciated.
Idea: the points $P_1, P_2$ are also unit vectors, so $P_1\cdot P_2= \cos(\text{angle between $P_1$ and $P_2$})$.