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.

IMO2025/2


Trong bài này tôi sẽ giới thiệu một lời giải của bài 2 trong đề IMO 2025. Đề thi đầy đủ tôi đã đăng ở đây: https://nttuan.org/2025/07/01/imo-2025-problems-and-results/ . Không như nhiều bài thi IMO khác, bài toán này có hướng giải rõ ràng ngay từ đầu, theo tôi là vậy.

IMO2025/2. Cho \Omega\Gamma là hai đường tròn có tâm lần lượt là MN sao cho bán kính của \Omega nhỏ hơn bán kính của \Gamma. Giả sử \Omega\Gamma cắt nhau tại hai điểm phân biệt AB. Đường thẳng MN cắt \Omega tại C\Gamma tại D sao cho C, M, N, D nằm trên MN theo thứ tự đó. Gọi P là tâm đường tròn ngoại tiếp tam giác ACD. Đường thẳng AP cắt \Omega lần nữa tại E\neq A và cắt \Gamma lần nữa tại F\neq A. Gọi H là trực tâm của tam giác PMN.

Chứng minh rằng đường thẳng qua H song song với AP tiếp xúc với đường tròn ngoại tiếp tam giác BEF.

Lời giải. Gọi T là điểm chính giữa của cung EF không chứa B của đường tròn ngoại tiếp tam giác BEF. Bài toán sẽ được giải nếu ta chứng minh được HT\parallel EF.

Ta có \angle BEF = 2 \angle ACD\angle BFE= 2\angle ADC, suy ra \angle CPD =\angle ETF. Từ đây ta chứng minh được M, ET là ba điểm thẳng hàng.

AB\bot CDP là tâm của đường tròn ngoại tiếp tam giác ACD nên \angle CAB =\angle DAP, do đó hai đường thẳng DFCA là hai đường thẳng song song. Bởi vậy, nếu gọi X là giao điểm của hai đường thẳng CBDF thì nó phải nằm trên đường tròn ngoại tiếp tam giác BEF. Vì tam giác XCD là tam giác cân tại XPC=PD nên đường thẳng PH đi qua X.

Ta thấy PN là đường trung trực của đoạn ADP là tâm của đường tròn ngoại tiếp tam giác ACD nên

\angle APN =\frac{1}{2} APD =\angle ACN,

suy ra tứ giác PCAN là một tứ giác nội tiếp. Từ đây ta có \angle MTX =\angle MHX, do đó MHTX cũng là một tứ giác nội tiếp. Vì hai tam giác XBEPAC đồng dạng nên XB=XE. Suy ra

\angle BAP = \angle TMX=\angle THP,

do đó HT\parallel EF. \Box