I have light incident from plane with velocity v0 into plane with velocity v1. Obviously, according to Snell's law, v0/v1=sin(theta0)/sin(theta1), where theta0 and theta1 are the angles with regard to the vertical line. How to calculate d(theta0)/d(theta1)? There are probably arguments from geometry and analysis. Thanks a lot!