Consider the standard Nim game, i.e. you can take as many coins as you want from a single pile, you should take at least one coin and you can't take coins from two or more different piles at the same time and last player to take a coin wins.
I am looking for a proof of the following statement:
Prove that if the number of piles are even and each pile contains two coins, the starting player loses.
The proof should be targeting an audience of people without previous exposure to combinatorial game theory or the Nim game jargon (balanced position, Nim sums etc.), and knows basic game theory. In short it should be a proof using simple (or strong) induction, nothing else.
Thanks.
An even number of two coin piles is losing for the first player. As second player, just pair the piles up and what the first player does to any pile you do to its match. You can go through the two pile game first to give the idea.
Added: if you want to show strong induction, I would use the proposition that two equal-sized piles is a second player win. Base case is $(0,0)$, then if proved up to $(n,n)$ the first move from $(n+1,n+1)$ is to $(n+1,m)$ with $m \le n$ and the second player can move to $(m,m)$ which we know is a win. The problem with an even number of piles of $2$ for this purpose is you really have to prove for an even number of $2$'s plus and even number of $1$'s. This makes a two dimensional induction-for no piles of $2$ you have a win with no piles of $1$, with two piles of $1$, etc. Then you can induct on the (even) number of piles of $2$.