设在某点（a,b)的切线为k,则法线方程为y-b=-1/k(x-a)

显然该点在原函数上，对原方程求导，得y'=-sin x，带入点的横坐标得切线方程斜率为0，又过该点，得切线方程为y=1，法线跟切线垂直，切线垂直于y坐标轴，故法线方程为x=0，解毕。