若 x0x_0x0 是 xex=1x\mathrm e^x=1xex=1 的根,且 x1x_1x1 是xex−x0−1x0=1x\mathrm e^{x-x_0-\frac{1}{x_0}}=1xex−x0−x01=1 的根,则 x1+1x1=x0+1x0x_1+\dfrac{1}{x_1}=x_0+\dfrac{1}{x_0}x1+x11=x0+x01.
证明?