Bí quyết nghịch đảo: từ tổng bằng không đến lập phương chia hết
Chuyên đề tư duy THCS: biến điều kiện bình phương nghịch đảo thành tổng bằng không, tham số hóa đầy đủ các bộ số hợp lệ, dùng đẳng thức lập phương và tính…
LUKATO BÍ QUYẾT TƯ DUY TOÁN
Bí quyết nghịch đảo: từ tổng bằng không đến lập phương chia hết
Bóc cấu trúc bình phương, tạo bộ số nguyên và chứng minh tính chia hết bằng hai con đường
8 phần học sâu 3 thí nghiệm tương tác 14 câu tự kiểm tra
Học theo thứ tự, dự đoán rồi mới thử. Mỗi kết luận đều có điều kiện.
01
Nhìn xuyên lớp vỏ phân số
Có những bài toán số nguyên được khoác áo phân số. Nếu chỉ nhìn các mẫu số, ta dễ nghĩ đến quy đồng rất dài. Nhưng một đẳng thức bình phương có thể đang giấu một thông tin đơn giản hơn nhiều: tổng của ba số nguyên bằng không. Bài học này giúp bạn nhận ra thông tin ấy, chứng minh hai chiều và dùng nó để giải thích tính chia hết của tổng các lập phương.
Nhân vật chính là ba số nguyên a,b,c, mỗi số đều khác không, thỏa mãn điều kiện sau:
\left(\frac1a+\frac1b+\frac1c\right)^2=\frac1{a^2}+\frac1{b^2}+\frac1{c^2}.
Ta sẽ chứng minh rằng điều kiện này tương đương với a+b+c=0. Khi đó, không cần tính từng lập phương lớn, ta có ngay a^3+b^3+c^3=3abc. Vì trong ba số có ít nhất một số chẵn, vế phải chia hết cho 6. Một điều kiện về nghịch đảo đã trở thành một kết luận về tính chia hết.
Nhìn đúng cấu trúc
Hai vế có cùng ba bình phương. Thông tin mới nằm ở các tích chéo, không nằm ở các bình phương đã giống nhau.
Giữ đúng điều kiện
Ba mẫu số khác không. Tính nguyên chỉ được dùng khi bàn về chẵn, lẻ và chia hết; phép biến đổi đại số ban đầu còn đúng với số thực khác không.
Kết luận mạnh hơn
Từ điều kiện đã cho, tổng lập phương chia hết cho 3, và thực ra luôn chia hết cho 6. Không được nâng tiếp lên 12 nếu chưa có giả thiết bổ sung.
Trước khi bắt đầu. Bạn cần biết khai triển bình phương của một tổng, quy đồng phân số và khái niệm chia hết của số nguyên. Không cần công thức giải phương trình bậc ba. Ba phòng thí nghiệm giúp kiểm tra cấu trúc bằng các bộ số nhỏ, nhưng việc chứng minh vẫn phải bao quát mọi bộ số thỏa mãn giả thiết.
Câu hỏi định hướng
Nếu a=2, b=5, nên chọn c bằng bao nhiêu để điều kiện nghịch đảo đúng? Nếu một bộ số không thỏa mãn điều kiện nhưng tổng lập phương vẫn chia hết cho 6, có mâu thuẫn hay không? Hãy giữ hai câu hỏi này trong đầu: câu thứ nhất kiểm tra phép biến đổi tương đương, câu thứ hai kiểm tra chiều của suy luận.
02
Giải mã điều kiện và chứng minh hai chiều
Đặt u=1/a, v=1/b, w=1/c. Công thức khai triển không có gì đặc biệt, nhưng cách đọc nó rất quan trọng:
(u+v+w)^2=u^2+v^2+w^2+2uv+2vw+2wu.
Vì ba bình phương ở hai vế giống nhau, đẳng thức đã cho đúng khi và chỉ khi tổng các tích chéo bằng không:
2\left(\frac1{ab}+\frac1{bc}+\frac1{ca}\right)=0.
Chia cả hai vế cho 2, rồi quy đồng với mẫu chung abc. Tử số của 1/(ab) là c, của 1/(bc) là a, và của 1/(ca) là b. Vì thế:
\frac1{ab}+\frac1{bc}+\frac1{ca}=\frac{a+b+c}{abc}.
Do abc\ne0, phân số này bằng không khi và chỉ khi tử số bằng không. Ta thu được một chuỗi tương đương hoàn chỉnh:
\left(\frac1a+\frac1b+\frac1c\right)^2=\frac1{a^2}+\frac1{b^2}+\frac1{c^2}\iff \frac{a+b+c}{abc}=0\iff a+b+c=0.
Tại sao phải viết hai chiều? Chiều thuận cho phép khai thác giả thiết. Chiều ngược cho phép xây dựng mọi bộ số phù hợp: cứ chọn hai số nguyên a,b sao cho a\ne0, b\ne0, a+b\ne0, rồi đặt c=-a-b. Như vậy, bộ số vừa có tổng bằng không vừa có ba mẫu số hợp lệ. Không có bộ nào bị bỏ sót.
(a,b,c)=(r,s,-r-s),\qquad r,s\in\mathbb Z,\quad rs(r+s)\ne0.
Điều kiện r+s\ne0 không phải chi tiết phụ. Nếu chọn r=4, s=-4, ta được c=0; đẳng thức nghịch đảo không còn được xác định. Tổng bằng không một mình không đủ để làm hợp lệ một biểu thức có mẫu số.
Từ tổng bằng không đến tổng lập phương
Công thức phân tích sau cho ta một con đường ngắn và đầy đủ:
a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).
Khi a+b+c=0, nhân tử thứ nhất bằng không. Vì vậy:
a^3+b^3+c^3=3abc.
Bạn cũng có thể chứng minh trực tiếp bằng cách thay c=-a-b. Đây là cách kiểm tra độc lập, không cần nhớ công thức phân tích:
a^3+b^3+(-a-b)^3=a^3+b^3-(a+b)^3=-3ab(a+b)=3abc.
Chú ý dấu của lập phương: (-a-b)^3=-(a+b)^3, vì số mũ là số lẻ. Nếu nhầm thành dấu cộng, cả kết luận về tổng lập phương sẽ sai.
Vì sao kết luận chia hết cho 6 luôn đúng?
Tích 3abc hiển nhiên chia hết cho 3. Còn thừa số 2 đến từ tính chẵn lẻ. Nếu cả a,b,c đều lẻ, tổng của ba số lẻ là số lẻ, không thể bằng không. Vậy ít nhất một số là chẵn; suy ra abc chẵn. Do đó tồn tại một số nguyên k sao cho abc=2k, và:
a^3+b^3+c^3=3abc=6k.
Lập luận này đúng cả khi có số âm. Chẳng hạn -84 chia hết cho 6, vì -84=6(-14). Khái niệm chia hết không đòi số bị chia phải dương.
Một cách nhìn đồng dư để tự kiểm tra
Với mọi số nguyên t, ta có t^3\equiv t\pmod3 và t^3\equiv t\pmod2. Điều thứ nhất có thể kiểm tra bằng ba lớp dư 0,1,2; điều thứ hai chỉ nói lập phương giữ nguyên tính chẵn lẻ. Kết hợp hai tính chất, t^3\equiv t\pmod6. Vì vậy:
a^3+b^3+c^3\equiv a+b+c\equiv0\pmod6.
Ở đây, đồng dư là cách giải thích bước cuối, không thay thế cho bước nhận diện cấu trúc nghịch đảo. Cốt lõi của bài học là biến một điều kiện khó đọc thành một tổng tuyến tính dễ dùng.
Ranh giới của kết luận
Chiều suy luận đúng là: điều kiện nghịch đảo hợp lệ suy ra tổng bằng không, rồi suy ra tổng lập phương chia hết cho 6. Chiều ngược từ chia hết cho 6 về điều kiện nghịch đảo không đúng. Bộ (1,1,4) có tổng lập phương 66, chia hết cho 6, nhưng tổng ba số là 6, nên không thỏa mãn điều kiện ban đầu.
03
Tám bí quyết giữ lời giải ngắn mà chặt
01
Đọc phần dư sau khi khử các bình phương
Quy tắc. Với đẳng thức bình phương của tổng bằng tổng các bình phương, khai triển rồi giữ lại tổng các tích chéo.
Vì sao đúng? Hai vế đã có các bình phương giống nhau; phần chênh lệch chỉ còn 2(uv+vw+wu). Nhìn vào phần chênh lệch giúp tránh quy đồng một biểu thức lớn không cần thiết.
Điều kiện. Cần đúng cấu trúc (u+v+w)^2=u^2+v^2+w^2, với mọi biểu thức đều được xác định.
Khi nào không dùng được? Không được suy ra từng tích uv,vw,wu đều bằng không. Các tích có thể trái dấu và triệt tiêu nhau; chỉ tổng của chúng bằng không.
02
Nhân tử chung là tích của ba mẫu số
Quy tắc. Đổi 1/(ab)+1/(bc)+1/(ca) thành (a+b+c)/(abc).
Vì sao đúng? Mỗi phân số thiếu đúng một thừa số để có mẫu abc, nên tử số mới chính là thừa số còn thiếu. Ba tử số cộng lại tạo ra tổng a+b+c.
Điều kiện. Phải có a\ne0, b\ne0, c\ne0. Mẫu chung có thể âm; quy đồng vẫn đúng.
Khi nào không dùng được? Không sử dụng phép nhân với mẫu số bằng không. Nếu một biến bằng không, biểu thức nghịch đảo không xác định, dù phương trình tổng vẫn có thể đúng.
03
Phân biệt tính thực và tính nguyên
Quy tắc. Tách hai phần: đại số trên các số thực khác không, rồi số học khi các biến là số nguyên.
Vì sao đúng? Tương đương với tổng bằng không và đẳng thức lập phương không cần tính nguyên. Nhưng lời nói chia hết cho 6, chẵn hay lẻ cần có các số nguyên.
Điều kiện. Khi kết luận về chia hết, phải kiểm tra giả thiết thuộc \mathbb Z, không chỉ khác không.
Khi nào không dùng được? Bộ (1/2,1/2,-1) có tổng bằng không và thỏa mãn điều kiện nghịch đảo, nhưng tổng lập phương là -3/4, không phải số nguyên để áp dụng kết luận chia hết như trên.
04
Tham số hóa để không bỏ sót bộ nghiệm
Quy tắc. Chọn a=r, b=s, c=-r-s, với rs(r+s)\ne0.
Vì sao đúng? Mọi bộ có tổng bằng không đều có biến thứ ba bằng đối của tổng hai biến đầu. Cách viết này vừa tạo bộ số vừa mô tả toàn bộ họ nghiệm.
Điều kiện. Các tham số r,s là số nguyên; r, s và r+s phải khác không.
Khi nào không dùng được? Chọn s=-r tạo mẫu số bằng không. Không loại nhầm các bộ có hai số bằng nhau: (2,2,-4) hoàn toàn hợp lệ.
05
Dùng tổng bằng không để mở khóa lập phương
Quy tắc. Khi a+b+c=0, viết ngay a^3+b^3+c^3=3abc.
Vì sao đúng? Hiệu của hai vế có nhân tử a+b+c; hoặc thay c=-a-b rồi khai triển, ba lập phương riêng rẽ tự triệt tiêu.
Điều kiện. Phải có tổng bằng không. Đẳng thức này đúng cả với số thực; khi bàn về chia hết thì các số phải nguyên.
Khi nào không dùng được? Không áp dụng chỉ vì thấy có ba lập phương. Với (1,2,3), tổng lập phương là 36, còn 3abc=18, nên hai biểu thức không bằng nhau.
06
Tìm thừa số 2 bằng chẵn lẻ
Quy tắc. Trong ba số nguyên có tổng bằng không, ít nhất một số là chẵn. Do đó 3abc chia hết cho 6.
Vì sao đúng? Ba số lẻ có tổng lẻ, không thể bằng số chẵn là 0. Khi một thừa số chẵn, cả tích chẵn; nhân tiếp với 3 tạo đủ hai thừa số của 6.
Điều kiện. Ba số phải là số nguyên và có tổng bằng không. Số âm cũng có tính chẵn lẻ như số dương.
Khi nào không dùng được? Không suy ra có ít nhất hai số chẵn. Bộ (1,1,-2) chỉ có một số chẵn. Cũng không suy ra tổng lập phương luôn chia hết cho 12.
07
Kiểm tra chiều suy luận bằng phản ví dụ
Quy tắc. Nếu muốn đảo một kết luận, thử tìm bộ số thỏa mãn kết luận nhưng không thỏa mãn giả thiết.
Vì sao đúng? Chia hết cho 6 chỉ là một tính chất số học yếu hơn tổng bằng không. Bộ (1,1,4) có tổng lập phương 66, nhưng không có tổng bằng không.
Điều kiện. Phản ví dụ phải thuộc đúng miền: ba số nguyên khác không, các phép tính phải được xác định.
Khi nào không dùng được? Một phản ví dụ có biến bằng không không đủ để bác bỏ mệnh đề trong miền khác không. Một bộ đúng cũng không đủ để chứng minh mệnh đề cho mọi bộ.
08
Dùng đồng dư để chuyển yêu cầu, không để đoán
Quy tắc. Với số nguyên t, thay t^3 bằng t khi xét phần dư modulo 3 hoặc 6.
Vì sao đúng? Tích t^3-t=t(t-1)(t+1) gồm ba số nguyên liên tiếp nên có một số chia hết cho 3 và một số chẵn. Vì vậy hiệu chia hết cho 6.
Điều kiện. Chỉ được thay trong quan hệ đồng dư. Cần ghi rõ môđun và kết luận phần dư của tổng.
Khi nào không dùng được? Không thay t^3 bằng t trong đẳng thức số thông thường, và không mở rộng tùy tiện sang modulo 4: với t=2, phần dư của t^3 là 0, còn phần dư của t là 2.
Một quy trình bốn câu hỏi
Biểu thức có được xác định không? Phần nào của khai triển thật sự mang thông tin? Phép biến đổi vừa làm có đảo ngược được không? Kết luận cuối đang cần tính nguyên ở bước nào? Nếu trả lời rõ bốn câu này, lời giải ngắn vẫn chặt chẽ và người đọc hiểu được vì sao nó đúng.
04
Ba phòng thí nghiệm cấu trúc số nguyên
Ba thí nghiệm dưới đây tách ba tầng suy luận. Hãy dự đoán trước khi thay số. Tất cả các ô số nguyên được giới hạn từ -20 đến 20; bộ tạo có thể sinh c từ -40 đến 40. Trong phạm vi này, các tích và lập phương đều được tính chính xác bằng số nguyên của JavaScript. Phân số ở thí nghiệm thứ nhất được rút gọn từ tử số và mẫu số nguyên, không kiểm tra bằng so sánh gần đúng.
PHÒNG THÍ NGHIỆM
01. Lột bỏ lớp vỏ nghịch đảo
Thay ba số nguyên và quan sát phần chênh lệch giữa hai vế. Bộ hợp lệ phải có ba mẫu số khác không; đẳng thức đúng khi tử số của phần chênh lệch bằng không.
Số nguyên a Số nguyên b Số nguyên c
Đang chuẩn bị phép kiểm tra chính xác.
Thử trước khi đọc lời giải:
- Giữ a=2, b=5, lần lượt chọn c=-7 và c=-6. Vì sao đẳng thức chỉ đúng ở một bộ?
- Đặt một biến bằng không. Có được nói đẳng thức sai không, hay phải nói biểu thức chưa được xác định?
- Thử (2,2,-4). Hai số bằng nhau có cản trở điều kiện nghịch đảo không?
PHÒNG THÍ NGHIỆM
02. Bản đồ phần dư của lập phương
Chọn môđun và ba lớp dư. Thí nghiệm hiển thị phần dư của tổng và tổng lập phương; modulo 3 và 6, hai phần dư luôn giống nhau. Tổng có phần dư 0 chưa có nghĩa tổng thật sự bằng 0.
Môđun Lớp dư của a Lớp dư của b Lớp dư của c
Đang chuẩn bị bảng phần dư.
Thử trước khi đọc lời giải:
- Chọn các lớp dư 1,1,4 modulo 6. Tổng lập phương có phần dư bao nhiêu? Có thể suy ra a+b+c=0 không?
- Chuyển sang modulo 3, kiểm tra ba lớp dư 0,1,2. Dự đoán trước khi đọc kết quả.
- Giải thích vì sao số âm không cần một bảng lập phương khác: mỗi số âm cũng nằm trong một lớp dư chuẩn.
PHÒNG THÍ NGHIỆM
03. Xưởng tạo bộ số tổng bằng không
Chọn hai số nguyên, biến thứ ba được tạo theo c=-a-b. Thí nghiệm đối chiếu tổng lập phương với ba lần tích; sau đó chỉ ra nguồn gốc của tính chia hết cho 6. Bộ có một biến bằng không vẫn đúng về đẳng thức lập phương nhưng bị loại khỏi bài toán nghịch đảo.
Tham số a Tham số b
Đang chuẩn bị bộ số và đẳng thức lập phương.
Thử trước khi đọc lời giải:
- Tạo bộ (1,1,-2). Tổng lập phương có chia hết cho 12 không?
- Chọn a=5, b=-5. Vì sao máy vẫn kiểm tra được đẳng thức lập phương nhưng không chấp nhận bộ nghịch đảo?
- Thử a=-3, b=-4. So sánh dấu của tổng lập phương với bộ (3,4,-7).
Cách đọc một kết quả thí nghiệm
Nhìn thấy nhiều bộ đúng giúp phát hiện quy luật, nhưng chưa chứng minh quy luật cho mọi số nguyên. Ngược lại, chỉ cần một bộ hợp lệ làm sai một phát biểu phổ quát thì phát biểu ấy đã bị bác bỏ. Khi ghi lời giải, hãy dùng khai triển, phép quy đồng và lập luận chẵn lẻ; thí nghiệm có nhiệm vụ giúp bạn nhìn rõ các bước đó.