I am reading this paper. There are two known algebra equations (Eq. (2.9) in the paper) $$(e_++p_+)\frac{v_+^2}{1-v_+^2}+p_+=(e_-+p_-)\frac{v_-^2}{1-v_-^2}+p_-, \tag{1}$$ $$(e_++p_+)\frac{v_+}{1-v_+^2}=(e_-+p_-)\frac{v_-}{1-v_-^2}. \tag{2} $$ Then it is mentioned that these two relations can be rearranges as $$v_+v_-=\frac{p_+-p_-}{e_+-e_-}, \tag{3}$$ $$\frac{v_+}{v_-}=\frac{e_-+p_+}{e_+ + p_-}.\tag{4}$$
Although Eqs. (1), (2) are algebra equations, I found it very complicated (and failed) to rederive Eqs. (3), (4) from (1), (2).
Since Eqs. (3), (4) look quite clean, I would guess there may be some clever way to derive them. Does anybody have any insights? And further, can Mathematica solve such algebra equations?