ĐỀ THI

Ngày thi thứ nhất

Bài 1. Với mỗi số nguyên dương $n$, tìm số thực $M_n$ lớn nhất sao cho với mọi số thực dương $x_1, x_2, \ldots, x_n$ thì ta đều có

$\quad\quad\quad\quad\quad\quad\quad\quad\sum_{k=1}^n \frac{1}{x_k^2}+\frac{1}{\left(\sum_{k=1}^n x_k\right)^2} \geq M_n\left(\sum_{k=1}^n \frac{1}{x_k}+\frac{1}{\sum_{k=1}^n x_k}\right)^2$

Bài 2. Cho 2021 số nguyên khác 0 . Biết rằng tổng của một số bất kỳ trong chúng với tích của tất cả 2020 số còn lại luôn âm.

(a) Chứng minh rằng với mọi cách chia 2021 số này thành hai nhóm và nhân các số cùng nhóm lại với nhau thì tổng của hai tích cũng luôn âm.

(b) Một bộ số thỏa mãn đề bài thì có thể có nhiều nhất mấy số âm?

Bài 3. Cho hai hàm số $f: \mathbb{R} \rightarrow \mathbb{R}$ và $g: \mathbb{R} \rightarrow \mathbb{R}$ thỏa mãn $g(2020)>0$ và với mọi

$\quad\quad\quad\quad x, y \in \mathbb{R}$ thì $\left\{\begin{array}{l}f(x-g(y))=f(-x+2 g(y))+x g(y)-6 \\ g(y)=g(2 f(x)-y)\end{array}\right.$.

(a) Chứng minh rằng $g$ là hàm hằng.

(b) Chứng minh rằng đồ thị $h(x)=f(x)-x$ nhận $x=1$ là trục đối xứng.

Bài 4. Cho tam giác $A B C$ nhọn, nội tiếp trong đường tròn $(O)$ có trực tâm $H$ và $A H, B H, C H$ cắt cạnh đối diện lần lượt tại $D, E, F$. Gọi $I, M, N$ lần lượt là trung diểm các cạnh $B C, H B, H C$ và $B H, C H$ cắt lại $(O)$ theo thứ tự tại các điểm $L, K$. Giả sử $K L$ cắt $M N$ ở $G$.

(a) Trên $E F$, lấy diểm $T$ sao cho $A T$ vuông góc với $H I$. Chứng minh rằng $G T$ vuông góc với $O H$.

(b) Gọi $P, Q$ lần lượt là giao điểm của $D E, D F$ và $M N$. Gọi $S$ là giao điểm của $B Q, C P$. Chứng minh rằng $H S$ đi qua trung diểm của $E F$.

Ngày thi thứ hai

Bài 5. Cho số nguyên dương $n>1$. Chứng minh rằng với mọi số thực $a \in\left(0 ; \frac{1}{n}\right)$ và mọi đa thức $P(x)$ có bậc $2 n-1$ thỏa mãn điều kiện $P(0)=P(1)=0$, luôn tồn tại các số thực $x_1, x_2$ thuộc $[0 ; 1]$ sao cho $P\left(x_1\right)=P\left(x_2\right)$ và $x_2-x_1=a$.

Bài 6. Giải phương trình sau trên $\mathbb{Z}^{+}:\left(x^2+3\right)^{3^{x+1}}\left[\left(x^2+3\right)^{3^{x+1}}+1\right]+x^2+y=x^2 y$.

Bài 7. Cho các số nguyên $n>k>t>0$ và $X={1,2, \ldots, n}$. Gọi $\mathcal{F}$ là họ các tập con có $k$ phần tử của tập hợp $X$ sao cho với mọi $F, F^{\prime} \in \mathcal{F}$ thì $\left|F \cap F^{\prime}\right| \geq t$. Giả sử không có tập con có $t$ phần tử nào chứa trong tất cả các tập $F \in \mathcal{F}$.

(a) Chứng minh rằng tồn tại một tập hợp $B \subset X$ sao cho $|B|<3 k$ và $|B \cap F| \geq t+1$ với mọi $F \in \mathcal{F}$.

(b) Chứng minh rằng $|\mathcal{F}|<C_{3 k}^{t+1} C_n^{k-t-1}$.

Bài 8. Cho tam giác $A B C$ nội tiếp trong $(O)$ với $B, C$ cố định và $A$ thay đổi trên cung lớn $B C$. Dựng hình bình hành $A B D C$ và $A D$ cắt lại $(B C D)$ ở $K$.

(a) Gọi $R_1, R_2$ lần lượt là bán kính đường tròn ngoại tiếp $(K A B),(K A C)$. Chứng minh rằng tích $R_1 R_2$ không đổi.

(b) Ký hiệu $(T),\left(T^{\prime}\right)$ lần lượt là các đường tròn cùng đi qua $K$, tiếp xúc với $B D$ ở $B$ và tiếp xúc với $C D$ ở $C$. Giả sử $(T),\left(T^{\prime}\right)$ cắt nhau ở $L \neq K$. Chứng minh rằng $A L$ luôn đi qua một điểm cố định.

LỜI GIẢI

Ngày thi thứ nhất

Bài 1. Với mỗi số nguyên dương $n$, tìm số thực $M_n$ lớn nhất sao cho với mọi số thực dương $x_1, x_2, \ldots, x_n$ thì ta đều có

$\quad\quad\quad\quad\quad\quad\quad\quad\sum_{k=1}^n \frac{1}{x_k^2}+\frac{1}{\left(\sum_{k=1}^n x_k\right)^2} \geq M_n\left(\sum_{k=1}^n \frac{1}{x_k}+\frac{1}{\sum_{k=1}^n x_k}\right)^2 .$

Lời giải.

Điều Kiện Cần. Với $x_1=x_2=\cdots=x_n=1$, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad n+\frac{1}{n^2} \geq M_n\left(n+\frac{1}{n}\right)^2 \text { hay } M_n \leq \frac{n^3+1}{\left(n^2+1\right)^2} .$

ĐIỀU KIỆN ĐỦ. Ta sẽ chứng minh hằng số trên thỏa mãn đề bài, tức là

$\quad\quad\quad\quad\quad\quad\quad\quad\sum_{k=1}^n \frac{1}{x_k^2}+\frac{1}{\left(\sum_{k=1}^n x_k\right)^2} \geq \frac{n^3+1}{\left(n^2+1\right)^2}\left(\sum_{k=1}^n \frac{1}{x_k}+\frac{1}{\sum_{k=1}^n x_k}\right)^2\quad\quad\quad\quad ( * )$

Theo bất đẳng thức Cauchy-Schwarz thì

$\quad\quad\quad\quad\quad\quad\quad\quad \sum_{k=1}^n \frac{1}{x_k^2} \geq \frac{1}{n}\left(\sum_{k=1}^n \frac{1}{x_k}\right)^2 .$

Đến đây, đặt $a=\sum_{k=1}^n \frac{1}{x_k}, b=\frac{1}{\sum_{k=1}^n x_k}$ là các số dương, ta đưa về chứng minh

$\quad\quad\quad\quad\quad\quad\quad\quad \frac{a^2}{n}+b^2 \geq \frac{n^3+1}{\left(n^2+1\right)^2}(a+b)^2 .$

Chú ý rằng $a \geq n^2 b$ nên quy đồng và khai triển, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad \left(a-n^2 b\right)\left[\left(2 n^2-n+1\right) a-\left(n^3-n^2+2 n\right) b\right] \geq 0 .$

Chú ý rằng $n^2\left(2 n^2-n+1\right)-\left(n^3-n^2+2 n\right)=2\left(n^2+1\right) n(n-1) \geq 0$ nên

$\quad\quad\quad\quad\quad\quad\quad\quad \left(2 n^2-n+1\right) a \geq n^2\left(2 n^2-n+1\right) b \geq\left(n^3-n^2+2 n\right) b .$

Bất đẳng thức cuối đúng nên $(*)$ đúng. Vậy hằng số tốt nhất cần tìm là $M_{\max }=$ $\frac{n^3+1}{\left(n^2+1\right)^2}$

Nhận xét. Bài này là phiên bản tổng quát của câu bất đẳng thức trong đề Iran 2010 là

$\quad\quad\quad\quad\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}+\frac{1}{(a+b+c)^2} \geq \frac{7}{25}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{a+b+c}\right)^2 .$

Thực ra cách chứng minh cho trường hợp $n=3$ này cũng phản ánh cách xử lý cho trường hợp tổng quát trong bài toán ban đầu.

Bài 2. Cho 2021 số nguyên khác 0. Biết rằng tổng của một số bất kỳ trong chúng với tích của tất cả 2020 số còn lại luôn âm.

(a) Chứng minh rằng với mọi cách chia 2021 số này thành hai nhóm và nhân các số cùng nhóm lại với nhau thì tổng của hai tích cũng luôn âm.

(b) Một bộ số thỏa mãn đề bài thì có thể có nhiều nhất mấy số âm?

Lời giải: Đặt các số đã cho là $a_1, a_2, \ldots, a_{2021}$ và $S$ là tích của tất cả số này. Theo dề bài thì

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad a_k+\frac{S}{a_k}=\frac{a_k^2+S}{a_k}<0$

với mọi $k=1,2, \ldots, 2021$.

Nếu như $S>0$ thì rõ ràng theo trên, ta phải có $a_k<0, \forall k$, nhưng điều này vô lý vì khi đó $S$ là tích của 2021 số âm nên cũng âm. Do đó, $S<0$ và trong các số đã cho, có lẻ số âm.

Nếu như số lượng số âm là lớn hơn 1 , giả sử hai trong các số đó là $a_1, a_2$ và $\left|a_2\right| \geq\left|a_1\right|$. Khi đó, ta có $a_2 a_3 \ldots a_{2021}>0$ (do trong các số này có chẵn số âm) và $\left|a_2 a_3 \ldots a_{2021}\right| \geq\left|a_1\right|$ nên

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad a_1+a_2 a_3 \ldots a_{2021} \geq 0 .$

Điều vô lý này cho thấy không thể có nhiều hơn 1 số âm, và vì thế nên có đúng một số âm. Giả sử $a_1$ là số âm duy nhất đó thì ta có $a_1+a_2 a_3 \ldots a_{2021}<0$ nên

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \left|a_1\right|>a_2 a_3 \ldots a_{2021} .$

Với mọi cách chia 2021 số đã cho thành hai nhóm thì sẽ có một nhóm chứa số âm là $a_1$, đồng thời, giá trị tuyệt đối của tích các số trong nhóm đó, vì có chứa $\left|a_1\right|$, nên sẽ lớn hơn tích các số của nhóm còn lại. Suy ra tổng của hai tích sẽ âm.

Do đó, ta có khẳng định ở câu (a) và đáp số cho câu (b) là 1 .

Nhận xét. Nhờ việc khảo sát số lượng số âm, ta chỉ ra trực tiếp được rằng có đúng 1 số âm và các câu (a), (b) trở thành hiển nhiên. Bài toán cũng đúng khi thay 2021 số nguyên bởi $2 n+1$ số thực nào đó có giá trị tuyệt đối không nhỏ hơn 1 .

Bài 3. Cho hai hàm số $f: \mathbb{R} \rightarrow \mathbb{R}$ và $g: \mathbb{R} \rightarrow \mathbb{R}$ thỏa mãn $g(2020)>0$ và

$\quad\quad\quad\quad\quad\quad\quad\quad \left\{\begin{array}{l}f(x-g(y))=f(-x+2 g(y))+x g(y)-6 \\ g(y)=g(2 f(x)-y)\end{array}\right.$

với mọi $x, y \in \mathbb{R}$.

(a) Chứng minh rằng $g$ là hàm hằng.

(b) Chứng minh rằng đồ thị hàm số $h(x)=f(x)-x$ nhận $x=1$ là trục đối xứng.

Lời giải . (a) Trong điều kiện thứ nhất, thay $x$ bởi $\frac{3}{2} g(y)$ thì ta có ngay

$\quad\quad\quad\quad\quad\quad f\left(\frac{g(y)}{2}\right)=f\left(\frac{g(y)}{2}\right)+\frac{3}{2} g^2(y)-6 \text { hay } g^2(y)=4$

Suy ra $g(y)=\pm 2$ với mọi $y$. Do $g(2020)>0$ nên loại trường hợp $g(y)=-2, \forall y$. Ta sẽ chỉ ra rằng không xảy ra trường hợp $\exists a \neq b$ sao cho $g(a)=2, g(b)=-2$. Thay $y=2020$ vào điều kiện đầu, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad f(x-c)-f(-x+2 c)=x c-6$

với $c=g(2020)>0$. Suy ra $f(u)-f(v)$ toàn ánh trên $\mathbb{R}$ với $u, v \in \mathbb{R}$. Tiếp theo trong diều kiện sau, thay $y$ bởi $a, b$, ta có

$\quad\quad\quad\quad\quad\quad g(a)=g(2 f(x)-a)=2 ; g(b)=g(2 f(x)-b)=-2$

với mọi $x \in \mathbb{R}$. Lại do tính toàn ánh, chọn $u, v$ sao cho

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad f(u)-f(v)=\frac{a-b}{2}$

thì $2 f(u)-a=2 f(v)-b$. Suy ra

$\quad\quad\quad\quad\quad\quad\quad 2=g(2 f(u)-a)=g(2 f(v)-b)=-2,$

điều này vô lý. Vì thế $g(x)=2, \forall x$ nên $g$ là hàm hằng.

(b) Với $g(x)=2, \forall x$, thay vào điều kiện đầu, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad f(x-2)=f(-x+4)+2 x-6$

hay

$\quad\quad\quad\quad f(x)=f(2-x)+2 x-2 \text { kéo theo } f(x)-x=f(2-x)-(2-x) .$

Điều này cho thấy $h(x)=h(2-x)$ hay $h(x)$ có đồ thị nhận $x=1$ là trục đối xứng.

Bài 4. Cho tam giác $A B C$ nhọn, nội tiếp trong đường tròn $(O)$ có trực tâm $H$ và $\mathrm{AH}, \mathrm{BH}, \mathrm{CH}$ cắt cạnh đối diện lần lượt tại $D, E, F$. Gọi $I, M, N$ lần lượt là trung điểm các cạnh $B C, H B, H C$ và $B H, C H$ cắt lại $(O)$ theo thứ tự tại các điểm $L, K$. Giả sử $K L$ cắt $M N$ ở $G$.

(a) Trên $E F$, lấy điểm $T$ sao cho $A T$ vuông góc với $H I$. Chứng minh rằng $G T$ vuông góc với $O H$.

(b) Gọi $P, Q$ lần lượt là giao điểm của $D E, D F$ và $M N$. Gọi $S$ là giao điểm của $B Q, C P$. Chứng minh rằng $H S$ di qua trung điểm của $E F$.

Lời giải. (a) Giả sử tia $I H$ cắt $(O)$ ở $R$ thì theo kết quả quen thuộc, ta có $\angle A R H=$ $90^{\circ}$. Vì thế nên $T \in A R$. Bằng cách xét trục đẳng phương của các đường tròn đường kính $A H, B C$ và đường tròn $(O)$, ta có $A R, E F, B C$ dồng quy. Từ đó suy ra $T \in B C$.

Gọi $\left(O^{\prime}\right)$ là đường tròn Euler của tam giác $A B C$ thì $D, E, F, M, N \in(O)$. Dễ thấy rằng

$\quad\quad\quad\quad H M \cdot H K=\frac{1}{2} H B \cdot H K=\frac{1}{2} H C \cdot H L=H N \cdot H L$

nên $M, N, K, L$ cùng thuộc đường tròn. Suy ra

$G L \cdot G K=G M \cdot G N$ nên

Ngoài ra, ta cũng có nên $G T$ chính là trục đăng phương của $(O),\left(O^{\prime}\right)$. Điều này cho thấy $G T \perp O O^{\prime}$ hay $G T \perp O H$ (do $O^{\prime}$ là trung diểm của $\left.O H\right)$.

(b) Ta có $D H$ là phân giác của góc $P D Q$, và $P Q \perp H D$ nên dễ thấy tứ giác $H P D Q$ là hình thoi. Ta biến đổi góc như sau

$\quad\quad\quad\quad\quad\quad\quad\quad \angle H P Q=\angle D Q P=\angle Q D B=\angle F H B .$

Suy ra $\angle H P N=\angle M H N$ nên $H N$ tiếp xúc với $(H M P)$ hay $N P \cdot N M=N H^2=$ $N C^2$. Do đó, hai tam giác $N P C$ và $N C M$ dồng dạng với nhau. Suy ra

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \angle N C P=\angle N M C=\angle M C B,$

nên $C P$ là dối trung của tam giác $H B C$. Chứng minh tương tự thì $B Q$ là dối trung trong tam giác $H B C$ nên điểm $S$ chính là điểm Lemoine của tam giác này, kéo theo $H S$ cũng là dối trung của tam giác $H B C$. Lại có $E F$ là dối song ứng với đỉnh $H$ trong tam giác $H B C$ nên suy ra $H S$ chia đôi đoạn thẳng $E F$.

 

Ngày thi thứ hai

Bài 5. Cho số nguyên dương $n>1$. Chứng minh rằng với mọi số thực $a \in$ $\left(0 ; \frac{1}{n}\right)$ và mọi đa thức $P(x)$ có bậc $2 n-1$ thỏa mãn điều kiện $P(0)=P(1)=0$, luôn tồn tại các số thực $x_1, x_2$ thuộc $[0 ; 1]$ sao cho $P\left(x_1\right)=P\left(x_2\right)$ và $x_2-x_1=a$.

Lời giải. Không mất tính tổng quát, giả sử không tồn tại các số $x_1, x_2$ thỏa mãn đề bài. Khi đó, xét đa thức $Q(x)=P(x+a)-P(x)$ sẽ vô nghiệm trên $[0 ; 1-a]$. Suy ra $Q(x)$ sẽ không đổi dấu trên miền đó vì nếu không, dùng tính liên tục thì sẽ mâu thuẫn. Không mất tính tổng quát, giả sử $Q(x)>0, \forall x \in[0 ; 1-a]$. Nhận xét rằng $\frac{1}{a} \notin \mathbb{Z}^{+}$vì nếu không, đặt $\frac{1}{a}=m \in \mathbb{Z}^{+}$thì ta sẽ có $m a=1$ và

$\quad\quad\quad\quad Q(a)+Q(2 a)+\cdots+Q((m-1) a)=P(1)-P(0)=0$

trong khi các số hạng ở vế trái đều dương, vô lý. Tiếp theo, ta có

$\quad\quad\quad\quad\quad\quad Q(a)=P(a)-P(0)>0 \Rightarrow P(a)>0$

Chứng minh tương tự thì $P(k a)>0, \forall k=1,2, \ldots, n$. Mặt khác,

$\quad\quad\quad\quad Q(1-a)=P(1)-P(1-a)=-P(1-a)>0 \text { nên } P(1-a)<0 .$

Tương tự thì

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad P(1-l a)<0, \forall l=1,2, \ldots, n .$

Rõ ràng với mỗi $k \in{1,2, \ldots, n}$, ta luôn chọn được số nguyên $l_k \in{1,2, \ldots, n}$ để $(k-1) a<1-l_k a<k a$. Thật vậy, đánh giá này tương đương với

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \frac{1}{a}-k<l_k<\frac{1}{a}+1-k .$

Mà $a \in\left(0 ; \frac{1}{n}\right)$ nên $\frac{1}{a}-k>0$ và $\frac{1}{a}-k \notin \mathbb{Z}$ nên khoảng trên phải chứa một số nguyên và gọi số đó là $l_k$. Theo trên thì

$\quad\quad\quad\quad\quad\quad P((k-1) a)>0, P\left(1-l_k a\right)<0, P(k a)>0$

nên trên khoảng $((k-1) a ; k a)$ thì đa thức $P(x)$ có 2 nghiệm thực phân biệt. Áp dụng điều này cho tất cả các khoảng $(0 ; a),(a ; 2 a), \ldots,((n-1) a ; n a)$ thì ta thấy $P(x)$ sẽ có $2 n$ nghiệm thực phân biệt; trong khi $P(x)$ chỉ có bậc $2 n-1$, vô lý.

Vì thế nên điều giả sử là sai và tồn tại hai số thực $x_1, x_2 \in[0 ; 1]$ thỏa mãn đề bài.

Nhận xét. Ta thấy rằng do $P(x)$ đã có sã̃n hai nghiệm là $x=0, x=1$ nên lập luận trên vẫn đúng khi xét bậc đa thức là $2 n+1$ (vì ta đã chỉ ra được đến $2 n+2$ nghiệm phân biệt). Một phiên bản tương tự khi xét hàm số liên tục $f(x)$ tùy ý là:

Cho số nguyên dương $n$, xét hàm số $f(x)$ liên tục tục trên $[0 ; n]$ sao cho $f(0)=f(n)$. Khi đó, với $k \in{1,2, \ldots, n-1}$, tồn tại $x_1, x_2 \in[0 ; n]$ mà

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad x_2-x_1=k \text { và } f\left(x_1\right)=f\left(x_2\right) .$

Bài 6. Giải phương trình sau trên tập số nguyên dương

$\quad\quad\quad\quad\quad\left(x^2+3\right)^{3^{x+1}}\left[\left(x^2+3\right)^{3^{x+1}}+1\right]+x^2+y=x^2 y .$

Lời giải . Dễ thấy $x=1$ không thỏa nên ta xét $x>1$. Thử trực tiếp thấy $x=2$ thỏa mãn. Xét $x>2$, kéo theo $x^2-1>3$. Phương trình đã cho viết lại thành

$\quad\quad\quad\quad\left(x^2+3\right)^{3^{x+1}}\left[\left(x^2+3\right)^{3^{x+1}}+1\right]+1=(y-1)\left(x^2-1\right) $

$\quad\quad\quad\quad \Leftrightarrow x^2-1\mid\left(x^2+3\right)^{3^{x+1}}\left[\left(x^2+3\right)^{3^{x+1}}+1\right]+1 $

$\quad\quad\quad\quad \Leftrightarrow 4^{3^{x+1}}\left(4^{3^{x+1}}+1\right)+1 \equiv 0 \quad\left(\bmod x^2-1\right) .$

Đặt $a=4^{3^{x+1}}$ thì ta có $a^2+a+1 \equiv 0\left(\bmod x^2-1\right)$ nên $a^3 \equiv 1\left(\bmod x^2-1\right)$ hay

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad 4^{3^{x+2}} \equiv 1 \quad\left(\bmod x^2-1\right)$

Lại chú ý rằng
$\quad\quad\quad\quad\quad\quad a=4^{3^{x+1}}=4^{3 \cdot 3^x}=\left(4^3\right)^{3^x} \equiv 1 \quad(\bmod 9)$
nên nếu đặt $M=a^2+a+1$ thì $M \equiv 3(\bmod 9)$. Điều này cho thấy $v_3(M)=1$ nên $v_3\left(x^2-1\right) \leq 1$. Mà $x^2-1>3$ và dễ thấy $x^2-1$ lẻ nên $x^2-1$ phải có một ước nguyên tố lẻ $p>3$.

Đặt $h=\operatorname{ord}_p(4)$ thì $h \mid p-1$ và $h \mid 3^{x+2}$. Suy ra $h=3^k$ với $0 \leq k \leq x+2$. Tuy nhiên, nếu $k \leq x+1$ thì $4^{3^k} \equiv 1(\bmod p)$ mà $4^{3^k}-1 \mid a-1$ nên $a \equiv 1(\bmod p)$. Điều này vô lý do sẽ kéo theo
$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad 0 \equiv a^2+a+1 \equiv 3 \quad(\bmod p) .$
Vì thế nên $k=x+2$ hay $\operatorname{ord}_p(4)=3^{x+2}$ nên $h=3^{x+2} \leq p-1 \leq x-1$. Tuy nhiên, đánh giá này là không thể xảy ra với mọi $x>2$. Vì thế nên nghiệm duy nhất của phương trình dã cho là

$\quad\quad\quad\quad\quad\quad\quad\quad (x ; y)=\left(2 ; \frac{7^{27}\left(7^{27}+1\right)+4}{3}\right)$.

Nhận xét. Các bài toán lũy thừa tầng trong số học thường gợi ý đến việc dùng cấp theo kiểu: với mọi $a, m, k$ nguyên dương lớn hơn 1 và $p$ là số nguyên tố thì $a^{m^k} \equiv 1$ $(\bmod p)$ và $h=\operatorname{ord}_p(a)$ thì $h \mid m^k$ nên có $h=m^t$ với $t \leq k$. Một kết quả có liên quan là: mọi ước nguyên tố $p$ của $2^{2^n}+1$ thì đều thỏa $2^{n+1} \mid p-1$.

Bài 7. Cho các số nguyên $n>k>t>0$ và $X={1,2, \ldots, n}$. Gọi $\mathcal{F}$ là họ các tập con có $k$ phần tử của tập hợp $X$ sao cho với mọi $F, F^{\prime} \in \mathcal{F}$ thì $\left|F \cap F^{\prime}\right| \geq t$. Giả sử không có tập con có $t$ phần tử nào được chứa trong tất cả các tập $F \in \mathcal{F}$.

(a) Chứng minh rằng tồn tại một tập hợp $B \subset X$ sao cho $|B|<3 k$ và $|B \cap F| \geq t+1$ với mọi $F \in \mathcal{F}$.

(b) Chứng minh rằng $|\mathcal{F}|<C_{3 k}^{t+1} C_n^{k-t-1}$.

Lời giải. (a) Theo giả thiết thì rõ ràng $|\mathcal{F}| \geq 3$, vì nếu không thì diều kiện ii) sẽ không được thỏa mãn. Ta xét các trường hợp sau Nếu như mọi tập $F, F^{\prime} \in \mathcal{F}$ đều có tính chất $\left|F \cap F^{\prime}\right| \geq t+1$ thì ta chỉ cần chọn $B$ là một tập bất kỳ trong $\mathcal{F}$ là được, rõ ràng $|B|=k<3 k$, thỏa mãn đề bài.

Ngược lại, tồn tại hai tập $F, F^{\prime} \in \mathcal{F}$ mà $\left|F \cap F^{\prime}\right|=t$ thì theo giả thiết, không có tập con $t$ phần tử nào được chứa trong tất cả tập hợp của họ $\mathcal{F}$; vì thế nên phải có $F^{\prime \prime}$ sao cho $\left(F \cap F^{\prime}\right) \not \subset F^{\prime \prime}$. Mặt khác, vì $\left|F^{\prime \prime}\right|=k>t$ nên phải có phần tử trong $F^{\prime \prime}$ mà không thuộc vào $F \cap F^{\prime}$. Khi đó, xét $B=F \cup F^{\prime} \cup F^{\prime \prime}$ thì rõ ràng

$\quad\quad\quad\quad\quad |B| \leq\left|F \cup F^{\prime}\right|+\left|F^{\prime \prime}\right| \leq 2 k-t+k<3 k .$

Ta sẽ chứng minh rằng tập hợp này thỏa mãn đề bài. Thật vậy, xét tập hợp $G \in \mathcal{F}$

• Nếu $G$ là một trong ba tập $F, F^{\prime}, F^{\prime \prime}$ thì có ngay

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad |B \cap G| \geq k \geq t+1$

• Nếu $G \neq F, F^{\prime}, F^{\prime \prime}$ thì nếu $|G \cap F| \geq t+1$ hoặc $\left|G \cap F^{\prime}\right| \geq t+1$ là xong; ngược lại $|G \cap F|=t$ và $t$ phần tử chung này không đồng thời thuộc $F^{\prime \prime}$, nên sẽ còn một phần tử chung khác giữa hai tập hợp $G, F^{\prime^{\prime}}$ do ta có $\left|G \cap F^{\prime \prime}\right| \geq t$, kéo theo $|B \cap G| \geq t+1$.

Trong mọi trường hợp, ta luôn chọn được tập hợp $B \subset X$ thỏa mãn đề bài.

(b) Ta thực hiện xây dựng một họ $\mathcal{F}^{\prime}$ các tập con của $X$ như sau

• Chọn $t+1$ phần tử nào đó trong tập $B$ ở trên, số cách chọn sẽ nhỏ hơn $C_{3 k}^{t+1}$.
• Chọn $k-t-1$ phần tử nào đó trong tập $X$ thì có $C_n^{k-t-1}$ cách.

Hợp của hai nhóm này lại thì được một tập con của $X$ có $k$ phần tử (hoặc ít hơn) mà giao với $B$ là $t+1$ phần tử. Từ đó dễ thấy rằng $\mathcal{F} \subset \mathcal{F}^{\prime}$ nên ta phải có $|\mathcal{F}| \leq\left|\mathcal{F}^{\prime}\right|<C_{3 k}^{t+1} C_n^{k-t-1}$. Bài toán được giải quyết.

Nhận xét. Cố định $k, t \geq 2$ và cho $n$ đủ lớn thì ta có

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad C_{3 k}^{t+1} C_n^{k-t-1}<C_{n-t}^{k-t} .$

Từ đó, ta có chứng minh của định lý Erdós – Ko – Rado (1938) là: $|\mathcal{F}| \leq C_{n-t}^{k-t}$ với $n$ đủ lớn. Trường hợp $t=1$ thì khi $n \geq 2 k$, ta cũng có $|\mathcal{F}| \leq C_{n-1}^{k-1}$.

Các bài toán theo kiểu family set đã được nghiên cứu rất sâu sắc và vì hầu hết là các đánh giá, ước lượng tổ hợp không có dấu bằng nên đó đều là các kết quả khó.

Bài 8. Cho tam giác $A B C$ nội tiếp trong đường tròn $(O)$ với $B, C$ cố định và $A$ thay đổi trên cung lớn $B C$. Dựng hình bình hành $A B D C$ và $A D$ cắt lại $(B C D)$ ở $K$.

(a) Gọi $R_1, R_2$ lần lượt là bán kính đường tròn ngoại tiếp $(K A B),(K A C)$. Chứng minh rằng tích $R_1 R_2$ không đổi.

(b) Ký hiệu $(T),\left(T^{\prime}\right)$ lần lượt là các đường tròn cùng đi qua $K$, tiếp xúc với $B D$ ở $B$ và tiếp xúc với $C D$ ở $C$. Giả sử $(T),\left(T^{\prime}\right)$ cắt nhau ở $L \neq K$. Chứng minh rằng $A L$ luôn đi qua một điểm cố định.

Lời giải. (a) Gọi $R$ là bán kính của $(O)$, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad \angle A K B=180^{\circ}-\angle B K D=\angle B C D=\angle A B C$

nên theo định lý sin thì

$\quad\quad\quad\quad\quad\quad\quad\quad R_1=\frac{A B}{2 \sin A K B}=\frac{2 R \sin C}{2 \sin B}=R \cdot \frac{\sin C}{\sin B} .$

Tương tự thì $R_2=R \cdot \frac{\sin B}{\sin C}$ nên $R_1 R_2=R^2$, không đổi.

(b) Do các tiếp tuyến nên biến đổi góc được

$\quad\quad\quad\quad\quad\quad \angle K L B=180^{\circ}-\angle K B D, \angle K L C=180^{\circ}-\angle K C D .$

Suy ra

$\quad\quad\quad\quad\quad\quad \angle K L B+\angle K L C=360^{\circ}-(\angle K B D+\angle K C D)=180^{\circ}$

nên $B, L, C$ thẳng hàng. Do $B D$ tiếp xúc với $(K B L)$ nên

$\quad\quad\quad\quad\quad\quad \angle B K L=\angle L B D=\angle C K D,$

mà $K D$ là trung tuyến của tam giác $K B C$ nên $K L$ là đối trung của tam giác này. Gọi $I$ là trung điểm $B C$. Ta có

$\quad\quad\quad\quad\quad\quad \angle K B I=\angle K D C=\angle B A K$

nên $B C$ tiếp xúc với $(A B K)$. Suy ra $\frac{B K}{A B}=\frac{I K}{I A}$. Tương tự thì

$\quad\quad\quad\quad\quad\quad \frac{C K}{A C}=\frac{I K}{I A} \text { nên } \frac{K B}{K C}=\frac{A B}{A C} .$

Theo tính chất quen thuộc của đường đối trung thì

$\quad\quad\quad\quad\quad\quad \frac{L B}{L C}=\frac{K B^2}{K C^2}=\frac{A B^2}{A C^2}$

nên $A L$ cũng là đường đối trung của tam giác $A B C$, diều này cho thấy $A L$ đi qua giao điểm hai tiếp tuyến của $(O)$ ở $B, C$, là điểm cố định.

Nhận xét. Điểm $K$ trong đề bài chính là điểm Humpty của tam giác $A B C$, và cách dựng như trên là một cách tuy dễ nhưng tương đối mới.