法线方程为y-y0=-(x-x0)/f'(x0)的推导过程.