Chứng minh BĐT bằng phương pháp AM-GM với sự trợ giúp của máy tính.
Đây là bài viết ngắn, giới thiệu một chút về PP. AM-GM với sự trợ giúp của máy vi tính, vì vẫn còn thử nghiệm và còn nhiều lỗi nên mình chưa thể công bố chi tiết code. Mình vẫn đang phát triển code để giải được bất đẳng thức với nhiều dấu đẳng thức và bất đẳng thức $3$ biến không thuần nhất. Hiện tại vẫn chưa có ý tưởng nào để viết tiếp

Với $a_1,a_2,..a_\text{n}$ không âm và $x_1,x_2,...,x_\text{n}$ là các số thực dương có tổng bằng $1$ thì$$x_1 a_1 +x_2 a_2 +\cdots +x_\text{n} a_\text{n} \geqslant a_{1}^{x_{1}}a_{2}^{x_{2}}\cdots a_{n}^{x_{\text{n}}} $$
Bài viết gốc: https://artofproblem...gm_testing_tool
Bài viết đã được chỉnh sửa nội dung bởi tthnew: 30-08-2020 - 06:18