Cẩm nang sử dụng Prover Studio

DPSY / SOS Prover Studio hỗ trợ chứng minh các bất đẳng thức đại số ba biến ($a, b, c$) bằng hai thuật toán: SOS (phân rã tổng các bình phương) và DPSY (tìm hàm chặn tiếp xúc địa phương $F$).

Quy trình 5 bước cơ bản

1. Mở Studio: Truy cập màn hình làm việc tại /studio.
2. Chọn phương pháp: Chọn nút SOS cho đa thức đối xứng hoặc DPSY cho phân thức hoán vị ở góc trên khung nhập.
3. Nhập biểu thức: Gõ vế đại số cần chứng minh. Hệ thống tự động bao bọc lệnh chuẩn (ví dụ sos(...) hoặc dpsy(...)).
4. Chọn miền xác định (Domain): Chọn positive ($a,b,c > 0$), nonnegative ($a,b,c \ge 0$) hoặc real ($a,b,c \in \mathbb{R}$).
5. Bấm Chứng minh: Nhấn nút Chứng minh (SOS) hoặc Chứng minh (DPSY) (hoặc phím tắt Ctrl+Enter).