For a derivation that starts with Snell's law see Reitz page 454.
從斯涅尔定律起始的推導，參見文獻Reitz第454頁。