约定:

A=1+52A = \dfrac{1 + \sqrt{5}}{2} B=152B = \dfrac{1 - \sqrt{5}}{2} C=BC = -B D=1+x+2x2+3x3+5x4+8x5+D = 1 + x + 2x^2 + 3x^3 + 5x^4 + 8x^5 + \ldots m=2n1m = 2n - 1

用等比数列求和化简:

$$D = \dfrac{A \cdot \dfrac{1 - (Ax)^{2n}}{1 - Ax} - B \cdot \dfrac{1 - (Bx)^{2n}}{1 - Bx}}{\sqrt{5}}$$

忽略常数系数:

$$E = A \cdot \dfrac{1 - (Ax)^{2n}}{1 - Ax} - B \cdot \dfrac{1 - (Bx)^{2n}}{1 - Bx}$$

x0x \ge 0 时,DD 的每一项都非负,故 D1D \ge 1

x(B,0)x \in (B, 0) 时,上面两项都是正数,故 D>0D > 0

x<1x < -1 时,DD 中偶数次项为负,奇数次项为正,且 2k+12k + 1 次项的绝对值大于 2k2k 次项,故 D<0D < 0

因此方程 D=0D = 0[1,B][-1, B] 内存在实根。

(25 分)

求导:

$$F = A^2\cdot\dfrac{1-2n(Ax)^{2n-1}+(2n-1)(Ax)^{2n}}{(1-Ax)^{2}} - B^2\cdot\dfrac{1-2n(Bx)^{2n-1}+(2n-1)(Bx)^{2n}}{(1-Bx)^{2}}$$$$F = A^2\cdot\dfrac{1+(2n-1)(A^{2n}x^{2n}-A^{2n-1}x^{2n-1})-(Ax)^{2n-1}}{(Ax-1)^{2}}-B^2\cdot\dfrac{1+(2n-1)(B^{2n}x^{2n}-B^{2n-1}x^{2n-1})-(Bx)^{2n-1}}{(Bx-1)^{2}}$$$$F = A^2 \cdot \dfrac{1 - (Ax)^{2n-1}}{(Ax-1)^{2}} - B^2 \cdot \dfrac{1 - (Bx)^{2n-1}}{(Bx-1)^{2}} + A^2 \cdot \dfrac{(2n-1)(Ax)^{2n-1}}{Ax-1} - B^2 \cdot \dfrac{(2n-1)(Bx)^{2n-1}}{Bx-1}$$$$F = A^2 \cdot \dfrac{1 - (Ax)^{2n-1}}{(Ax-1)^{2}} - B^2 \cdot \dfrac{1 + (Cx)^{2n-1}}{(Bx-1)^{2}} + A^2 \cdot \dfrac{(2n-1)(Ax)^{2n-1}}{Ax-1} + B^2 \cdot \dfrac{(2n-1)(Cx)^{2n-1}}{Bx-1}$$

(50 分)

易知:

$$\left( \dfrac{(Tx)^{2n-1}}{Tx-1} \right)' = T(Tx)^{2n-2} \cdot \dfrac{(2n-1)(Tx-1)-Tx}{(Tx-1)^2}$$

经过计算,上式代入 T=AT = AT=CT = C 导数都为负。

因此我们对前两项代入 x=1x = -1,后两项代入 x=Bx = B,得到一个小于等于 FF 的值:

$$G = A^2 \cdot \dfrac{A^{2n-1} + 1}{(A + 1)^2} - B^2 \cdot \dfrac{1 - C^{2n-1}}{(B+1)^{2}} + A^2 \cdot \dfrac{2n-1}{2} - B^2 \cdot \dfrac{(2n-1)C^{4n-2}}{B^2-1}$$

改写:

$$G = A^2 \cdot \dfrac{A^m + 1}{(A + 1)^2} - B^2 \cdot \dfrac{1 - C^m}{(B+1)^{2}} + A^2 \cdot \dfrac{m}{2} - B^2 \cdot \dfrac{mC^{2m}}{B^2-1}$$

(75 分)

注意到 1<B<0-1 < B < 0m>0m > 0,因此第一项和第三项随 mm 递增而递增,而第四项恒为正数,第二项大于 B2(B+1)2-\dfrac{B^2}{(B+1)^2}

舍弃 GG 的第四项,替换 GG 的第二项,得到一个小于 GG 的值:

$$H = A^2 \cdot \dfrac{A^m + 1}{(A + 1)^2} - \dfrac{B^2}{(B+1)^2} + A^2 \cdot \dfrac{m}{2}$$

于是 HH 关于 nn 单调递增。

代入 n=2n = 2 对应的 m=3m = 3,计算得 H>0H > 0,从而 G>0G > 0,于是 DD[1,B][-1, B] 上单调递增,方程 D=0D = 0 存在唯一实根。

n=1n = 1 的情形显然成立,故原命题得证!

(100 分)