本帖最后由 数学1+1 于 2017-9-29 13:23 编辑
0 [/ k& B7 u6 f6 C, [. l5 i R
% [6 c) O( h/ D在武汉大学数学系编<<数学分析 ∙ 下册>>,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:+ [, S5 R5 ^; C- 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的范围内) 得 j! p! y- G. T/ V8 _$ k* G
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+⋯
2 W, j! D% T- _: F3 l2 z6 O或& O' Z D! F6 }# |! i3 B& p4 O
S'(x)/m=1+(m-1)x+[(m-1)(m-2)/2!] x^2+⋯ +[(m-1)(m-2)⋯(m-n)/n! ]x^n+⋯ ; K1 \) h3 t9 ~6 R" n+ a
把此式两边乘以x,得
9 ^2 i7 e# `( J: p# l) Y9 R. `) ` 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)+⋯
2 Z- B0 W/ [( s! U* Z7 _2 H再把此两式相加,得4 ]# u) M0 k- n- ~! _" z
(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+⋯ . U1 B$ g" Z( y+ z1 |
=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+⋯/ p) d$ `+ x: S8 Q, a0 q
而右边这个级数又回到了(13)’ 的右边, 所以得到S(x) 的一个一阶微分方程:
8 x& F3 d9 c1 U: {" F! c+ j% s (1+x)S'(x)/m=S(x)或即S'(x)/S(x)=m/(1+x) ) {6 g4 K3 ]9 F0 c+ k2 F+ h- u+ l
两边求积分1 Q) W' D/ w7 R$ V
∫[S'(x)/S(x)]dx=∫[m/(1+x)]dx [size=15.3333px]即0 S( P3 \+ W6 h
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
- F+ ]- b w9 R* U W4 e这就是说,
+ \ }9 f2 a% E S(x)=(1+x)^m, Q& c, W% T% p- b$ H
上述论证看似严谨, 以后有作者持上述观点发表了专题论文. 仔细分析, 根据基本积分表有 [size=15.3333px]∫[1/S(x)]dx =lnS(x)+C2 k7 }% [. M/ X0 d" t6 q
由于C=0, 比较上述论证, 得; ]# A8 a: ^, ~5 H# t: g: l
[size=15.3333px]∫[S'(x)/S(x)]dx=[size=15.3333px]∫[1/S(x)]dx
, a: O( v) G0 R% r即
# L1 K+ }! ] `+ X3 y5 } S'(x)=1" Q7 P1 O6 ?( Q0 x- B7 E
这与
& X9 [# J$ V& y, o S'(x)=[m/(1+x)]S(x)# O" G( ?$ F' j2 k; ^2 F
不兼容.亦即原著论述只能得到恒等式8 P- ]8 A: J Y& D
[size=15.3333px] (1+x)^m[size=15.3333px] =(1+x)^m
3 G6 o/ S7 S) C2 [8 z3 t" q/ `' u; o* c7 B或原式' s+ {1 E' q: l
S(x)=1+mx+[m(m-1)/2! ]x^2+⋯+[m(m-1)(m-2)⋯(m-n+1)/n!]x^n+⋯5 S; B' m: k# H! [0 ?% E& U
" k6 Y; q5 n' A( O这样原著关于二项式幂的展式论证没有意义.盼武汉大学数学系在再版数学分析时更正.
3 {7 n9 F! c1 t. t, Y" V& a2 s' W4 @7 V
& w I8 J! [8 w) a! _
1 }6 E: P t$ r/ O. q1 ?5 [# R
5 j+ Z. P: v& L* k2 \$ O$ M) q" n, H3 t; s7 n& o t. ^
|