2026 USA IMO Team Selection Test

Bài 1. https://artofproblemsolving.com/community/c6h3733926p36710571

Cho $n$ là một số nguyên dương. Chứng minh rằng ta có thể tô màu các hệ số khác không của đa thức

$\displaystyle f(x_{1},x_{2},...,x_{n})=\prod_{k=0}^{n}(x_{1}+x_{2}+\cdots+x_{n}-k)$

bằng $2^n-1$ màu sao cho tổng các hệ số của mỗi màu bằng $0$ , và mỗi màu được sử dụng ít nhất một lần.

Bài 2. https://artofproblemsolving.com/community/c6h3733954p36710650

Cho $p$ là một số nguyên tố và $a, b$ là các số nguyên dương nhỏ hơn $p$ . Chứng minh rằng

$\displaystyle\sum_{k=1}^{b}(-1)^{\lfloor(a-1)k/p\rfloor+\lfloor ak/p\rfloor}\ge0.$

Bài 3. https://artofproblemsolving.com/community/c6h3733942p36710611

Chứng minh rằng với bất kỳ tập hợp con $S$ nào của $\mathbb{R}^{2}$ , tồn tại một hình chữ nhật có diện tích bằng $1$ mà phần trong của nó chứa hoặc $0$ điểm, hoặc nhiều hơn $2025$ điểm của $S$ .

IMO Shortlist 2024: Algebra

Trong bài này tôi sẽ giới thiệu các bài toán đại số trong cuốn IMO Shortlist 2024, các bài toán từ IMO SL năm trước các bạn có thể tìm ở https://nttuan.org/category/contests/imo-shortlist/ .

Phần hình học của bộ 2024 tôi đã đăng ở đây https://nttuan.org/2025/08/07/isl2024g/

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

Tìm tất cả các số thực $\alpha$ sao cho với mỗi số nguyên dương $n$ , số

$[\alpha]+[2\alpha]+\cdots+[n\alpha]$

chia hết cho $n$ . (IMO2024/1)

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

Cho $n$ là một số nguyên dương. Tìm giá trị nhỏ nhất có thể của

$S = 2^0 x_0^2 + 2^1 x_1^2 + \dots + 2^n x_n^2,$

trong đó $x_0, x_1, \dots, x_n$ là các số nguyên không âm sao cho $x_0 + x_1 + \dots + x_n = n$ .

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

Hãy xác định xem với mọi dãy số thực dương $(a_n)$ ,

$\displaystyle\frac{3^{a_1}+3^{a_2}+\cdots+3^{a_n}}{(2^{a_1}+2^{a_2}+\cdots+2^{a_n})^2} < \frac{1}{2024}$

có đúng với ít nhất một số nguyên dương $n$ hay không.

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

Tìm tất cả các tập con $\mathcal{S}$ của $\{2^{0},2^{1},2^{2},\ldots\}$ sao cho tồn tại một hàm $f\colon\mathbb{Z}_{>0}\to\mathbb{Z}_{>0}$ với

$\mathcal{S}=\{f(a+b)-f(a)-f(b)\mid a,b\in\mathbb{Z}_{>0}\}.$

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

Tìm tất cả các dãy số tuần hoàn $a_1,a_2,\dots$ gồm các số thực sao cho với mỗi số nguyên dương $n$ ,

$a_{n+2}+a_{n}^2=a_n+a_{n+1}^2$

và $|a_{n+1}-a_n|\leqslant 1.$

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

Cho $a_0, a_1, a_2, \ldots$ là một dãy tăng ngặt các số nguyên dương sao cho với mỗi $n \ge 1$ , ta có

$\displaystyle a_n \in \left\{ \frac{a_{n-1} + a_{n+1}}{2}, \sqrt{a_{n-1} \cdot a_{n+1}} \right\}.$

Cho $b_1, b_2, \ldots$ là một dãy vô hạn các chữ cái được xác định bởi

$b_n = A$ nếu $a_n = \frac{1}{2}(a_{n-1} + a_{n+1})$ , $=G$ trong trường hợp còn lại. Chứng minh rằng tồn tại các số nguyên dương $n_0$ và $d$ sao cho với mọi $n \ge n_0$ ta có $b_{n+d} = b_n$ .

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

Một hàm số $f:\mathbb{Q}\to\mathbb{Q}$ được gọi là đẹp nếu với mỗi số hữu tỷ $x$ và $y$ , $f(x+f(y))=f(x)+y$ hoặc $f(f(x)+y)=x+f(y)$ . Chứng minh rằng tồn tại số nguyên $c$ sao cho với mọi hàm số đẹp $f$ , có không quá $c$ số hữu tỷ có dạng $f(r)+f(-r)$ , với số hữu tỷ $r$ nào đó. Tìm giá trị nhỏ nhất của các số $c$ có tính chất này. (IMO2024/6)

A8. https://artofproblemsolving.com/community/c6h3610460p35340944

Cho $p \ne q$ là các số nguyên dương nguyên tố cùng nhau. Xác định tất cả các dãy vô hạn $a_1$ , $a_2$ , $\dots$ các số nguyên dương sao cho với mỗi số nguyên dương $n$ ,

$\max(a_n, a_{n+1}, \dots, a_{n+p}) - \min(a_n, a_{n+1}, \dots, a_{n+p}) = p$

và $\max(a_n, a_{n+1}, \dots, a_{n+q}) - \min(a_n, a_{n+1}, \dots, a_{n+q}) = q$ .

Formal power series

Định nghĩa 1. Một chuỗi lũy thừa hình thức là một biểu diễn có dạng

$a_0+a_1x+a_2x^2+a_3x^3+\ldots,$

hay gọn hơn $\displaystyle\sum_{k=0}^{\infty}a_kx^k.$ Trong đó $(a_n)_{n\geq 0}$ là một dãy các số phức. Các $a_i$ được gọi là các hệ số của chuỗi lũy thừa hình thức, $a_0$ được gọi là hệ số tự do của chuỗi lũy thừa hình thức.

Từ “hình thức” trong định nghĩa trên có nghĩa là ta không bận tâm đến việc cho $x$ các giá trị đặc biệt, ta cũng không quan tâm đến tính hội tụ hay phân kỳ của chuỗi. Tập tất cả các chuỗi lũy thừa hình thức với hệ số thuộc một tập hợp $A$ được ký hiệu bởi $A[[x]]$ . Với một chuỗi lũy thừa hình thức $a(x)$ , ta ký hiệu hệ số của $x^n$ trong chuỗi này bởi $[x^n]a(x)$ .

Nếu $a_i=0$ với mọi $i>m$ thì để cho gọn, chuỗi $\sum_{n=0}^{\infty}a_nx^n$ sẽ được viết là

$a_0+a_1x+\ldots+a_mx^m.$

Chuỗi lũy thừa hình thức với tất cả các hệ số bằng $0$ được gọi là chuỗi không, ký hiệu là $0$ . Tổng và tích của hai chuỗi lũy thừa hình thức $\displaystyle\sum_{n=0}^{\infty}a_nx^n$ và $\displaystyle\sum_{n=0}^{\infty}b_nx^n$ được định nghĩa bởi

$\displaystyle\sum_{n=0}^{\infty}a_nx^n+\sum_{n=0}^{\infty}b_nx^n=\sum_{n=0}^{\infty}(a_n+b_n)x^n$

và

$\displaystyle\left(\sum_{n=0}^{\infty}a_nx^n\right)\left(\sum_{n=0}^{\infty}b_nx^n\right)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^na_kb_{n-k}\right)x^n.$

Với hai phép toán này thì $\mathbb{C}[[x]]$ là một vành giao hoán có đơn vị là chuỗi đơn vị $1+0x^1+0x^2+0x^3+\ldots,$ ký hiệu là $1$ .

Tương tự như với các số phức, ta có kết quả sau:

Định lý 1. Nếu $a$ và $b$ là các phần tử khác không của $\mathbb{C}[[x]]$ , thì chuỗi tích $ab$ cũng khác chuỗi không.

Chứng minh. Gọi $m$ là số tự nhiên nhỏ nhất sao cho $[x^m]a\not=0$ , và $n$ là số tự nhiên nhỏ nhất sao cho $[x^n]b\not=0$ . Khi đó

$[x^{m+n}](ab)=([x^m]a)([x^n]b)\not=0,$

suy ra $ab$ khác chuỗi không. $\Box$

Khác với phép nhân trong tập các số phức, không phải mọi chuỗi khác không đều có nghịch đảo. Chẳng hạn, khi $a(x)=0+x+0x^2+0x^3+\ldots,$ (chuỗi này thường được viết là $a(x)=x$ ) thì $a(x)\not=0$ nhưng không có chuỗi $b(x)$ để $a(x)b(x)=1$ .

Định lý 2. Chuỗi $a(x)$ có nghịch đảo khi và chỉ khi $[x^0]a(x)\not=0$ .

Chứng minh. Giả sử chuỗi $a(x)$ có nghịch đảo, và $b(x)$ là nghịch đảo của nó. Khi đó

$1=[x^0](ab)=([x^0]a)([x^0]b),$

suy ra $[x^0]a(x)\not=0$ .

Bây giờ giả sử $\displaystyle a(x)=\sum_{n=0}^{\infty}a_nx^n$ là một chuỗi lũy thừa hình thức có $a_0=[x^0]a(x)\not=0$ . Chuỗi lũy thừa hình thức $\displaystyle b(x)=\sum_{n=0}^{\infty}b_nx^n$ là nghịch đảo của $a(x)$ khi và chỉ khi $a_0b_0=1$ và

$\displaystyle\sum _{k=0}^na_kb_{n-k}=0,\quad\forall n\geq 1.$

Từ hệ này ta có thể xác định $b(x)$ bởi $b_0=1/a_0$ và

$\displaystyle b_n=-\frac{1}{a_0}\sum _{k=1}^na_kb_{n-k},\quad\forall n\geq 1.$ $\Box$

Khi $a$ là một chuỗi có nghịch đảo thì ta ký hiệu chuỗi nghịch đảo của nó bởi $a^{-1}$ . Tích của chuỗi $b$ và chuỗi $a^{-1}$ thường được viết là $\frac{b}{a}$ .

Ví dụ. Chuỗi lũy thừa hình thức $1-x$ có nghịch đảo là chuỗi

$\displaystyle \frac{1}{1-x}=1+x+x^2+x^3+\ldots$

Định nghĩa 2. Dãy các chuỗi lũy thừa hình thức với hệ số phức $\{S_n(x)\}_{n\geq 1}$ được gọi là hội tụ đến chuỗi lũy thừa hình thức với hệ số phức $S(x)$ , ký hiệu $\displaystyle\lim_{n\to\infty} S_n(x)=S(x)$ , nếu với mỗi $n\geq 0$ có số nguyên dương $N$ sao cho $[x^n]S_i(x)=[x^n]S(x)$ mỗi khi $i\geq N$ . Trong trường hợp này ta nói $\{S_n(x)\}_{n\geq 1}$ là một dãy hội tụ.

Khi $\displaystyle A(x)=\sum_{n\geq 0}a_nx^n$ là một phần tử khác không của $\mathbb{C}[[x]]$ , ta gọi bậc của $A(x)$ , ký hiệu $\deg A(x)$ , là số $n$ nhỏ nhất sao cho $a_n\not=0$ . Dễ thấy nếu $B(x)$ và $C(x)$ là các phần tử khác không của $\mathbb{C}[[x]]$ thì $B(x)C(x)$ cũng là một phần tử khác không của $\mathbb{C}[[x]]$ , và

$\deg B(x)C(x)=\deg B(x)+\deg C(x).$

Ta quy ước $\deg 0=\infty$ . Sử dụng bậc của một chuỗi lũy thừa hình thức ta có một định nghĩa khác của tính hội tụ của dãy các chuỗi lũy thừa hình thức.

Continue reading →

IMO 2025: Problems and results

Olympic Toán học Quốc tế (IMO) 2025 là kỳ thi toán học danh giá nhất dành cho học sinh trung học, được tổ chức tại Sunshine Coast, Queensland, Australia từ ngày 10 đến 20 tháng 7 năm 2025. Đây là lần thứ 66 của cuộc thi, quy tụ các tài năng toán học trẻ từ hơn 100 quốc gia, tranh tài qua 6 bài toán khó trong các lĩnh vực như đại số, hình học, số học và tổ hợp. Việt Nam, với truyền thống thành tích ấn tượng tại IMO từ năm 1974, tiếp tục cử đội tuyển gồm 6 học sinh xuất sắc tham dự kỳ thi năm nay. Đội tuyển được lựa chọn qua Kỳ thi học sinh giỏi quốc gia và Kỳ thi chọn đội tuyển Olympic quốc tế, thể hiện sự chuẩn bị kỹ lưỡng của Bộ Giáo dục và Đào tạo.

Theo thông tin chính thức, danh sách đội tuyển Việt Nam tham dự IMO 2025 bao gồm:

Nguyễn Đình Tùng (lớp 11, Trường THPT chuyên Khoa học Tự nhiên, Đại học Quốc gia Hà Nội).
Trần Minh Hoàng (lớp 12, Trường THPT chuyên Hà Tĩnh).
Võ Trọng Khải (lớp 12, Trường THPT chuyên Phan Bội Châu, Nghệ An).
Trương Thanh Xuân (lớp 11, Trường THPT chuyên Bắc Ninh) – nữ sinh duy nhất sau 5 năm.
Nguyễn Đăng Dũng (lớp 12, Trường THPT chuyên Khoa học Tự nhiên, Đại học Quốc gia Hà Nội).
Lê Phan Đức Mân (lớp 12, Trường THPT chuyên Lê Hồng Phong, TP. Hồ Chí Minh).

Đội tuyển được dẫn dắt bởi trưởng đoàn TS. Nguyễn Chu Gia Vượng, cựu thí sinh IMO 1993 (HCV) và 1994 (HCB), và phó đoàn TS. Lê Bá Khánh Trình, người từng giành giải đặc biệt tại IMO 1979. Cả hai đều là những chuyên gia dày dạn kinh nghiệm trong bồi dưỡng học sinh giỏi.

Dưới đây là đề thi và kết quả.

Đề thi:

2025_vie Download

Những bài toán này được thiết kế để thử thách các học sinh trung học hàng đầu thế giới, bao gồm các lĩnh vực cốt lõi của toán học trung học: đại số, hình học, lý thuyết số và tổ hợp.

Các bài toán IMO thường được thiết kế theo hướng tăng dần độ khó theo từng ngày, với Bài toán 1 (P1) và Bài toán 4 (P4) thường dễ tiếp cận nhất, Bài toán 2 (P2) và 5 (P5) có độ khó trung bình, và Bài toán 3 (P3) và 6 (P6) là khó nhất. Đối với IMO 2025, mô hình này dường như vẫn được duy trì dựa trên phản hồi từ AoPS, một diễn đàn nổi tiếng về toán Olympiad.

Kết quả của đội Việt Nam: 2 HCV, 3 HCB, và 1 HCĐ. Cụ thể: Khải và Hoàng đạt HCV; Dũng, Tùng và Mân đạt HCB; Xuân đạt HCĐ. Đội đứng thứ 9 về tổng điểm.