Bài 3
Một thợ săn và một con thỏ vô hình chơi trò chơi trên mặt phẳng Euclid. Điểm xuất phát của thỏ là và điểm xuất phát của thợ săn là , với hai điểm này trùng nhau. Sau vòng chơi, thỏ ở còn thợ săn ở . Trong vòng thứ , lần lượt xảy ra ba việc: (i) thỏ di chuyển trong vô hình tới điểm sao cho khoảng cách giữa và đúng bằng ; (ii) thiết bị theo dõi báo cho thợ săn một điểm , với bảo đảm duy nhất là khoảng cách giữa và không vượt quá ; (iii) thợ săn di chuyển công khai tới điểm sao cho khoảng cách giữa và đúng bằng . Bất kể thỏ di chuyển thế nào và thiết bị theo dõi báo những điểm nào, liệu thợ săn có luôn chọn được các bước đi để sau vòng bảo đảm khoảng cách giữa mình và thỏ không vượt quá hay không?
Bước 5 trên 9: Tính cận dưới hình học
Phân tích chi tiết
Gọi là điểm trên nằm cách đơn vị về phía trước, và là trung điểm của . Đặt . Vì và lần lượt cách và đơn vị theo cùng hướng, nên ; hơn nữa . Đoạn vuông góc với và dài , nên theo định lý Pythagore .