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