$${\frac{\cos \psi_r}{v_1} = \frac{\cos \psi_t}{v_2}}$$