Re: Correction
Alex Y
First of all, that mention of pawn movement was a brain fart on my part
. I meant the knight up and back, as you mentioned.
As far as the proof, I'm afraid it can't be done (at least by me!) constructively -- I can't show you what White's strategy is. All I can do is show you that it exists. I'll try rewording Bill's proof with fewer negatives, but I can't totally eliminate them.
At the beginning of the game, there are three possible outcomes --White wins, Black wins, or they tie.
First, let's call a "non-losing strategy" an "at-least-a-tie" strategy -- that gets rid of one of the negatives. If White has an at-least-a-tie strategy, that means that he is able to play in such a way that Black cannot win.
Hypothesis: White does not have an at-least-a-tie strategy.
That would mean that whatever moves White makes, Black will always be able to win. Specifically, if White makes one of the double knight moves returning the board to its original state, then Black would be able to win. But Black is looking at the same board as White originally had (except for the position of the K and Q, which you can convince yourself is irrelevant by playing while looking at the board in a mirror).
So our hypothesis that White does not have an at-least-a-tie strategy leads to the conclusion that Black, looking at the identical setup, has a winning strategy, which is a contradiction.
Because that hypothesis leads to a contradiction, it must not be true. Hence, If it is false that White does not have an at-least-a-tie strategy, that means it is true that White does have such a strategy.
I don't know if that is any clearer, but I'm afraid that is my best shot at it.