前，所以在介质1、介质2里，波前与界面之间的夹角分别等于入射角formula_4、折射角formula_5。直线段长度formula_58与formula_59之间的关系为即应用折射率formula_62的定义式：其中，formula_14为光速。总结，斯涅尔定律成立：其中，formula_2、formula_3分别为介质1、介质2的折射率
从平移对称性推导.假设对某系统整体做一个平移之后，这系统仍旧保持不变，则称此系统具有平移对称性。从平移对称性，可以推导出斯