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