Question

設(shè)函數(shù)f0(x)=x2•e-

1

2

x，記f₀（x）的導(dǎo)函數(shù)f'₀（x）=f₁（x），f₁（x）的導(dǎo)函數(shù)f'₁（x）=f₂（x），f₂（x）的導(dǎo)函數(shù)f'₂（x）=f₃（x），…，f_n-1（x）的導(dǎo)函數(shù)f'_n-1（x）=f_n（x），n=1，2，…．
（1）求f₃（0）；
（2）用n表示f_n（0）；
（3）設(shè)S_n=f₂（0）+f₃（0）+…+f_n+1（0），是否存在n∈N^*使S_n最大？證明你的結(jié)論．

Answer 1

（1）易得，f₁（x）=（-

1

2

x²+2x）e -

1

2

x，
f₂（x）=（

1

4

x²-2x+2）e -

1

2

x，
f₃（x）=（-

1

8

x²+

3

2

x-3）e -

1

2

x，
∴f₃（0）=-3．
（2）不失一般性，設(shè)函數(shù)f_n-1（x）=（a_n-1x²+b_n-1x+c_n-1）e^λx，導(dǎo)函數(shù)為f_n（x）=（a_nx²+b_nx+c_n）e^λx，
其中n=1，2，…，常數(shù)λ≠0，a₀=1，b₀=c₀=0．
對(duì)f_n-1（x）求導(dǎo)得：f_n-1′（x）=[λa_n-1x²+（2a_n-1+λb_n-1]x+（b_n-1+λc_n-1）]e^λx，
故由f_n-1′（x）=f_n（x）得：a_n=λa_n-1    ①，
b_n=2a_n-1+λb_n-1 ②，
c_n=2b_n-1+λc_n-1  ③
由①得：a_n=λⁿ，n∈N，
代入②得：b_n=2λⁿ+λb_n-1，即

bn

λn

=

2

λ

+

bn-1

λn-1

，其中n=1，2，…，
故得：b_n=2n•λ^n-2+λc_n-1．
代入③得：c_n=2nλ^n-2+λc_n-1，即

cn

λn

=

2n

λ2

+

cn-1

λn-1

，其中n=1，2，…，
故得：c_n=n（n-1）•λ^n-2，
因此f_n（0）=c_n=n（n-1）λ^n-2．
將λ=-

1

2

代入得：f_n（0）=n（n-1）（-

1

2

）^n-2．其中n∈N．
（3）由（2）知f_n+1（0）=n（n+1）（-

1

2

）^n-1，
當(dāng)n=2k（k=1，2，…）時(shí)，S_2k-S_2k-1=f_2k+1（0）=2k（2k+1）(-

1

2

)2k-1＜0，
∴S_2k-S_2k-1＜0，S_2k＜S_2k-1故當(dāng)S_n最大時(shí)，n為奇數(shù)．
當(dāng)n=2k+1（k≥2）時(shí)，S_2k+1-S_2k-1=f_2k+2（0）+f_2k+1（0）
又f_2k+2（0）=（2k+1）（2k+2）(-

1

2

)2k，f_2k+1（0）=2k（2k+1）(-

1

2

)2k-1，
∴f_2k+2（0）+f_2k+1（0）=（2k+1）（2k+2）(-

1

2

)2k+2k（2k+1）(-

1

2

)2k-1=（2k+1）（k-1）(-

1

2

)2k-1＜0，
∴S_2k+1＜S_2k-1，因此數(shù)列{S_2k+1}是遞減數(shù)列
又S₁=f₂（0），S₃=f₂（0）+f₃（0）+f₃（0）=2，
故當(dāng)n=1或n=3時(shí)，S_n取最大值S₁=S₃=2．