求著名的折射定律的证明

应该不是光路最短时间推导，应该是费马定理推导，费马定理如下：光在传播的时候总选择光程取极值的路径传播，或者最大或者最小。何谓光程，光传播的路程与介质折射率的乘积。
你自己先做出一个折射的光路，按我说的画图：以入射点为原点O，随意做一点光源A，连接AO，并随意做折射线OB.则光程为Laob=nAO+n'OB。
设：AB间水平距离为z,AO水平距离为x,A到界面高度是y1,B到界面高度是y2,那么，可以用距离公式表示出AO,OB。然后对x求导，取极值（麻烦，自己算）。得出折射定律！