Phân tích bình phương S.O.S bằng mapple

Hiện nay hầu như các mảng khác của toán học hầu như đều có phần mềm hỗ trợ riêng BĐT thì rất ít

Mình đang làm một cuốn sách về các phần mềm hỗ trợ chứng minh BĐT 

Các lệnh thường dùng trong wolframalpha.com

WolframAlpha.com là trang web có thể trả lời các câu hỏi của bạn về nhiều lĩnh vực. Tôi là dân Toán nên  trong bài viết này tôi chỉ giới thiều về cách đặt câu hỏi về toán để WolframAlpha trả lời giúp bạn.

WolframAlpha có thể cho các bạn câu trả lời (đáp số) về: giới hạn; đạo hàm; tích phân; nghiệm của phương trình đại số, phương trình vi phân; ...

Tôi xin giới thiệu cho các bạn cách nhập câu hỏi đề tìm câu trả lời từ WolframAlpha:

Đề thi HSG Quốc tế - IMO

Ngày 1 (23/07/2013)

Bài 1. Chứng minh rằng với mọi số nguyên dương $k$ và $n$, tồn tại các số nguyên dương $m_1, m_2, \ldots, m_k$ sao cho \[ 1+\frac{2^k-1}{n}=\left(1+\frac{1}{m_1}\right)\left(1+\frac{1}{m_2}\right)\dots\left(1+\frac{1}{m_k}\right). \]