You can certainly use quaternions (as Hamilton demonstrated) or a Clifford algebra to recover the spherical trigonometry laws, but plain vectors work too in a short derivation. It is actually one of the simple exercises introducing reciprocal bases in Louis Brand's book Vector and Tensor Analysis (https://archive.org/details/vectortensoranal00branrich) or its abridged version, Vector Calculus.