这道题中由条件“可微”得到的方程组中的打钩的那个式子是怎么得到的?