数学公式之求 log2(1+x)-x的积分

为了算神奇数字0x5F3759DF，有一步绕不开，那就是求$${\int }_0^1[lo{g}_2(1+x)-x]dx\text{\hspace{1em}(0)}$$ 为此，我们将详细探究这个一下这个函数$$F(x)=lo{g}_2(1+x)-x\text{\hspace{1em}(1)}$$

0. 准备工作

首先， 准备两个数字：$$ln2=0.693147180$$ $$\frac{1}{ln2}=1.442695041$$

1.画出$F(x)$图像

2. 画出其导数图像

$$F^{\prime }(x)=\frac{1}{ln2}\times \frac{1}{1+x}-1\text{\hspace{1em}(2)}$$

3. 求$F^{\prime }(x)$在[0, 1]上的零点以及对应F(x)的极值

由(2)式，令$F^{\prime }(x)=0$，求出$$x_0=\frac{1}{ln2}-1=0.442695\text{\hspace{1em}(3)}$$ 对应的把x0带入F(x)，就求出其在[0,1]上的极大值就是$$F(x_0)=$$