\begin{align} s_1^2 + s_2^2 - 2s_1s_2\uvect{p}_1^\top\uvect{p}_2 - \|\vect{q}_1 - \vect{q}_2\|^2 &= 0 \\ % s_2^2 - s_3^2 - 2s_2\uvect{p}_2^\top\vect{p}_3 + 2s_3\vect{q}_2^\top\uvect{q}_3 + \|\vect{p}_3\|^2 - \|\vect{q}_2\|^2 &= 0 \\ % s_1^2 - s_3^2 - 2s_1\uvect{p}_1^\top\vect{p}_3 + 2s_3\vect{q}_1^\top\uvect{q}_3 + \|\vect{p}_3\|^2 - \|\vect{q}_1\|^2 &= 0 \label{eq31} \end{align}
\begin{align} s_2^2 + \underbrace{(-2s_1\uvect{p}_1^\top\uvect{p}_2)}_{a_1}s_2 + \underbrace{(s_1^2 - \|\vect{q}_1 - \vect{q}_2\|^2)}_{a_0} = 0 \\ s_2^2 + \underbrace{(-2\uvect{p}_2^\top\vect{p}_3)}_{b_1}s_2 - \underbrace{(s_3^2 - 2s_3\vect{q}_2^\top\uvect{q}_3 - \|\vect{p}_3\|^2 + \|\vect{q}_2\|^2)}_{b_0} = 0 \end{align}
\begin{align} s_2^2 + \underbrace{(-2s_1\uvect{p}_1^\top\uvect{p}_2)}_{a_1}s_2 + \underbrace{(s_1^2 - \|\vect{q}_1 - \vect{q}_2\|^2)}_{a_0} = 0 \\ s_2^2 + \underbrace{(-2\uvect{p}_2^\top\vect{p}_3)}_{b_1}s_2 - \underbrace{(s_3^2 - 2s_3\vect{q}_2^\top\uvect{q}_3 - \|\vect{p}_3\|^2 + \|\vect{q}_2\|^2)}_{b_0} = 0 \end{align}
\begin{equation} \begin{split} r(s_1, s_3) = c_4s_3^4 + c_3s_3^3 + c_2s_3^2 + c_1s_3 + c_0 &= 0\\ -s_3^2 + \underbrace{(2\vect{q}_1^\top\uvect{q}_3)}_{d_1}s_3 + \underbrace{s_1^2 - 2s_1\uvect{p}_1^\top\vect{p}_3 + \|\vect{p}_3\|^2 - \|\vect{q}_1\|^2}_{d_0} &= 0 \end{split} \end{equation}
Out of the eight roots, only one is right. Which one?