Một chương trình nhỏ để kiểm tra bất đẳng thức

  Dựa trên sự "random số" để kiểm tra một phần tính đúng đắn của bất đẳng thức.

Sở dĩ mình nói một phần là vì chương trình tương đối nhỏ gọn nên không hoàn toàn chính xác, nó chỉ giúp ta tăng thêm niềm "hy vọng" vào bất đẳng thức mình đang cố gắng chứng minh.

(In China's language:

根据“随机数”部分检查不等式的正确性。

我说出部分原因是因为程序相对紧凑，因此不完全准确。 它只会帮助我们增加我们试图证明的不平等的“希望”。)

Hướng dẫn sử dụng.

1. Đầu tiên mở Maple lên. Từ giao diện chính của Maple chọn File > New > Worksheet Mode.
   (首先，打开Maple。 在Maple主界面中，选择“文件”>“新建”>“工作表模式”。)
2. Tiếp theo nhập đoạn code sau vào: (接下来输入以下代码)
   
   
   
   
   
3. Nhập bất đẳng thức cần chứng minh (xem chi tiết trong file pdf bên dưới)
   输入要证明的不等式（请参见下面的pdf文件）

Note. Có thể thấy bất đẳng thức 9 không đúng với $a=b=2,c=\dfrac{1}{8}$ nhưng chương trình không thể tìm thấy phản ví dụ.

File pdf. Phần source code trên có thể copy hoặc download từ Github.