dz=dy+1+xez−y−x1+(x−1)ez−y−xdx
令 u=z−y−x。对方程 u+xeu=0 两边取全微分,得到
在隐函数存在的点 1+xeu=0 处整理可得
代回 u=z−y−x 即得结论。