$${\frac{\cos \varphi_i}{v_1} = \frac{\cos \varphi_r}{v_1}}$$