Bài học

Nhận diện tín hiệu: chọn Đại số, Số học hay Bất đẳng thức?

Mục tiêu

Sau bài học này, khi gặp một đề bài HSG KHÔNG nói trước phải dùng công cụ nào, em nhận ra được ba nhóm tín hiệu — Số học, Bất đẳng thức, Đại số — và chọn đúng hướng đi đầu tiên thay vì thử ngẫu nhiên, tiết kiệm thời gian quý giá trong phòng thi.

Kiến thức nền cần có

Bài học không dạy kỹ thuật mới, mà dạy cách CHỌN kỹ thuật đã học ở các khóa trước trong lộ trình HSG Toán 9: hệ thức Vi-ét và điều kiện có nghiệm (Δ), phân tích nhân tử kiểu “thêm — bớt hằng số” (Simon's Favorite Factoring), và bất đẳng thức AM–GM/Cauchy–Schwarz cùng khái niệm điểm rơi. Nếu em chưa vững một trong ba, hãy ôn lại khóa tương ứng trước.

So với bài toán chuẩn lớp 9

Đề thi vào lớp 10 đại trà luôn NÓI RÕ công cụ: “Áp dụng hệ thức Vi-ét, tính...”, “Chứng minh bất đẳng thức Cô-si cho...”, “Tìm nghiệm nguyên của phương trình...”. Đề HSG thường chỉ đưa ra một câu lệnh trung tính — “Tìm tất cả...”, “Chứng minh rằng...” — không hề gợi ý công cụ. Việc đầu tiên một học sinh giỏi làm không phải là bắt tay giải, mà là ĐỌC TÍN HIỆU trong đề bài để đoán đúng nhánh phương pháp trước khi viết dòng đầu tiên.

Ba nhóm tín hiệu

Tín hiệu Số học: đề có từ khóa “số nguyên”, “số nguyên dương”, “chia hết”, “số nguyên tố”, và phương trình có hai ẩn nguyên không kèm tham số cần biện luận — nhiều khả năng cần phân tích nhân tử rồi xét ước số của một hằng số cụ thể.\n\nTín hiệu Bất đẳng thức: biểu thức đối xứng theo các biến với một tổng, tích, hoặc tổng nghịch đảo CỐ ĐỊNH, và câu hỏi có dạng “giá trị lớn nhất/nhỏ nhất” hoặc dấu $\ge, \le$ cần chứng minh — cần sắp thứ tự các biến (thường dùng giả sử không mất tính tổng quát, viết tắt KMTTQ) hoặc dùng AM–GM/Cauchy–Schwarz với điểm rơi.\n\nTín hiệu Đại số: phương trình/bất phương trình có THAM SỐ $m$ , và câu hỏi gắn với một hệ thức đối xứng của nghiệm ( $x_1+x_2$ , $x_1x_2$ , $x_1^2+x_2^2$ ,…) — gần như chắc chắn cần Vi-ét, và bắt buộc phải kiểm tra điều kiện có nghiệm ( $\Delta \ge 0$ hoặc $\Delta>0$ ) trước khi dùng hệ thức, nếu không lời giải sẽ thiếu chặt chẽ dù đáp số đúng.

**Tín hiệu Số học:** đề có từ khóa “số nguyên”, “số nguyên dương”, “chia hết”, “số nguyên tố”, và phương trình có hai ẩn nguyên không kèm tham số cần biện luận — nhiều khả năng cần phân tích nhân tử rồi xét ước số của một hằng số cụ thể.\n\n**Tín hiệu Bất đẳng thức:** biểu thức đối xứng theo các biến với một tổng, tích, hoặc tổng nghịch đảo CỐ ĐỊNH, và câu hỏi có dạng “giá trị lớn nhất/nhỏ nhất” hoặc dấu $\ge, \le$ cần chứng minh — cần sắp thứ tự các biến (thường dùng giả sử không mất tính tổng quát, viết tắt KMTTQ) hoặc dùng AM–GM/Cauchy–Schwarz với điểm rơi.\n\n**Tín hiệu Đại số:** phương trình/bất phương trình có THAM SỐ $m$, và câu hỏi gắn với một hệ thức đối xứng của nghiệm ($x_1+x_2$, $x_1x_2$, $x_1^2+x_2^2$,…) — gần như chắc chắn cần Vi-ét, và bắt buộc phải kiểm tra điều kiện có nghiệm ($\Delta \ge 0$ hoặc $\Delta>0$) trước khi dùng hệ thức, nếu không lời giải sẽ thiếu chặt chẽ dù đáp số đúng.

Một bài có thể mang nhiều tín hiệu nối tiếp

Ba nhóm tín hiệu trên không loại trừ nhau: một bài toán có thể mở đầu bằng tín hiệu Đại số (có tham số $m$ ), sau khi dùng Vi-ét lại chuyển sang tín hiệu Số học (đòi nghiệm nguyên), rồi kết thúc bằng tín hiệu Bất đẳng thức (đòi giá trị nhỏ nhất). Nhận diện tín hiệu không phải là gán MỘT nhãn duy nhất cho cả bài, mà là nhận ra tín hiệu nào đang chi phối BƯỚC hiện tại.

Ba nhóm tín hiệu trên không loại trừ nhau: một bài toán có thể mở đầu bằng tín hiệu Đại số (có tham số $m$), sau khi dùng Vi-ét lại chuyển sang tín hiệu Số học (đòi nghiệm nguyên), rồi kết thúc bằng tín hiệu Bất đẳng thức (đòi giá trị nhỏ nhất). Nhận diện tín hiệu không phải là gán MỘT nhãn duy nhất cho cả bài, mà là nhận ra tín hiệu nào đang chi phối BƯỚC hiện tại.

Bản đồ chẩn đoán tín hiệu — bước đầu tiên trước khi đặt bút giải bất kỳ bài HSG nào.

Ba bài toán trông giống nhau, ba cách giải khác nhau

Cả ba bài dưới đây đều hỏi về một cặp/giá trị “nguyên” — trông giống hệt nhau ở hình thức — nhưng đòi hỏi ba con đường khác nhau. Đây chính là bài học cốt lõi: hình thức bề ngoài không quyết định phương pháp, cấu trúc bên trong mới quyết định.

Ví dụ

Bài toán 1 — Tín hiệu Số học: phân tích nhân tử

1
Tìm các số nguyên dương $x,y$ thỏa mãn $xy-3x-4y=2$ .
Tìm các số nguyên dương $x,y$ thỏa mãn $xy-3x-4y=2$.
2
Có “số nguyên dương”, không có tham số, không có bất đẳng thức $\Rightarrow$ tín hiệu Số học, hướng đi: đưa vế trái về dạng tích.
Có “số nguyên dương”, không có tham số, không có bất đẳng thức $\Rightarrow$ tín hiệu Số học, hướng đi: đưa vế trái về dạng tích.
3
Ta có $xy-3x-4y=2$ . Theo kỹ thuật thêm — bớt hằng số (SFFT — Simon's Favorite Factoring Trick): vế trái nhóm được nhân tử nếu cộng thêm $12$ vào hai vế, vì $x(y-3)-4(y-3)=xy-3x-4y+12$ . Suy ra $x(y-3)-4(y-3)=2+12=14$ , tức là $(x-4)(y-3)=14$ . (1)
Ta có $xy-3x-4y=2$. Theo kỹ thuật thêm — bớt hằng số (SFFT — Simon's Favorite Factoring Trick): vế trái nhóm được nhân tử nếu cộng thêm $12$ vào hai vế, vì $x(y-3)-4(y-3)=xy-3x-4y+12$. Suy ra $x(y-3)-4(y-3)=2+12=14$, tức là $(x-4)(y-3)=14$. (1)
4
Từ (1), vì $x,y$ nguyên dương nên $x-4$ và $y-3$ là hai số nguyên có tích bằng $14$ — theo tính chất phân tích một số nguyên thành tích hai ước, mỗi cặp ước của $14$ cho đúng một cặp $(x,y)$ . Xét các cặp ước dương: $14=1\cdot14=2\cdot7=7\cdot2=14\cdot1$ . Mặt khác, nếu chọn cặp ước âm thì $y-3<0$ (tức $y<3$ ) kéo theo $x-4$ cũng âm (do tích dương), thử trực tiếp $y\in\{1,2\}$ đều cho $x\le0$ — không thỏa $x$ nguyên dương. Do đó loại toàn bộ nhánh ước âm.
Từ (1), vì $x,y$ nguyên dương nên $x-4$ và $y-3$ là hai số nguyên có tích bằng $14$ — theo tính chất phân tích một số nguyên thành tích hai ước, mỗi cặp ước của $14$ cho đúng một cặp $(x,y)$. Xét các cặp ước dương: $14=1\cdot14=2\cdot7=7\cdot2=14\cdot1$. Mặt khác, nếu chọn cặp ước âm thì $y-3<0$ (tức $y<3$) kéo theo $x-4$ cũng âm (do tích dương), thử trực tiếp $y\in\{1,2\}$ đều cho $x\le0$ — không thỏa $x$ nguyên dương. Do đó loại toàn bộ nhánh ước âm.
5
Từ bốn cặp ước dương ở (1), cộng $4$ vào mỗi ước để ra $x$ và cộng $3$ vào ước tương ứng để ra $y$ . Vậy tập nghiệm nguyên dương là $(x,y)\in\{(5,17);(6,10);(11,5);(18,4)\}$ — cả bốn nghiệm đều suy ra từ đúng MỘT phép phân tích nhân tử (1), không cần công cụ nào khác.
Từ bốn cặp ước dương ở (1), cộng $4$ vào mỗi ước để ra $x$ và cộng $3$ vào ước tương ứng để ra $y$. Vậy tập nghiệm nguyên dương là $(x,y)\in\{(5,17);(6,10);(11,5);(18,4)\}$ — cả bốn nghiệm đều suy ra từ đúng MỘT phép phân tích nhân tử (1), không cần công cụ nào khác.
6
Ghi nhớ: mọi phương trình dạng $xy+ax+by=c$ đưa được về tích $(x+b)(y+a)=c+ab$ bằng đúng thao tác thêm — bớt hằng số này. So với Bài toán 2 và Bài toán 3 ngay sau đây — cùng hỏi về một cặp/giá trị nguyên nhưng không đưa được về dạng tích trực tiếp — em sẽ thấy tín hiệu Số học chỉ đúng khi phương trình KHÔNG có tham số và KHÔNG đòi cực trị; nếu không, phải đổi hướng công cụ.
Ghi nhớ: mọi phương trình dạng $xy+ax+by=c$ đưa được về tích $(x+b)(y+a)=c+ab$ bằng đúng thao tác thêm — bớt hằng số này. So với Bài toán 2 và Bài toán 3 ngay sau đây — cùng hỏi về một cặp/giá trị nguyên nhưng không đưa được về dạng tích trực tiếp — em sẽ thấy tín hiệu Số học chỉ đúng khi phương trình KHÔNG có tham số và KHÔNG đòi cực trị; nếu không, phải đổi hướng công cụ.

Ví dụ

Bài toán 2 — Tín hiệu Bất đẳng thức: sắp thứ tự rồi chặn khoảng

1
Tìm các số nguyên dương $x,y$ thỏa mãn $\dfrac{1}{x}+\dfrac{1}{y}=\dfrac{1}{3}$ .
Tìm các số nguyên dương $x,y$ thỏa mãn $\dfrac{1}{x}+\dfrac{1}{y}=\dfrac{1}{3}$.
2
Tổng hai phân thức đối xứng bằng một hằng số cố định $\dfrac13$ $\Rightarrow$ tín hiệu Bất đẳng thức: cần sắp thứ tự để chặn miền giá trị hữu hạn trước khi xét số học.
Tổng hai phân thức đối xứng bằng một hằng số cố định $\dfrac13$ $\Rightarrow$ tín hiệu Bất đẳng thức: cần sắp thứ tự để chặn miền giá trị hữu hạn trước khi xét số học.
3
Phương trình đối xứng theo $x,y$ (hoán vị $x\leftrightarrow y$ cho cùng nghiệm), nên ta giả sử không mất tính tổng quát (KMTTQ) $x\le y$ . Khi đó $\dfrac1x\ge\dfrac1y$ , suy ra $\dfrac13=\dfrac1x+\dfrac1y\le\dfrac2x$ , tức $x\le6$ . (1) Mặt khác, vì $\dfrac1y>0$ nên $\dfrac1x<\dfrac13$ , suy ra $x>3$ . (2)
Phương trình đối xứng theo $x,y$ (hoán vị $x\leftrightarrow y$ cho cùng nghiệm), nên ta giả sử không mất tính tổng quát (KMTTQ) $x\le y$. Khi đó $\dfrac1x\ge\dfrac1y$, suy ra $\dfrac13=\dfrac1x+\dfrac1y\le\dfrac2x$, tức $x\le6$. (1) Mặt khác, vì $\dfrac1y>0$ nên $\dfrac1x<\dfrac13$, suy ra $x>3$. (2)
4
Kết hợp (1) và (2): $3<x\le6$ , tức $x\in\{4,5,6\}$ . Với $x=4$ : $\dfrac1y=\dfrac13-\dfrac14=\dfrac1{12}\Rightarrow y=12$ . Với $x=5$ : $\dfrac1y=\dfrac2{15}$ , không cho $y$ nguyên — loại. Với $x=6$ : $\dfrac1y=\dfrac16\Rightarrow y=6$ .
Kết hợp (1) và (2): $3<x\le6$, tức $x\in\{4,5,6\}$. Với $x=4$: $\dfrac1y=\dfrac13-\dfrac14=\dfrac1{12}\Rightarrow y=12$. Với $x=5$: $\dfrac1y=\dfrac2{15}$, không cho $y$ nguyên — loại. Với $x=6$: $\dfrac1y=\dfrac16\Rightarrow y=6$.
5
Vậy với $x\le y$ , có hai nghiệm $(x,y)=(4,12)$ và $(6,6)$ ; kể cả hoán vị, tập nghiệm đầy đủ là $(4,12),(12,4),(6,6)$ . Bước chặn khoảng ở (1)–(2) chính là tư duy Bất đẳng thức, dù đề bài là một phương trình chứ không có dấu $\ge$ hay $\le$ tường minh.
Vậy với $x\le y$, có hai nghiệm $(x,y)=(4,12)$ và $(6,6)$; kể cả hoán vị, tập nghiệm đầy đủ là $(4,12),(12,4),(6,6)$. Bước chặn khoảng ở (1)–(2) chính là tư duy Bất đẳng thức, dù đề bài là một phương trình chứ không có dấu $\ge$ hay $\le$ tường minh.
6
Ghi nhớ: khi một phương trình có dạng tổng nghịch đảo (hoặc tổng, tích) đối xứng bằng hằng số, luôn giả sử KMTTQ để chặn biến nhỏ hơn vào một khoảng hữu hạn trước khi thử số — đây là cách Bất đẳng thức biến một bài Số học tưởng vô hạn nghiệm thành hữu hạn trường hợp kiểm tra được.

Ví dụ

Bài toán 3 — Tín hiệu Đại số: Vi-ét kèm điều kiện Δ

1
Cho phương trình $x^2-2(m-1)x+m^2-3m=0$ . Tìm $m$ để phương trình có hai nghiệm phân biệt $x_1,x_2$ thỏa mãn $x_1^2+x_2^2=8$ .
Cho phương trình $x^2-2(m-1)x+m^2-3m=0$. Tìm $m$ để phương trình có hai nghiệm phân biệt $x_1,x_2$ thỏa mãn $x_1^2+x_2^2=8$.
2
Có tham số $m$ và hệ thức đối xứng $x_1^2+x_2^2$ của nghiệm $\Rightarrow$ tín hiệu Đại số: dùng Vi-ét, nhưng phải kiểm tra $\Delta$ trước.
Có tham số $m$ và hệ thức đối xứng $x_1^2+x_2^2$ của nghiệm $\Rightarrow$ tín hiệu Đại số: dùng Vi-ét, nhưng phải kiểm tra $\Delta$ trước.
3
Ta có $\Delta'=(m-1)^2-(m^2-3m)=m^2-2m+1-m^2+3m=m+1$ . Theo điều kiện có hai nghiệm phân biệt của phương trình bậc hai, cần $\Delta'>0\iff m>-1$ . (1) — đây là ĐIỀU KIỆN để phương trình có hai nghiệm phân biệt, phải nêu trước khi dùng Vi-ét, không phải sau.
Ta có $\Delta'=(m-1)^2-(m^2-3m)=m^2-2m+1-m^2+3m=m+1$. Theo điều kiện có hai nghiệm phân biệt của phương trình bậc hai, cần $\Delta'>0\iff m>-1$. (1) — đây là ĐIỀU KIỆN để phương trình có hai nghiệm phân biệt, phải nêu trước khi dùng Vi-ét, không phải sau.
4
Với điều kiện (1) đã đảm bảo phương trình có nghiệm, theo hệ thức Vi-ét: $S=x_1+x_2=2(m-1)$ , $P=x_1x_2=m^2-3m$ . Ta có $x_1^2+x_2^2=S^2-2P=4(m-1)^2-2(m^2-3m)=2m^2-2m+4$ . (2)
Với điều kiện (1) đã đảm bảo phương trình có nghiệm, theo hệ thức Vi-ét: $S=x_1+x_2=2(m-1)$, $P=x_1x_2=m^2-3m$. Ta có $x_1^2+x_2^2=S^2-2P=4(m-1)^2-2(m^2-3m)=2m^2-2m+4$. (2)
5
Theo giả thiết $x_1^2+x_2^2=8$ , kết hợp (2): $2m^2-2m+4=8\iff m^2-m-2=0\iff(m-2)(m+1)=0\iff m=2$ hoặc $m=-1$ .
Theo giả thiết $x_1^2+x_2^2=8$, kết hợp (2): $2m^2-2m+4=8\iff m^2-m-2=0\iff(m-2)(m+1)=0\iff m=2$ hoặc $m=-1$.
6
Đối chiếu với điều kiện (1) là $m>-1$ : loại $m=-1$ (khi đó $\Delta'=0$ , phương trình có nghiệm kép chứ không phải hai nghiệm phân biệt — không TMĐK). Vậy $m=2$ là đáp số duy nhất — bỏ bước đối chiếu (1) ở đây là lỗi phổ biến nhất của dạng toán Vi-ét, vì phép biến đổi đại số có thể cho một nghiệm $m$ đúng về số nhưng sai về điều kiện hình học của nghiệm.
Đối chiếu với điều kiện (1) là $m>-1$: loại $m=-1$ (khi đó $\Delta'=0$, phương trình có nghiệm kép chứ không phải hai nghiệm phân biệt — không TMĐK). Vậy $m=2$ là đáp số duy nhất — bỏ bước đối chiếu (1) ở đây là lỗi phổ biến nhất của dạng toán Vi-ét, vì phép biến đổi đại số có thể cho một nghiệm $m$ đúng về số nhưng sai về điều kiện hình học của nghiệm.
7
Ghi nhớ: mọi bài Vi-ét có tham số đều theo đúng bốn bước — (1) tìm điều kiện có nghiệm, (2) biểu diễn hệ thức đối xứng cần thiết qua $S,P$ , giải theo tham số, rồi đối chiếu lại điều kiện (1). Bỏ một trong bốn bước là nguồn lỗi thường gặp nhất.
Ghi nhớ: mọi bài Vi-ét có tham số đều theo đúng bốn bước — (1) tìm điều kiện có nghiệm, (2) biểu diễn hệ thức đối xứng cần thiết qua $S,P$, giải theo tham số, rồi đối chiếu lại điều kiện (1). Bỏ một trong bốn bước là nguồn lỗi thường gặp nhất.

Bẫy thường gặp

(1) Thấy “số nguyên” là vội vàng thử số mà quên vẫn có thể cần chặn khoảng bằng bất đẳng thức trước (Bài toán 2). (2) Dùng Vi-ét mà quên đối chiếu $\Delta$ ở bước cuối (Bài toán 3). (3) Với phương trình hai ẩn nguyên có nhiều số hạng, quên kiểm tra hằng số cần thêm/bớt khi đưa về dạng tích — sai một dấu là sai toàn bộ tập ước cần xét.

Luyện tập có hướng dẫn

Luyện tập độc lập

Thử thách

Ghi nhớ

Trước khi giải, hãy tự hỏi: đề có tham số không (Đại số)? đề có ràng buộc tổng/tích/nghịch đảo cố định và hỏi cực trị không (Bất đẳng thức)? đề chỉ có ẩn nguyên không tham số, không cực trị không (Số học)? Một bài có thể mang nhiều tín hiệu nối tiếp — khi đó giải theo đúng thứ tự tín hiệu xuất hiện.

Bài học tiếp theo đẩy kỹ năng này lên một bậc: thay vì ba bài tách rời, em sẽ gặp MỘT bài toán nhiều phần mà phần trước mở khóa điều kiện cho phần sau — đúng tinh thần một đề thi HSG thực sự.