IMO 2026 · Bài 2

Đã khóa · chờ kiểm·Ngày 1·chưa xác định lĩnh vực·Bằng chứng I0 - Chưa định phạm vi

Phụ thuộc lời giải chính thức: Không·Đã xem lời giải chính thức: CHƯA

Audit chứng minh: NOT-STARTED·Đã tiếp xúc lời giải nội bộ: CÓ

Bản thảo lời giải sẵn có

Một bản thảo lời giải hoàn chỉnh được tạo trước đó trong dự án. Giữ nguyên tại đây; không phải lời giải chính thức của IMO và chưa được audit độc lập.

IMO2026_Day1_Problem2.pdfTải PDF

tạo 2026-07-16mức: L4-candidate (human-checkable write-up)audit: AUDIT-PENDINGsha256:c10b9120459d…

Independent HIVE-IMO X manuscript. Not an official IMO solution, and not independently verified under the new pipeline.

Đề chính thức

Let $ABC$ be a triangle and let points $M$ and $N$ be the midpoints of sides $AB$ and $AC$ , respectively. Let points $K$ and $L$ be chosen strictly inside triangles $BMC$ and $BNC$ , respectively, such that $K$ lies strictly inside triangle $ABL$ and $L$ lies strictly inside triangle $AKC$ . Suppose that $\angle KBA=\angle ACL,\qquad \angle LBK=\angle LNC,\qquad \text{and}\qquad \angle LCK=\angle BMK.$ Let $O$ be the circumcentre of triangle $AKL$ . Prove that $OM=ON$ .

nguồn chính thức ↗frozen 2026-07-21sha256:cbe3015874…

Bản dịch tiếng Việt

Bản dịch sát nghĩa do Fable soạn, chờ Human duyệt (tên riêng giữ nguyên dạng gốc).

Cho tam giác $ABC$ và gọi $M$ , $N$ lần lượt là trung điểm của các cạnh $AB$ và $AC$ . Chọn các điểm $K$ và $L$ nằm hoàn toàn bên trong các tam giác $BMC$ và $BNC$ tương ứng, sao cho $K$ nằm hoàn toàn bên trong tam giác $ABL$ và $L$ nằm hoàn toàn bên trong tam giác $AKC$ . Giả sử rằng $\angle KBA=\angle ACL,\qquad \angle LBK=\angle LNC,\qquad \text{và}\qquad \angle LCK=\angle BMK.$ Gọi $O$ là tâm đường tròn ngoại tiếp tam giác $AKL$ . Chứng minh rằng $OM=ON$ .

Bài toán hỏi gì

Phần giải thích ngắn gọn được viết trong S1–S3, sau khi Human và AI đọc độc lập. S0 chỉ khóa đề, chưa diễn giải.

Ma trận đóng góp Human × AI

Ghi đóng góp theo từng bước. Phê duyệt cuối luôn do Human chủ trì và được kiểm chứng độc lập.

Hạng mục	Human	Sol	Fable	Verifier độc lập
Diễn giải đề	-	-	-	-
Ý tưởng cốt lõi	-	-	-	-
Phát hiện bổ đề	-	-	-	-
Tìm phản ví dụ	-	-	-	-
Viết chứng minh	-	-	-	-
Kiểm hình thức	-	-	-	-
Phê duyệt cuối	-	-	-	-

Đóng góp được ghi theo từng bước; chưa gán vai trò nào cho tới khi bắt đầu.

Vuốt ngang để xem đầy đủ các cột →

Chuẩn bị audit (S0-R)

Bản thảo đã được tái nối thành hồ sơ sẵn sàng cho verifier: gắn đề, section map, và bộ khung nghĩa vụ chứng minh. Chưa nghĩa vụ nào được kiểm chứng.

trạng thái: RECONCILEDđề: MATCHnghĩa vụ chứng minh: 6 (3 tải trọng cao)đã audit: 0/6

Mọi nghĩa vụ được đánh dấu CLAIMED (do bản thảo khẳng định), không phải VERIFIED. Audit độc lập bởi verifier chưa bị nhiễm chưa bắt đầu.

proof_obligations.json ↗verifier_input_manifest.json ↗sha256:0fdae52238f7…

Timeline · S0–S14

S0Khóa đề chính thức
HUMAN · Pending: Human V3 translation review + contamination attestation.AI · Fable froze the official statement, produced normalized EN + VI draft, source record, contamination ledger and SHA-256 manifest. Sol V2 semantic review pending. No solving.
problem_en.mdsha256:f820249b00…754e8d problem_en.normalized.jsonsha256:430396e7d5…d0060f problem_vi.reviewed.mdsha256:4b31e92988…a94f33 source_record.jsonsha256:f623213666…19cad7 contamination_ledger.jsonsha256:b6b82f8d32…d492b0
S1Human đọc mù
Chưa bắt đầu.
S2AI đọc độc lập
Chưa bắt đầu.
S3Hợp nhất đối chiếu
Chưa bắt đầu.
S4Phân rã hình thức
Chưa bắt đầu.
S5Trinh sát miền nhỏ
Chưa bắt đầu.
S6Giải đấu hướng đi
Chưa bắt đầu.
S7Rèn bổ đề
Chưa bắt đầu.
S8Ghép proof ứng viên
Chưa bắt đầu.
S9Phản biện đối kháng
Chưa bắt đầu.
S10Tái dựng độc lập
Chưa bắt đầu.
S11Human viết lại chứng minh
Chưa bắt đầu.
S12Kiểm chứng độc lập / hình thức
Chưa bắt đầu.
S13So sánh lời giải chính thức
Chưa bắt đầu.
S14Công bố và postmortem
Chưa bắt đầu.

Bản đồ hướng đi

Tối đa ba hướng chính sống sót qua giải đấu ở S6.

Chưa có hướng đi nào được đề xuất.

Những hướng đã thất bại

Các hướng thất bại và proof bị bác được giữ vĩnh viễn, không bao giờ xóa.

Chưa ghi nhận.

Bổ đề chính

Bổ đề xuất hiện tại đây khi được rèn ở S7, mỗi bổ đề có phát biểu chính xác và một evidence class.

Chứng minh - bản gọn

Được viết ở S11 theo văn phong olympiad tự nhiên, chấm được 0–7 mỗi bước. Chưa có.

Chứng minh - bản chú giải

Bản chú giải với lý do và phụ thuộc chưa có.

Kiểm chứng độc lập

Bắt buộc trước khi được hiển thị trạng thái VERIFIED-INDEPENDENT.

Chưa có kiểm chứng độc lập. Trạng thái sẽ không đạt VERIFIED-INDEPENDENT cho tới khi một chuyên gia olympiad, một model family độc lập, hoặc chứng minh hình thức (Lean/Isabelle/Coq) xác nhận.

So sánh lời giải chính thức

Xem lời giải chính thức sau khi freeze proof: NO
Phụ thuộc lời giải chính thức: NONE

So sánh đầy đủ (ý tưởng cốt lõi, độ dài, tính tự nhiên, khác biệt) chạy ở S13, chỉ sau khi proof đã freeze.

Tải artifact

Mọi tệp được công bố kèm checksum SHA-256.

problem_en.mdsha256:f820249b00…754e8d problem_en.normalized.jsonsha256:430396e7d5…d0060f problem_vi.reviewed.mdsha256:4b31e92988…a94f33 source_record.jsonsha256:f623213666…19cad7 contamination_ledger.jsonsha256:b6b82f8d32…d492b0

MANIFEST sha256: 7085d75573b712a993e87dac25f635b60fb730dc99072b0ec9f82ee3666ec745

Lịch sử thay đổi

21/7/2026Khởi tạo record
Ledger được tạo ở trạng thái FROZEN-PENDING-REVIEW. Chưa ghi nhận tiến độ toán học.