Khác biệt giữa bản sửa đổi của “Bất đẳng thức trung bình cộng và trung bình nhân”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi |
|||
Dòng 91:
'''Quy nạp:''' Xét''n'' + 1 số thực không âm. Ta có
:<math> (n+1)\mu=\ x_1 + \cdots + x_n + x_{n+1}.\,</math>
Nếu tất cả các số đều bằng ''μ'', thì ta có đẳng thức và coi như xong. Ngược lại ta sẽ tìm được ít nhất một số nhỏ hơn ''μ'' và một số lớn hơn ''μ'', không mất tính tổng quát, xem rằng ''x<sub>n</sub>'' > ''μ'' và ''x''<sub>''n''+1</sub> < ''μ''.
:<math>(x_n-\mu)(\mu-x_{n+1})>0\,.\qquad(*)</math>
:<math>x_1, \ldots, x_{n-1}, x_n'</math>
cũng là số không âm. Từ đó
:<math>n\mu=x_1 + \cdots + x_{n-1} + \underbrace{x_n+x_{n+1}-\mu}_{=\,x_n'},</math>
''μ''
:<math>\mu^{n+1}=\mu^n\cdot\mu\ge x_1x_2 \cdots x_{n-1} x_n'\mu.\qquad(**)</math>
:<math>(\underbrace{x_n+x_{n+1}-\mu}_{=\,x_n'})\mu-x_nx_{n+1}=(x_n-\mu)(\mu-x_{n+1})>0,</math>
hay là
:<math>x_n'\mu>x_nx_{n+1}\,,\qquad({*}{*}{*})</math>
:<math>\mu^{n+1}>x_1x_2 \cdots x_{n-1} x_nx_{n+1}\,,</math>
bất đẳng thức được chứng minh.
==Chứng mình của Pólya==
|