【题目】
n(n≥1)个硬币,每次拿1,2,4个,拿到最后一个为负
【结论】
设n除以3的余数为a,那么
a=0,2时,先拿者有必胜策略;a=1时,后拿者有必胜策略
【证明】
数学归纳法
(1)当n=1,2,3,4时,可以直接得出结论
(2)设n<k(k≥5)时,结论成立,那么当n=k时
先拿者有必胜策略的充要条件为:(条件1)
对于n=k-1,k-2,k-4,至少存在一种情况,使得后拿者有必胜策略
设k除以3余a,那么
当a=0时,n=k-2满足条件1;当a=2时,n=k-1,k-4均满足条件1
此时,先拿者有必胜策略
当a=1时,n=k-1,k-2,k-4均无法满足条件1
此时先拿者没有必胜策略,因此后拿者有必胜策略
即n=k时,结论也成立
由(1)(2),结论成立