Theory SAT Pencil
Lý thuyết cốt lõi
Phương trình tuyến tính một ẩn
Mục tiêu
Giải phương trình bằng biến đổi tương đương.
Nhận diện one/no/infinitely many solutions.
Diễn giải nghiệm trong context.
Dạng cơ bản
Phương trình tuyến tính một ẩn có thể đưa về hoặc . Mục tiêu là cô lập biến bằng các phép toán tương đương ở hai vế.
Số nghiệm
Kết thúc bằng : một nghiệm.
Kết thúc bằng identity như : vô số nghiệm.
Kết thúc bằng contradiction như : vô nghiệm.
Quy trình SAT
Distribute.
Combine like terms.
Đưa variable terms về một phía.
Đưa constants về phía còn lại.
Chia coefficient và kiểm tra ràng buộc context.
Ví dụ
→ → → .
Nếu rút gọn thành , mọi giá trị hợp domain đều thỏa; nếu thành , vô nghiệm.
Bẫy thường gặp
Sai dấu khi distribute số âm.
Đổi dấu không nhất quán khi chuyển vế.
Chia chỉ một term.
Quên ràng buộc thực tế như quantity không âm.
Takeaway
Giữ hai vế cân bằng và chú ý trường hợp biến mất; đó là nơi SAT thường kiểm tra số nghiệm.