p12 凑全微分
p3 可以先把做为常数的亮代入值再求导
p4 判断二阶导连续