ĐỀ THI

Ngày thi thứ nhất

Bài 1. Cho số nguyên $a>1$. Tìm giá trị lớn nhất của số thực $d$ sao cho tồn tại một cấp số cộng có công sai $d$, số hạng đầu tiên là $a$ và có đúng hai trong các số $a^2, a^3, a^4, a^5$ là những số hạng của cấp số cộng đó.

Bài 2. Cho $n$ số thực $x_1, x_2, \ldots, x_n$. Với mỗi $i \in{1,2, \ldots, n}$, gọi $a_i$ là số các chỉ số $j$ mà $\left|x_i-x_j\right| \leq 1$ và $b_i$ là số các chỉ số $j$ mà $\left|x_i-x_j\right| \leq 2$ ( $i$ và $j$ có thể bằng).

(a) Chứng minh rằng tồn tại $i$ để $b_i \leq 3 a_i$.

(b) Gọi $A$ là số cặp $(i, j)$ có thứ tự mà $\left|x_i-x_j\right| \leq 1$ và $B$ là số cặp $(i, j)$ có thứ tự mà $\left|x_i-x_j\right| \leq 2$ ( $i$ và $j$ có thể bằng nhau). Chứng minh rằng $B \leq 3 A$.

Bài 3. Cho $p$ là số tự nhiên. Xét phương trình nghiệm nguyên $x^3+x+p=y^2$.

(a) Tìm số nguyên tố $p$ nhỏ nhất dạng $4 k+1$ sao cho phương trình có nghiệm.

(b) Chứng minh rằng nếu $p$ là số chính phương thì phương trình trên có nghiệm nguyên dương.

Bài 4. Cho tam giác $A B C$ nhọn nội tiếp đường tròn $(O)$ với $B, C$ cố định và $A$ di động trên $(O)$. $D$ là trung điểm $B C$. Trên $A B$ lấy các điểm $M, P$ và trên $A C$ lấy các điểm $N, Q$ sao cho $D A=D P=D Q$, dồng thời $D M \perp A C, D N \perp A B$.

(a) Chứng minh rằng các điểm $M, N, P, Q$ cùng thuộc một đường tròn $(\mathcal{C})$ và $(\mathcal{C})$ luôn đi qua một điểm cố định.

(b) Chứng minh rằng tâm của $(\mathcal{C})$ luôn thuộc một đường tròn cố định.

 

Ngày thi thứ hai

Bài 5. Cho số thực $a \neq 0$. Tìm giới hạn của dãy số $\left(u_n\right)$ thoả mãn:

$\quad\quad\quad\quad\quad\quad\quad\quad u_1=0, u_{n+1}\left(u_n+a\right)=a+1, \forall n \in \mathbb{N}^*$

Bài 6. Tìm tất cả các hàm số $f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$thoả mãn điều kiện:

$\quad\quad\quad\quad f\left(x f\left(y^2\right)-y f\left(x^2\right)\right)=(y-x) f(x y) \forall x, y \in \mathbb{R}^{+}, x>y$

Bài 7. Cho $n=2018.2019$. Gọi $A$ là tập hợp các bộ $\left(a_1, a_2, \ldots, a_n\right)$ có thứ tự thoả mãn điều kiện $a_i \in{0,1} \forall i \in{1,2, \ldots, n}$ và $\sum_{i=1}^n a_i=2018^2$. Có bao nhiêu bộ $\left(a_1, a_2, \ldots, a_n\right)$ từ $A$ để $\sum_{i=1}^k a_i \geq \frac{a}{2}$ và $\sum_{i=n-k+1}^n a_i \geq \frac{k}{2} \forall k \in{1,2, \ldots, n}$ ?

Bài 8. Đường tròn $(\mathcal{C})$ tâm $I$ nội tiếp tam giác $A B C$ và tiếp xúc với các cạnh $A B, A C$ tại $E, F$. $A M, A N$ là các đường phân giác trong, phân giác ngoài của góc $\angle B A C(M, N$ nằm trên $B C)$. Gọi $d_M, d_N$ lần lượt là các tiếp tuyến của $(\mathcal{C})$ qua $M, N$ và khác $B C$.

(a) Chứng minh rằng $d_M, d_N, E F$ đồng quy tại điểm $D$.

(b) Lấy trên $A B, A C$ các điểm $P, Q$ thoả mãn $D P|A C, D Q| A B$. Gọi $R, S$ là trung điểm của $D E, D F$. Chứng minh rằng $I$ thuộc đường thẳng qua các trực tâm của hai tam giác $D P S, D Q R$.

 

LỜI GIẢI

Ngày thi thứ nhất

Bài 1. Cho số nguyên $a>1$. Tìm giá trị lớn nhất của số thực $d$ sao cho tồn tại một cấp số cộng có công sai $d$, số hạng đầu tiên là $a$ và có đúng hai trong các số $a^2, a^3, a^4, a^5$ là những số hạng của cấp số cônng đó.

Lời giải: Trước hết, ta chứng minh rằng $d=a^3-a$ thoả mãn điều kiện. Thật vậy, xét cấp số cộng có số hạng đầu là $a$ và công sai là $d=a^3-a$ thì

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \left\{\begin{array}{l}a^3=a+\left(a^3-a\right) \\ a^5=a+\left(a^3-a\right)\left(a^2+1\right)\end{array} .\right.$

Do đó $a^3, a^5$ cùng thuộc cấp số cộng có công sai $d=a^3-a$.

Giả sử rằng tồn tại giá trị $d>a^3-a$ thoả mãn điều kiện bài toán. Khi đó:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad a+d>a+a^3-a=a^3$

Dẫn đến hai số hạng thuộc cấp số cộng phải là $a^4$ và $a^5$. Lại để ý rằng $a>1$ nên có $a<a^4<a^5$, kết hợp lại thì phải tồn tại hai số nguyên dương $k<l$ sao cho:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \left\{\begin{array}{l}a^4=a+k d \\ a^5=a+l d\end{array}\right.$

Từ đó $a(a+k d)=a+l d$ hay $d(l-a k)=a^2-a>0$.

Chú ý rằng ta có $d>0$ nên $l-a k>0$, hơn nữa $l-a k \in \mathbb{Z}$ nên $l-a k \geq 1$. Điều này dẫn đến $a^2-a \geq d>a^3-a$, vô lý do $a>1$.

Vậy giá trị lớn nhất của $d$ là $\max d=a^3-a$.

Bài 2. Cho $n$ số thực $x_1, x_2, \ldots, x_n$. Với mỗi $i \in{1,2, \ldots, n}$, gọi $a_i$ là số các chỉ số $j$ mà $\left|x_i-x_j\right| \leq 1$ và $b_i$ là số các chỉ số $j$ mà $\left|x_i-x_j\right| \leq 2(i$ và $j$ có thể bằng nhau).

(a) Chứng minh rằng tồn tại $i$ dể $b_i \leq 3 a_i$.

(b) Gọi $A$ là số cặp $(i, j)$ có thứ tự mà $\left|x_i-x_j\right| \leq 1$ và $B$ là số cặp $(i, j)$ có thứ tự mà $\left|x_i-x_j\right| \leq 2$ ( $i$ và $j$ có thể bằng nhau). Chứng minh rằng $B \leq 3 A$.

Lời giải . (a) Không mất tính tổng quát, giả sử $x_1 \leq x_2 \leq \ldots \leq x_n$.

Xét $k=\max [a_1, a_2, \ldots, a_n]$ và $a_i=k$, khi đó tồn tại $k$ số trong dãy là:

$\quad\quad\quad\quad x_u \leq x_{u+1} \leq \ldots \leq x_i \leq \ldots \leq x_v \text { với }\left|x_u-x_i\right|,\left|x_v-x_i\right| \leq 1 .$

Ngoài ra vì tính lớn nhất của $k$ nên $\left|x_{u-1}-x_i\right|>1,\left|x_{v+1}-x_i\right|>1$.

Trong $\left[x_u, x_v\right]$, có đúng $k$ chỉ số $j$ để $\left|x_j-x_i\right| \leq 1<2$. Còn trước $x_u$, xét hai số $x_r, x_s$ sao cho $x_r \leq x_s$ và $\left|x_r-x_i\right| \leq 2,\left|x_s-x_i\right| \leq 2$ thì:

$\quad\quad\quad\quad \left|x_r-x_s\right|=x_s-x_r=\left(x_i-x_r\right)-\left(x_i-x_s\right)<2-1=1$

nên sẽ có không quá $k$ số $j$ để $\left|x_j-x_i\right| \leq 2$ vì nếu ngược lại, sẽ có nhiều hơn $k$ số liên tiếp trong dãy cách nhau không quá 1 đơn vị, mâu thuẫn với tính lớn nhất của $k$. Tương tự với các số sau $x_v$, vì thế nên $b_i \leq 3 k$ kéo theo $b_i \leq 3 a_i$.

(b) Ta sẽ chứng minh bằng quy nạp theo $n$.

Với $n=1$ rõ ràng $A=B=1$ nên khẳng định hiển nhiên đúng. Giả sử kết quả đúng với $n \geq 1$, ta sẽ chứng minh nó cũng đúng với $n+1$.

Xét dãy số thực $T=\left(x_1, x_2, \ldots, x_{n+1}\right)$ bất kỳ và giả sử $x_1 \leq x_2 \leq \ldots \leq x_{n+1}$. Ký hiệu $A_T, B_T$ là số cặp có thứ tự các chỉ số $(i, j)$ tương ứng với định nghĩa của đề bài. Giả sử $k \geq 1$ là số lượng lớn nhất các số của $T$ được chứa trong một đoạn độ dài bằng 2 nào đó.

Gọi $x_i$ là số cuối cùng của dãy mà trong đoạn $\left[x_i-1, x_i+1\right]$ có chứa đúng $k$ số (kể cả $x_i$ ). Gọi $T^{\prime}$ là dãy mới sau khi bỏ $x_i$ đi. Khi đó, số lượng các số thuộc $T^{\prime}$ có trong $\left[x_i-1, x_i+1\right]$ là $k-1$, ngoài ra $x_i$ đã bị bỏ đi thuộc về đúng $2 k-1$ cặp của $A_T$.

Do đó: $A_T=A_{T^{\prime}}+2 k-1$.

Ta viết lại như sau

$\quad\quad\quad\quad \left[x_i-2 ; x_i+2\right]=\left[x_i-2 ; x_i-1\right] \cup\left[x_i-1 ; x_i+1\right] \cup\left[x_i+1 ; x_i+2\right]$

Trừ đoạn ở giữa thì hai đoạn đầu và cuối chứa tối đa $k$ phần tử của $T$. Hơn nữa, do định nghĩa số $x_i$ nên trong đoạn $\left[x_i+1 ; x_i+2\right]$ có tối đa $k-1$ phần tử của $T$. Từ đó có tối đa:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad 2(k-1)+k=3 k-2$

phần tử của $T$ (không tính $x_i$ ) thuộc $\left[x_i-2 ; x_i+2\right]$. Dẫn đến:

$\quad\quad\quad\quad\quad\quad B_T \leq 2(3 k-2)+1+B_{T^{\prime}}=3(2 k-1)+B_{T^{\prime}}$

Áp dụng giả thiết quy nạp, ta có $B_{T^{\prime}}<3 A_{T^{\prime}}$ nên từ các điều trên thì:

$\quad\quad\quad\quad B_T \leq 3(2 k-1)+B_{T^{\prime}}<3(2 k-1)+3 A_{T^{\prime}}=3\left(A_{T^{\prime}}+2 k-1\right)=3 A_T .$

Theo nguyên lý quy nạp, bài toán cũng đúng với $n+1$.

Vậy bài toán được chứng minh hoàn toàn.

Nhận xét. Bài toán này thật ra liên quan đến phương pháp xác suất trong tổ hợp, có thể xem tại quyển “The Probabilistic Method” của GS. Noga Alon. Ta xét một lời giải khác như sau:

(a) Chọn $i$ sao cho số các chỉ số $j$ để $\left|x_i-x_j\right| \leq 1$ là lớn nhất. Khi đó, số lượng chỉ số $j$ sao cho $x_j \in\left(x_i+1, x_i+2\right]$ tối đa là $a_i$, vì nếu không thì tồn tại $j$ để $a_j>a_i$. Tương tự, số lượng chỉ số $j$ sao cho $x_j \in\left[x_i-2, x_i-1\right)$ tối đa là $a_i$.

Chú ý rằng với các chỉ số $j$ để $\left|x_i-x_j\right| \leq 2$ thì ta có điều sau:

$\quad\quad\quad\quad x_j \in\left[x_i-2, x_i-1\right) \cup\left(x_i-1, x_i+1\right) \cup\left(x_i+1, x_i+2\right]$

Số lượng các chỉ số đó chính là $b_i$, dẫn đến $b_i \leq a_i+a_i+a_i=3 a_i$. Hơn nữa, nếu đẳng thức xảy ra, ta phải có mỗi đoạn (hay nửa khoảng) ở phân hoạch trên chứa chính xác $a_i$ chỉ số $j$ của $x_j$.

(b) Bài toán hiển nhiên đúng với $n=1$. Giả sử rằng tồn tại $n>1$ để kết luận không đúng, ta chọn $n$ nhỏ nhất. Ta cũng chọn $i$ sao cho $a_i$ lớn nhất.

Gọi $A^{\prime}, B^{\prime}$ tương ứng là số cặp chỉ số $(k, l)$ mà $\left|x_k-x_l\right| \leq 1$ và $\left|x_k-x_l\right| \leq 2$, trong đó $1 \leq k, l \leq n$ và $k, l \neq i$. Vì $n$ là phản ví dụ nhỏ nhất nên $B^{\prime} \leq 3 A^{\prime}$.

Các cặp chỉ số $(k, l)$ mà $k=i$ hoặc $l=i$ và $\left|x_k-x_l\right| \leq 1$ đều phải có dạng $(k, i)$ hoặc $(i, k)$ trong đó $k \neq i$ và $(i, i)$. Có tổng cộng $2\left(a_i-1\right)+1$ cặp như thế nên $A=A^{\prime}+2\left(a_i-1\right)+1$.

Tương tự thì $B=B^{\prime}+2\left(b_i-1\right)+1$. Do đó nếu $b_i \leq 3 a_i-1$ thì:

$\quad\quad\quad\quad B=B^{\prime}+2 b_i-1 \leq 3 A^{\prime}+2\left(3 a_i-1\right)-1=3\left(A^{\prime}+2 a_i-1\right)=3 A$

Điều này trái với việc $n$ là phản ví dụ nhỏ nhất. Do đó $b_i \geq 3 a_i$. Theo ý (a) thì $b_i \leq 3 a_i$, từ đây phải có $b_i=3 a_i$. Hơn nữa, số lượng chỉ số $j$ để thỏa mãn $x_j \in\left[x_i-2, x_i-1\right)$ hoặc $x_j \in\left(x_i+1, x_i+2\right]$ dều phải bằng $a_i$.

Với mỗi $j, j^{\prime}$ sao cho $x_j, x_{j^{\prime}} \in\left[x_i-2, x_i-1\right)$, ta có $\left|x_j-x_{j^{\prime}}\right|<1$, dẫn đến $a_j \geq a_i$. Mặt khác $a_i$ là lớn nhất có thể nên $a_j=a_i$. Tương tự, với mỗi $j$ sao cho $x_j \in\left(x_i+1, x_i+2\right]$ thì $a_j=a_i$. Như vậy với mọi $j$ sao cho $1<\left|x_i-x_j\right| \leq 2$ thì $a_j=a_i$. Cũng với cách chọn chỉ số $j$ đó, lập luận tương tự như những ý trên, ta cũng phải có $b_j=3 a_j$.

Xây dựng đồ thị $\mathcal{G}$ với các đỉnh được đánh số là $1,2, \ldots, n$ sao cho cặp đỉnh $(k, l)$ kề nhau khi và chỉ khi $1<\left|x_k-x_l\right| \leq 2$. Những lập luận trên cho thấy mọi đỉnh $j$ mà tồn tại một đường đi từ $i$ đến $j$ đều phải thỏa mãn $a_j=a_i$ và $b_j=3 a_j$. Gọi $\mathcal{X}$ là tập hợp tất cả các đỉnh $j$ sao cho tồn tại một đường đi từ $i$ dến $j$ trong $\mathcal{G}$. Đặt $\mathcal{Y}={1,2, \ldots, n} \backslash \mathcal{X}(\mathcal{Y}$ có thể rỗng $)$.

Bây giờ, gọi $A_y, B_y$ tương ứng là số cặp chỉ số $(k, l)$ có tính thứ tự, có thể bằng nhau mà $\left|x_k-x_l\right| \leq 1$ và $\left|x_k-x_l\right| \leq 2$, trong đó $k, l \in \mathcal{Y}$. Chú ý rằng $A_{\mathcal{Y}}=B_{\mathcal{Y}}=0$ nếu $\mathcal{Y}=\emptyset$. Bởi $n$ là phản ví dụ nhỏ nhất, ta phải có $B_{\mathcal{Y}} \leq 3 A_{\mathcal{Y}}$. Ta gọi $a_{y, k}$ và $b_{y, k}$ tương ứng là số chỉ số $j \in \mathcal{Y}$ mà $\left|x_j-x_k\right| \leq 1$ và $\left|x_j-x_k\right| \leq 2$. Định nghĩa tương tự $a_{\mathcal{X}, k}$ và $b_{\mathcal{X}, k}$.

Với mọi $k \in \mathcal{Y}$, dễ thấy $k$ không kề bất cứ đỉnh nào trong $\mathcal{X}$, vì vậy ta có được $b_{\mathcal{X}, k}=0$ và $b_k=b_{\mathcal{Y}, k}+a_{\mathcal{X}, k}$. Từ đây dẫn đến đẳng thức sau:

$\quad\quad\quad\quad\quad\quad B=\sum_{k \in \mathcal{X}} b_k+\sum_{k \in \mathcal{Y}} b_k=3 \sum_{k \in \mathcal{X}} a_k+\sum_{k \in \mathcal{Y}}\left(b_{y, k}+a_{\mathcal{X}, k}\right)$

Ta đồng thời có $\sum_{k \in \mathcal{Y}} b_{y, k}=B_{\mathcal{Y}} \leq 3 A_{\mathcal{Y}}$. Hơn nữa, ta cũng có được:

$\quad\quad A=\sum_{k \in \mathcal{X}} a_k+\sum_{k \in \mathcal{Y}} a_k=\sum_{k \in \mathcal{X}} a_k+\sum_{k \in \mathcal{Y}}\left(a_{\mathcal{Y}, k}+a_{\mathcal{X}, k}\right)=\sum_{k \in \mathbb{X}} a_k+A_{\mathcal{Y}}+\sum_{k \in \mathcal{Y}} a_{\mathcal{X}, k}$

Do đó:

$\quad\quad\quad\quad B \leq 3 A_{\mathcal{Y}}+\sum_{k \in \mathcal{Y}} a_{\mathcal{X}, k}+3 \sum_{k \in \mathcal{X}} a_k \leq 3\left(A_{\mathcal{Y}}+\sum_{k \in \mathcal{Y}} a_{\mathcal{X}, k}+\sum_{k \in \mathcal{X}} a_k\right)=3 A$

Điều này dẫn đến giả sử phản chứng là sai.

Vì vậy, với mọi số nguyên dương $n$, ta phải có $B \leq 3 A$. Bài toán kết thúc.

Bài 3. Cho $p$ là số tự nhiên. Xét phương trình nghiệm nguyên

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad x^3+x+p=y^2 .$

(a) Tìm số nguyên tố $p$ nhỏ nhất dạng $4 k+1$ sao cho phương trình có nghiệm.

(b) Chứng minh rằng nếu $p$ là số chính phương thì phương trình trên có nghiệm nguyên dương.

Lời giải. (a) Các số nguyên tố có dạng $4 k+1$ là $5,13,17, \ldots$

Trước hết, ta thấy với $p=13$ thì $x^3+x+13=y^2$ có nghiệm là $(x ; y)=(4 ; 9)$. Ta sẽ chứng minh rằng phương trình $x^3+x+5=y^2$ không có nghiệm nguyên. Xét modulo 4. Có các khả năng sau xảy ra:

• Khi $x$ chia 4 dư $0,1,2,3$, vế trái chia 4 lần lượt dư $1,3,3,3$.
• Khi $y$ chia 4 dư $0,1,2,3$, vế phải chia 4 lần lượt dư $0,1,0,1$.

Do đó $y$ phải lẻ và $4 \mid x$. Viết biểu thức đã cho thành:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad (x+3)\left(x^2-3 x+10\right)=y^2+5^2$

Do $x+3 \equiv 3(\bmod 4)$ nên $x+3$ có ước nguyên tố $q \equiv 3(\bmod 4)$. Ta biết rằng với $a, b \in \mathbb{Z}$ thì $a^2+b^2$ chia hết cho số nguyên tố $q \equiv 3(\bmod 4)$ khi và chỉ khi $q \mid a$ và $q \mid b$. Từ đó thì $q \mid 5$ hay $q=5$, mâu thuẫn.

Vậy $p=13$ là số nguyên tố nhỏ nhất cần tìm.

(b) Trước hết, ta giới thiệu kết quả sau (còn gọi là định lý 4 số):

Bổ Đề. Với các số nguyên dương $a, b, c, d$ thoả mãn $a b=c d$ thì tồn tại các số nguyên dương $x, y, z, t$ sao cho $a=x y, b=z t, c=x z, d=y t$.

Chứng minh bổ đề. Đặt $k=\operatorname{gcd}(a, c)$ và viết $a=k a_1, c=k c_1$ thì rõ ràng $\operatorname{gcd}\left(a_1, c_1\right)=1$. Thay vào đề bài, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad k a_1 b=k c_1 d \text { hay } a_1 b=c_1 d .$

Từ đây chú ý $a_1 \mid c_1 d$, nên $a_1 \mid d$, đặt $d=a_1 \ell$. Thay vào thì có $b=\ell c_1$. Từ đó, ta chọn $x=k, y=a_1, z=c_1, t=\ell$ thì có ngay điều phải chứng minh.

Quay lại bài toán, do $p$ là số chính phương nên đặt $p=a^2, a \in \mathbb{Z}$. Ta viết lại phương trình thành dạng:

$\quad\quad\quad\quad\quad\quad\quad\quad x^3+x+a^2=y^2 \text { hay } x\left(x^2+1\right)=(y-a)(y+a) .$

Áp dụng kết quả trên vào bài toán, ta thấy tồn tại các số nguyên dương $m, n, p, q$ để $x=m n, x^2+1=p q, y+a=m p, y-a=n q$. Từ đó:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad (m n)^2+1=p q \text { và } m p-n q=2 a \text {. }$

Xét dãy số $\left(u_n\right)$ xác định bởi $u_0=0, u_1=1, u_{n+2}=\alpha u_{n+1}+u_n$, trong đó $\alpha$ là hằng số mà ta sẽ chọn sau. Rõ ràng với mọi $n$ thì

$\quad\quad\quad\quad\quad\quad\quad\quad u_n^2-u_{n+1} u_{n-1}=(-1)^{n-1}\left(u_1^2-u_2 u_0\right)=(-1)^{n-1} .$

Khi đó, với $n$ chẵn thì $u_n^2-u_{n+1} u_{n-1}=-1$. Chọn $m n=u_{2 k}$. Ta có:

$\quad\quad\quad\quad\quad\quad\quad u_2=\alpha, u_3=\alpha^2+1, u_4=\alpha\left(\alpha^2+2\right), u_5=\alpha^4+3 \alpha^2+1$

Chọn $p=u_3, q=u_5, m n=u_4$ thì rõ ràng $(m n)^2+1=p q$. Bây giờ ta chỉ cần có được

$\quad\quad\quad\quad\quad\quad m u_3-n u_5=2 a \text { hay } m\left(\alpha^2+1\right)-n\left(\alpha^4+3 \alpha^2+1\right)=2 a .$

Từ đây chọn $\alpha=4 a^2$ và viết $m=2 a\left(\alpha^2+2\right), n=2 a\left(\alpha^4+3 \alpha^2+1\right)$ thì đẳng thức trên sẽ thoả mãn, vì

$\quad\quad\quad\quad\quad\quad\quad\quad \left(\alpha^2+1\right)\left(\alpha^2+2\right)-\left(\alpha^4+3 \alpha^2+1\right)=1 .$

Vậy phương trình có một cặp nghiệm cụ thể là

$\quad\quad (x, y)=\left(4 a^2\left(16 a^4+2\right), 2 a\left(16 a^4+2\right)\left(16 a^4+1\right)-a\right) \text { với } a=\sqrt{p} \in \mathbb{Z}^{+} .$

Bài 4. Cho tam giác $A B C$ nhọn nội tiếp đường tròn $(O)$ với $B, C$ cố định và $A$ di động trên $(O)$. $D$ là trung điểm $B C$. Trên $A B$ lấy các điểm $M, P$ và trên $A C$ lấy các điểm $N, Q$ sao cho $D A=D P=D Q$, dồng thời $D M \perp A C, D N \perp A B$.

(a) Chứng minh rằng các điểm $M, N, P, Q$ cùng thuộc một đường tròn $(\mathcal{C})$ và (C) luôn đi qua một điểm cố định.

(b) Chứng minh rằng tâm của $(\mathcal{C})$ luôn thuộc một đường tròn cố định.

Lời giải . (a) Dễ thấy tam giác $A M Q$ cân tại $M$ nên

$\quad\quad \angle D M Q=\angle D M A=90^{\circ}-\angle A=\frac{180^{\circ}-2 \angle A}{2}=\frac{180^{\circ}-\angle P D Q}{2}=\angle D P Q$

Do đó tứ giác $M P D Q$ nội tiếp. Chứng minh tương tự, ta có tứ giác $Q N D P$ nội tiếp nên $M, N, P, Q$ cùng thuộc một đường tròn $(\mathcal{C})$, và $(\mathcal{C})$ luôn đi qua điểm $D$ cố định.

(b) Gọi $K B, K C$ là hai tiếp tuyến của $(O)$. Ta có $D, K, O$ thẳng hàng, lại có:

$\quad\quad\quad\quad\quad \angle B K O=90^{\circ}-\angle B O K=90^{\circ}-\angle B A C=\angle B M D$

Từ đó tứ giác $B D K M$ nội tiếp. Để ý rằng $K D \perp B C$ nên $K M \perp A B$, hơn nữa $D N \perp A B$ nên $K M | D N$. Tương tự thì $K N | D M$. Do đó $D M K N$ là hình bình hành hay $D K, M N$ có $J$ là trung điểm chung.

Gọi $I$ là tâm của $(\mathcal{C})$ thì $I J \perp M N$ và $J L | A D$. Chú ý rằng $D$ là tâm $(A P Q)$ và cũng là trực tâm tam giác $A M N$ nên $P Q, M N$ là hai đường đối song. Đồng thời nếu $L$ là trung điểm $A D$ thì $J L$ vuông góc với đường nối hai chân đường cao từ $M, N$ của tam giác $A M N$ nên $J L \perp P Q$. Lại có $D P=D Q$ và $I P=I Q$ nên $I D \perp P Q$, do đó $J L | D I$.

Từ đây $I D L J$ là hình bình hành và $I L, D J$ có $T$ là trung điểm chung cố định. Xét phép vị tự tâm $D$ tỉ số $\frac{1}{2}$ hợp với phép đối xứng tâm $T$ thì $A \mapsto I$. Do $A$ thuộc đường tròn $(O)$ cố định nên $I$ cũng thuộc đường tròn cố định là ảnh của $(O)$ qua hợp các phép biến hình trên. Bài toán kết thúc.

Nhận xét. Bài toán này còn một hướng tiếp cận bản chất hơn như sau. Nếu gọi $A^{\prime}$ là điểm đối xứng của $A$ qua $D$ thì $K, A^{\prime}$ là hai điểm liên hợp đẳng giác trong tam giác $A B C$, từ đó đường tròn $(\mathcal{C})$ chính là đường tròn đi qua các hình chiếu của $K, A^{\prime}$ trên các cạnh tam giác $A B C$, dồng thời $I$ là trung diểm $K A^{\prime}$.

Dưới đây là một bài toán tương tự: Cho tam giác nhọn $A B C$ nội tiếp đường tròn $(O)$ có $B C$ cố định và $A$ di dộng trên $(O)$. Gọi $H$ là trực tâm tam giác và lấy điểm $E, F$ thuộc $A B, A C$ theo thứ tự đó sao cho $H$ là trung điểm $E F$.

1. Chứng minh rằng tâm của đường tròn $(A E F)$ luôn thuộc một đường tròn cố định. Đặt là $\omega$.
2. Giả sử $\omega$ cắt lại $(O)$ tại các điểm $X, Y$. Chứng minh rằng $X, Y, O$ thẳng hàng.

 

Ngày thi thứ hai

Bài 5. Cho số thực $a \neq 0$. Dãy số $\left(u_n\right)$ thoả mãn:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad u_1=0, u_{n+1}\left(u_n+a\right)=a+1 \forall n \in \mathbb{N}^*$

Tìm giới hạn của dãy số $\left(u_n\right)$.

Lời giải: Đặt $x_{n+1}=(a+1) y_n$ và $y_{n+1}=x_n+a y_n$. Ta có:

$\quad\quad\quad\quad\quad\quad\quad y_{n+2}=x_{n+1}+a y_{n+1}=a y_{n+1}+(a+1) y_n$

Đồng thời $u_n=\frac{x_n}{y_n}$. Để ý rằng $u_1=0, u_2=\frac{a+1}{a}$. Chọn $y_1=1, y_2=a$. Từ đó:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad y_n=\frac{(a+1)^n-(-1)^n}{a+2} \forall n \geq 1$

Công thức trên chỉ xác định với $a \neq-2$ nên xét trường hợp $a=-2$, ta có dãy

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \left\{\begin{array}{l}u_1=0, \\ u_{n+1}=\frac{1}{2-u_n}, n \geq 1\end{array} .\right.$

Bằng quy nạp, ta chứng minh được $u_n \in[0 ; 1)$ nên:

$\quad\quad\quad\quad\quad\quad\quad u_{n+1}-u_n=\frac{1}{2-u_n}-u_n=\frac{\left(u_n-1\right)^2}{2-u_n}>0$

Dãy $\left(u_n\right)$ tăng và bị chặn trên bởi 1 nên có giới hạn hữu hạn là $L \in(0,1)$. Giải phương trình giới hạn, ta có được $L=\frac{1}{2-L}$. Khi đó thì $L=1$.

Tiếp theo, xét $a \neq-2$, ta có:

$\quad\quad\quad\quad u_n=\frac{x_n}{y_n}=\frac{(a+1) y_{n-1}}{y_n}=\frac{(a+1)^n+(a+1)(-1)^n}{(a+1)^n-(-1)^n} \forall n \in \mathbb{N}^*$

Đặt $-(a+1)=b \in{-1 ; 1}$, ta viết lại thành:

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad u_n=\frac{b^n-b}{b^n-1} \forall n \geq 1$

Có các khả năng sau xảy ra:

• Nếu $b>1$ hoặc $b<-1$, tương ứng là $a<-2$ hoặc $a>0$, thì $\lim u_n=1$.
• Nếu $-1<b<1$, tương ứng là $-2<a<0$, thì $\lim u_n=b=-(a+1)$.

Vậy ta có kết luận sau trong các trường hợp của $a$ :

• Nếu $a \in(-2 ; 0)$ thì $\lim u_n=-(a+1)$.
• Nếu $a \notin(-2 ; 0)$ thì $\lim u_n=-1$.

Bài 6. Tìm tất cả các hàm số $f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$thoả mãn diều kiện:

$\quad\quad\quad\quad\quad\quad f\left(x f\left(y^2\right)-y f\left(x^2\right)\right)=(y-x) f(x y) \forall x, y \in \mathbb{R}^{+}, x<y .$

Lời giải . Theo giả thiết thì với mọi $y>x>0$, ta đều có

$\quad\quad\quad\quad\quad\quad\quad\quad x f\left(y^2\right)-y f\left(x^2\right)>0 \Rightarrow \frac{f\left(y^2\right)}{f\left(x^2\right)}>\frac{y}{x}>1 .$

Do đó,

$\quad\quad\quad\quad\quad\quad\quad\quad y^2>x^2 \Leftrightarrow y>x \Leftrightarrow f\left(y^2\right)>f\left(x^2\right)$

nên hàm $f$ dã cho đồng biến trên $\mathbb{R}^{+}$. Trong đề bài, thay $y=x+1$, ta có

$\quad\quad\quad\quad\quad\quad\quad f\left(x f\left((x+1)^2\right)-(x+1) f\left(x^2\right)\right)=f(x(x+1))$

hay

$\quad\quad\quad\quad\quad\quad\quad\quad x f\left((x+1)^2\right)-(x+1) f\left(x^2\right)=x(x+1) $

$\quad\quad\quad\quad\quad\quad\quad\quad \Leftrightarrow \frac{f\left((x+1)^2\right)}{x+1}=\frac{f\left(x^2\right)}{x}+1, \forall x>0$

Thực hiện thao tác này nhiều lần, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad \frac{f\left((x+n)^2\right)}{x+n}=\frac{f\left(x^2\right)}{x}+n, \forall x>0, n \in \mathbb{Z}^{+}$

hay

$\quad\quad\quad\quad\quad\quad\quad\quad x f\left((x+n)^2\right)-(x+n) f\left(x^2\right)=n x(x+n) .$

Trong dề bài, thay $y=x+n$, ta có

$\quad\quad\quad\quad\quad\quad f\left(x f\left((x+n)^2\right)-(x+n) f\left(x^2\right)\right)=n f(x(x+n)) $

$\quad\quad\quad\quad\quad\quad \Leftrightarrow f(n x(x+n))=n f(x(x+n)) .$

Với mọi $n \in \mathbb{Z}^{+}, y>0$, ta luôn chọn được $x>0$ để $x(x+n)=y$ nên ta có

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad f(n y)=n f(y), \forall n \in \mathbb{Z}^{+}, y \in \mathbb{R}^{+} .$

Đặt $f(1)=a>0$, với mọi $n \in \mathbb{Z}^{+}$, cho $y=\frac{1}{n}$, suy ra

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad f(1)=n f\left(\frac{1}{n}\right) \Rightarrow f\left(\frac{1}{n}\right)=\frac{a}{n} .$

Do đó,

$\quad\quad\quad\quad\quad\quad\quad\quad f\left(\frac{n}{m}\right)=n f\left(\frac{1}{m}\right)=\frac{n}{m} a, \forall m, n \in \mathbb{Z}^{+}$

hay $f(x)=a x, \forall x \in \mathbb{Q}^{+}$. Với mọi số thực $x_0>0$, chọn hai dãy số hữu tỷ $\left(a_n\right),\left(b_n\right)$ sao cho $a_n<x_0<b_n$ và $\lim a_n=\lim b_n=x_0$. Rõ ràng

$\quad\quad\quad\quad\quad\quad f\left(a_n\right)<f\left(x_0\right)<f\left(b_n\right) \Rightarrow a \cdot a_n<f\left(x_0\right)<a \cdot b_n,$

nên cho $n \rightarrow+\infty$, ta có $f\left(x_0\right)=a x_0$. Do đó, với mọi số thực $x>0$ thì $f(x)=a x$. Thay vào biểu thức đã cho, ta có

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

nên $a=1$. Vậy tất cả các hàm số cần tìm là $f(x)=x, \forall x>0$.

Nhận xét. Có một điều đáng chú ý ở bài toán này là việc từ giả thiết, ta phải ngầm hiểu rằng $x f\left(y^2\right)-y f\left(x^2\right)>0$ với mọi cặp số dương $x<y$. Ta có thể thêm tường minh điều kiện đó vào đề bài cho rõ. Tuy nhiên, nếu thêm theo kiểu như sau thì sẽ có một chút vấn đề phát sinh:

Tìm tất cả các hàm số $f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$thoả mãn với mọi cặp số dương $x<y$, nếu $x f\left(y^2\right)-y f\left(x^2\right)>0$ thì

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad f()=(y-x) f(x y) \forall x, y \in \mathbb{R}^{+}, x<y .$

Khi đó, ta có thể nhận thêm một hàm số thỏa mãn nữa là $f(x)=\sqrt{x}$. Lý do là vì với mọi cặp số $y>x>0$, ta đều có $x f\left(y^2\right)-y f\left(x^2\right)=0$, mà vì thế, điều kiện “nếu” ở trên là sai nên mệnh đề kéo theo là đúng.

Bài 7. Cho $n=2018.2019$. Gọi $A$ là tập hợp các bộ $\left(a_1, a_2, \ldots, a_n\right)$ có thứ tự thoả mãn điều kiện $a_i \in{0,1} \forall i \in{1,2, \ldots, n}$ và $\sum_{i=1}^n a_i=2018^2$.

Có bao nhiêu bộ $\left(a_1, a_2, \ldots, a_n\right)$ từ $A$ dể:

$\quad\quad\quad\quad\quad \sum_{i=1}^k a_i \geq \frac{a}{2} \text { và } \sum_{i=n-k+1}^n a_i \geq \frac{k}{2} \forall k \in{1,2, \ldots, n}$

Lời giải. Ta giải bài toán tổng quát khi thay 2018 bởi $m \in \mathbb{Z}^{+}$. Bài toán đã cho tương đương với bài toán sau:

Trong hệ trục tọa độ Oxy, xét lưới điểm nguyên trong hình chũ nhật có đỉnh dưới bên trái là $O(0 ; 0)$ và dỉnh trên bên phải là $A\left(m^2 ; m\right)$. Dặt $B(m ; m)$ và $C\left(m^2-m ; 0\right)$, hỏi có bao nhiêu đương đi tù̀ $O \rightarrow A$ sao cho mỗi bước, ta đi sang phải hoặc lên trên 1 đơn vị, gọi là đương đi đơn, và không vượt lên trên $O B$ cũng nhu không xuống dưới $A C$ ?

Ở đây, các số $0 ; 1$ tương ứng với các bước đi lên trên, các bước đi sang phải; còn điều kiện tổng $k$ số đầu và tổng $k$ số cuối không nhỏ hơn $\frac{k}{2}$ tương ứng với số lượng bước đi lên không vượt quá số lượng bước đi sang phải. Để thuận tiện, ta gọi đường đi cắt $d$ nếu nó có các phần nằm về cả hai phía của $d$. Trước hết, ta sẽ chứng minh bổ đề sau:

Bổ Đề. Số đường đi đơn từ $O \rightarrow A(m ; n)$, có cắt đường thẳng $y=x$, là $C_{m+n}^{m+1}$.

Thật vậy, Xét đường thẳng $(d): y=x+1$, rõ ràng các đường đi đơn cắt $y=x$ dều sẽ có điểm chung với đường thẳng $(d)$ này. Tại các điểm chung đó, ta thực hiện đối xứng trục để được một đường đi mới xuất phát từ $O \rightarrow A^{\prime}(n-1, m+1)$.

Trong hình trên, đường cũ là đứt nét, còn đường mới là liền nét. Rõ ràng phép đối xứng trục trên là song ánh, biến các đường cần tìm (cắt $y=x$ ), thành các đường từ $O \rightarrow A^{\prime}$; do đó, số lượng đường cần tìm là $C_{m+n}^{n-1}$.

Trở lại bài toán,

Số đường đi đơn từ $O \rightarrow A\left(m^2 ; m\right)$ là $C_{m^2+m}^m$ vì nó bằng số cách chọn $m$ lần đi lên trong tổng số $m^2+m$ lần di chuyển, trong đó số đường đi cắt $O B$ bằng số đường đi cắt $A C$ và bằng $C_{m^2+m}^{m-1}$ (theo bổ đề).

Do đó, ta chỉ cần tìm số đường đi cắt cả $O B, A C$ với ý tưởng đối xứng hai lần đã dùng để chứng minh bổ đề.

Đầu tiên, ta thực hiện đối xứng qua đường thẳng $y=x+1$; khi đó, các đường đi đơn sẽ xuất phát từ $O \rightarrow A^{\prime}\left(m-1 ; m^2+1\right)$. Do các đường ban đầu còn vượt qua $A C$ nên các đường mới phải cắt thêm $y=x+m^2-m+3$. Tiếp tục đối xứng qua đường thẳng này, ta đưa về đếm số đường đi đơn từ $O \rightarrow A^{\prime \prime}\left(m-2, m^2+2\right)$. Suy ra số đường đi trong trường hợp này là $C_{m^2+m}^{m-2}$. Vậy theo nguyên lý bù trừ, kết quả cần tìm sẽ là

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad C_{m^2+m}^m-2 C_{m^2+m}^{m-1}+C_{m^2+m}^{m-2} .$

Thay $m=2018$, ta có số lượng đường đi, cũng chính là số bộ thỏa mãn đề bài.

Nhận xét. Dưới đây là một số kết quả tương tự về đường đi đơn trong đề bài

$1$. Số đường đi đơn từ $(0 ; 0) \rightarrow(m ; n)$ mà không có điểm chung với $y=x$ là

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \frac{m-n}{m+n} C_{m+n}^m .$

$2$. Số đường đi đơn từ $(0 ; 0) \rightarrow(m ; n)$ mà không vượt qua $y=x$ là

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad C_{m+n}^n-C_{m+n}^{n-1} .$

$3$. Số đường đi gồm $n$ bước mà không vượt $y=x$ là

$\quad\quad\quad\quad\quad\quad\quad\quad\quad \sum_{i=n / 2}^n \frac{n !(2 i+1-n)}{(i+1) !(n-i) !}=C_n^{[n / 2]} .$

$4$. Số đường đi đơn từ $(0 ; 0) \rightarrow(m ; n)$ mà không có điểm chung với $y=x+t$ là

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad C_{m+n}^n-C_{m+n}^{m-t}$.

Bạn đọc có thể dùng phương pháp tương tự trên để giải quyết các bài toán này.

Bài 8. Đường tròn $(\mathcal{C})$ tâm $I$ nội tiếp tam giác $A B C$ và tiếp xúc với các cạnh $A B, A C$ tại $E, F$. $A M, A N$ là các đường phân giác trong, phân giác ngoài của góc $\angle B A C(M, N$ nằm trên $B C)$. Gọi $d_M, d_N$ lần lượt là các tiếp tuyến của $(\mathcal{C})$ qua $M, N$ và khác $B C$.

(a) Chứng minh rằng $d_M, d_N, E F$ dồng quy tại điểm $D$.

(b) Lấy trên $A B, A C$ các điểm $P, Q$ thoả mãn $D P|A C, D Q| A B$. Gọi $R, S$ là trung điểm của $D E, D F$. Chứng minh rằng $I$ thuộc đường thẳng qua các trực tâm của hai tam giác $D P S, D Q R$.

Lời giải. (a) Gọi $X, Y$ lần lượt là tiếp điểm của tiếp tuyến thứ hai kẻ từ $M$ dến $(I)$ và $D^{\prime}$ là tiếp điểm của $(I)$ trên $B C$. Gọi $K$ là trung điểm $E F$.

Xét trong đường tròn $(I)$ thì $E F$ là đường đối cực của $A$ và $K \in E F$ nên đối cực của $K$ sẽ đi qua $A$, mà $N A \perp I A$ nên $N A$ chính là đường đối cực của $K$.

Đường đối cực của $K$ đi qua $N$ nên đối cực của $N$, là $D^{\prime} Y$, sẽ đi qua $K$. Dễ thấy rằng $A M$ là trục đối xứng của tứ giác $D^{\prime} X E F$ nên suy ra $D^{\prime} X | E F$. Xét $D^{\prime}(E F, X Y)$, ta có có $D^{\prime} Y$ đi qua trung điểm của $E F$ và $D^{\prime} X | E F$ nên

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad D^{\prime}(E F, X Y)=-1$

hay tứ giác $E X F Y$ điều hòa. Suy ra $M X, N Y, E F$ đồng quy. Ngoài ra ta cũng có $X, Y, A$ thẳng hàng.

(b) Dễ thấy các tam giác $P E D$ và $D Q F$ là các tam giác cân. Gọi $H_1, H_2$ lần lượt là trực tâm của tam giác $\triangle D P S, \triangle D Q R$. Ta có

$\quad\quad\quad\quad\quad\quad\quad\quad \angle P H_1 S=\angle P D F=\angle A F E=\angle P E S$

nên $E P S H_1$ là tứ giác nội tiếp. Suy ra $R H_1 \cdot R P=R S \cdot R E$. Ngoài ra,

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad K A \cdot K I=K E \cdot K F$

nên

$\quad\quad\quad\quad\quad\quad\quad\quad\quad \frac{R P}{K A} \cdot \frac{R H_1}{K I}=\frac{R E}{K E} \cdot \frac{R S}{K F} .$

Theo định lý Thales thì $\frac{R P}{K A}=\frac{R E}{K E}$ nên $\frac{R H_1}{K I}=\frac{R S}{K F}$, mà

$\quad\quad\quad\quad\quad\quad\quad R S=R D-S D=\frac{D E-D F}{2}=\frac{E F}{2}=K F$

Suy ra $R H_1=K I$, mà $R H_1 | K I$ (do cùng vuông góc với $E F$ ) nên $I K R H_1$ là hình chữ nhật, kéo theo $I H_1 | E F$. Một cách tương tự, ta có $I H_2 | E F$ vậy nên đường thẳng $H_1 H_2$ đi qua $I$.

Nhận xét. Trong câu a, tính chất $A, X, Y$ thẳng hàng của bài toán cũng đúng khi thay $M, N$ là chân các đường phân giác bởi cặp điểm liên hợp điều hòa bất kỳ với $B, C$. Điều này có được nhờ tính chất của các đường đối cực (hoặc có thể chứng minh nhờ việc sử dụng phép chiếu trực giao các chùm điều hòa).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ĐỀ THI

Ngày thi thứ nhất

Bài 1. Cho các số $a, b, c>0$ thoả mãn $a b+b c+c a=1$. Chứng minh rằng:

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

Bài 2. Có bao nhiêu bộ số nguyên dương $(x, y, z, t)$ thoả mãn

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad 12<x<y<z<t \text { và } x+y+z+t=2011 ?$

Bài 3. Cho tam giác $A B C$ nội tiếp đường tròn $(O, R)$. Gọi $\left(\mathcal{C}_1\right)$ là đường tròn thay đổi luôn qua $B, C$ và lần lượt cắt các cạnh $A B, A C$ tại $M, N$ khác $B, C$.

(a) Chứng minh rằng $(A M N)$ luôn tiếp xúc với một đường cố định.

(b) Cho $B, C$ cố định, $B C=2 R$ và $A$ thay đổi trên $(O)$. Đường thẳng qua $A$ vuông góc $B C$ cắt $(O)$ tại $D$ và cắt $\left(\mathcal{C}_1\right)$ tại $E, F$. Chứng minh rằng nếu $A$ và $\left(\mathcal{C}_1\right)$ thay đổi sao cho $\frac{E F}{A D}=\frac{\sqrt{5}}{2}$ thì $(A M N)$ luôn tiếp xúc với một đường cố định.

Bài 4. Cho $p$ là số nguyên tố lẻ và đa thức $Q(x)=(p-1) x^p-x-1$. Xét dãy số $\left(a_n\right)$ thoả mãn

$\quad\quad\quad\quad\quad\quad\quad\quad a_0=\frac{p-1}{2}, a_n=a_{n-1}+Q\left(a_{n-1}\right) \forall n \in \mathbb{N}^* .$

(a) Chứng minh rằng với mọi số nguyên dương $n$ thì $\left(a_n, p\right)=1$.

(b) Chứng minh rằng với mọi số nguyên dương $n$ thì $Q\left(a_n\right) \equiv 0\left(\bmod p^n\right)$.

Ngày thi thứ hai

Bài 5. Cho dãy số $\left(u_n\right)$ thoả mãn $u_1=\frac{1}{6}$ và $u_{n+1}=u_n^2+\frac{2}{3} u_n \forall n \in \mathbb{N}^*$.

Tìm $\lim \frac{5 u_{n+1}^2-2 u_n^2 u_{n+1}+5 u_n u_{n+1}}{3 u_n^2+u_n u_{n+1}\left(4+u_n^2\right)}$.

Bài 6. Cho hàm số $f: \mathbb{N} \times \mathbb{N} \rightarrow \mathbb{N}$ thoả mãn $f(0,0)=0$ và:

$\quad\quad\quad\quad\quad\quad\quad\quad f(a, b)=\left\{\begin{array}{l}f\left(\left\lfloor\frac{a}{2}\right\rfloor,\left\lfloor\frac{b}{2}\right\rfloor\right) \text { khi } a+b \equiv 0 \quad(\bmod 2) \\ 1+f\left(\left\lfloor\frac{a}{2}\right\rfloor,\left\lfloor\frac{b}{2}\right\rfloor\right) \text { khi } a+b \equiv 1 \quad(\bmod 2)\end{array}\right.$

(a) Có bao nhiêu số tự nhiên $m \leq 2011$ sao cho $f(2011, m)=5$ ?

(b) Cho số lẻ $p$, cho $n \in \mathbb{N}\left(1<p<2^n\right)$ và $A$ là tập hợp gồm $p$ số tự nhiên không vượt quá $2^n-1$. Chứng minh rằng $\sum_{{a, b} \subset A} f(a, b) \leq n \cdot \frac{p^2-1}{4}$.

Bài 7. Cho tam giác $A B C$ nội tiếp đường tròn $(O)$ với $B, C$ cố định và $A$ thay đổi trên $(O)$. Đường trung trực $d$ của $B C$ cắt $A B, A C$ tại $M, N$. Gọi $P, Q$ lần lượt là các điểm đối xứng của $M, N$ qua $O . K$ là giao điểm của $B P$ và $C Q$.

(a) Chứng minh rằng $K$ luôn thuộc một đường tròn cố định.

(b) Kết luận trên còn đúng không khi $d$ là đường thẳng Euler của tam giác $A B C ?$

Bài 8. Với mọi số nguyên dương $n$, đặt $S_n=x^n+y^n+z^n$. Ta đã biết rằng $S_n=$ $P_n(s, t, p)$ với $s=x+y+z, t=x y+y z+z x, p=x y z$. Hãy tính tổng các hệ số của các đơn thức chứa $p$ trong $P_{2011}(s, t, p)$.

 

LỜI GIẢI

Bài 1. Cho các số $a, b, c>0$ thoả mãn $a b+b c+c a=1$. Chứng minh rằng:

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

Lời giải. Đặt $a b=x ; b c=y ; c a=z$ thì ta có $x+y+z=1$. Khi đó áp dụng bất đẳng thức Cauchy-Schwarz, ta có

$\quad\quad\quad\quad\quad \sum_{c y c} \frac{1}{3+2\left(\frac{x z}{y}-y\right)} =\sum_{c y c} \frac{y^2}{3 y^2+2 x y z-2 y^3} $

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad  \geq \frac{1}{3\left(x^2+y^2+z^2\right)+6 x y z-2\left(x^3+y^3+z^3\right)} .$

Ta đưa về chứng minh

$\quad\quad\quad\quad\quad\quad\quad\quad 3\left(x^2+y^2+z^2\right)+6 x y z-2\left(x^3+y^3+z^3\right) \leq 1 .$

Tuy nhiên đây lại là đẳng thức vì

$\quad\quad\quad\quad 3\left(x^2+y^2+z^2\right)+6 x y z-2\left(x^3+y^3+z^3\right) $

$\quad\quad\quad\quad\quad =3\left(x^2+y^2+z^2\right)-2(x+y+z)\left(x^2+y^2+z^2-x y-y z-z x\right) $

$\quad\quad\quad\quad\quad =3\left(x^2+y^2+z^2\right)-2\left(x^2+y^2+z^2\right)+2(x y+y z+z x) $

$\quad\quad\quad\quad\quad =(x+y+z)^2=1$

Đẳng thức xảy ra khi $x=y=z=1$ hay $a=b=c=\frac{1}{\sqrt{3}}$.

Bài 2. Có bao nhiêu bộ số nguyên dương $(x, y, z, t)$ thoả mãn $12<x<y<z<t$ và $x+y+z+t=2011 ?$

Lời giải. Đặt $x^{\prime}=x-12 ; y^{\prime}=y-12 ; z^{\prime}=z-12 ; t^{\prime}=t-12$. Phương trình đã cho tương đương với:

$\quad\quad\quad\quad\quad x^{\prime}+y^{\prime}+z^{\prime}+t^{\prime}=2011-48=1963 \text { với } 0 \leq x^{\prime}<y^{\prime}<z^{\prime}<t^{\prime}.$

Theo bài toán chia kẹo Euler thì nếu không có điều kiện thứ hai, số nghiệm của phương trình trên sẽ là $C_{1966}^3$. Ta sẽ trừ ra các trường hợp các số bị trùng nhau

• Số bộ có 3 số giống nhau là $C_4^3 \cdot\left(1+\left\lfloor\frac{1963}{3}\right\rfloor\right)=2620=A$.
• Số bộ có 2 số giống nhau là $C_4^2\left(\sum_{a=0}^{981}(1964-2 a)\right)=5791836=B$.

Do mỗi bộ nghiệm như trên chỉ tồn tại 1 cách sắp xếp $x, y, z, t$ thỏa mãn nên số bộ thoả mãn đề bài là

$\quad\quad\quad\quad\quad\quad\quad\quad \frac{C_{1966}^3-B+2 A}{4 !}=\frac{C_{1966}^3-5786596}{4 !} .$

Bài 3. Cho tam giác $A B C$ nội tiếp đường tròn $(O, R)$. Gọi $\left(\mathcal{C}_1\right)$ là đường tròn thay đổi luôn qua $B, C$ và lần lượt cắt các cạnh $A B, A C$ tại $M, N$ khác $B, C$.

(a) Chứng minh rằng $(A M N)$ luôn tiếp xúc với một đường cố định.

(b) Cho $B, C$ cố định, $B C=2 R$ và $A$ thay đổi trên $(O)$. Đường thẳng qua $A$ vuông góc $B C$ cắt $(O)$ tại $D$ và cắt $\left(\mathcal{C}_1\right)$ tại $E, F$. Chứng minh rằng nếu $A$ và $\left(\mathcal{C}_1\right)$ thay đổi sao cho $\frac{E F}{A D}=\frac{\sqrt{5}}{2}$ thì $(A M N)$ luôn tiếp xúc với một đường cố định.

Lời giải. (a) Gọi $d$ là đường thẳng qua $A$, song song với $B C$ và cắt đường tròn $(O)$ tại $T$. Bằng biến đổi góc, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad \angle T A C=\angle A C B=\angle A M N .$

Suy ra $A T$ là tiếp tuyến của đường tròn $(A M N)$ nên ( $A M N)$ tiếp xúc với đường thẳng $d$ cố định.

(b) Gọi $H$ là hình chiếu của $A$ lên $B C$. Xét phương tích từ $A$ đến $\mathcal{C}_1$ thì

$\quad\quad\quad\quad\quad\quad\quad\quad A M \cdot A B=A N \cdot A C=A E \cdot A F \text {. }$

Ta có $H E \cdot H F=H B \cdot H C=H A^2$, mà $\frac{E F}{A D}=\frac{\sqrt{5}}{2}$ nên $H E+H F=\sqrt{5} A H$. Giải hệ này, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad H E=\frac{\sqrt{5}-1}{2} A H \text { và } H F=\frac{\sqrt{5}+1}{2} A H .$

Suy ra $A E=A H-H E=\frac{3-\sqrt{5}}{2} A H$ và $A F=A H+H F=\frac{3+\sqrt{5}}{2} A H$. Từ đó ta được

$\quad\quad\quad\quad\quad\quad\quad\quad A E \cdot A F=\frac{3-\sqrt{5}}{2} A H \cdot \frac{3+\sqrt{5}}{2} A H=A H^2 \text {. }$

Vì thế nên $A H^2=A M \cdot A B=A N \cdot A C$, chứng tỏ $H M, H N$ lần lượt vuông góc với $A B, A C$. Suy ra $(A M N)$ có đường kính là $A H$ nên $(A M N)$ tiếp xúc với $B C$ là đường thẳng cố định.

Bài 4. Cho $p$ là số nguyên tố lẻ và đa thức $Q(x)=(p-1) x^p-x-1$. Xét dãy số $\left(a_n\right)$ thoả mãn

$\quad\quad\quad\quad\quad\quad\quad\quad a_0=\frac{p-1}{2}, a_n=a_{n-1}+Q\left(a_{n-1}\right) \forall n \in \mathbb{N}^* .$

(a) Chứng minh rằng với mọi số nguyên dương $n$ thì $\operatorname{gcd}\left(a_n, p\right)=1$.

(b) Chứng minh rằng với mọi số nguyên dương $n$ thì $Q\left(a_n\right) \equiv 0\left(\bmod p^n\right)$.

Lời giải. (a) Ta có

$\quad\quad\quad\quad a_0=\frac{p-1}{2} \text { và } a_1=a_0+(p-1) a_0^p-a_0-1=\frac{(p-1)^{p+1}}{2^p}-1$

không chia hết cho $p$.

Giả sử tồn tại $k$ nhỏ nhất sao cho $p \mid a_k$ thì $k \geq 2$. Ta có

$\quad\quad\quad\quad a_k=(p-1) a_{k-1}^p-1 \text { và } p-1 \equiv-1, a_{k-1}^p \equiv a_k \quad(\bmod p) .$

Suy ra $a_{k-1} \equiv-1(\bmod p)$ từ đó ta được $a_{k-2} \equiv 0(\bmod p)$, mâu thuẫn với tính nhỏ nhất của $k$. Vậy nên ta phải có $\operatorname{gcd}\left(a_n, p\right)=1$ với mọi $n$ nguyên dương.

(b) Ta có $Q(x)=(p-1) x^p-x-1 \equiv(-1) x-x-1=-2 x-1(\bmod p)$ với mọi $x$ nguyên nên

$\quad\quad\quad\quad Q\left(a_1\right) \equiv-2 a_1-1 \equiv-2(p-1) \frac{p-1}{2}+2-1=0 \quad(\bmod p)$

nên khẳng định đúng với $n=1$. Ta sẽ chứng minh bằng quy nạp.

$\quad\quad\quad\quad Q\left(a_{n+1}\right)=(p-1)\left(a_{n+1}^p-a_n^p\right)=(p-1) Q\left(a_n\right)\left(\sum_{i=1}^p a_n^{i-1} a_{n+1}^{p-i}\right).$

Giả sử rằng $p^n \mid Q\left(a_n\right)$ nên suy ra

$\quad\quad\quad\quad a_{n+1} \equiv a_n \quad(\bmod p) \Rightarrow \sum_{i=1}^p a_n^{i-1} a_{n+1}^{p-i} \equiv p a_n^{p-1} \equiv 0 \quad(\bmod p) .$

Như vậy $p^{n+1} \mid Q\left(a_{n+1}\right)$.Theo nguyên lí quy nạp thì ta có điều phải chứng minh.

Bài 5. Cho dãy số $\left(u_n\right)$ thoả mãn $u_1=\frac{1}{6}$ và $u_{n+1}=u_n^2+\frac{2}{3} u_n \forall n \in \mathbb{N}^*$.

Tìm $\lim \frac{5 u_{n+1}^2-2 u_n^2 u_{n+1}+5 u_n u_{n+1}}{3 u_n^2+u_n u_{n+1}\left(4+u_n^2\right)}$.

Lời giải. Trước hết, ta sẽ tìm giới hạn của dãy $\left(u_n\right)$. Bằng quy nạp, ta sẽ chứng minh rằng $0<u_n<\frac{1}{3}, \forall n$. Thật vậy,

• Với $n=1$ thì khẳng định đúng.
• Giả sử khẳng định đúng với $n=k>1$ thì $0<u_k<\frac{1}{3}$. Ta có:

$\quad\quad\quad\quad\quad\quad\quad\quad 0<u_{k+1}=u_k^2+\frac{2}{3} u_k<\frac{1}{9}+\frac{2}{3} \cdot \frac{1}{3}=\frac{1}{3}$

nên khẳng định cũng đúng với $n=k+1$.

Theo nguyên lí quy nạp, khẳng định được chứng minh. Xét hàm số $f(x)=x^2+$ $\frac{2}{3} x, x \in\left(0 ; \frac{2}{3}\right)$ thì $f^{\prime}(x)=2 x+\frac{2}{3}>0$ nên đây là hàm đồng biến. Dãy số đã cho chính là $u_1=\frac{1}{6}, u_{n+1}=f\left(u_n\right), n=1,2,3, \ldots$

Hơn nữa $u_2=\frac{1}{6^2}+\frac{2}{3} \cdot \frac{1}{6}=\frac{5}{36}<\frac{1}{6}$ nên đây là dãy giảm và bị chặn dưới nên có giới hạn. Gọi $l$ là giới hạn của dãy thì

$\quad\quad\quad\quad\quad\quad\quad\quad l=l^2+\frac{2}{3} l \Leftrightarrow l=0 \text { hay } l=\frac{1}{3} \text {. }$

Nhưng do dãy này giảm và theo chứng minh trên thì $0<u_n<\frac{1}{3}, \forall n$ nên giới hạn của dãy là 0 .

Theo công thức xác định dãy, ta có $\frac{u_{n+1}}{u_n}=u_n+\frac{2}{3}$. Do dãy $\lim u_n=0$ nên dãy tương ứng $\left(\frac{u_{n+1}}{u_n}\right)$ có giới hạn là $\frac{2}{3}$. Từ đó, ta tính được

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad =\frac{5\left(\frac{2}{3}\right)^2-2 \cdot 0+5 \cdot \frac{2}{3}}{3+\frac{2}{3}\left(4+0^2\right)}=\frac{50}{51} .$

Bài 6 . Cho hàm số $f: \mathbb{N} \times \mathbb{N} \rightarrow \mathbb{N}$ thoả mãn $f(0,0)=0$ và:

$\quad\quad\quad\quad\quad\quad\quad\quad f(a, b)=\left\{\begin{array}{l}f\left(\left\lfloor\frac{a}{2}\right\rfloor,\left\lfloor\frac{b}{2}\right\rfloor\right) \text { khi } a+b \equiv 0 \quad(\bmod 2) \\ 1+f\left(\left\lfloor\frac{a}{2}\right\rfloor,\left\lfloor\frac{b}{2}\right\rfloor\right) \text { khi } a+b \equiv 1 \quad(\bmod 2)\end{array}\right.$

(a) Có bao nhiêu số tự nhiên $m \leq 2011$ sao cho $f(2011, m)=5$ ?

(b) Cho số lẻ $p$, cho $n \in \mathbb{N}\left(1<p<2^n\right)$ và $A$ là tập hợp gồm $p$ số tự nhiên không vượt quá $2^n-1$. Chứng minh rằng $\sum_{{a, b} \subset A} f(a, b) \leq n \cdot \frac{p^2-1}{4}$.

Lời giải. (a) Đổi số 2011 sang hệ nhị phân, ta có $2011=\overline{11111011011}(2)$. Khi đổi số $m$ sang hệ nhị phân, ta cũng có tương ứng $m=\overline{a_1 a_2 \ldots a_{11}(2)}$ (do $m \leq 11$ nên ta chỉ xét 11 chữ số).

Do công thức xác định của hàm, ta thấy $f(2011, m)$ chính bằng số vị trí trong dãy chữ số trên mà hai chữ số tại cùng vị trí là khác tính chẵn lẻ.

Trong 11 chữ số của $m$, ta chọn 5 vị trí để cho chúng khác tính chẵn lẻ với các chữ số của 2011 thì có $C_{11}^5=462$ cách. Mỗi cách chọn tính chẵn lẻ đó tương ứng với đúng một số $m$.

Tuy nhiên, ta phải trừ đi trường hợp đổi tính chẵn lẻ tại vị trí thứ 6 (và giữ nguyên từ $a_1 \rightarrow a_5$ ), tức là

$\quad\quad\quad\quad\quad\quad\quad\quad a_1=a_2=\cdots=a_6=1$

khi đó thì $m>2011$, không thỏa mãn. Ta sẽ đếm số cách chọn $m$ như thế. Trong 5 vị trí từ $a_7 \rightarrow a_{11}$, chọn ra 4 vị trí để đổi tính chẵn lẻ, có $C_5^4=5$ cách. Chú ý rằng số 0 ở vị trí thứ 9 không ảnh hưởng vì sau nó chỉ còn 2 vị trí, không đủ để thực hiện chọn ra 4 vị trí để đổi tính chẵn lẻ như trên.

Vậy nên số các số $m$ thỏa mãn là $462-5=457$.

(b) Đổi tất cả $p$ số của tập $A$ sang hệ nhị phân thì mỗi số sẽ có không quá $n$ chữ số và xếp vào bảng ô vuông kích thước $p \times n$. Mỗi dòng tương ứng với một số, và số nào không có đủ $n$ chữ số trong hệ nhị phân thì ta thêm 0 vào trước nó. Khi đó, tổng $\sum_{{a, b} \subset A} f(a, b)$ chính bằng tổng các cặp vị trí khác nhau trên mỗi cột.

$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad \begin{array}{|l|l|l|l|}\hline a_{1,1} & a_{1,2} & \cdots & a_{1, n} \\ \hline a_{2,1} & a_{2,2} & \cdots & a_{2, n} \\ \hline \cdots & \cdots & \cdots & \cdots \\ \hline a_{p, 1} & a_{p, 2} & \cdots & a_{p, n} \\ \hline\end{array}$

Xét cột thứ 1 , giả sử trên đó có $x$ số 0 và $y$ số 1 với $x+y=p$. Khi đó, số cặp chữ số khác nhau trên cột này sẽ là

$\quad\quad\quad\quad x y=\frac{1}{4}\left[(x+y)^2-(x-y)^2\right]=\frac{1}{4}\left[p^2-(x-y)^2\right] \leq \frac{p^2-1}{4}$

(do $x, y$ khác tính chẵn lẻ nên $|x-y| \geq 1$ ). Tương tự với các cột khác, số cặp chữ số khác nhau cũng không vượt quá $\frac{p^2-1}{4}$. Và do tính độc lập giữa các cột, ta có

$\quad\quad\quad\quad\quad\quad\quad\quad \sum_{{a, b} \subset A} f(a, b) \leq n \cdot \frac{p^2-1}{4} .$

Bài 7. Cho tam giác $A B C$ nội tiếp đường tròn $(O)$ với $B, C$ cố định và $A$ thay đổi trên $(O)$. Đường trung trực $d$ của $B C$ cắt $A B, A C$ tại $M, N$. Gọi $P, Q$ lần lượt là các điểm đối xứng của $M, N$ qua $O$. $K$ là giao điểm của $B P$ và $C Q$.

(a) Chứng minh rằng $K$ luôn thuộc một đường tròn cố định.

(b) Kết luận trên còn đúng không khi $d$ là đường thẳng Euler của tam giác $A B C ?$

Lời giải. Ta sẽ chứng minh bài toán tổng quát khi thay trung trực $B C$ lẫn đường thẳng Euler bởi đường thẳng $d$ bất kỳ đi qua $O$.

Kẻ đường kính $B B^{\prime}, C C^{\prime}$ của $(O)$ và giả sử $B^{\prime} N, C^{\prime} M$ cắt nhau ở $T$. Khi đó, vì $M, N, O$ thẳng hàng nên theo định lý Pascal đảo thì lục giác tạo bởi các đỉnh $A, B, C, B^{\prime}, C^{\prime}, T$ nội tiếp. Do đó, $T \in(O)$.

Ngoài ra, vì $\angle B T N=\angle B T B^{\prime}=90^{\circ}$ nên $T B \perp T N$, tương tự thì $T C \perp T M$.

Kẻ đường kính $T K^{\prime}$ của $(O)$ thì do $O$ là trung diểm chung của $T K^{\prime}, M P$ nên tứ giác $T M K^{\prime} P$ là hình bình hành. Suy ra $T M | K^{\prime} P$ nên $K^{\prime} P \perp T C$.

Mà tứ giác $C M C^{\prime} P$ cũng là hình bình hành nên $C P | C^{\prime} M$, mà $C^{\prime} M \perp T C$ nên $C P \perp T C$. Từ các điều này, ta suy ra $K^{\prime}, P, C$ thẳng hàng. Tương tự thì $K^{\prime}, Q, B$ thẳng hàng. Vì thế nên $K^{\prime} \equiv K$, hay $K$ luôn thuộc đường tròn $(O)$ cố định.

Nhận xét. Trong bài toán trên, $T$ chính là giao điểm của hai đường tròn đường kính $B N, C M$. Nếu gọi $S$ là giao điểm còn lại thì ta chứng minh được bằng phép nghịch đảo trực tâm $H$ rằng $S$ nằm trên đường tròn Euler của tam giác $A B C$.

Bài 8. Với mọi số nguyên dương $n$, đặt $S_n=x^n+y^n+z^n$. Ta đã biết rằng $S_n=P_n(s, t, p)$ với $s=x+y+z, t=x y+y z+z x, p=x y z$. Hãy tính tổng các hệ số của các đơn thức chứa $p$ trong $P_{2011}(s, t, p)$.

Lời giải. Theo định lý Viete thì $x, y, z$ là nghiệm của phương trình

$\quad\quad\quad\quad\quad\quad\quad\quad\quad a^3-s a^2+t a-p=0 .$

Để tính tổng hệ số của tất cả các đơn thức trong $P_{2011}$, ta xét $P_{2011}(1,1,1)$. Tương tự, tổng các hệ số của các đơn thức không chứa $p$ trong $P_{2011}$ là $P_{2011}(1,1,0)$. Do đó, ta cần tính

$\quad\quad\quad\quad\quad\quad\quad\quad M=P_{2011}(1,1,1)-P_{2011}(1,1,0) .$

Xét phương trình $a^3-a^2+a-1=0$ có ba nghiệm là $a=1, a=i$ và $a=-i$. Vì $P_{2011}(s, t, p)=x^n+y^n+z^n$ nên ta có

$\quad\quad\quad\quad\quad\quad\quad P(1,1,1)=1^{2011}+i^{2011}+(-i)^{2011}=1 .$

Tiếp tục xét $a^3-a^2+a=0$ có ba nghiệm là $a=0, a=\frac{1 \pm i \sqrt{3}}{2}$. Áp dụng công thức Moivre của lũy thừa số phức, ta tính được

$\quad\quad\quad\quad P(1,1,0) =0^{2011}+\left(\frac{1+i \sqrt{3}}{2}\right)^{2011}+\left(\frac{1-i \sqrt{3}}{2}\right)^{2011} $

$\quad\quad\quad\quad\quad\quad\quad\quad =\left(\cos \frac{\pi}{3}+i \sin \frac{\pi}{3}\right)^{2011}-\left(\cos \frac{2 \pi}{3}+i \sin \frac{2 \pi}{3}\right)^{2011} $

$\quad\quad\quad\quad\quad\quad\quad\quad =\left(\cos \frac{2011 \pi}{3}+i \sin \frac{2011 \pi}{3}\right)-\left(\cos \frac{4022 \pi}{3}+i \sin \frac{4022 \pi}{3}\right)=1$

Vì thế nên $M=0$.