IMO Shortlist 2023: Algebra

Phần Hình học các bạn xem ở đây https://nttuan.org/2024/11/02/isl2023-geometry/

A1. https://artofproblemsolving.com/community/c6h3359728p31218381

Giáo sư Oak đang cho $100$ Pokemon của mình ăn. Mỗi Pokemon có một chiếc bát có sức chứa là số thực dương kilogam. Những sức chứa này đã được Giáo sư biết đến. Tổng sức chứa của tất cả các bát là $100$ kg. Giáo sư Oak phân phát $100$ kg thức ăn theo cách mà mỗi Pokemon nhận được số nguyên không âm kg thức ăn (có thể lớn hơn dung tích của bát). Mức độ không hài lòng của Pokemon nhận được $N$ kg thức ăn và bát của nó có sức chứa $C$ kg là $\lvert N-C\rvert$ . Tìm số thực nhỏ nhất $D$ sao cho bất kể dung tích của các bát như thế nào, Giáo sư Oak có thể phân phát thức ăn sao cho tổng các mức độ không hài lòng của tất cả các Pokemon nhiều nhất là $D$ .

A2. https://artofproblemsolving.com/community/c6h3359723p31218373

Cho hàm số $f:\mathbb{R}\rightarrow\mathbb{R}$ thỏa mãn $f(x+y)f(x-y)\geqslant f(x)^2-f(y)^2$ với mọi số thực $x$ và $y$ . Giả sử có bất đẳng thức thực sự với hai số thực $x_0$ và $y_0$ nào đó. Chứng minh rằng $f(x)\geqslant 0$ với mọi $x\in\mathbb{R}$ hoặc $f(x)\leqslant 0$ với mọi $x\in\mathbb{R}$ .

A3. https://artofproblemsolving.com/community/c6h3107339p28104298

Cho $2023$ số thực dương $x_1,x_2,\ldots,x_{2023}$ đôi một khác nhau thỏa mãn $a_n=\sqrt{\left(x_1+x_2+\cdots+x_n\right)\left(\frac{1}{x_1}+\frac{1}{x_2}+\cdots+\frac{1}{x_n}\right)}$ là số nguyên với mọi $n=1,2,\ldots,2023$ . Chứng minh rằng $a_{2023}\geq 3034$ . (IMO2023/4)

A4. https://artofproblemsolving.com/community/c6h3359742p31218446

Tìm tất cả các hàm số $f \colon \mathbb R_{>0} \to \mathbb R_{>0}$ sao cho

$x \cdot \left(f(x) + f(y)\right) \geq \left(f(f(x)) + y\right) \cdot f(y)$ với mọi $x, y \in \mathbb R_{>0}$ .

A5. https://artofproblemsolving.com/community/c6h3359722p31218372

Cho các số nguyên dương $a_1,a_2,\dots,a_{2023}$ thỏa mãn

(1) $a_1,a_2,\dots,a_{2023}$ là một hoán vị của $1$ , $2$ , $\dots$ , $2023$ , và

(2) $|a_1-a_2|,|a_2-a_3|,\dots,|a_{2022}-a_{2023}|$ là một hoán vị của $1$ , $2$ , $\dots$ , $2022$ .

Chứng minh rằng $\max(a_1,a_{2023})\ge 507$ .

A6. https://artofproblemsolving.com/community/c6h3106754p28097579

Với số nguyên $k>1,$ tìm tất cả các dãy vô hạn số nguyên dương $a_1,a_2,\ldots$ sao cho tồn tại đa thức $P$ với hệ số nguyên không âm có dạng $P(x)=x^k+c_{k-1}x^{k-1}+\cdots+c_1x+c_0$ để $P(a_n)=a_{n+1}a_{n+2}\cdots a_{n+k}$ với mọi số nguyên dương $n.$ (IMO2023/3)

A7. https://artofproblemsolving.com/community/c6h3359726p31218377

Cho số nguyên dương $N$ . Chứng minh rằng có ba hoán vị $a_1$ , $\dots$ , $a_N$ , $b_1$ , $\dots$ , $b_N$ , và $c_1$ , $\dots$ , $c_N$ của $1$ , $\dots$ , $N$ sao cho $\left|\sqrt{a_k}+\sqrt{b_k}+\sqrt{c_k}-2\sqrt{N}\right|<2023$ với mọi $k=1,2,\dots,N$ .

VMO 2025/1

VMO 2025/1. Xét đa thức $P(x)=x^4-x^3+x$ .
(1) Chứng minh rằng với mỗi số thực dương $a$ , đa thức $P(x)-a$ có duy nhất một nghiệm thực dương.
(2) Xét dãy số $(a_n)_{n\geq 1}$ xác định bởi $a_1=1/3$ và với mỗi số nguyên dương $n$ , $a_{n+1}$ là nghiệm dương của đa thức $P(x)-a_n$ . Chứng minh rằng dãy số này có giới hạn hữu hạn và tìm giới hạn đó.

Lời giải. Xét một số thực dương $a$ và hàm số $f:\mathbb{R}\to\mathbb{R}$ xác định bởi $f(x)=P(x)-a,\quad\forall x\in\mathbb{R}.$ Hàm số $f$ là một hàm số liên tục trên $(0;+\infty)$ và

$\displaystyle \lim_{x\to 0^+} f(x)=-a<0,\quad\lim_{x\to+\infty}f(x)=+\infty,$

từ đây theo định lý giá trị trung gian, phương trình $f(x)=0$ có ít nhất một nghiệm thực dương. Mặt khác, hàm số $f$ đồng biến trên $(0;+\infty)$ vì

$\displaystyle f^{\prime}(x)=4x^3-3x^2+1=(2x-1)^2\left(x+\frac{1}{4}\right)+\frac{3}{4}>0$

với mọi số thực dương $x$ , suy ra phương trình $f(x)=0$ có đúng một nghiệm thực dương. Do đó phương trình $P(x)-a=0$ có đúng một nghiệm thực dương. Nghiệm này là nghiệm đơn của đa thức $P(x)-a$ nên ta có ý thứ nhất.

Bây giờ ta đến với ý thứ hai. Từ giả thiết ta có

$a_n-1=(a_{n+1}-1)(a_{n+1}^3+1),\quad\forall n\geq 1,$

sử dụng phương pháp quy nạp ta chứng minh được tất cả các số hạng của dãy $(a_n)_{n\geq 1}$ đều thuộc khoảng $(0;1)$ . Suy ra

$a_{n+1}-a_n=a_{n+1}^3(1-a_{n+1})>0,\quad\forall n\geq 1,$

do đó $(a_n)_{n\geq 1}$ là một dãy số tăng. Dãy số này cũng bị chặn trên bởi $1$ nên nó có giới hạn hữu hạn. Gọi $L$ là giới hạn của dãy số $(a_n)_{n\geq 1}$ . Vì $(a_n)_{n\geq 1}$ tăng và các số hạng đều thuộc khoảng $(0;1)$ , nên $0<L\leq 1$ .

Từ $P(a_{n+1})=a_n$ với mọi số nguyên dương $n$ , ta có $L^4-L^3+L=L,$ suy ra $\lim a_n=L=1$ . $\Box$

IMO Shortlist 2023: Geometry

G1. https://artofproblemsolving.com/community/c6h3359760p31218557

Cho $ABCDE$ là một ngũ giác lồi thỏa mãn $\angle ABC = \angle AED = 90^\circ.$ Giả sử trung điểm của $CD$ là tâm của đường tròn ngoại tiếp tam giác $ABE$ . Gọi $O$ là tâm của đường tròn ngoại tiếp tam giác $ACD$ . Chứng minh rằng đường thẳng $AO$ đi qua trung điểm của đoạn thẳng $BE$ .

G2. https://artofproblemsolving.com/community/c6h3359729p31218382

Cho tam giác $ABC$ với $AC > BC$ . Gọi $\omega$ là đường tròn ngoại tiếp tam giác $ABC$ , và $r$ là bán kính của nó. Điểm $P$ được chọn trên ${AC}$ sao cho $BC=CP,$ và điểm $S$ là chân đường vuông góc hạ từ $P$ xuống ${AB}$ . Tia $BP$ cắt lại $\omega$ tại $D$ . Điểm $Q$ được chọn trên đường thẳng $SP$ sao cho $PQ = r$ và $S$ , $P$ , $Q$ thẳng hàng theo thứ tự đó. Cuối cùng, gọi $E$ là một điểm thỏa mãn ${AE} \perp {CQ}$ và ${BE} \perp {DQ}$ . Chứng minh rằng $E$ nằm trên $\omega$ .

G3. https://artofproblemsolving.com/community/c6h3359737p31218405

Cho tứ giác nội tiếp $ABCD$ với $\angle BAD < \angle ADC$ . Gọi $M$ là trung điểm của cung $CD$ không chứa $A$ . Giả sử có một điểm $P$ nằm trong $ABCD$ sao cho $\angle ADB = \angle CPD$ và $\angle ADP = \angle PCB$ . Chứng minh rằng các đường thẳng $AD$ , $PM$ , và $BC$ đồng quy.

G4. https://artofproblemsolving.com/community/c6h3106748p28097552

Cho tam giác nhọn $ABC$ với $AB<AC$ . Gọi $S$ là điểm chính giữa của cung $BC$ chứa $A$ của $(ABC)$ . Đường thẳng qua $A$ vuông góc với $BC$ cắt $BS$ tại $D$ và cắt lại $(ABC)$ tại $E$ . Đường thẳng qua $D$ song song với $BC$ cắt $BE$ tại $L$ . $(BDL)$ cắt lại $(ABC)$ tại $P$ . Chứng minh rằng tiếp tuyến của $(BDL)$ tại $P$ cắt $BS$ trên phân giác của góc $BAC$ . (IMO2023/2)

G5. https://artofproblemsolving.com/community/c6h3359731p31218385

Cho tam giác nhọn $ABC$ với đường tròn ngoại tiếp $\omega$ có tâm là $O$ . Các điểm $D\neq B$ và $E\neq C$ nằm trên $\omega$ sao cho $BD\perp AC$ và $CE\perp AB$ . Giả sử $CO$ cắt $AB$ tại $X$ , và $BO$ cắt $AC$ tại $Y$ . Chứng minh rằng các đường tròn ngoại tiếp các tam giác $BXD$ và $CYE$ cùng đi qua một điểm thuộc đường thẳng $AO$ .

G6. https://artofproblemsolving.com/community/c6h3359733p31218391

Cho tam giác nhọn $ABC$ với đường tròn ngoại tiếp $\omega$ . Một đường tròn $\Gamma$ tiếp xúc trong với $\omega$ tại $A$ và tiếp xúc với $BC$ tại $D$ . Các đường thẳng $AB$ và $AC$ cắt $\Gamma$ lần lượt tại $P$ và $Q$ . Gọi $M$ và $N$ là các điểm nằm trên $BC$ sao cho $B$ là trung điểm của $DM$ và $C$ là trung điểm của $DN$ . Các đường thẳng $MP$ và $NQ$ cắt nhau tại $K$ , và cắt lại $\Gamma$ lần lượt tại $I$ và $J$ . Tia $KA$ cắt đường tròn ngoại tiếp tam giác $IJK$ tại $X\neq K$ . Chứng minh rằng $\angle BXP = \angle CXQ$ .

G7. https://artofproblemsolving.com/community/c6h3359736p31218400

Cho tam giác nhọn $ABC$ với trực tâm $H$ . Gọi $\ell_a$ là đường thẳng đi qua điểm đối xứng với $B$ qua $CH$ và điểm đối xứng với $C$ qua $BH$ . Các đường thẳng $\ell_b$ và $\ell_c$ được xác định tương tự. Giả sử ba đường thẳng $\ell_a$ , $\ell_b$ , và $\ell_c$ xác định một tam giác $\mathcal T$ . Chứng minh rằng trực tâm của $\mathcal T$ , tâm đường tròn ngoại tiếp của $\mathcal T$ , và $H$ thẳng hàng.

G8. https://artofproblemsolving.com/community/c6h3107345p28104331

Cho $ABC$ là một tam giác đều. Gọi $A_1,B_1,C_1$ là các điểm nằm trong tam giác $ABC$ sao cho $BA_1=A_1C$ , $CB_1=B_1A$ , $AC_1=C_1B$ , và

$\angle BA_1C+\angle CB_1A+\angle AC_1B=480^\circ.$

Giả sử $BC_1$ và $CB_1$ cắt nhau tại $A_2,$ $CA_1$ và $AC_1$ cắt nhau tại $B_2$ , $AB_1$ và $BA_1$ cắt nhau tại $C_2.$ Chứng minh rằng nếu tam giác $A_1B_1C_1$ là tam giác không cân thì ba đường tròn ngoại tiếp các tam giác $AA_1A_2, BB_1B_2$ và $CC_1C_2$ đi qua hai điểm chung. (IMO2023/6)

IMO Shortlist 2022: Number theory

N1. Một số nguyên dương được gọi là số Na Uy nếu nó có ba ước dương phân biệt có tổng bằng $2022$ . Xác định số Na Uy nhỏ nhất.

N2. Tìm tất cả các số nguyên dương $n>2$ sao cho

$\displaystyle n! \mid \prod_{ p<q\le n,\quad p,q\in\mathbb{P}} (p+q).$

N3. Cho $a > 1$ là một số nguyên dương và $d > 1$ là một số nguyên dương nguyên tố cùng nhau với $a$ . Đặt $x_1=1$ và với $k\geq 1$ , $x_{k+1} = x_k + d$ nếu không chia hết $x_k$ , $=x_k/a$ nếu $a$ chia hết $x_k$ . Tìm, theo $a$ và $d$ , số nguyên dương $n$ lớn nhất mà tồn tại chỉ số $k$ sao cho $x_k$ chia hết cho $a^n$ .

N4. Tìm tất cả các bộ ba số nguyên dương $(a,b,p)$ sao cho $p$ là số nguyên tố và $a^p=b!+p.$

(IMO2022/5)

N5. Đối với mỗi $i\in [9]$ và $T\in\mathbb{N}^*$ , ký hiệu $d_i(T)$ là số lần chữ số $i$ xuất hiện khi tất cả các bội của $1829$ trong $[T]$ được viết ra theo cơ số $10$ . Chứng minh rằng có vô số $T\in\mathbb{N}^*$ sao cho có đúng hai giá trị phân biệt trong các số $d_1(T)$ , $d_2(T)$ , $\dots$ , $d_9(T)$ .

N6. Cho $Q$ là một tập hợp không nhất thiết hữu hạn các số nguyên tố. Đối với một số nguyên dương $n$ , xét phân tích ra thừa số nguyên tố của nó: gọi $p(n)$ là tổng của tất cả các số mũ và $q(n)$ là tổng của các số mũ tương ứng với các số nguyên tố trong $Q$ . Số nguyên dương $n$ được gọi là đặc biệt nếu $p(n)+p(n+1)$ và $q(n)+q(n+1)$ đều là số nguyên chẵn. Chứng minh rằng tồn tại một hằng số $c>0$ không phụ thuộc $Q$ sao cho với mọi số nguyên dương $N>100$ , số các số nguyên đặc biệt trong $[N]$ ít nhất là $cN$ .

N7. Gọi $k$ là một số nguyên dương và $S$ là một tập hữu hạn các số nguyên tố lẻ. Chứng minh rằng có nhiều nhất một cách (sai khác phép quay và đối xứng) để đặt các phần tử của $S$ xung quanh một đường tròn sao cho tích của hai số cạnh nhau bất kỳ có dạng $x^2+x+k$ với một số nguyên dương $x$ .