|
Ta sẽ chứng minh bằng quy nạp rằng đáp án của bài toán với An={1,2,…,n} là Fn+2. Ta ký hiệu hình thức rằng An→Fn+2. Thật vậy, + n=1 thì A1={1}⇒B1={{1},∅}⇒|B1|=2=F3. Như vậy A1→F3. + n=2 thì A2={1,2}⇒B2={{1},{2},∅}⇒|B2|=3=F4. Như vậy A2→F4. Giả sử rằng An→Fn+2 và An+1→Fn+3. Ta có An+2={1,2,…,n,n+1,n+2} như vậy Bn+2 trước hết chứa Bn+1. Và còn số hạng n+2 sẽ rơi vào các tập hợp thỏa mãn bài toán tức là không chứa n+1. Nghĩa là Bn+2 chứa thêm các tập mà không có 2 số nào liên tiếp của tập {1,2,…,n}. Số lượng này chính là Bn. Tóm lại |Bn+2|=|Bn+1|+|Bn|=Fn+3+Fn+2=Fn+4. Tức là An+2→Fn+4, đpcm.
|