Chứng minh trực tiếp: đi từ giả thiết tới kết luận qua ví dụ số chẵn, số lẻ
Chứng minh trực tiếp là kỹ thuật nền của mọi chứng minh: viết lại giả thiết bằng định nghĩa, biến đổi từng bước, chia trường hợp khi cần.
Chứng minh trực tiếp, phản chứng, quy nạp, phản ví dụ; đọc một chứng minh; viết chứng minh rõ ràng; dùng AI kiểm chứng minh (và chỗ AI hay sai); thói quen tư duy toán.
Chứng minh trực tiếp là kỹ thuật nền của mọi chứng minh: viết lại giả thiết bằng định nghĩa, biến đổi từng bước, chia trường hợp khi cần.
Phản chứng là giả sử kết luận sai rồi dẫn tới mâu thuẫn. Hiểu qua hai ví dụ kinh điển, cách viết gọn và khi nào không nên dùng nó.
Khung viết chứng minh quy nạp chuẩn, ba ví dụ tính tay, quy nạp mạnh, và vì sao "mọi con ngựa cùng màu" là chứng minh sai dù trông hợp lệ.
Một phản ví dụ đủ bác bỏ mệnh đề với mọi. Cách phủ định lượng từ, nơi hay giấu phản ví dụ, và những giả thuyết nổi tiếng từng bị lật bởi một số.
Phân biệt mệnh đề đảo, phản, phản đảo; hiểu điều kiện cần, điều kiện đủ, khi và chỉ khi; chứng minh bằng phản đảo qua ví dụ tính tay.
Đọc chứng minh không giống đọc văn: đoán trước, lấp chỗ "dễ thấy", tìm khung xương, đóng sách viết lại. Kèm hai ví dụ giải tích đọc từng dòng.
Chứng minh đúng mà viết rối vẫn mất điểm. Tám nguyên tắc trình bày, cách chuyển nháp ngược thành bản viết xuôi, dùng ký hiệu suy ra cho đúng.
Chatbot có thể chỉ ra lỗ hổng trong chứng minh, cũng có thể khen một chứng minh sai. Quy trình bảy bước để dùng AI kiểm chứng minh mà vẫn tự hiểu.
Hai cách chứng minh một vật tồn tại, xây dựng và không xây dựng, cùng khuôn chứng minh duy nhất. Ví dụ Dirichlet, giá trị trung gian, ma trận nghịch đảo.
Bốn bước của Pólya và chín thói quen người giỏi toán hay dùng khi kẹt: thử trường hợp nhỏ, đặc biệt hoá, tìm bất biến, làm ngược, nhìn lại lời giải.
Để lại thông tin, chúng tôi sẽ liên hệ trong 24 giờ.