Cho m, n thuộc N*, m lẻ, gcd (m,n) = 1. Trên vòng tròn đặt n bóng đèn, mỗi bóng đèn hoặc sáng hoặc tắt. Mỗi lần được chọn m bóng đèn liên tiếp và thay đổi trạng thái của chúng. Chứng minh rằng: với mọi trạng thái ban đầu ta luôn có thể thực hiện hữu hạn thao tắt để tắt tất cả bóng đèn
lilnuuuVì [imath](m,n)=1[/imath] và [imath]m[/imath] lẻ nên [imath](m,2n)=1[/imath]
Theo định lý Bozu trong số học, do [imath](m,2n)=1[/imath], luôn tồn tại x,y nguyên dương thỏa mãn: [imath]mx = n.2y+1[/imath]
Ta sẽ chỉ ra cách để tắt 1 bóng đèn bất kì đang bật (gọi là X) như sau:
Chọn [imath]m[/imath] đèn liên tiếp, có đèn đầu tiên là đèn X. Thay đổi trạng thái rồi, chọn tiếp tục m đèn liên tiếp (sau m đèn vừa thay đổi) ....
Cứ như vậy, sau x lần thay đổi , ta thay đổi trạng thái các bóng đèn [imath]2y.n+1[/imath] lần, nên lần thứ [imath]x[/imath], m bóng đèn được thay đổi sẽ có đèn ở cuối là [imath]X[/imath].
Tức là: đèn [imath]X[/imath] được thay đổi [imath]2n+1[/imath] lần, còn các bóng đèn còn lại thay đổi [imath]2n[/imath] lần.
Vậy chỉ có đèn [imath]X[/imath] từ bật thành tắt.
Vậy áp dụng như thế hữu hạn lần, ta có điều phải chứng minh.
Mời bạn tham khảo thêm tại: [Lý thuyết] Chuyên đề HSG: Toán rời rạc