IMO 2026 · Bài 4

Đã khóa · chờ kiểm·Ngày 2·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_Day2_Problem4.pdfTải PDF

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

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

Đề chính thức

Shan-Yu and Mulan are playing a game. Let $\theta$ be an angle with $0^\circ<\theta<180^\circ$ known to both players. Initially, Shan-Yu makes a paper triangle $\mathcal{T}$ with measurements of his choice. Then, they repeatedly perform the following steps:

If $\mathcal{T}$ has at least one angle measuring exactly $\theta$ , then the game stops and Mulan wins.
Otherwise, Mulan chooses a point $P$ on the perimeter of $\mathcal{T}$ , different from its three vertices. She then makes a straight cut from $P$ to the opposite vertex of $\mathcal{T}$ , splitting it into two triangles.
Shan-Yu discards one of the two triangles. The remaining triangle becomes the new $\mathcal{T}$ .

For which real values of $\theta$ can Mulan guarantee her victory in finitely many steps, no matter how Shan-Yu plays?

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

Shan-Yu và Mulan chơi một trò chơi. Cho $\theta$ là một góc với $0^\circ<\theta<180^\circ$ mà cả hai người chơi đều biết. Ban đầu, Shan-Yu làm một tam giác bằng giấy $\mathcal{T}$ với các số đo tùy ý theo lựa chọn của mình. Sau đó, họ lặp lại các bước sau:

Nếu $\mathcal{T}$ có ít nhất một góc bằng đúng $\theta$ , thì trò chơi dừng lại và Mulan thắng.
Ngược lại, Mulan chọn một điểm $P$ trên chu vi của $\mathcal{T}$ , khác ba đỉnh của nó. Sau đó cô cắt thẳng từ $P$ đến đỉnh đối diện của $\mathcal{T}$ , chia nó thành hai tam giác.
Shan-Yu bỏ đi một trong hai tam giác. Tam giác còn lại trở thành $\mathcal{T}$ mới.

Với những giá trị thực nào của $\theta$ thì Mulan có thể bảo đảm chiến thắng của mình sau hữu hạn bước, bất kể Shan-Yu chơi thế nào?

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: 5 (3 tải trọng cao)đã audit: 0/5

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:d2ab2d1be9b9…

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:cdbe197eb5…b36896 problem_en.normalized.jsonsha256:b20d4f1563…874bf7 problem_vi.reviewed.mdsha256:ae1719845f…4299c5 source_record.jsonsha256:bfb81a365f…be6462 contamination_ledger.jsonsha256:c2855af94e…1ffe71
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:cdbe197eb5…b36896 problem_en.normalized.jsonsha256:b20d4f1563…874bf7 problem_vi.reviewed.mdsha256:ae1719845f…4299c5 source_record.jsonsha256:bfb81a365f…be6462 contamination_ledger.jsonsha256:c2855af94e…1ffe71

MANIFEST sha256: 12e60de0a27214abe20e88ca3944771ab9617b992f490901e73fbb838dae9c2d

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.