ĐỀ THI

Ngày thi thứ nhất

Bài 1. Số thực $\alpha$ được gọi là điểm tụ của dãy số $\left(u_n\right)$ nếu tồn tại ít nhất một dãy con của $\left(u_n\right)$ có hội tụ đến $\alpha$.

(a) Hãy chỉ ra một dãy số có vô hạn điểm tụ.

(b) Chứng minh rằng nếu dãy số có mọi dãy con hội tụ thì nó cũng hội tụ.

(c) Gọi $S$ là tập hợp tất cả các số chính phương dương. Dãy số $\left(a_n\right)$ xác định bởi $a_n=\frac{1}{n}$ nếu $n\in S$ và $a_n=\frac{1}{n^2}$ nếu $n\notin S$.

Đặt $b_n=\sum _{k=1}^n{a}_k$. Xét tính hội tụ của các dãy số $\left(a_n\right)$ và $\left(b_n\right)$.

Bài 2. Tìm tất cả các hợp số dương $n$ sao cho $n\cdot \sigma (n)\equiv 2(mod\phi (n))$, trong đó ký hiệu $\sigma (n),\phi (n)$ là hàm tổng các ước của $n$ và hàm Euler.

Bài 3. Tìm tất cả các hàm số $f:\mathbb{R}\to \mathbb{R}$ thỏa mãn

$f(f(x)+y)+f(x)f(f(y))=xf(y)+x+y,\mathrm{\forall }x,y\in \mathbb{R}.$

Bài 4. Cho tam giác $ABC$ không cân nội tiếp trong đường tròn $(O)$ với $BC$ cố định và $A$ thay đổi trên cung lớn $BC$. Các đường tròn bàng tiếp góc $A,B,C$ lần lượt tiếp xúc với $BC,CA,AB$ tại $D,E,F$. Gọi $L,M,N$ lần lượt là giao điểm khác $A,B,C$ của $(ABE),(ACF);(BCF),(BAD);(CAD),(CBE)$.

(a) Chứng minh rằng $AL$ luôn đi qua điểm cố định khi $A$ thay đổi.

(b) Gọi $K,I,J$ lần lượt là trung điểm của $AD,BE,CF$. Chứng minh rằng $KL,IM,JN$ dồng quy.

Ngày thi thứ hai

Bài 5. Cho $a,b,c$ là các số thực dương thỏa mãn $8(a^2+b^2+c^2)=9(ab+bc+ca)$.

Tìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức

$T=\frac{a+b}{c}+\frac{b+c}{a}+\frac{c+a}{b}.$

Bài 6. Tìm tất cả các hàm số $f:{\mathbb{Z}}^{+}\to {\mathbb{Z}}^{+}$thỏa mãn đồng thời các điều kiện sau

$$ i) $mf(m)+nf(n)+2mf(n)$ là số chính phương với mọi $m,n$;

$$ ii) $f(mn)=f(m)f(n)$ với mọi $m,n$ nguyên dương;

$$  iii) Với mọi số nguyên tố $p,f(p)$ không chia hết cho $p^2$.

Bài 7. Một trường phổ thông có $n$ học sinh. Các học sinh tham gia vào tổng cộng $m$ câu lạc bộ là $A_1,A_2,\dots ,A_m$.

(a) Chứng minh rằng nếu mỗi câu lạc bộ có 4 học sinh và hai học sinh bất kỳ tham gia chung nhất một câu lạc bộ thì $m\le \frac{n(n-1)}{12}$.

(b) Giả sử tồn tại $k>0$ sao cho hai câu lạc bộ bất kỳ có chung nhau $k$ thành viên và tồn tại một câu lạc bộ $A_t$ có $k$ thành viên. Chứng minh rằng $m\le n$

Bài 8. Cho tam giác $ABC$ nội tiếp đường tròn $(O)$. Đường tròn nội tiếp $(I)$ tiếp xúc với các cạnh $BC,CA,AB$ lần lượt tại $D,E,F$. Gọi $J$ là tâm bàng tiếp góc $A$ của tam giác $ABC$ và $H$ là hình chiếu của $D$ lên $EF$.

(a) Chứng minh rằng giao điểm của $AH,JD$ thì thuộc đường thẳng $OI$.

(b) Giả sử $DH$ cắt lại $(I)$ ở $K$ và $IK$ cắt lại đường tròn ngoại tiếp $(IEF)$ ở $L$. Chứng minh rằng $AD,LH$ cắt nhau tại một điểm nằm trên $(IEF)$.

LỜI GIẢI

Ngày thi thứ nhất

Bài 1. Số thực $\alpha$ được gọi là điểm tụ của dãy số $\left(u_n\right)$ nếu tồn tại ít nhất một dãy con của $\left(u_n\right)$ có hội tụ đến $\alpha$.

(a) Hãy chỉ ra một dãy số có vô hạn điểm tụ.

(b) Chứng minh rằng nếu một dãy số có mọi dãy con hội tụ thì nó cũng hội tụ.

(c) Gọi $S$ là tập hợp tất cả các số chính phương dương. Dãy số $\left(a_n\right)$ xác định bởi $a_n=\frac{1}{n}$ nếu $n\in S$ và $a_n=\frac{1}{n^2}$ nếu $n\notin S$.

Đặt $b_n=\sum _{k=1}^n{a}_k$. Xét tính hội tụ của các dãy số $\left(a_n\right)$ và $\left(b_n\right)$.

Lời giải. (a) Ta sẽ chỉ ra dãy số mà mỗi số nguyên dương xuất hiện vô hạn lần trong đó. Chẳng hạn $\left(u_n\right)$ : là

$1,2,1,2,3,1,2,3,4,1,2,3,4,5,\dots$

với $u_n=1$ nếu $n\in S$ và $u_{n+1}=u_n+1$ nếu $n\notin S$, trong đó $S$ là tập hợp các số có dạng $\frac{m(m+1)}{2}$ như $1,3,6,10,15,\dots$ Khi đó, với mỗi số nguyên dương $m\in {\mathbb{Z}}^{+}$thì ta luôn có thể trích ra một dãy con vô hạn của $\left(u_n\right)$ có tất cả các phần tử đều bằng $m$, tức là hội tụ về $m$.

(b) Do mỗi dãy số là dãy con của chính nó nên rõ ràng khẳng định của bài toán là đúng.

(c) Ta có $0\le a_n\le \frac{1}{n}$ với mọi $n$ nên theo nguyên lí kẹp, ta suy ra $lim{a}_n=0$. Nhận xét rằng $b_n$ là dãy tăng. Ta có

$b_{n^2}=\sum _{i=1}^{n^2}{a}_i=\sum _{i\in S,i=1}^{n^2}{a}_i+\sum _{i\notin S,i=1}^{n^2}{a}_i=\sum _{i\in S,i=1}^{n^2}\frac{1}{i}+\sum _{i\notin S,i=1}^{n^2}\frac{1}{i^2}$

$=(1+\frac{1}{2^2}+\cdots +\frac{1}{n^2})+\sum _{i\notin S,i=1}^{n^2}\frac{1}{i^2}$

$<(1+\frac{1}{2^2}+\cdots +\frac{1}{n^2})+\left(\sum _{i=1}^{n^2}\frac{1}{i^2}\right)$

$=(1+\frac{1}{2^2}+\cdots +\frac{1}{n^2})+(1+\frac{1}{2^2}+\cdots +\frac{1}{n^4})$

Vì dãy $u_n=1+\frac{1}{2^2}+\cdots +\frac{1}{n^2}<1+\frac{1}{1\cdot 2}+\frac{1}{2\cdot 3}+\cdots +\frac{1}{(n-1)n}=2-\frac{1}{n}<2$ là bị chặn trên nên từ đánh giá đã xây dựng được, ta có $b_{n^2}$ cũng bị chặn trên. Kết hợp với $b_n$ là dãy tăng, ta suy ra bản thân dãy $b_n$ cũng bị chặn trên nên nó hội tụ.

Bài 2. Tìm tất cả các hợp số dương $n$ sao cho

$\sigma (n)\equiv 2(mod\phi (n)),$

trong đó ký hiệu $\sigma (n),\phi (n)$ là hàm tổng các ước của $n$ và hàm Euler.

Lời giải . Giả sử $p$ là một ước nguyên tố lẻ của $n$. Nếu $v_p(n)>1$ thì theo công thức của hàm Euler, ta có $p\mid \phi (n)$, mà $n\cdot \sigma (n)-2$ chia hết cho $\phi (n)$, tức là cũng chia hết cho $p$ nên kéo theo $p\mid 2$, vô lý. Suy ra $v_p(n)=1$ với mọi $p\mid n$.

Đặt $n=2^k\cdot p_1{p}_2\dots p_t$ với $k\ge 0$ và $p_1<p_2<\dots <p_t$ là các số nguyên tố phân biệt. Theo công thức tính các hàm, ta có

$\phi (n)=2^{k-1}(p_1-1)(p_2-1)\dots (p_t-1)$

và

$\sigma (n)=(2^{k+1}-1)(p_1+1)(p_2+1)\dots (p_t+1).$

Đánh giá lũy thừa 2 trong các số trên, ta có

$v_2(\phi (n))\ge k-1+t\text{ và }{v}_2(n\cdot \sigma (n))\ge k+t.$

Do đó từ $\phi (n)\mid n\cdot \sigma (n)-2$, ta suy ra $1\ge k-1+t$ nên $k+t\le 2$. Ta xét các trường hợp sau

• Nếu $t=0$ thì $n=2^k$ là hợp số nên $k=2,n=4$, thử trực tiếp ta thấy thỏa.
• Nếu $t=1$ thì $n=2p$ nên $\phi (n)=p-1,\sigma (n)=3(p+1)$ và đưa về

$p-1\mid 6p(p+1)-2$

Chú ý rằng

$6p(p+1)-2=6p^2+6p-2=(p-1)(6p+12)-10$

nên $p-1\mid 10$. Từ đó ta tìm được $p=3,p=11$ tương ứng với $n=6,n=22$.

• Nếu $t=2$ thì $k=0$, ta có $n=p_1{p}_2$ nên

$n\cdot \phi (n)=(p_1-1)(p_2-1)\text{ và }\sigma (n)=(p_1+1)(p_2+1)$

đưa về

$(p_1-1)(p_2-1)\mid (p_1+1)(p_2+1)-2.$

Điều này không thể xảy ra vì $(p_1-1)(p_2-1)$ chia hết cho 4 trong khi biểu thức còn lại chia 4 dư 2 . Do đó, trường hợp này không có số $n$ thỏa mãn.

Vậy tất cả các số cần tìm là $4,6,22$.

Nhận xét. Chú ý rằng mọi số nguyên tố đều thỏa mãn yêu cầu của đề bài.

Bài 3. Tìm tất cả các hàm số $f:\mathbb{R}\to \mathbb{R}$ thỏa mãn

$f(f(x)+y)+f(x)f(f(y))=xf(y)+x+y$

với mọi số thực $x,y$.

Lời giải. Thay $x=y=0$ vào phương trình đề cho, ta có

$f(f(0))+f(0)f(f(0))=0.$

suy ra $f(f(0))=0$ hoặc $f(0)=-1$. Ta xét các trường hợp sau:

1. Nếu $f(f(0))=0$. Thay $y=0$, vào phương trình dề cho, ta có $f(f(x))=$ $xf(0)+x,\mathrm{\forall }x\in \mathbb{R}$ Thay $x=f(0)$ và sử dụng $f(f(0))=0$, ta được $f(0)=$ $[f(0){]}^2+f(0)$, hay $f(0)=0$. Do đó $f(f(x))=x$ với mọi $x\in \mathbb{R}$. Thay vào phương trình đề bài, ta có

$f(f(x)+y)+yf(x)=xf(y)+x+y,\mathrm{\forall }x,y\in \mathbb{R}.$

Thay $y$ bởi $f(y)$ và sử dụng tính đối xứng của vế trái, ta được

$f(f(x)+f(y))+f(x)f(y)=xy+x+f(y)=xy+y+f(x).$

Do đó $f(x)-x=f(y)-y$ với mọi $x,y\in \mathbb{R}$, hay $f(x)=x+c$. Thử lại, ta có $c=0$.

1. Nếu $f(0)=-1$. Thay $y=0$ vào phương trình đề cho, ta có $f(f(x))+$ $f(x)f(-1)=0,\mathrm{\forall }x\in \mathbb{R}$. Từ đây suy ra $f(f(-1))=-[f(-1){]}^2$. Thay $x=0$ vào phương trình đề cho, ta có $f(y-1)-f(f(y))=y,\mathrm{\forall }y\in \mathbb{R}$. Kết hợp các đẳng thức trên lại, ta có

$f(x-1)+f(x)f(-1)=x,\mathrm{\forall }x\in \mathbb{R}.$

Thay $y=-1$ vào phương trình đề cho và sử dụng $f(f(-1))=-[f(-1){]}^2$, ta lại có

$f(f(x)-1)-f(x)[f(-1){]}^2=xf(-1)+x-1,\mathrm{\forall }x\in \mathbb{R}.$

Mặt khác, ta cũng có

$f(-1)f(f(x))+f(x)[f(-1){]}^2=0,\mathrm{\forall }x\in \mathbb{R}.$

Cộng vế theo vế hai biểu thức trên lại, ta có

$f(x)=[1+f(-1)]x+1,\mathrm{\forall }x\in \mathbb{R}.$

Thử lại, ta thấy không thỏa mãn.

Vậy phương trình có nghiệm hàm duy nhất là $f(x)=x$.

Bài 4. Cho tam giác $ABC$ không cân nội tiếp trong đường tròn $(O)$ với $BC$ cố định và $A$ thay đổi trên cung lớn $BC$. Các đường tròn bàng tiếp góc $A,B,C$ lần lượt tiếp xúc với các cạnh $BC,CA,AB$ tại $D,E,F$. Gọi $L,M,N$ lần lượt là giao điểm khác $A,B,C$ của các cặp đường tròn

$(ABE),(ACF);(BCF),(BAD);(CAD),(CBE).$

(a) Chứng minh rằng $AL$ luôn đi qua điểm cố định khi $A$ thay đổi.

(b) Gọi $K,I,J$ lần lượt là trung điểm của $AD,BE,CF$. Chứng minh rằng $KL,IM,JN$ đồng quy.

Lời giải . (a) Đặt $BC=a,CA=b,AB=c$ và $p$ là nửa chu vi thì theo tính chất tiếp điểm bàng tiếp, ta có $BF=CE=p-a$.

Bằng biến đổi góc, ta có được $\mathrm{△}LBF\sim \mathrm{△}LEC(g.g)$, mà $BF=CE$ nên hai tam giác này bằng nhau. Suy ra $LB=LE,LC=LF$ nên $L$ là trung điểm cung $BE$ của đường tròn $(ABE)$ và cũng là trung diểm cung $CF$ của $(ACF)$.

Từ đó ta có $AL$ là phân giác góc $BAC$ hay $AL$ luôn đi qua trung điểm cung nhỏ $BC$ của $(O)$, là điểm cố định.

(b) Để ý rằng vai trò của $M,N,L$ là bình đẳng trong tam giác $ABC$. Do đó, từ câu a, một cách tương tự, ta có $M,N$ thuộc phân giác góc $B,C$ nên cũng lần lượt là trung điểm các cung nhỏ của các đường tròn tương ứng. Suy ra $M,K,N$ thẳng hàng (cùng thuộc trung trực của đoạn $AD$ ); tương tự với các bộ ba $N,I,L$ và $L,J,M$. Cuối cùng, ta thấy rằng

$\frac{KM}{KN}=\frac{AK\cdot \tan \mathrm{\angle }MAK}{AK\cdot \tan \mathrm{\angle }NAK}=\frac{\tan (B/2)}{\tan (C/2)}.$

Tương tự với các tỷ số khác. Đến đây, áp dụng định lý Ceva cho tam giác $MNL$, ta có các đoạn thẳng $LK,IM,JN$ dồng quy.

Nhận xét. Một cách khác cho câu a như sau: Xét phép nghịch đảo đối xứng với phương tích $k=AB\cdot AC$ và trục đối xứng là phân giác góc $A$. Ta có $E\to E^{\prime }\in$ $AC,F\to F^{\prime }\in AB$ sao cho $AE\cdot A{E}^{\prime }=AF\cdot A{F}^{\prime }=k$. Ta tính được

$A{E}^{\prime }=\frac{bc}{p-c}\to B{E}^{\prime }=\frac{c(p-a)}{p-c}\to \frac{E^{\prime }B}{E^{\prime }A}=\frac{p-a}{b}.$

Tương tự thì $\frac{F^{\prime }C}{F^{\prime }A}=\frac{p-a}{c}$. Áp dụng định lý Ceva cho tam giác $ABC$ thì $C{E}^{\prime },B{F}^{\prime }$ và phân giác góc $A$ đồng quy.

Lại có qua phép nghịch đối xứng trên thì phân giác giữ nguyên,

$(ABE)\to C{F}^{\prime },(ACF)\to B{E}^{\prime }$

nên ta có $L$ thuộc phân giác góc $A$.

Ngày thi thứ hai

Bài 5. Cho $a,b,c$ là các số thực dương thỏa mãn $8(a^2+b^2+c^2)=9(ab+bc+ca)$. Tìm giá trị lớn nhất và giá trị nhỏ nhất của biểu thức

$T=\frac{a+b}{c}+\frac{b+c}{a}+\frac{c+a}{b}.$

Lời giải . Do tính thuần nhất đối xứng của các biến nên chuẩn hóa

$ab+bc+ca=8\to a^2+b^2+c^2=9\to a+b+c=5.$

Ta có $P+3=(a+b+c)(\frac{1}{a}+\frac{1}{b}+\frac{1}{c})=\frac{40}{abc}$ nên ta đưa về tìm min, max của $T=abc$ trong điều kiện

$\{\begin{array}{l}a+b+c=5\\ ab+bc+ca=8\end{array}$

Chú ý rằng $b+c=5-a,bc=8-a(b+c)=8-a(5-a)$ nên từ đánh giá quen thuộc $(b+c{)}^2\ge 4bc$, ta có

$(5-a{)}^2\ge 4(8-5a+a^2)\iff 1\le a\le \frac{7}{3}.$

Suy ra $T=abc=a(8+a^2-5a)=f(a)$. Đến đây khảo sát hàm số này trên miền $[1;\frac{7}{3}]$, ta được $minT=4,maxT=\frac{112}{27}$ nên $minP=\frac{93}{14}$, $maxP=7$. Từ đó, ta thu được kết luận như sau

• Giá trị lớn nhất của $P$ là 7 , đạt được chẳng hạn khi $(a,b,c)=(2,2,1)$.
• Giá trị nhỏ nhất của $P$ là $\frac{93}{14}$, đạt được chẳng hạn khi $(a,b,c)=(\frac{7}{3},\frac{4}{3},\frac{4}{3})$.

Bài 6. Tìm tất cả các hàm số $f:{\mathbb{Z}}^{+}\to {\mathbb{Z}}^{+}$thỏa mãn đồng thời các điều kiện sau đây

$$ i) $mf(m)+nf(n)+2mf(n)$ là số chính phương với mọi $m,n$;

$$  ii) $f(mn)=f(m)f(n)$ với mọi $m,n$ nguyên dương;

$$  iii) Với mọi số nguyên tố $p,f(p)$ không chia hết cho $p^2$.

Lời giải . Thay $m=n=1$ vào ii), ta suy ra $f(1)=f(1{)}^2$ nên $f(1)=1$. Thay $m=n$ vào i), ta suy ra $4mf(m)$ là số chính phương với mọi $m\in {\mathbb{Z}}^{+}$nên $mf(m)$ cũng là số chính phương với mọi $m\in {\mathbb{Z}}^{+}$.

Với $p$ là số nguyên tố, vì $pf(p)$ là số chính phương nên $p\mid f(p)$ và ta đặt $f(p)=k^{2}p$, với $k$ là số nguyên dương nào đó. Thay $m=p,n=1$ vào i), ta suy ra $pf(p)+1+2p$ là số chính phương, hay $k^2{p}^2+2p+1$ là số chính phương.

Vì $k^2{p}^2+2p+1>(kp{)}^2$ nên

$k^2{p}^2+2p+1\ge (kp+1{)}^2=k^2{p}^2+2kp+1.$

Do đó $2p\ge 2kp$ nên ta phải có $k=1$.

Vì thế nên $f(p)=p$ với mọi số nguyên tố $p$. Sử dụng điều kiện ii), hàm $f$ nhân tính, và cũng vì mọi số nguyên dương bất kỳ đều có thể viết dưới dạng tích của các số nguyên tố nên ta có được $f(n)=n$ với mọi $n\in {\mathbb{Z}}^{+}$.

Thử lại ta thấy hàm số này thỏa mãn các ràng buộc của đề bài.

Nhận xét. Trên thực tế, ta có thể bỏ bớt diều kiện ii), iii) đi mà bài toán gốc vẫn có thể giải quyết được. Cụ thể như sau:

Chứng minh rằng nếu hàm số $f:{\mathbb{Z}}^{+}\to {\mathbb{Z}}^{+}$thỏa mãn $f(1)=1$ và với mọi $m,n\in {\mathbb{Z}}^{+}$, ta có $mf(m)+nf(n)+2mf(n)$ là số chính phương thì $f(n)=n,\mathrm{\forall }n\in {\mathbb{Z}}^{+}$.

Bài 7. Một trường phổ thông có $n$ học sinh. Các học sinh tham gia vào tổng cộng $m$ câu lạc bộ là $A_1,A_2,\dots ,A_m$.

(a) Chứng minh rằng nếu mỗi câu lạc bộ có 4 học sinh và hai học sinh bất kỳ tham gia chung nhất một câu lạc bộ thì $m\le \frac{n(n-1)}{12}$.

(b) Giả sử tồn tại $k>0$ sao cho hai câu lạc bộ bất kỳ có chung nhau $k$ thành viên và tồn tại một câu lạc bộ $A_t$ có $k$ thành viên. Chứng minh rằng $m\le n$

Lời giải . (a) Gọi $S$ là số bộ $(A,B,C)$ mà trong đó học sinh $A,B$ cùng tham gia vào câu lạc bộ $C$. Ta thực đếm $S$ bằng hai cách

1. Chọn câu lạc bộ trước, có $m$ cách, chọn cặp học sinh cùng tham gia vào đó có $C_4^2=6$ cách nên $S=6\mathrm{m}$.
2. Chọn cặp học sinh trước, có $C_n^2$ cách, chọn câu lạc bộ mà hai học sinh đó cùng tham gia, có không quá 1 cách nên $S\le C_n^2$.

Từ đó suy ra

$6m\le C_n^2\iff m\le \frac{n(n-1)}{12}.$

(b) Xét câu lạc bộ $X$ nào đó có $k$ thành viên. Xét $m-1$ câu lạc bộ còn lại thì theo giả thiết, rõ ràng các câu lạc bộ này đều có chứa $k$ thành viên trên của câu lạc bộ $X$. Từ đó suy ra $m-1$ câu lạc bộ còn lại đôi một không có thành viên chung.

Xét $n-k$ học sinh còn lại của trường thì rõ ràng một học sinh thuộc tối đa một câu lạc bộ (trong số các câu lạc bộ còn lại), suy ra số câu lạc bộ còn lại không vượt quá $n-k$ nên suy ra $m\le n-k+1\le n$. Ta có điều phải chứng minh.

Nhận xét. Ý b của bài toán khá hiển nhiên, nhưng thực ra nó là một “phiên bản dễ” của bất đẳng thức Fisher sau đây:

Cho $A_1,A_2,\dots ,A_m$ là các tập con của tập $1,2,\dots ,n$ sao cho hai tập con bất kỳ có chung nhau đúng $k$ (với $k$ là số nguyên cố định nào đó không vượt quá n). Khi đó $m\le n$.

Tuy nhiên, chứng minh sơ cấp cho kết quả này quả thực rất khó. Cách phổ biến nhất là dùng đại số tuyến tính. Cụ thể là:

Ta đặt tương ứng mỗi tập $A_i$ với một vector $v_i$ trong ${\mathbb{F}}_2^n$ như sau

$v_{ij}=\{\begin{array}{l}1\text{ nếu }j\in A_i\\ 0\text{ nếu }j\notin A_i\end{array}.$

Chú ý rằng $|A_i\cap A_j|=k$ với mọi $i\ne j$. Bởi vậy, các vector $v_1,\dots ,v_m$ là các vector trong ${\mathbb{R}}^n$. Mặt khác, ta có số chiều của ${\mathbb{R}}^n$ là $n$. Do đó, trong bước tiếp theo chúng ta chỉ cần chứng minh $v_1,\dots ,v_m$ độc lập tuyến tính trong không gian ${\mathbb{R}}^n$.

Giả sử phản chứng rằng tồn tại các hệ số ${\alpha }_1,\dots {\alpha }_m$ không đồng nhất bằng không sao cho $\sum _{i=1}^m{\alpha }_i{v}_i=0$. Do đó, ta có

$0={\left|\sum _{i=1}^m{\alpha }_i{v}_i\right|}^2=⟨\sum _{i=1}^m{\alpha }_i{v}_i,\sum _{i=1}^m{\alpha }_i{v}_i⟩$

$=\sum _{i=1}^m{\alpha }_i^2{\left|v_i\right|}^2+\sum _{1\le i\ne j\le m}{\alpha }_i{\alpha }_j⟨v_i,v_j⟩$

Mặt khác, ${\left|v_i\right|}^2=\left|A_i\right|$, và $⟨v_i,v_j⟩=|A_i\cap A_j|$. Bởi vậy,

$0=\sum _{i=1}^m{\alpha }_i^2{\left|v_i\right|}^2+\sum _{i\ne j}k{\alpha }_i{\alpha }_j=\sum _{i=1}^m{\alpha }_i^2(\left|A_i\right|-k)+k\sum _{1\le i,j\le m}{\alpha }_i{\alpha }_j$

Ta thấy rằng $\sum _{1\le i,j\le m}{\alpha }_i{\alpha }_j={\left(\sum _{1\le i\le m}{\alpha }_i\right)}^2$, nên $0=\sum _{i=1}^m{\alpha }_i^2(\left|A_i\right|-k)+k{\left(\sum _{1\le i,j\le m}{\alpha }_i\right)}^2$. Vì $\left|A_i\right|\ge k$ và có nhiều nhất một tập với chính xác $k$ phần tử, nên ${\alpha }_1=\cdots ={\alpha }_m=0$.

Điều này mâu thuẫn với giả thiết, hay các vector $v_1,\dots ,v_m$ là độc lập tuyến tính. Như vậy ta sẽ có $m\le n$.

Bài 8. Cho tam giác $ABC$ nội tiếp đường tròn $(O)$. Đường tròn nội tiếp $(I)$ tiếp xúc với các cạnh $BC,CA,AB$ lần lượt tại $D,E,F$. Gọi $J$ là tâm bàng tiếp góc $A$ của tam giác $ABC$ và $H$ là hình chiếu của $D$ lên $EF$.

(a) Chứng minh rằng giao điểm của $AH,JD$ thì thuộc đường thẳng $OI$.

(b) Giả sử $DH$ cắt lại $(I)$ ở $K$ và $IK$ cắt lại đường tròn ngoại tiếp $(IEF)$ ơ $L$. Chứng minh rằng $AD,LH$ cắt nhau tại một diểm nằm trên $(IEF)$.

Lời giải. (a) Ta có bổ đề sau:

Bổ ĐỀ. $OI$ là đường thẳng Euler của tam giác $DEF$.

Bổ đề này quen thuộc và có thể chứng minh bằng cách hướng như sau (chi tiết xin dành cho bạn đọc).

1. Sử dụng phép nghịch đảo tâm $I$, phương tích $r^2$ biến $(O)$ thành đường tròn Euler của $DEF$ nên có các tâm thẳng hàng.
2. Sử dụng phép vị tự bằng cách gọi thêm trung điểm các cung nhỏ $BC,CA,AB$ của $(O)$.

Khi đó, gọi $T$ là giao điểm của $IO$ và $HD$ thì rõ ràng $T$ là trực tâm của tam giác $DEF$. Gọi $M$ là trung điểm cung nhỏ $BC$ của $(O)$ thì dễ thấy $M$ là trung điểm $IJ$.

Bằng biến đổi góc, ta có $\mathrm{△}TEF\sim \mathrm{△}IBC$, mà $TH,ID$ là hai đường cao tương ứng nên $\frac{TH}{ID}=\frac{EF}{BC}$. Mặt khác, $\mathrm{△}IEF\sim \mathrm{△}MBC$ nên

$\frac{EF}{BC}=\frac{IE}{MC}=\frac{2IE}{2MI}=\frac{2IE}{IJ}$

suy ra $\frac{TH}{ID}=\frac{2IE}{IJ}$. Do đó

$TH\cdot IJ=2I{D}^2=2IN\cdot IA=TD\cdot IA$

(vì $I,T$ lần lượt là tâm ngoại tiếp và trực tâm tam giác $DEF$ ) nên $\frac{TH}{TD}=\frac{IA}{IJ}$. Cuối cùng, vì $HD|AJ$ (cùng vuông góc với $EF$ ) nên theo định lý Talet thì $AH,JD,TI$ đồng quy hay nói cách khác, $AH,JD$ cắt nhau trên $OI$.

(b) Giả sử $AD$ cắt lại $(I)$ tại $G$. Ta cần chứng minh rằng $G,H,L$ thẳng hàng.

Do $DK|AI$ nên

$\mathrm{\angle }AGL=\mathrm{\angle }AIL=\mathrm{\angle }AIK=\mathrm{\angle }DKI$

suy ra $\mathrm{\angle }DGL=\mathrm{\angle }DKL$. Vì thế nên $DGKL$ là tứ giác nội tiếp. Do đó, $LG$ là trục đẳng phương của $(LKD),(IEF)$. Lại có

nên suy ra $H$ thuộc trục đẳng phương của hai đường tròn này, tức là $H\in LG$. Từ đó ta có điều phải chứng minh.

Nhận xét. Liên quan đến ý b, có một bài toán khá thú vị với nội dung như sau:

Trung tuyến đỉnh $D$ của tam giác $DEF$ cắt $(I)$ ở $L$. Chứng minh rằng trục đẳng phương của $(LBF),(LCE)$ đi qua giao điểm của $JD$ và đường thẳng qua $A$, vuông góc với $AI$.