本帖最后由 数学1+1 于 2017-9-29 13:23 编辑
) [; B [2 i0 F1 N" H, [9 t( t* x# ~- P- v& X7 y+ z! U, k: O+ Q
在武汉大学数学系编<<数学分析 ∙ 下册>>,1978年10月第一版,人民教育出版社.67页至69页. 对二项式幂的展式有如下论述: 4) 二项式幂的展式: (1+x)^m=1+mx+[m(m-1)/2!]x^2+⋯ +[m(m-1)(m-2)⋯(m-n+1)/n!] x^n+⋯, -1<x<1 (13) 其中m可以是任何实数, 右边这个级数称作二项式级数. 如果m是正整数, 则上面式子中的级数就只到x^m的项为止, 后面的各项都等于零了. 这样,(13) 不是别的, 就是我们在中学学过的二项式定理. 以下我们将假定m不是正整数, 于是(13) 右面的确是有无穷项的幂级数. 为了证明这一展开式, 首先注意, 用3.1段中的定理 2, 很容易证明(13) 右边这级数的收敛半径R=1.于是它的和函数S(x) 定义于|x|<1:2 Q8 a( n8 Q' A
S(x)=1+mx+[m(m-1)/2! ]x^2+⋯+ [m(m-1)(m-2)⋯(m-n+1)/n!]x^n+⋯ (13)’ 问题是要证明S(x)=(1+x)^m . 为了要证明这一点, 我们把(13)’ 式逐项求导数(x始终取定在|x|<1的范围内) 得% m8 V9 c, f( [7 B
S'(x)=m+m(m-1)x+[m(m-1)(m-2)/2!]x^2+⋯ +[m(m-1(m-2))⋯(m-n)/n!] x^n+⋯6 h$ D1 F, O8 A) }% U
或2 m; c) j& Y/ E$ H
S'(x)/m=1+(m-1)x+[(m-1)(m-2)/2!] x^2+⋯ +[(m-1)(m-2)⋯(m-n)/n! ]x^n+⋯ 4 C( c: w: d! x. }4 ?
把此式两边乘以x,得2 J, y# j- Y9 R" i5 N8 c# V
xS'(x)/m=x+(m-1)x^2+[(m-1)(m-2)/2!]x^3+⋯ +[(m-1)(m-2)⋯(m-n)/n!] x^(n+1)+⋯ , N2 v2 [" A5 a2 P8 c* ^$ a
再把此两式相加,得
: q- x7 _2 P/ D2 n (1+x)S'(x)/m=1+mx+[(m-1)(m-2)/2!+(m-1)]x^2 +[(m-1)(m-2)(m-3)/3!+(m-1)(m-2)/2!]x^3 +⋯ +[(m-1)(m-2)⋯(m-n)/n! +(m-1)(m-2)⋯(m-n+1)/(n-1)!]x^n+⋯
% ~ ]- g) |- g1 X =1+mx+[m(m-1)/2!] x^2+ [m(m-1)(m-2)/3!]x^3+⋯ +[m(m-1)(m-2)⋯(m-n+1)/n!] x^n+⋯
/ ]5 J3 I2 h) |7 i而右边这个级数又回到了(13)’ 的右边, 所以得到S(x) 的一个一阶微分方程:* k0 a7 b0 V" S- b# W
(1+x)S'(x)/m=S(x)或即S'(x)/S(x)=m/(1+x)
# R3 C: q) j. Q0 C j两边求积分& F4 N4 i! {$ e, V) T! s1 h
∫[S'(x)/S(x)]dx=∫[m/(1+x)]dx [size=15.3333px]即
+ R8 }# |. L% j, i lnS(x)=mln(1+x)+C 但是,当x=0时, 由(13)’ 很明显S(0)=1,即lnS(0)=0, 因此在上式中令x=0代入后立刻可以知道C=0. 从而 lnS(x)=mln(1+x)= ln(1+x)^m
1 [/ @, x+ t, a/ m这就是说,& s! [7 k6 b E) f3 ?
S(x)=(1+x)^m
) v, y( d6 C3 w4 R 上述论证看似严谨, 以后有作者持上述观点发表了专题论文. 仔细分析, 根据基本积分表有 [size=15.3333px]∫[1/S(x)]dx =lnS(x)+C
. G# L3 S1 z7 {9 K由于C=0, 比较上述论证, 得
R& _) h6 `/ T4 d9 a [size=15.3333px]∫[S'(x)/S(x)]dx=[size=15.3333px]∫[1/S(x)]dx7 F* |6 G- T- t9 P. _" a
即
$ ?- r3 V A( g4 ~% U7 S" e5 Z S'(x)=1
6 J( y4 o4 l$ l0 H这与" h& h2 [, V1 k9 ^
S'(x)=[m/(1+x)]S(x); X1 F* |6 |* m1 U; i* B
不兼容.亦即原著论述只能得到恒等式. v2 G% k' b9 i( b6 Q) E6 t
[size=15.3333px] (1+x)^m[size=15.3333px] =(1+x)^m, }. p" ], R& b
或原式
- o# }5 Q" X1 V8 f4 }0 r S(x)=1+mx+[m(m-1)/2! ]x^2+⋯+[m(m-1)(m-2)⋯(m-n+1)/n!]x^n+⋯+ W0 o/ K0 p2 M
% S& m) e7 t3 s$ u0 S
这样原著关于二项式幂的展式论证没有意义.盼武汉大学数学系在再版数学分析时更正.
, d% ~' I% V4 N8 R$ r5 P# Z6 g+ m
. ? e8 ~- T3 F) h$ l& m' k6 x, B$ F$ M: H5 H n
+ y% J- F: U l2 t1 i8 d/ ?4 y! B" n: b
|