IMO Shortlist 2024: Number theory


Trong bài này tôi sẽ giới thiệu các bài toán số học 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/ .

Các phần hình học và đại số của bộ 2024 tôi đã đăng ở đây 

A. https://nttuan.org/2025/09/03/isl2024a/

G. https://nttuan.org/2025/08/07/isl2024g/

N1. https://artofproblemsolving.com/community/c6h3610447p35340920

Tìm tất cả các số nguyên dương n thỏa mãn tính chất sau: với mọi ước số dương d của n, ta có d+1\mid n hoặc d+1 là số nguyên tố.

N2. https://artofproblemsolving.com/community/c6h3610444p35340915

Xác định tất cả các tập hợp hữu hạn, khác rỗng \mathcal{S} các số nguyên dương sao cho với mọi a,b\in\mathcal{S} tồn tại c\in\mathcal{S} thỏa mãn a\mid b+2c.

N3. https://artofproblemsolving.com/community/c6h3610437p35340905

Xác định tất cả các dãy số a_1, a_2, \dots các số nguyên dương sao cho với mọi cặp số nguyên dương m\leqslant n, trung bình cộng và trung bình nhân

\displaystyle \frac{a_m + a_{m+1} + \cdots + a_n}{n-m+1}\displaystyle (a_ma_{m+1}\cdots a_n)^{\frac{1}{n-m+1}} đều là các số nguyên.

N4. https://artofproblemsolving.com/community/c6h3358926p31205957

Tìm tất cả các cặp số nguyên dương (a,b) sao cho tồn tại các số nguyên dương gN thỏa mãn (a^n+b,b^n+a)=g với mọi số nguyên n\geq N. (IMO2024/2)

N5. https://artofproblemsolving.com/community/c6h3610445p35340917

Cho \mathcal{S} là một tập hợp hữu hạn khác rỗng các số nguyên tố. Giả sử 1 = b_1 < b_2 < \dots là dãy tất cả các số nguyên dương mà các ước nguyên tố đều thuộc \mathcal{S}. Chứng minh rằng với mỗi số nguyên dương n đủ lớn, tồn tại các số nguyên dương a_1, a_2, \dots, a_n sao cho

\displaystyle \frac{a_1}{b_1} + \frac{a_2}{b_2} + \dots + \frac{a_n}{b_n} = \left\lceil \frac{1}{b_1} + \frac{1}{b_2} + \dots + \frac{1}{b_n} \right\rceil.

N6. https://artofproblemsolving.com/community/c6h3610457p35340935

Cho n là một số nguyên dương. Ta nói một đa thức P với các hệ số nguyên là n-tốt nếu tồn tại một đa thức Q bậc 2 với các hệ số nguyên sao cho Q(k)(P(k) + Q(k)) không chia hết cho n với mọi số nguyên k. Xác định tất cả các số nguyên n sao cho mọi đa thức với các hệ số nguyên là một đa thức n-tốt.

Continue reading “IMO Shortlist 2024: Number theory”

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

|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_0d 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ỷ xy, 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

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

IMO Shortlist 2024: Geometry


Trong bài này tôi sẽ giới thiệu các bài toán hình học 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/


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

Cho ABCD là tứ giác nội tiếp sao cho AC<BD<AD\angle DBA<90^\circ. Điểm E nằm trên đường thẳng đi qua D song song với AB sao cho EC nằm khác phía đối với ADAC=DE. Điểm F nằm trên đường thẳng đi qua A song song với CD sao cho FC nằm khác phía đối với ADBD=AF. Chứng minh rằng các đường trung trực của BCEF cắt nhau trên đường tròn ngoại tiếp của ABCD.

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

Cho ABC là một tam giác với AB < AC < BC. Gọi tâm đường tròn nội tiếp và đường tròn nội tiếp của tam giác ABC lần lượt là I\omega. Gọi X là điểm trên đường thẳng BC, khác C, sao cho đường thẳng qua X song song với AC tiếp xúc với \omega. Tương tự, gọi Y là điểm trên đường thẳng BC, khác B, sao cho đường thẳng qua Y song song với AB tiếp xúc với \omega. Đường thẳng AI cắt lại đường tròn ngoại tiếp tam giác ABC tại P. Gọi KL lần lượt là trung điểm của ACAB. Chứng minh rằng \angle KIL + \angle YPX = 180^{\circ}. (IMO2024/4)        

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

Cho ABCDE là một ngũ giác lồi và M là trung điểm của AB. Giả sử AB tiếp tuyến với đường tròn ngoại tiếp tam giác CME tại MD nằm trên các đường tròn ngoại tiếp của AMEBMC. Các đường thẳng ADME cắt nhau tại K, và các đường thẳng BDMC cắt nhau tại L. Các điểm PQ nằm trên đường thẳng EC sao cho \angle PDC = \angle EDQ = \angle ADB. Chứng minh rằng các đường thẳng KP, LQ,MD đồng quy.

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

Cho ABCD là tứ giác có AB song song với CDAB<CD. Hai đường thẳng ADBC cắt nhau tại P. Điểm X khác C nằm trên đường tròn ngoại tiếp tam giác ABC sao cho PC=PX. Điểm Y khác D nằm trên đường tròn ngoại tiếp tam giác ABD sao cho PD=PY. Hai đường thẳng AXBY cắt nhau tại Q. Chứng minh rằng PQ song song với AB.

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

Cho tam giác ABC có tâm nội tiếp I, và \Omega là đường tròn ngoại tiếp tam giác BIC. Cho K là một điểm nằm trong đoạn thẳng BC sao cho \angle BAK < \angle KAC. Đường phân giác của \angle BKA cắt \Omega tại các điểm WX sao cho AW nằm cùng một phía đối với BC, và đường phân giác của \angle CKA cắt \Omega tại các điểm YZ sao cho AY nằm cùng một phía đối với BC. Chứng minh rằng \angle WAY = \angle ZAX.

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

Cho ABC là tam giác nhọn với AB < AC, và \Gamma là đường tròn ngoại tiếp ABC. Các điểm XY nằm trên \Gamma sao cho XYBC cắt nhau trên đường phân giác ngoài của \angle BAC. Giả sử các tiếp tuyến của \Gamma tại XY cắt nhau tại điểm T nằm cùng phía với A đối với BC, và TXTY cắt BC tại UV, tương ứng. Gọi J là tâm của đường tròn bàng tiếp đối diện đỉnh T của tam giác TUV. Chứng minh rằng AJ là phân giác của \angle BAC.

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

Cho ABC là tam giác có tâm nội tiếp I sao cho AB<AC<BC. Giao điểm thứ hai của AI, BI, và CI với đường tròn ngoại tiếp tam giác ABC lần lượt là M_{A}, M_{B}, và M_{C}. Các đường thẳng AIBC cắt nhau tại D và các đường thẳng BM_{C}CM_{B} cắt nhau tại X. Giả sử đường tròn ngoại tiếp tam giác XM_{B}M_{C}XBC cắt nhau tại S\neq X. Các đường thẳng BXCX cắt lại đường tròn ngoại tiếp tam giác SXM_{A} tại P\neq XQ\neq X, tương ứng. Chứng minh rằng tâm đường tròn ngoại tiếp tam giác SID nằm trên PQ.

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

Cho tam giác ABCAB<AC<BC, và D là một điểm nằm trong đoạn thẳng BC. Cho E là một điểm trên đường tròn ngoại tiếp tam giác ABC sao cho AE nằm khác phía đối với BC\angle{BAD}=\angle{EAC}. Gọi I,I_B,I_C,J_BJ_C lần lượt là tâm nội tiếp của các tam giác ABC,ABD,ADC,ABEAEC. Chứng minh rằng I_B,I_C,J_BJ_C đồng viên khi và chỉ khi AI,I_BJ_CJ_BI_C đồng quy.

IMO2025/3


Trong bài này tôi sẽ giới thiệu một lời giải của bài 3 trong đề IMO 2025. Đề thi đầy đủ tôi đã đăng ở đây: https://nttuan.org/2025/07/01/imo-2025-problems-and-results/ .

IMO2025/3. Một hàm f:\mathbb{N}^*\to\mathbb{N}^* được gọi là bonza nếu f(a)\mid b^a-f(b)^{f(a)} với mọi số nguyên dương ab.
Xác định hằng số thực nhỏ nhất c sao cho f(n)\leqslant cn với mọi hàm bonza f và mọi số nguyên dương n.

IMO Shortlist 2023: Combinatorics


Hình học : https://nttuan.org/2024/11/02/isl2023-geometry/

Đại số: https://nttuan.org/2025/01/23/isl2023-algebra/

Số học: https://nttuan.org/2025/02/13/isl2023-number-theory/


C1. https://artofproblemsolving.com/community/c6h3359749p31218491

Cho mn là các số nguyên lớn hơn 1. Trong mỗi ô vuông đơn vị của lưới m\times n có một đồng xu với mặt trái hướng lên trên. Một phép toán bao gồm các bước sau.

  • chọn một hình vuông $2\times 2$ trong lưới;
  • lật các đồng xu ở ô đơn vị trên cùng bên trái và dưới cùng bên phải;
  •  lật đồng xu ở ô vuông đơn vị trên cùng bên phải hoặc dưới cùng bên trái.

Xác định tất cả các cặp (m,n) sao cho mọi đồng xu đều hiện mặt phải sau một số hữu hạn lần thực hiện phép toán.

C2. https://artofproblemsolving.com/community/c6h3359755p31218537

Xác định số nguyên dương L lớn nhất sao cho tồn tại một dãy các số nguyên dương a_1,\dots,a_L có tính chất: mỗi số hạng của dãy không lớn hơn 2^{2023}, và không có các số hạng liên tiếp a_i,a_{i+1},\dots,a_j (ở đây 1\le i\le j\le L) với một cách chọn dấu s_i,s_{i+1},\dots,s_j\in\{1,-1\} để

s_ia_i+s_{i+1}a_{i+1}+\dots+s_ja_j=0.

C3. https://artofproblemsolving.com/community/c6h3107350p28104367

Cho n là một số nguyên dương. Một tam giác Nhật Bản gồm 1+2+\cdots+n hình tròn được xếp thành một hình tam giác đều sao cho với mỗi i = 1, 2, ..., n, hàng thứ i có đúng i hình tròn và trên hàng đó có đúng một hình tròn được tô màu đỏ. Một đường đi ninja trong một tam giác Nhật Bản là một dãy gồm n hình tròn nhận được bằng cách xuất phát từ hàng trên cùng, đi lần lượt từ một hình tròn xuống một trong hai hình tròn ngay dưới nó, và kết thúc tại hàng dưới cùng. Trong hình vẽ là một tam giác Nhật Bản với n = 6 và một đường đi ninja có chứa hai hình tròn màu đỏ.

Như một hàm số của n, tìm giá trị lớn nhất của k sao cho trong mỗi tam giác Nhật Bản luôn có một đường đi ninja chứa ít nhất k hình tròn màu đỏ.  (IMO2023/5)

C4. https://artofproblemsolving.com/community/c6h3359724p31218375

Cho n\geqslant 2 là một số nguyên dương. Paul có một dải hình chữ nhật cỡ 1\times n^2 gồm n^2 hình vuông đơn vị, trong đó hình vuông thứ i được gắn nhãn i với mọi 1\leqslant i\leqslant n^2. Anh ta muốn cắt dải giấy thành nhiều mảnh, trong đó mỗi mảnh bao gồm một số ô vuông đơn vị liên tiếp, sau đó dịch chuyển (không xoay hoặc lật) các mảnh để thu được hình vuông n\times n thỏa mãn tính chất sau: nếu hình vuông đơn vị trong hàng i và cột j được gắn nhãn a_{ij}, thì a_{ij}-(i+j -1) chia hết cho n.

Xác định số mảnh nhỏ nhất mà Paul cần tạo để hoàn thành việc này.

C5. https://artofproblemsolving.com/community/c6h3359765p31218619

Elisa có $latex $2023$ rương kho báu, tất cả đều được mở khóa và trống rỗng lúc đầu. Mỗi ngày, Elisa thêm một viên đá quý mới vào một trong những chiếc rương đã mở khóa mà cô ấy chọn, và sau đó, một cô tiên sẽ hành động theo các quy tắc sau:

  • nếu có nhiều hơn một rương được mở khóa, cô sẽ khóa một trong số chúng, hoặc
  • nếu chỉ có một rương được mở khóa, cô sẽ mở khóa tất cả các rương.

Cho rằng quá trình này diễn ra mãi mãi, hãy chứng minh rằng tồn tại một hằng số C với tính chất sau: Elisa có thể đảm bảo rằng chênh lệch giữa số viên ngọc trong hai rương bất kỳ không bao giờ vượt quá $latex $C$, bất kể cô tiên hành động như thế nào.

C6. https://artofproblemsolving.com/community/c6h3359747p31218478

Cho N là một số nguyên dương và xét một lưới N \times N các ô vuông. Đường dẫn xuống bên phải là một dãy các ô lưới sao cho mỗi ô là một ô ở bên phải hoặc một ô bên dưới ô trước đó trong chuỗi. Đường dẫn lên bên phải là một chuỗi các ô lưới sao cho mỗi ô là một ô ở bên phải hoặc một ô phía trên ô trước đó trong chuỗi.      

Chứng minh rằng không thể phân chia các ô của lưới N \times N thành ít hơn N vùng sao cho mỗi vùng là một đường dẫn xuống bên phải xuống hoặc một đường dẫn lên bên phải.

Chẳng hạn, lưới 5 \times 5 có thể phân chia thành 5 vùng như hình vẽ.

C7. https://artofproblemsolving.com/community/c6h3359751p31218524

Quần đảo Imomi bao gồm n\geq 2 hòn đảo. Giữa mỗi cặp đảo khác nhau có một tuyến phà duy nhất chạy theo cả hai hướng và mỗi tuyến phà được điều hành bởi một trong k công ty. Được biết, nếu bất kỳ công ty nào đóng cửa tất cả các tuyến phà của mình thì một du khách, bất kể bắt đầu từ đâu, sẽ không thể ghé thăm tất cả các hòn đảo đúng một lần (đặc biệt là không quay lại hòn đảo mà du khách bắt đầu). Xác định giá trị lớn nhất có thể có của k theo n.