Sau khi giải xong bài IMO2023/6 ([1]) tôi vào topic thảo luận về bài toán đó trên AoPS ([2]) để tham khảo các lời giải khác. Tôi thấy parmenides51 bình luận rằng trong lịch sử IMO thì bài này là bài khó thứ nhì trong các bài hình học, bài khó nhất là bài IMO2011/6. Do tò mò tôi vào trang chủ của IMO ([3]) xem bài toán đó thế nào? Dưới đây là đề bài:
IMO2011/6. Cho tam giác nhọn với đường tròn ngoại tiếp
. Giả sử
là một tiếp tuyến nào đó của
. Gọi
,
, và
là những đường thẳng nhận được từ
bằng cách lấy đối xứng qua
,
, và
, tương ứng. Chứng minh rằng đường tròn ngoại tiếp của tam giác tạo bởi ba đường thẳng
,
, và
tiếp xúc với
.

Trong điều kiện phòng thi thì thống kê chứng tỏ đây là bài hình học khó nhất trong lịch sử IMO! Ảnh sau tôi lấy từ [3], chỉ có thí sinh làm được bài toán này. Một bài toán rất rất khó!

Tôi thích bài IMO2023/6 bởi nó khá lạ so với các bài toán hình thường làm, bài IMO2011/6 này hấp dẫn tôi bởi sự giản dị. Không thể tin được là có kết quả này! Tôi quyết định lập một topic trên blog của tôi để làm việc với bài toán mỗi khi có thời gian (công việc chính của tôi là dạy đại số và số học cho các học sinh Chuyên toán bậc THPT), nó có thể lấy của tôi vài ngày hay nhiều tuần. Khi tôi đang gõ dòng này thì topic đang ở trạng thái ĐỢI, giải được bài toán tôi sẽ bấm nút CÔNG BỐ. Ở mỗi thời điểm, có được kết quả mới nào tôi sẽ sửa vào đây. Lời giải được viết theo hình vẽ trong bài, các trường hợp khác được bỏ qua.
Continue reading “IMO2011/6: Miquel circles and Steiner line”



