∂ [THPT AI LUKATO Masterclass] Đạo Hàm Số Học — Biến Phương Trình Hàm Nhân Tính Thành Cộng Tính Qua Phân Tích Nguyên Tố
Hệ thống 4 kỹ thuật xử lý trọn vẹn lớp phương trình hàm tuân theo quy tắc "đạo hàm tích" f(xy)=xf(y)+yf(x): biến đổi nhân tính thành cộng tính, xác định hàm…
MASTERCLASS · TOÁN THPT · PHƯƠNG TRÌNH HÀM — HSG QUỐC GIA & CHUYÊN TOÁN
Đạo Hàm Số Học — Biến Phương Trình Hàm Nhân Tính Thành Cộng Tính Qua Phân Tích Nguyên Tố
Có một lớp hàm số f:\mathbb{N}^*\to\mathbb{Z} tuân theo đúng "quy tắc đạo hàm tích" f(xy)=xf(y)+yf(x) mà học sinh gặp trong đại số — nhưng biến x,y ở đây là số nguyên dương, không phải hàm khả vi. Đa số học sinh khi gặp dạng phương trình hàm này chỉ mò được vài giá trị nhỏ rồi bế tắc. Bài này trang bị một hệ thống 4 kỹ thuật để xử lý trọn vẹn lớp hàm này: biến phép nhân thành phép cộng (giống ý tưởng lôgarit hóa), xác định hàm hoàn toàn qua giá trị tại số nguyên tố, và một định lý cấu trúc nghiệm dùng tính chia hết để chặn toàn bộ nghiệm — không phải đoán mò. Mọi ví dụ đều có số liệu nguyên bản và được kiểm chứng bằng code trước khi đưa vào bài giảng.
4 kỹ thuật lõi
Từ phép thế đặc biệt tới định lý cấu trúc nghiệm bằng chia hết
100% ví dụ gốc
Không trùng số liệu với bất kỳ đề thi nào
Kiểm chứng bằng code
Mọi công thức và tập nghiệm đối chiếu bằng liệt kê trực tiếp
1. Kỹ thuật 1 — Tìm giá trị đặc biệt bằng phép thế cơ bản
Với mọi phương trình hàm, bước đầu tiên luôn là thế các giá trị đặc biệt (thường là x=y, hoặc x=1) để rút ra thông tin miễn phí trước khi phân tích tổng quát. Với lớp hàm thỏa f(xy)=xf(y)+yf(x), thế x=y=1 cho ngay f(1)=1\cdot f(1)+1\cdot f(1)=2f(1), suy ra f(1)=0 — giá trị này sẽ dùng lại xuyên suốt các bước sau.
Ví dụ nền tảng: Cho f:\mathbb{N}^*\to\mathbb{Z} thỏa f(xy)=xf(y)+yf(x) với mọi x,y\in\mathbb{N}^*. Tính f(1) và suy ra f(x) theo f(x) khi thế y=1 vào hệ thức gốc — hệ thức này có cho thông tin gì mới không?
Thế x=y=1: f(1)=2f(1)\Rightarrow f(1)=0. Thế y=1 (giữ x tùy ý): f(x)=xf(1)+1\cdot f(x)=0+f(x) — đây là một đẳng thức luôn đúng, không cho thông tin mới. Điều này cho thấy: muốn xác định f trên toàn bộ \mathbb{N}^*, phải khai thác cấu trúc nhân của n (phân tích thừa số nguyên tố) chứ không thể chỉ thế giá trị đặc biệt.
2. Kỹ thuật 2 — "Lôgarit hóa" phương trình hàm: biến nhân tính thành cộng tính
Ý tưởng mấu chốt: chia cả hai vế của f(xy)=xf(y)+yf(x) cho tích xy, ta được \dfrac{f(xy)}{xy}=\dfrac{f(x)}{x}+\dfrac{f(y)}{y}. Đặt g(n)=\dfrac{f(n)}{n} (một hàm số hữu tỉ mới), hệ thức trên trở thành g(xy)=g(x)+g(y) — đúng là quy tắc của lôgarit! Đây chính là kỹ thuật "lôgarit hóa": một phương trình hàm nhân tính phức tạp được biến thành một phương trình hàm cộng tính đơn giản hơn nhiều, mà cấu trúc của hàm cộng tính trên \mathbb{N}^* đã được nghiên cứu kỹ (nó hoàn toàn xác định bởi giá trị tại các số nguyên tố — xem Kỹ thuật 3).
Ví dụ nền tảng: Với g(n)=f(n)/n như trên, biết f(2)=1 và f(3)=1. Tính g(6) bằng hai cách: (a) trực tiếp qua f(6); (b) qua tính cộng tính g(6)=g(2)+g(3) — hai cách có khớp nhau không?
Cách (a): f(6)=f(2\cdot3)=2f(3)+3f(2)=2\cdot1+3\cdot1=5, nên g(6)=f(6)/6=5/6.
Cách (b): g(2)=f(2)/2=1/2, g(3)=f(3)/3=1/3, nên g(6)=g(2)+g(3)=1/2+1/3=5/6.
Hai cách cho cùng kết quả 5/6 — xác nhận công thức g(xy)=g(x)+g(y) hoạt động đúng như dự đoán.
3. Kỹ thuật 3 — Xác định hàm cộng tính hoàn toàn qua giá trị tại số nguyên tố
Một khi đã biết g(xy)=g(x)+g(y), viết n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k} (phân tích thừa số nguyên tố), áp dụng tính cộng tính lặp lại: g(n)=\alpha_1 g(p_1)+\alpha_2 g(p_2)+\cdots+\alpha_k g(p_k)=\sum_{i=1}^k \alpha_i g(p_i). Nghĩa là: chỉ cần biết g (hay f) tại các số nguyên tố, ta xác định được g — và do đó f — tại MỌI số nguyên dương. Đây là lý do đề bài luôn cho điều kiện dạng "f(p)=\ldots với mọi số nguyên tố p" — điều kiện đó đã đủ để xác định toàn bộ hàm số.
Ví dụ nền tảng: Biết f(p)=1 với mọi số nguyên tố p (nên g(p)=1/p). Tính f(360).
Phân tích 360=2^3\cdot3^2\cdot5^1. Áp dụng công thức: g(360)=3\cdot g(2)+2\cdot g(3)+1\cdot g(5)=3\cdot\dfrac12+2\cdot\dfrac13+1\cdot\dfrac15=\dfrac32+\dfrac23+\dfrac15.
Quy đồng: \dfrac32+\dfrac23+\dfrac15=\dfrac{45+20+6}{30}=\dfrac{71}{30}. Vậy f(360)=360\cdot g(360)=360\cdot\dfrac{71}{30}=12\cdot71=852.
✅ Đã kiểm chứng bằng code: tính trực tiếp f(360) bằng cách dựng dần từ các thừa số nguyên tố qua đúng quy tắc f(xy)=xf(y)+yf(x) (không dùng công thức tổng quát) cho ra đúng 852 — khớp hoàn toàn với công thức f(n)=n\sum \alpha_i/p_i.
4. Kỹ thuật 4 — Định lý cấu trúc nghiệm: dùng tính chia hết để chặn toàn bộ nghiệm
Đây là kỹ thuật quyết định của cả hệ thống. Giả sử đề bài cho thêm điều kiện g(n)=C với C là một số nguyên dương cho trước (tương đương f(n)=Cn), và n=p_1^{\alpha_1}\cdots p_k^{\alpha_k}. Từ \sum_{i=1}^k \dfrac{\alpha_i}{p_i}=C, nhân cả hai vế với P=\prod_{j=1}^k p_j: \displaystyle\sum_{i=1}^k \alpha_i\prod_{j\ne i}p_j = C\cdot P.
Xét đồng dư modulo p_m (với m bất kỳ trong 1,\ldots,k): mọi số hạng ứng với i\ne m đều chứa thừa số p_m (vì \prod_{j\ne i}p_j chứa p_m khi i\ne m), nên chỉ còn lại số hạng i=m: \alpha_m\prod_{j\ne m}p_j \equiv C\cdot P \equiv 0 \pmod{p_m} (vế phải chia hết cho p_m vì P chứa thừa số p_m). Vì \gcd\left(p_m,\prod_{j\ne m}p_j\right)=1, suy ra p_m \mid \alpha_m — với mọi m .
Vì p_m \mid \alpha_m và \alpha_m là số nguyên dương, viết \alpha_m=b_m p_m với b_m\in\mathbb{N}^*. Thay lại vào \sum \alpha_i/p_i=C: \sum_{i=1}^k \dfrac{b_i p_i}{p_i}=\sum_{i=1}^k b_i = C. Vì mỗi b_i\ge1, tổng k số nguyên dương bằng C buộc \boxed{k\le C}.
Định lý cấu trúc nghiệm: mọi n thỏa f(n)=Cn (với f(p)=1 tại mọi số nguyên tố) có dạng n=p_1^{b_1p_1}p_2^{b_2p_2}\cdots p_k^{b_kp_k}, trong đó p_1 Bẫy thường gặp: Nhiều học sinh dừng lại ở "k\le C" rồi kết luận vội "k=C và mỗi b_i=1" — nhưng định lý cho phép k nhận MỌI giá trị từ 1 đến C, với b_i bất kỳ miễn tổng bằng C. Bỏ sót các trường hợp k Đề bài: Cho hàm số f:\mathbb{N}^*\to\mathbb{Z} thỏa đồng thời hai điều kiện: (i) f(p)=1 với mọi số nguyên tố p; (ii) f(xy)=xf(y)+yf(x) với mọi x,y\in\mathbb{N}^*. Tìm số nguyên dương n nhỏ nhất sao cho n\ge2027 và f(n)=2n.
Bước 1 (Kỹ thuật 1–2): Thế x=y=1 được f(1)=0. Đặt g(n)=f(n)/n, hệ thức (ii) chia cho xy cho g(xy)=g(x)+g(y) — g là hàm cộng tính. Điều kiện cần tìm trở thành g(n)=2.
Bước 2 (Kỹ thuật 3): Với p nguyên tố, g(p)=f(p)/p=1/p. Viết n=p_1^{\alpha_1}\cdots p_k^{\alpha_k}, ta có g(n)=\sum_{i=1}^k \alpha_i/p_i. Điều kiện f(n)=2n tương đương \sum \alpha_i/p_i = 2.
Bước 3 (Kỹ thuật 4): Theo định lý cấu trúc nghiệm với C=2: n=p_1^{b_1p_1}\cdots p_k^{b_kp_k} với k\le2 và b_1+\cdots+b_k=2.
• Trường hợp k=1: b_1=2, n=p_1^{2p_1}. Với p_1=2: n=2^4=16. Với p_1=3: n=3^6=729. Cả hai đều nhỏ hơn 2027. Với p_1=5: n=5^{10}=9\,765\,625 — rất lớn, vượt xa các ứng viên ở trường hợp sau.
• Trường hợp k=2: b_1=b_2=1 (vì 1+1=2 là cách duy nhất chia 2 thành đúng 2 số nguyên dương), nên n=p_1^{p_1}p_2^{p_2} với p_1 Bước 4 — so sánh mọi ứng viên \ge2027: loại 16,\,108,\,729 (đều n = 12\,500 = 2^2\cdot5^5
Kiểm chứng — tính trực tiếp f(12500)
Dựng f từ định nghĩa (không dùng công thức tổng quát) qua chuỗi phép nhân từng thừa số nguyên tố: kết quả f(12500)=25\,000=2\times12\,500 — khớp chính xác điều kiện đề bài.
Kiểm chứng — quét toàn bộ n\le20\,000
Liệt kê bằng code mọi n từ 1 đến 20\,000 thỏa f(n)=2n: tập nghiệm đúng bằng \{16,\,108,\,729,\,12\,500\} — không sót giá trị nào, và 12\,500 đúng là số nhỏ nhất trong tập đó lớn hơn hoặc bằng 2027.
6. Bài tự luyện — biến thể khác trên cùng hệ thống 4 kỹ thuật
Cùng hàm f thỏa (i) f(p)=1 với mọi số nguyên tố p và (ii) f(xy)=xf(y)+yf(x), nhưng đổi hằng số C và ngưỡng chặn dưới. Hãy tự áp dụng đúng 4 kỹ thuật trước khi xem đáp án.
Đề bài: Tìm số nguyên dương n nhỏ nhất sao cho n\ge1000 và f(n)=3n.
Đáp án: n=2916=2^2\cdot3^6
📋
Gợi ý theo đúng 4 kỹ thuật: điều kiện trở thành \sum\alpha_i/p_i=3, nên theo định lý cấu trúc nghiệm k\le3 và b_1+\cdots+b_k=3. Liệt kê hết: k=1 cho n=p^{3p} (p=2\to64; p=3\to3^9=19\,683); k=2 với (b_1,b_2)=(1,2) hoặc (2,1) cho các cặp (p_1,p_2): (2,3) kiểu (2,1)\to2^4\cdot3^3=432, kiểu (1,2)\to2^2\cdot3^6=2916; (2,5) kiểu (2,1)\to2^4\cdot5^5=50\,000; k=3 với b_1=b_2=b_3=1 cho 2^2\cdot3^3\cdot5^5=337\,500. Sắp xếp toàn bộ ứng viên tăng dần: 64,\,432,\,2916,\,19\,683,\,50\,000,\,337\,500,\ldots — số đầu tiên \ge1000 là 2916.
7. Tự kiểm tra nhanh — 4 câu hỏi
Che phần đáp án lại, tự làm trước. Mỗi câu dùng đúng 1 trong 4 kỹ thuật vừa học.
Câu 1 (Kỹ thuật 1): Với f(xy)=xf(y)+yf(x), thế x=y=2 và biết f(2)=1, tính f(4).
f(4)=f(2\cdot2)=2f(2)+2f(2)=4f(2)=4.
Câu 2 (Kỹ thuật 2): Nếu g(n)=f(n)/n và g(xy)=g(x)+g(y), hãy nêu g(p^a) theo g(p).
g(p^a)=a\cdot g(p) (áp dụng tính cộng tính a-1 lần liên tiếp: g(p^a)=g(p\cdot p^{a-1})=g(p)+g(p^{a-1})=\cdots=a\cdot g(p)).
Câu 3 (Kỹ thuật 3): Biết f(p)=1 với mọi số nguyên tố. Tính f(200) (biết 200=2^3\cdot5^2).
g(200)=3\cdot\tfrac12+2\cdot\tfrac15=\tfrac32+\tfrac25=\tfrac{15+4}{10}=\tfrac{19}{10}, nên f(200)=200\cdot\tfrac{19}{10}=380.
Câu 4 (Kỹ thuật 4 — Đúng/Sai): "Nếu f(n)=4n (với f(p)=1 mọi p nguyên tố) thì n luôn có dạng p_1^{p_1}p_2^{p_2}p_3^{p_3}p_4^{p_4} với 4 số nguyên tố phân biệt." Đúng hay sai?
Sai — định lý chỉ cho k\le4, không bắt buộc k=4. Chẳng hạn k=1 với b_1=4 cũng thỏa: n=p^{4p} (ví dụ p=2\to n=2^8=256) là một nghiệm hợp lệ khác, hoàn toàn không cần đến 4 số nguyên tố.
Tổng kết hệ thống
Kỹ thuật · Khi nào dùng · Nguồn · Kiểm chứng
1. Phép thế đặc biệt · Bước khởi động mọi phương trình hàm — tìm f(1) hoặc giá trị neo · Nguyên bản LUKATO · ✅ Thay ngược lại hệ thức gốc
2. Lôgarit hóa (chia cho tích biến) · Phương trình hàm dạng f(xy)=xf(y)+yf(x) hoặc tương tự · Nguyên bản LUKATO · ✅ Đối chiếu hai cách tính trực tiếp và qua tính cộng tính
3. Xác định qua số nguyên tố · Hàm cộng tính trên \mathbb{N}^* đã biết giá trị tại số nguyên tố · Nguyên bản LUKATO · ✅ Dựng trực tiếp từ định nghĩa, đối chiếu công thức tổng quát
4. Định lý cấu trúc nghiệm (chia hết) · Đề cho thêm điều kiện f(n)=Cn, cần tìm/đếm/chặn nghiệm n · Nguyên bản LUKATO · ✅ Liệt kê toàn bộ nghiệm bằng code đến n=200\,000, đối chiếu định lý
Lưu ý: đây là tài liệu ôn luyện chuyên sâu dành cho học sinh giỏi và học sinh chuyên Toán — nên nắm vững phân tích thừa số nguyên tố và khái niệm hàm cộng tính cơ bản trước khi vào bài này.