Máy tính đại số, thường gọi tắt là CAS, là loại phần mềm biến đổi biểu thức toán theo đúng luật đại số: rút gọn, khai triển, đạo hàm, tìm nguyên hàm, giải phương trình và hệ, tính giới hạn, làm việc với ma trận bằng ký hiệu chứ không chỉ bằng số. Khác chatbot, nó không đoán chữ mà thực thi quy tắc, nên phần tính toán đáng tin hơn nhiều. Nhưng nó có những bẫy riêng mà người mới dùng hay dính.
Bài này dành cho sinh viên năm nhất, năm hai và người học lại toán, nói về CAS như một loại công cụ chứ không quảng cáo phần mềm nào. Nhiều chương trình miễn phí, nhiều thư viện trong các ngôn ngữ lập trình, và cả một số máy tính cầm tay đời mới đều có chức năng này; tên lệnh và cách gõ khác nhau, nên khi dùng cụ thể hãy đọc tài liệu của phiên bản bạn đang có.
CAS khác máy tính cầm tay và khác chatbot thế nào
Máy tính cầm tay thông thường làm việc với số: bạn nhập 2 chia 3, nó trả 0,6666667. Máy tính đại số làm việc với ký hiệu: bạn nhập 2 chia 3, nó giữ nguyên phân số hai phần ba; bạn nhập đạo hàm của x mũ 3 nhân sin x, nó trả 3x bình phương nhân sin x cộng x mũ 3 nhân cos x, đúng như quy tắc tích. Kết quả là một biểu thức chính xác, không phải một số xấp xỉ.
Chatbot thì khác cả hai: nó viết ra câu trả lời bằng cách sinh văn bản. Một số chatbot gọi CAS hoặc chạy mã ở phía sau, nhưng bạn không phải lúc nào cũng biết. Khi bạn tự dùng CAS, bạn biết chắc phép tính được thực hiện bởi một bộ quy tắc, và có thể lặp lại y hệt.
Điều CAS không làm được là giải thích vì sao. Nó trả kết quả, đôi khi kèm vài bước, nhưng không cho bạn biết nên chọn cách đổi biến nào hay vì sao bài này cần tích phân từng phần. Vì vậy cách dùng hợp lý là kết hợp: tự nghĩ hướng giải hoặc hỏi gợi ý, rồi dùng CAS để kiểm phần biến đổi dài dòng.
Việc nên giao cho CAS khi học
Một số việc mà CAS giúp tiết kiệm thời gian rõ rệt, đồng thời không lấy mất phần tư duy của bạn:
- Kiểm kết quả rút gọn hay khai triển dài, ví dụ khai triển (x cộng 1) mũ 6 để so với khai triển nhị thức bạn tự làm.
- Kiểm nguyên hàm bạn tìm được bằng cách cho CAS đạo hàm lại, hoặc cho nó tính hiệu giữa đáp số của bạn và đáp số của nó rồi rút gọn.
- Tính định thức, ma trận nghịch đảo, trị riêng của ma trận 3 hàng 3 cột trở lên, nơi tính tay rất dễ nhầm dấu.
- Giải hệ phương trình có tham số để thấy nghiệm phụ thuộc tham số ra sao, rồi tự lý giải các trường hợp đặc biệt.
- Khai triển Taylor vài số hạng đầu để so với khai triển bạn tự làm, và để thấy xấp xỉ tốt đến đâu.
- Tính các tổng hữu hạn, giới hạn của dãy để đoán quy luật trước khi chứng minh.
Việc không nên giao: những bài mà mục tiêu môn học là chính kỹ năng biến đổi bằng tay, nhất là trong tuần đầu học một kỹ thuật mới. Tự làm vài bài trước, dùng CAS để kiểm sau, rồi mới dần giao phần lặp lại cho máy.
Bẫy thứ nhất: giả định ngầm về biến
Căn của x bình phương. Nhiều CAS không rút gọn căn bậc hai của x bình phương thành x, và đó là đúng, vì kết quả thật là giá trị tuyệt đối của x khi x là số thực. Nếu bạn khai báo x dương, CAS mới trả x. Người mới hay nghĩ phần mềm "không biết rút gọn", trong khi thật ra nó đang cẩn thận hơn mình.
Logarit của một tích. Logarit của a nhân b bằng logarit a cộng logarit b chỉ khi a và b dương. CAS thường không tự tách nếu không biết dấu của biến, hoặc tách kèm điều kiện. Khi kết quả trông "chưa gọn", hãy thử khai báo miền của biến rồi rút gọn lại.
Biến là số thực hay số phức. Mặc định nhiều CAS coi biến là số phức. Điều này ảnh hưởng tới căn, logarit, luỹ thừa với số mũ không nguyên. Học giải tích thực mà để mặc định số phức thì đôi khi nhận kết quả khó hiểu; khai báo biến là số thực sẽ giúp kết quả sát với giáo trình.
Tham số bằng 0. Khi giải hệ có tham số, CAS thường trả nghiệm "tổng quát", chia cho tham số mà không tách riêng trường hợp tham số bằng 0. Bạn phải tự xét trường hợp đó. Đây chính là chỗ bài thi hay hỏi.
Bẫy thứ hai: nhiều nghiệm, nhiều nhánh và kết quả khác dạng
Giải phương trình x mũ 3 bằng 8 trên tập số thực chỉ có x bằng 2. Nhưng nếu CAS làm việc trên số phức, nó trả ba nghiệm: 2, trừ 1 cộng i nhân căn 3, và trừ 1 trừ i nhân căn 3. Cả ba đều đúng; vấn đề là bạn cần biết mình đang hỏi trên tập nào và lọc kết quả theo đó. Với phương trình lượng giác, CAS có thể chỉ trả một nghiệm chính, hoặc trả họ nghiệm kèm một tham số nguyên; đọc kỹ ký hiệu nó dùng.
Kết quả khác dạng là điều làm sinh viên lo lắng nhất. Ví dụ nguyên hàm của sin x nhân cos x: bạn có thể ra sin bình phương x chia 2, CAS ra trừ cos bình phương x chia 2, một bạn khác ra trừ cos 2x chia 4. Cả ba đều đúng. Hai dạng đầu chênh nhau đúng một phần hai, vì sin bình phương cộng cos bình phương bằng 1; dạng đầu và dạng thứ ba chênh nhau một phần tư. Chênh một hằng số thì đều là nguyên hàm.
Cách kiểm hai biểu thức có bằng nhau không: cho CAS tính hiệu rồi rút gọn. Nếu ra 0, chúng bằng nhau. Nếu ra một hằng số, với nguyên hàm thì vẫn chấp nhận được. Nếu CAS không rút gọn nổi, thử thay vài giá trị số ngẫu nhiên vào hiệu: ra cùng một số mỗi lần thì nhiều khả năng là hằng số. Đây là kỹ năng dùng được cả khi so đáp án với sách.
Bẫy thứ ba: số chính xác và số dấu phẩy động
Phần lớn CAS có hai chế độ: tính chính xác bằng ký hiệu, và tính xấp xỉ bằng số thực dấu phẩy động. Lẫn hai chế độ là nguồn lỗi âm thầm.
| Tình huống | Chế độ chính xác | Chế độ xấp xỉ |
|---|---|---|
| Một phần ba cộng một phần ba cộng một phần ba | Ra đúng 1 | Có thể ra 0,9999999 hoặc 1 tuỳ cách làm tròn |
| 0,1 cộng 0,2 so với 0,3 | Nếu nhập dưới dạng phân số thì bằng nhau | Trong số dấu phẩy động nhị phân, hai bên lệch nhau một lượng rất nhỏ nên phép so sánh bằng có thể trả sai |
| Định thức ma trận gần suy biến | Ra đúng 0 nếu ma trận suy biến | Có thể ra một số rất nhỏ như một phần nghìn tỷ, dễ bị đọc nhầm là khác 0 |
| Giải phương trình bậc cao | Có khi không có công thức nghiệm, trả về dạng ẩn | Trả nghiệm số, đủ dùng cho ứng dụng |
| Tích phân không có nguyên hàm sơ cấp | Trả về hàm đặc biệt hoặc giữ nguyên dấu tích phân | Trả một số xấp xỉ |
Mẹo nhỏ: khi nhập số thập phân như 0,5, nhiều CAS tự chuyển sang chế độ xấp xỉ cho cả biểu thức. Muốn tính chính xác, hãy nhập phân số một phần hai. Khi thấy kết quả có rất nhiều chữ số thập phân trong một bài đáng ra phải ra số đẹp, nghĩ ngay tới chuyện lẫn chế độ.
Cách tập dùng CAS trong một học kỳ
Nếu bạn chưa dùng CAS bao giờ, lộ trình dưới đây giúp làm quen mà không biến nó thành cái nạng:
- Tuần đầu, dùng CAS như máy tính bỏ túi thông minh: rút gọn, khai triển, tính phân số. Mục tiêu là quen cách gõ và cách đọc kết quả.
- Khi học đạo hàm và nguyên hàm, tự làm trước, dùng CAS để đạo hàm lại hoặc tính hiệu giữa đáp số của bạn và của nó.
- Khi học đại số tuyến tính, tính tay ma trận 2 hàng 2 cột, dùng CAS cho ma trận lớn hơn; mỗi lần thử đổi một phần tử để xem định thức, hạng thay đổi thế nào.
- Tập khai báo giả thiết cho biến: dương, thực, nguyên. So kết quả trước và sau khai báo để hiểu vì sao nó khác.
- Cuối kỳ, khi ôn, dùng CAS để tự kiểm hàng loạt bài tập luyện thêm, dồn thời gian cho phần lập luận mà máy không làm hộ được.
Trong phòng thi, hầu hết các môn cơ bản không cho dùng CAS hay máy tính có chức năng ký hiệu. Kiểm tra quy chế từng môn; nếu không được dùng, kỹ năng tính tay phải đủ vững từ trước.
Kết hợp CAS với chatbot một cách có ích
Một cách làm hợp lý là để chatbot giải thích ý tưởng và để CAS kiểm phần tính toán. Ví dụ bạn hỏi chatbot: "Tích phân này nên đổi biến thế nào? Chỉ nói hướng, không cần tính." Sau khi tự làm theo hướng đó, bạn đưa đáp số vào CAS để đạo hàm lại. Như vậy mỗi công cụ làm đúng việc nó giỏi.
Ngược lại cũng được: khi CAS trả một kết quả có hàm lạ hoặc ký hiệu không quen, bạn hỏi chatbot ký hiệu đó nghĩa là gì, xuất hiện vì sao. Phần giải nghĩa này chatbot làm khá tốt, miễn là bạn vẫn đối chiếu với tài liệu chính thức của phần mềm hoặc giáo trình.
Khi hỏi, chỉ đưa phần toán. Nếu bài nằm trong một tệp có tên bạn, tên lớp, hay đề kiểm tra chưa công bố, đừng dán nguyên tệp; chép riêng biểu thức cần hỏi. Thói quen nhỏ này giữ thông tin cá nhân của bạn và tài liệu nội bộ của lớp không đi lung tung.
Câu hỏi thường gặp
CAS có thay được việc học biến đổi bằng tay không?
Không. Bài thi đa số không cho dùng, và quan trọng hơn, không hiểu biến đổi thì không đọc được kết quả CAS trả về, không nhận ra khi nó cần thêm giả thiết. CAS hữu ích nhất khi bạn đã biết làm và muốn kiểm nhanh hoặc làm phần tính dài.
Vì sao CAS không rút gọn được biểu thức mà mình thấy rõ ràng là gọn hơn?
Thường vì phép rút gọn đó chỉ đúng với một miền giá trị, ví dụ biến phải dương. CAS không tự giả định điều đó. Hãy khai báo giả thiết cho biến, hoặc dùng lệnh rút gọn mạnh hơn, rồi so lại kết quả.
Đáp số của mình khác CAS thì ai sai?
Chưa chắc ai sai. Cho CAS tính hiệu giữa hai biểu thức rồi rút gọn; ra 0 thì bằng nhau, ra hằng số thì với nguyên hàm vẫn chấp nhận được. Nếu ra một biểu thức chứa biến, thay vài giá trị để tìm xem bên nào lệch với đề gốc.
Có nên học lập trình để dùng CAS dạng thư viện không?
Nếu bạn định học tiếp dữ liệu, kỹ thuật hay AI thì nên, vì thư viện tính toán ký hiệu trong ngôn ngữ lập trình cho phép tự động hoá việc kiểm hàng loạt. Nếu chỉ cần qua môn cơ bản, một chương trình có giao diện là đủ.
CAS có tính sai bao giờ không?
Hiếm nhưng có, nhất là với giới hạn phức tạp, tích phân có điểm kỳ dị hoặc khi lẫn chế độ chính xác và xấp xỉ. Lỗi người dùng phổ biến hơn nhiều: gõ sai ngoặc, quên khai báo miền biến. Vẫn nên kiểm bằng một cách độc lập với bài quan trọng.