IMO 2026 | Lời giải Trực quan (Day 2)
Bài 4: Cắt Tam Giác
Mộc Lan và Thiền Vu chơi với góc $\theta$. Mộc Lan chọn điểm $P$ trên biên để cắt tam giác thành hai. Nếu xuất hiện góc bằng đúng $\theta$, Mộc Lan thắng. Thiền Vu loại bỏ 1 tam giác sau mỗi lượt.
1. Kéo thả điểm P trên cạnh đáy $BC$.
2. Quan sát 2 góc kề bù $\angle APB$ và $\angle APC$.
3. Nhấn "Cắt thử" để xem liệu Mộc Lan có chiến thắng hay không.
Lời giải chi tiết Bài 4
Đáp án: Mộc Lan có thể đảm bảo phần thắng sau một số hữu hạn bước khi và chỉ khi $$\theta = 90^\circ$$.
Phần 1: Chứng minh Mộc Lan luôn thắng nếu $\theta = 90^\circ$.
Ký hiệu tam giác hiện tại là $T$. Mộc Lan có thể dễ dàng tạo ra một góc $90^\circ$ bằng cách hạ đường cao từ một đỉnh xuống cạnh đối diện. Cụ thể, trong bất kỳ tam giác nào, luôn tồn tại ít nhất một đỉnh sao cho hình chiếu vuông góc của đỉnh đó nằm *thực sự bên trong* cạnh đối diện (đó là đỉnh đối diện với cạnh lớn nhất — vì đó là đỉnh có góc lớn nhất, và một tam giác chỉ có thể có tối đa một góc $\ge 90^\circ$, nên hai góc còn lại luôn nhọn, đảm bảo chân đường cao rơi vào phần trong của cạnh đối diện). Mộc Lan chọn điểm $P$ chính là chân đường cao này. Khi cắt dọc theo đường cao $AP$, hai góc tạo thành tại $P$ sẽ là $\angle APB = 90^\circ$ và $\angle APC = 90^\circ$. Bất kể Thiền Vu loại bỏ tam giác nào, tam giác còn lại cũng luôn chứa một góc $90^\circ = \theta$. Mộc Lan thắng ngay lập tức trong 1 lượt.
Phần 2: Chứng minh Thiền Vu có thể ngăn Mộc Lan thắng nếu $\theta \neq 90^\circ$.
Sửa lỗi: chiến thuật ban đầu mô tả ở đây ("Thiền Vu luôn giữ tam giác có góc tại $P$ không tù/nhọn hơn") không đúng — nó không hề ngăn được Mộc Lan. Phản ví dụ: lấy $\theta = 60^\circ < 90^\circ$. Mộc Lan hoàn toàn có thể chọn $P$ sao cho $\angle APB = 60^\circ$ đúng bằng $\theta$ (và khi đó $\angle APC = 120^\circ$ là góc tù). Theo đúng quy tắc "giữ lại góc không tù" được nêu, Thiền Vu sẽ giữ tam giác chứa góc $\angle APB = 60^\circ$ — nhưng đó chính xác là góc $\theta$ mà Mộc Lan cần! Vậy Thiền Vu vừa tự thua chỉ vì áp dụng máy móc quy tắc "giữ góc nhọn". Quy tắc đúng phải là Thiền Vu luôn giữ tam giác không chứa góc bằng chính xác $\theta$ (nếu tồn tại một lựa chọn như vậy) — không phải "giữ góc nhọn hay tù" một cách chung chung.
Với sửa đổi trên, lập luận đúng cần một bất biến chặt chẽ hơn: vì $\theta \ne 90^\circ$ nên $\theta \ne 180^\circ - \theta$, do đó khi Mộc Lan cắt tạo ra hai góc kề bù tại $P$ là $\varphi$ và $180^\circ-\varphi$, không thể cả hai đều bằng $\theta$ cùng lúc — nghĩa là luôn có ít nhất một trong hai tam giác con không nhận $\theta$ làm góc tại $P$. Cái khó thực sự (và là phần cốt lõi của bài toán) là phải chỉ ra Thiền Vu có thể chọn tam giác ban đầu và luôn ưu tiên "tam giác an toàn" đó theo cách để hai góc còn lại (góc gốc giữ nguyên, và góc đỉnh bị chia) cũng không bao giờ trùng $\theta$ ở bất kỳ vòng nào trong tương lai — đây là một lập luận bất biến/minimax cần được xây dựng cẩn thận cho toàn bộ dãy vô hạn bước, và chưa được trình bày đầy đủ, chặt chẽ trong bài viết này (tương tự phần chưa hoàn tất ở Bài 2 của Ngày 1). Kết luận $\theta=90^\circ$ là giá trị duy nhất nên được xem là đáp số hợp lý cần một chứng minh chiều "chỉ khi" kỹ hơn, chứ không phải điều đã được chứng minh trọn vẹn ở đây.
Do đó, $90^\circ$ là giá trị duy nhất mang lại chiến thắng tất yếu cho Mộc Lan.
Bài 5: Bất đẳng thức Hàm
Tìm tất cả các hàm số $f: \mathbb{R}_{>0} \to \mathbb{R}_{>0}$ thỏa mãn: $$ \sqrt{\frac{x^2 + f(y)^2}{2}} \ge \frac{f(x)+y}{2} \ge \sqrt{xf(y)} $$
Đặt $f(y) = c$ (hằng số). Hãy xem 3 hàm số theo biến $x$:
1. QM (Đỏ): $y_1 = \sqrt{(x^2+c^2)/2}$
2. AM (Xanh lá): $y_2 = (x+c)/2$
3. GM (Xanh dương): $y_3 = \sqrt{xc}$
Đường AM luôn bị "kẹp" giữa QM và GM, và chúng chỉ chạm nhau tại duy nhất điểm $x = c$.
Lời giải chi tiết Bài 5
Sửa lỗi quan trọng: đáp án gốc "$f(x)=x$ là nghiệm duy nhất" là sai — bài toán còn bỏ sót cả một họ nghiệm. Trên thực tế, mọi hàm $f(x) = x + c$ với hằng số $c \ge 0$ đều thỏa mãn đề bài, không chỉ $c=0$. Bước suy luận gốc ("Từ (1) suy ra $2f(x)-x \ge f(f(x))$. Thế vào (2) ta được $f(x)^2 \ge x(2f(x)-x)$") là một bước sai logic: từ $P \ge Q$ (bất đẳng thức 2) và $Q \le R$ (suy ra từ bất đẳng thức 1, với $Q = x f(f(x))$, $R=x(2f(x)-x)$), không thể suy ra $P \ge R$ — đây là nguỵ biện bắc cầu sai chiều (ví dụ số: $5 \ge 3$ và $3 \le 10$, nhưng không suy ra được $5 \ge 10$).
Đáp án đúng: Tất cả các hàm thỏa mãn là $f(x) = x + c$ với hằng số $c \ge 0$ bất kỳ, $\forall x > 0$.
Bước 1: Kiểm tra họ nghiệm $f(x)=x+c$ ($c \ge 0$).
Thay $f(t)=t+c$ vào bất đẳng thức gốc, với $u=x, v=y+c$ (cả hai đều dương vì $x>0, y>0, c\ge0$): $$ \sqrt{\frac{x^2+(y+c)^2}{2}} \ge \frac{x+(y+c)}{2} \ge \sqrt{x(y+c)} \quad \Longleftrightarrow \quad \text{QM}(u,v) \ge \text{AM}(u,v) \ge \text{GM}(u,v) $$ Đây đúng là chuỗi QM $\ge$ AM $\ge$ GM cho cặp $(u,v)$, luôn đúng với mọi $u, v > 0$. Vậy mọi $c \ge 0$ đều cho nghiệm hợp lệ — không chỉ $c=0$.
Bước 2: Tìm hệ thức bắt buộc bằng phép thế đúng (sửa lại phần bị lỗi).
Xét bất đẳng thức gốc: $\sqrt{\frac{x^2 + f(y)^2}{2}} \ge \frac{f(x)+y}{2} \ge \sqrt{xf(y)}$. Thế $x = f(y)$ vào vế trái và vế giữa: $$ \sqrt{\frac{f(y)^2 + f(y)^2}{2}} \ge \frac{f(f(y))+y}{2} \implies f(y) \ge \frac{f(f(y))+y}{2} \implies f(f(y)) \le 2f(y)-y \quad (1) $$
Thế cùng giá trị $x=f(y)$ vào vế giữa và vế phải (bước bị bỏ sót trong bản gốc — đây chính là chỗ cần sửa): $$ \frac{f(f(y))+y}{2} \ge \sqrt{f(y) \cdot f(y)} = f(y) \implies f(f(y)) \ge 2f(y) - y \quad (4) $$
Kết hợp (1) và (4): $f(f(y)) \le 2f(y)-y$ và $f(f(y)) \ge 2f(y)-y$ cùng lúc, nên bắt buộc: $$ f(f(y)) = 2f(y) - y \quad \text{với mọi } y > 0 $$ (đẳng thức chặt chẽ, không cần bước bắc cầu sai như bản gốc).
Bước 3: Từ hệ thức trên suy ra dạng của $f$.
Trước hết, hệ thức trên cho thấy $f$ đơn ánh: nếu $f(a)=f(b)$ thì $f(f(a))=f(f(b)) \implies 2f(a)-a = 2f(b)-b \implies a=b$ (vì $f(a)=f(b)$).
Với $x_0>0$ bất kỳ, đặt $x_n = f^{(n)}(x_0)$ (lặp $f$ $n$ lần). Từ $f(f(t))=2f(t)-t$ áp dụng liên tiếp: $x_{n+1} = 2x_n - x_{n-1}$, tức $x_{n+1}-x_n = x_n - x_{n-1}$ với mọi $n\ge1$ — hiệu liên tiếp không đổi! Vậy $(x_n)$ là một cấp số cộng với công sai $d(x_0) := f(x_0)-x_0$: $x_n = x_0 + n\cdot d(x_0)$. Vì $x_n = f^{(n)}(x_0) > 0$ với mọi $n$ (do $f$ ánh xạ vào $\mathbb{R}_{>0}$), nếu $d(x_0) < 0$ thì $x_n \to -\infty$, mâu thuẫn. Vậy $d(x_0) = f(x_0) - x_0 \ge 0$ với mọi $x_0 > 0$, tức $f(x) \ge x$ luôn đúng, và quỹ đạo của mỗi điểm dưới $f$ là một cấp số cộng công sai không âm.
Điều còn thiếu để hoàn tất chứng minh (chưa được trình bày đầy đủ ở đây) là chỉ ra công sai $d(x_0) = f(x_0)-x_0$ phải là cùng một hằng số cho mọi $x_0$ (chứ không chỉ không đổi dọc theo quỹ đạo của riêng từng điểm) — điều này cần khai thác thêm bất đẳng thức gốc với $x, y$ độc lập (không chỉ qua phép thế $x=f(y)$) để loại trừ khả năng $d$ thay đổi giữa các quỹ đạo khác nhau. Kết hợp với Bước 1 (đã kiểm chứng mọi $c\ge0$ đều là nghiệm), câu trả lời hợp lý và nhất quán nhất là: tập nghiệm đầy đủ chính là $f(x)=x+c,\ c\ge0$, nhưng chiều "chỉ có các nghiệm này" cần thêm một bước lập luận nữa so với những gì trình bày ở đây.
Bài 6: Dãy số GCD
Dãy $a_n$: $a_{n+1}$ là số nguyên nhỏ nhất $> a_n$ sao cho $\gcd(a_{n+1}, a_i) > 1$ với mọi $i \le n$. Chứng minh dãy tuần hoàn sai phân: tồn tại $T, L$ để $a_{n+T} = a_n + L$.
Nhập giá trị bắt đầu $a_1$ để máy tính tự động sinh ra các phần tử tiếp theo và vẽ đồ thị sự phát triển của dãy. Hệ thống sẽ tự động tìm chu kỳ $T$ và hằng số cộng thêm $L$.
Lời giải chi tiết Bài 6
Lưu ý về độ chặt chẽ: đây là bài số học khó nhất trong đề (Bài 6, vị trí "khó" truyền thống), và phần trình bày dưới đây chỉ là phác thảo trực giác, không phải chứng minh đầy đủ. Cụ thể, khẳng định ở Bước 3 rằng chu kỳ luôn hội tụ về $T=1$ (một số nguyên tố $p$ cố định cộng dồn) là một sự đơn giản hoá chưa được chứng minh — về nguyên tắc, dãy có thể ổn định quanh một tập hợp nhiều số nguyên tố xoay vòng với chu kỳ $T>1$ (ví dụ $a_{n+1}=a_n+p_1,\ a_{n+2}=a_{n+1}+p_2,\dots$, lặp lại với $T$ số nguyên tố khác nhau, tổng $L=p_1+\cdots+p_T$ sau mỗi chu kỳ), và đề bài cũng phát biểu tổng quát cho cả $T,L$ bất kỳ chứ không khẳng định $T=1$. Nên xem các bước dưới đây là gợi ý hướng chứng minh (sự hội tụ về một tập ước nguyên tố ổn định), không phải lời giải đầy đủ.
Nhận xét: Đây là một bài toán về số học dựa trên tính chất chia hết và tập hợp các ước nguyên tố.
Bước 1: Phân tích sự hình thành dãy.
Luật chơi yêu cầu $a_{n+1}$ phải có chung ít nhất một ước nguyên tố với tất cả các số $a_1, a_2, \dots, a_n$ đứng trước nó.
Giả sử tập các ước nguyên tố của $a_1$ là $S_1 = \{p_1, p_2, \dots, p_k\}$. Để $\gcd(a_2, a_1) > 1$, $a_2$ phải chia hết cho ít nhất một số $p \in S_1$. Số $a_2$ được chọn là số nhỏ nhất lớn hơn $a_1$ thỏa mãn điều kiện đó.
Tương tự, $a_3$ phải chia hết cho ít nhất một ước nguyên tố của $a_1$ và một ước nguyên tố của $a_2$.
Bước 2: Sự hội tụ về một tập ước nguyên tố ổn định (Cốt lõi bài toán — mới chỉ là gợi ý, chưa chứng minh).
Qua một vài phần tử đầu tiên, tập các số nguyên tố xuất hiện chung sẽ thu hẹp lại. Do ta luôn chọn số "nhỏ nhất lớn hơn" $a_n$, dãy số có xu hướng tăng chậm nhất có thể. Nếu có một số nguyên tố $p$ chung cho tất cả các số hiện tại, thì việc chọn $a_{n+1} = a_n + p$ thường là ứng viên nhỏ nhất hợp lệ (vì $a_n + p$ sẽ hiển nhiên chia hết cho $p$, do đó chia hết cho ít nhất 1 ước chung của tất cả các số trước đó).
Sự cản trở duy nhất là nếu $a_n + p$ tình cờ không có chung ước nguyên tố với một số $a_k$ nào đó không chứa $p$. Tuy nhiên, tập hợp các số nguyên tố liên quan đến $a_1, a_2, \dots$ trong vài bước đầu là hữu hạn. Sau một số bước đủ lớn (gọi là giai đoạn "khởi động" hay nhiễu loạn ban đầu), dãy số bắt buộc sẽ ổn định quanh một tập hợp hữu hạn các số nguyên tố đóng vai trò "mỏ neo" cho tất cả các phần tử về sau.
Bước 3: Cấu trúc tuần hoàn sai phân cuối cùng.
Một khi mọi $a_i$ với $i \ge N$ đều nằm trong "vùng ổn định" (chia hết cho ít nhất một số nguyên tố trong một tập hữu hạn cố định các số nguyên tố "neo"), số nhỏ nhất $>a_n$ thoả điều kiện chia hết sẽ lặp lại theo một khuôn mẫu tuần hoàn: tồn tại $T\ge1$ sao cho cách chọn ước nguyên tố lặp lại y hệt sau mỗi $T$ bước, kéo theo $a_{n+T}=a_n+L$ với $L$ là tổng các bước nhảy trong một chu kỳ. Trường hợp riêng đơn giản nhất là khi vùng ổn định chỉ xoay quanh đúng một số nguyên tố $p$ duy nhất, khi đó $T=1$ và $L=p$ — đây là trường hợp bản demo tương tác bên trái minh hoạ, nhưng không phải là điều bắt buộc xảy ra với mọi $a_1$ ban đầu.