Fermat最小时间原理与Snell折射定律等价。