Chứng minh hai cột: lập luận Hình học như một nhà toán học
Mệnh đề, lý do. Mệnh đề, lý do. Chứng minh hai cột không phải bài học thuộc — mà là một dạng lập luận. Bài này chỉ các em cách nhận ra khi nào áp dụng quy tắc nào, và ghép chúng thành lập luận hợp lệ.
Chứng minh không phải học thuộc — mà là logic
Chứng minh hai cột khiến học sinh e ngại vì hình thức trông xa lạ. Nhưng bên dưới lớp hình thức đó chính là lối lập luận các em dùng mỗi ngày: cho X, kết luận Y, giải thích lý do. Texas Geometry CBE không yêu cầu các em bịa chứng minh từ đầu — mà yêu cầu xác định lý do đúng cho một bước cho sẵn.
Suy luận diễn dịch vs quy nạp
- Suy luận diễn dịch
- Từ quy tắc tổng quát → kết luận cụ thể. "Mọi hình vuông đều có 4 góc vuông. ABCD là hình vuông ⇒ ABCD có 4 góc vuông." Chứng minh dùng lối suy luận này.
- Suy luận quy nạp
- Từ các ví dụ cụ thể → quy tắc tổng quát. "1, 4, 9, 16 → quy luật là n²." Dùng để đưa ra giả thuyết, không dùng để chứng minh.
Mọi chứng minh hai cột đều dùng suy luận diễn dịch. Các em xuất phát từ dữ kiện đã cho, áp dụng các định lý/tiên đề đã có, và ghép nối tới kết luận. Mỗi dòng đều cần một lý do.
Định dạng
Những lý do hay dùng nhất
- Giả thiết (Given)
- Do đề nêu ra. Điểm xuất phát của mọi chứng minh.
- Tính phản xạ
- Mọi thứ đều đồng nhất với chính nó. AB ≅ AB. Dùng khi hai tam giác chung một cạnh.
- Định lý góc đối đỉnh
- Các góc đối đỉnh (cắt nhau kiểu chữ X) bằng nhau. Hay xuất hiện trong bài "chứng minh tam giác toàn đẳng".
- SSS / SAS / ASA / AAS / HL
- Năm quy tắc toàn đẳng tam giác — lý do trích khi kết luận hai tam giác toàn đẳng.
- CPCTC
- Corresponding Parts of Congruent Triangles are Congruent (các phần tương ứng của tam giác toàn đẳng thì bằng nhau). Dùng sau khi đã chứng minh hai tam giác toàn đẳng — cho phép kết luận cặp cạnh hoặc cặp góc cụ thể bất kỳ bằng nhau.
- Định nghĩa [hình/khái niệm]
- Ví dụ, "định nghĩa trung điểm" → đoạn thẳng bị chia thành hai phần bằng nhau.
Chiến lược
Nhìn điều cần chứng minh trước. Tự hỏi: "Quy tắc nào cho ra kết luận đó?" Rồi hỏi tiếp: "Ta cần chuẩn bị gì để dùng quy tắc ấy?" Ngược từ mục tiêu về, chuỗi bước sẽ hiện ra.
Những lý do không chứng minh được toàn đẳng
Ba góc bằng nhau (AAA) chỉ chứng minh đồng dạng, không phải toàn đẳng. Hai cạnh + góc không xen giữa (SSA) là "trường hợp mơ hồ", có thể sinh ra hai tam giác khác nhau. Cả hai đều là bẫy CBE.
Tóm tắt 3 giây
- Chứng minh hai cột dùng suy luận diễn dịch (tổng quát → cụ thể).
- Trái = mệnh đề; phải = lý do. Mọi bước đều cần lý do.
- Lý do thường gặp: Giả thiết, Phản xạ, Góc đối đỉnh, SSS/SAS/ASA/AAS/HL, CPCTC.
- CPCTC luôn xuất hiện sau khi đã chứng minh hai tam giác toàn đẳng.
- Lùi từ mục tiêu để tìm mắt xích.