Đề bài

Hãy chứng minh định lí 3: \({S_n} = {{n\left( {{u_1} + {u_n}} \right)} \over 2}\).

Lời giải chi tiết

Ta sẽ chứng minh \({S_n} = {{n\left( {{u_1} + {u_n}} \right)} \over 2}\) (1)+) Với mọi \(n \in \mathbb N^*\), bằng phương pháp qui nạp.+) Với \(n = 1\), ta có \({S_1} = {u_1} = {{1\left( {{u_1} + {u_1}} \right)} \over 2}.\) Như vậy (1) đúng với \(n = 1\).+) Giả sử (1) đúng khi \(n = k, k  \in \mathbb N^*\), tức là:\({S_k} = {{k\left( {{u_1} + {u_k}} \right)} \over 2}\)+) Ta chứng minh (1) đúng với \(n=k+1\)

\(\eqalign{
& {S_{k + 1}} = {S_k} + {u_{k + 1}} \cr 
& = {{k\left( {{u_1} + {u_k}} \right)} \over 2} + {u_{k + 1}} \cr 
& = {{k\left( {{u_1} + {u_{k + 1}} - d} \right) + 2{u_{k + 1}}} \over 2} \cr 
& = {{k{u_1} + \left( {k + 1} \right){u_{k + 1}} + {u_{k + 1}} - kd} \over 2} \cr 
& = {{k{u_1} + \left( {k + 1} \right){u_{k + 1}} + {u_1}} \over 2} \cr 
⛄& = {{\left( {k + 1} \right)\left( {{u_1} + {u_{k + 1}}} \right)} \over 2} \cr} \)

Vậy (1) đúng với \(n = k + 1\)Vậy (1) đúng với mọi \(n \in \mathbb N^*\).

Cách khác :

Ta có:\(\eqalign{& \left\{ {\matrix{{{S_n} = {u_1} + {u_2} + ... + {u_{n - 1}} + {u_n}} \cr {{S_n} = {u_n} + {u_{n - 1}} + ... + {u_2} + {u_1}} \cr} } \right. \cr & \Rightarrow 2{S_n} = \left( {{u_1} + {u_n}} \right) + \left( {{u_2} + {u_{n - 1}}} \right) \cr&+ ... + \left( {{u_{n - 1}} + {u_2}} \right) + \left( {{u_n} + {u_1}}\right) \cr} \) Mà \({u_1} + {u_n}= {u_2} + {u_{n - 1}} \)\(= {u_3} + {u_{n - 2}} = ... = {u_n} + {u_1}\)Do đó  \(2{S_n} = n\left( {{u_1} + {u_n}} \right)\)\(\Rightarrow {S_n} = {n \over 2}\left( {{u_1} + {u_n}} \right)\)

ufa999.cc