$${\frac{n_C}{n_F} = \sqrt{1 - \sin^2 \theta_t}}$$