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 ad, 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]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)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.

(IMO2022/3)

N8. Chứng minh rằng với mỗi số nguyên dương n, số 5^n-3^n không chia hết cho số 2^n+65.

Các phần khác đã được đăng ở

Đại số: https://nttuan.org/2024/05/06/isl2022-algebra/

Hình học: https://nttuan.org/2023/09/08/isl2022-geometry/

Tổ hợp: https://nttuan.org/2023/09/29/isl2022-combinatorics/

Bản pdf của IMO SL từ 2014 đến 2021: https://nttuan.org/2023/07/02/isl/

Sau khi sửa một vài chỗ, bản pdf của IMO SL 2022 sẽ được đăng trong link trên.

IMO 2024: Problems and results


Ngày thi thứ nhất (16/7/2024)

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

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.

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

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

\gcd (a^n+b,b^n+a)=g

với mọi số nguyên n\geq N.

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

Cho dãy vô hạn các số nguyên dương (a_n)_{n\geq 1} và số nguyên dương N. Giả sử với mọi số nguyên n>N, a_n bằng số lần xuất hiện của a_{n-1} trong dãy số a_1, a_2, \ldots, a_{n-1}. Chứng minh rằng một trong hai dãy số (a_{2n-1})_{n\geq 1}(a_{2n})_{n\geq 1} là tuần hoàn kể từ lúc nào đó.

Ngày thi thứ hai (17/7/2024)

Bài 4. https://artofproblemsolving.com/community/c6h3359767

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}.

Bài 5. https://artofproblemsolving.com/community/c6h3359777

Ốc sên Turbo chơi trò chơi sau trên một bảng ô vuông cỡ 2024\times 2023. Trong 2022 ô vuông con nào đó, có các con quỷ nấp ở đó. Ban đầu, Turbo không biết ô nào có quỷ, nhưng nó biết rằng trên mỗi hàng có đúng một con quỷ, trừ hàng đầu tiên và hàng cuối cùng, và trên mỗi cột có không quá một con quỷ.

Turbo thực hiện một dãy các phép thử để tìm cách đi từ hàng đầu đến hàng cuối của bảng. Tại mỗi lần thử, nó được quyền chọn một ô bất kỳ trên hàng đầu để xuất phát, sau đó liên tục di chuyển giữa các ô, mỗi bước từ một ô sang một ô có chung cạnh với ô mà nó đang đứng (nó được phép đến các ô đã từng đi qua). Nếu nó tới một ô có quỷ thì lần thử này dừng lại và nó được đưa trở lại hàng đầu để thực hiện một lần thử khác. Những con quỷ không di chuyển, và Turbo nhớ mỗi ô mà nó ghé qua có quỷ hay không. Nếu nó tới được một ô bất kỳ trên hàng cuối thì trò chơi kết thúc.

Xác định giá trị nhỏ nhất của n sao cho Turbo luôn có chiến lược đảm bảo tới được hàng cuối cùng sau không quá n lần thử, cho dù các con quỷ có nấp ở đâu.

Bài 6. https://artofproblemsolving.com/community/c6h3359771

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.


Ban tổ chức quyết định điểm xếp giải như sau:

HCV: \geq 29, HCB: \geq 22, HCĐ: \geq 16.

Đội tuyển Việt Nam được 2 HCB và 3 HCĐ. Đội đứng thứ 33 về tổng điểm.

Top 10 đội có điểm cao nhất. Đội tuyển Trung Quốc đứng thứ hai, sau nhiều năm đứng thứ nhất.

Top 10 thí sinh có điểm cao nhất. Haojia Shi lần thứ hai đạt 42/42 điểm. 🙂

Nguồn ảnh: https://www.imo-official.org/

IMO Shortlist 2022: Algebra


Trong bài này tôi sẽ dịch phần Đại số trong cuốn IMO Shortlist 2022. Các năm trước bạn có thể tìm ở đường dẫn https://nttuan.org/2023/07/02/isl/.

Các phần khác trong cuốn IMO Shortlist 2022 tôi đã để ở các bài dưới đây:

Hình học https://nttuan.org/2023/09/08/isl2022-geometry/

Tổ hợp https://nttuan.org/2023/09/29/isl2022-combinatorics/


A1. Cho (a_n)_{n\geq 1} là một dãy số thực dương có tính chất (a_{n+1})^2 + a_na_{n+2} \leq a_n + a_{n+2} với mọi số nguyên dương n. Chứng minh rằng a_{2022}\leq 1.

A2. Cho một số nguyên k\ge2. Tìm số nguyên n \ge k+1 nhỏ nhất sao cho tồn tại một tập n số thực có tính chất: mỗi phần tử của nó có thể viết được dưới dạng tổng của k phần tử phân biệt khác của tập hợp.

A3. Gọi \mathbb{R}^+ là tập hợp các số thực dương. Tìm tất cả các hàm f: \mathbb{R}^+ \to \mathbb{R}^+ sao cho với mỗi x \in \mathbb{R}^+, có đúng một y \in \mathbb {R}^+ thỏa mãn xf(y)+yf(x) \leq 2. (IMO2022/2)

A4. Gọi n \geqslant 3 là một số nguyên và x_1,x_2,\ldots,x_n là các số thực trong đoạn [0,1]. Đặt s=x_1+x_2+\ldots+x_n và giả sử rằng s \geqslant 3. Chứng minh rằng tồn tại các số nguyên ij với 1 \leqslant i<j \leqslant n sao cho 2^{j-i}x_ix_j>2^{s-3}.

A5. Tìm tất cả các số nguyên dương n \geqslant 2 sao cho tồn tại n số thực a_1<\cdots<a_n và số thực r>0 để \frac{1}{2}n( n-1) hiệu a_j-a_i với 1 \leqslant i<j \leqslant n bằng, theo một thứ tự nào đấy, các số r^1,r^2,\ldots,r^{\frac{ 1}{2}n(n-1)}.

A6. Chúng ta nói rằng một hàm f\colon\mathbb R\to\mathbb R là tốt nếu f(x + f(y)) = f(x) + f(y) với mọi x,y\in\mathbb R. Tìm tất cả các số hữu tỉ q sao cho với mọi hàm tốt f, tồn tại một số thực z sao cho f(z) = qz.

A7. Với số nguyên dương m, ký hiệu s(m) là tổng các chữ số của m trong hệ thập phân. Gọi P(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0 là một đa thức, trong đó n \geqslant 2a_i là một số nguyên dương với mọi 0 \leqslant i \leqslant n-1. Có thể xảy ra với mỗi số nguyên dương k, s(k)s(P(k)) có cùng tính chẵn – lẻ?

A8. Với số nguyên dương n, một n-dãy là một dãy (a_0,\ldots,a_n) gồm các số nguyên không âm có tính chất: nếu ij là các số nguyên không âm với i+j \leqslant n, thì a_i+a_j \leqslant na_{a_i+a_j}=a_{i+j}. Gọi f(n) là số n-dãy. Chứng minh rằng tồn tại các số thực dương c_1, c_2\lambda sao cho c_1\lambda^n<f(n)<c_2\lambda^n với mọi số nguyên dương n.

IMO Shortlist 2022: Combinatorics


Trong bài này tôi sẽ dịch phần Tổ hợp trong cuốn IMO Shortlist 2022. Các năm trước bạn có thể tìm ở đường dẫn https://nttuan.org/2023/07/02/isl/.

Phần Hình của năm 2022 tôi đã dịch ở đây

C1. Một \pm 1-dãy là một dãy gồm 2022 số a_1, \ldots, a_{2022}, mỗi số bằng +1 hoặc -1. Tìm số C lớn nhất sao cho, đối với bất kỳ dãy \pm 1 nào, tồn tại một số nguyên k và các chỉ số 1 \le t_1 < \ldots < t_k \le 2022 để t_{i+1} - t_i \le 2 với mọi i, và \displaystyle \left| \sum_{i=1}^{k} a_{t_i} \right| \ge C.

C2. Ngân hàng Oslo phát hành hai loại tiền xu: nhôm (ký hiệu là A) và đồng (ký hiệu là B). Alpha có n đồng xu nhôm và n đồng xu đồng được sắp xếp thành một hàng theo thứ tự ban đầu tùy ý. Một chuỗi là bất kỳ dãy con nào các đồng xu liên tiếp có cùng loại. Cho một số nguyên dương cố định k \leq 2n, Beta lặp đi lặp lại thao tác sau: anh ta xác định chuỗi dài nhất chứa đồng xu thứ k từ bên trái và di chuyển tất cả đồng xu trong chuỗi đó sang đầu bên trái của hàng. Ví dụ: nếu n=4k=4, quá trình bắt đầu từ AABBBABA sẽ là

AABBBABA \to BBBAAABA \to AAABBBBA \to BBBBAAAA \to ...

Tìm tất cả các cặp (n,k) với 1 \leq k \leq 2n sao cho với mỗi cách xếp các đồng xu lúc đầu, tại một thời điểm nào đó trong quá trình, n đồng xu ngoài cùng bên trái có cùng loại.

C3. Trong mỗi ô vuông của một khu vườn có dạng bảng ô vuông cỡ 2022 \times 2022, ban đầu có một cái cây cao 0. Một người làm vườn và một thợ đốn gỗ thay phiên nhau chơi trò chơi sau, người làm vườn sẽ chơi ở lượt đầu tiên:

(1) Người làm vườn chọn một ô vuông trong vườn. Sau đó mỗi cây trên ô vuông đó và tất cả các ô vuông xung quanh trở thành cao hơn một đơn vị.

(2) Người thợ đốn gõ chọn bốn ô vuông khác nhau trong vườn. Sau đó mỗi cây có chiều cao dương trên các ô vuông đó sẽ trở thành thấp hơn một đơn vị.

Ta nói rằng một cái cây là hùng vĩ nếu chiều cao của nó ít nhất là 10^6. Tìm số K lớn nhất sao cho người làm vườn có thể đảm bảo cuối cùng sẽ có K cây hùng vĩ trong vườn, bất kể người thợ đốn gỗ chơi như thế nào.

C4. Cho một số nguyên n > 3. Giả sử rằng n đứa bé được sắp xếp thành một vòng tròn và n đồng xu được phân phát cho chúng (một số bé có thể không có đồng xu nào). Ở mỗi bước, bé có ít nhất 2 đồng xu có thể đưa 1 đồng xu cho mỗi bé ngay bên phải và bên trái của mình. Hãy tìm tất cả các cách phân phát các đồng xu ban đầu sao cho sau một số hữu hạn bước, mỗi bé có đúng một đồng xu.

C5. Cho m,n \geqslant 2 là các số nguyên, X là một tập hợp có n phần tử, và X_1, X_2, \ldots, X_m là các tập hợp con khác rỗng phân biệt của X. Một hàm f \colon X \to \{1,2,\ldots,n+1\} được gọi là tốt nếu tồn tại một chỉ số k sao cho \displaystyle\sum_{x \in X_k} f(x )>\sum_{x \in X_i} f(x), \quad \forall i \ne k. Chứng minh rằng số hàm tốt ít nhất là n^n.

C6. Cho n là một số nguyên dương. Chúng ta bắt đầu với n đống sỏi, mỗi đống ban đầu chỉ chứa một viên sỏi. Người ta có thể thực hiện các bước di chuyển theo hình thức sau: chọn hai đống, lấy một số viên sỏi bằng nhau từ mỗi đống và tạo thành một đống mới từ những viên sỏi này. Tìm, theo n, số nhỏ nhất các đống sỏi khác rỗng mà một người có thể thu được bằng cách thực hiện một dãy hữu hạn các bước di chuyển có dạng này.

C7. Lucy bắt đầu bằng cách viết s bộ 2022 số nguyên lên bảng đen. Sau khi làm điều đó, cô ấy có thể lấy hai bộ bất kỳ (không nhất thiết phải khác nhau) \mathbf{v}=(v_1,\ldots,v_{2022})\mathbf{w}=(w_1,\ldots,w_{ 2022}) mà cô ấy đã viết và áp dụng một trong các thao tác sau để lấy bộ mới:

\mathbf{v}+\mathbf{w}=(v_1+w_1,\ldots,v_{2022}+w_{2022})

\mathbf{v} \lor \mathbf{w}=(\max(v_1,w_1),\ldots,\max(v_{2022},w_{2022}))

rồi viết bộ này lên bảng. Sau hữu hạn bước, theo cách này, Lucy có thể viết bất kỳ bộ 2022 số nguyên nào lên bảng. Số s nhỏ nhất có thể là bao nhiêu?

C8. Cho n là một số nguyên dương. Hình vuông Bắc Âu là một bảng ô vuông n \times n chứa tất cả các số nguyên từ 1 đến n^2 sao cho mỗi ô chứa đúng một số. Hai ô khác nhau được gọi là kề nếu chúng có chung một cạnh. Mỗi ô chỉ kề với các ô chứa số lớn hơn được gọi là thung lũng. Đường lên dốc là một dãy gồm một hoặc nhiều ô sao cho các điều kiện sau được thỏa mãn đồng thời:

(i) ô đầu tiên trong dãy là một thung lũng,

(ii) mỗi ô tiếp theo trong dãy kề với ô trước đó,

(iii) các số trên các ô trong dãy lập thành một dãy tăng theo thứ tự.

Tìm, theo n, số nhỏ nhất đường lên dốc có thể có trong một hình vuông Bắc Âu.

C9. Xét các song ánh f:\mathbb N\times \mathbb N \to \mathbb N có tính chất: mỗi khi f(x_1,y_1) > f(x_2, y_2), thì f(x_1+1, y_1) > f(x_2 + 1, y_2)f(x_1, y_1+1) > f(x_2, y_2+1). Gọi k là số cặp số nguyên (x,y) sao cho 0\le x,y<100f(x,y) is số nguyên lẻ. Tìm giá trị lớn nhất và giá trị nhỏ nhất của k.