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