Illegal Position Contest!

No takers?

The white and black KINGdom

If it's too early I will delete it

Concrete proof is elusive, but I think the position below is illegal. If anyone believes they can demonstrate otherwise, please let me know! 

Yes, it is.

1. Nf3 e5 2. Nc3 Be7 3. Nb1 Bd6 4. Ng1 Bf8

The king on e7 couldn't have gotten there.

Why couldn't it?

The black pawns.

And if the king snuck behind the pawns the bishop couldn't have gotten there.

yellowchesstiger wrote:

I have got a proof that cobra91's position from #197 is illegal:

Assume that the desired position P was legal with player X to move.

We first proof the following lemma:

Lemma 1: From the last three (half-)moves that led to position P, no one of them was Nxf7.

Proof: If Lemma 1 was false, then there is no way for white to have a white LSB on e8 in Position P. qed

Now we proceed to proof:

Lemma 2: X=White (meaning that in Position P it is White to move)

Proof:

If X=Black (meaning it is Black to move in position P), we ask ourselves what white's last move was (white's last move does exist because the position is not the starting position). The only white piece/pawn that could performed white's last move is the Nf7, as all the other white pieces and the Ph4 cannot have moved to the square on which they are sitting in the position P, because all potential squares from which they could have reached their squares are blocked, respectively (and white's other pawns haven't moved at all during the game). But if the Nf7 performed white's last move, the black king would have been in check (by the Be8) during white's turn (because Nxf7 is impossible according to Lemma 1), contradicition .

Hence, in the Position P it is white to move (meaning that X=White). qed

Now we proceed to proof the following Lemma:

Lemma 3: Black's last move that led to position P was either fxg5 or Nxg3.

Proof of Lemma 1:

0)  Assume Lemma 3 is false.

1) According to Lemma 2, in the Position P it is white to move (meaning that X=White).

2) We now seek to determine what black's last move m was (the move leading to position P). Let P_1 be the position in which black moves m to reach position P.

If the move m was not performed by the Ng3 or the Pg5 (in position P), then we again obtain a contradiction analogously to 1) if we want to find out what white's move was which led to position P_1.

Hence, we have to discuss the following four cases:

case 1: Black's last move m was g7-g5.

case 2: Black's last move m was g6-g5.

case 3: Black's last move m was Ng3.

case 4: Black's last move m was a capture (the only remaining options are fxg5 or Nxg3).

Now, one immediatly realises that case 1 is not possible for obvious reasons (because then there is no legal white move leading to P_1 (except for Nxf7, but this contradicts Lemma 1.); this can be seen with analogous arguments like in section 1).)

One also notices that case 3 is not possible: If case 3 was possible, because Ng3 is not a capture move, the white move n that lead to P_1 was performed by one of the white pieces that is still on the board in position P. For identical reasons listed as in section 1), however, we realise that the only white piece that could have legally performed move n is the Nh1 in position P. Hence, the move n looked like this: Nh1-g3. But then Ng3 is a capture move, contradiction.

We also notice that case 2 is impossible: If case 2 was the case, we notice that the white move n which led to position P_1 must have been performed by the Nf7 as all other white pieces are "blocked" (meaning there exists no square from which they could have moved to the square which they sit on in Position P_1). But if move n was performed by the Nf7, the move g5-g6 would leave black in check, if Nf7 wasn't a capture: Nxf7. But Nxf7 again contradicts Lemma 1.

And last but not least, case 4) obviously contradicts assumption 0).

This ends the proof of Lemma 1. qed

The following Lemma 4 is more or less obvious:

Lemma 4: a) White and Black have both promoted a pawn to a light-colored bishop.

b) Neither White's nor Black's LSB in the initial starting position was captured by an opponent's pawn on its march to promotion.

Proof:  In the starting position, neither the white nor the black LSB could have left their initial starting position. qed

In the following section we will now seek to construct a contradiction to the piece count left on the board.

Lemma 5: White's c-pawn promoted to a LSB. White's a- and b- pawn never left their file.

Proof: According to Lemma 4, at least one of the white a,b,c pawns promoted to a LSB.

If the white a or b pawns promoted to a LSB, they both would have needed to capture at least fie black pieces/pawns in order to reach one of the two white promotion fields (e8, g8) from which a bishop can go to e8, eventually. Because black still has got 11 pieces left and the Bc8 in the initial starting position wasn't captured by the white pawn that promoted according to Lemma 4 b), black must have had at least 11+5+1>16 pieces when the game started, contradicition.

Hence, White's c-pawn promoted (and White's c-pawn is the only white pawn that promoted). In order to reach one of the two possible promotion squares e8 and g8, the white c-pawn is required to capture 4 black pieces/pawns. Because 11 black figures are still left in position P and because the black LSB on c8 wasn't captured by a white pawn and because 11+4+1=16 and black only has 16 figures to start with, we obtain that neither White's a nor White's b pawn captured a black figure and that White's c-pawn captured exactly 4 black figures on its march to promotion.  qed

Because according to Lemma 5 the white c-pawn captured exactly 4 black figures, it didn't capture Black's h-pawn on the h-file.

Hence, because in P there is no black h-pawn, it is clear that either Black's h-pawn was captured by a white figure on  the h-file or that the Black h-pawn captured a white piece in order to leave the h-file. If, however, the black h-pawn was captured on the h-file, we can count some the black pieces of the initial position in the following way: 1x h-pawn, 4x figures captured by white c-pawn, 11xfigures still left in position P, 1xBlack LSB on c8. This adds up to 17 black pieces, contradiction. Hence, we have obtained the following lemma:

Lemma 6: The black h-pawn captured a white figure.

Proof: see above. qed

Now, we will proceed to prove:

Lemma 7: The black pawn that promoted captured 4 or 5 white figures, but not white's a-pawn. White's a-pawn was captured by another black figure.

Proof: One of black's f,g,h pawns must have promoted on a light square to a LSB. As a bishop cannot reach f3 from the fields h1 and f1 (due to being blocked by white pawns), it is clear that a black pawns must have promoted to a LSB either on b1 or on d1. Either way, it must have captured at least 4 white pieces/pawns on its march to promotion.

Because the White a-pawn never left the a-file (Lemma 5), if the Black pawn that promoted would have captured the a-pawn, it would have had to capture another white figure to get back onto the b-file to become a LSB. Hence, it would have captured at least 6 white figures. In P, there are 9 white figures left. If one also considers the White LSB which was on f1 and the white figure that was captured by black one move before position P was reached (Lemma 3), we obtain 9+6+1+1=17>16 White figures, contradicition.

Hence, the black pawn that promoted didn't capture the white a-pawn, and therefore captured 4 or 5 white figures different from the a-pawn.

Because White has no a-pawn in position P, the white a-pawn must have been captured by another black figure. This ends the proof of Lemma 7. qed

Lastly, we prove:

Lemma 8: The black h-pawn didn't promote to a LSB.

Proof: If it did promote to a LSB on squares b1 or d1, it would have needed 6 captures to get there. This contradicts Lemma 7. qed

Now, we have anything we need in order to prove that position P is indeed illegal:

- in P, there are 9 white figures

- on the black move leading to position P, a white figure was captured (Lemma 3)

- the black h-pawn did at some point of time capture a white figure (Lemma 6)

- the black pawn that promoted captured at least 4 white figures (Lemma 7), these have not been counted yet (Lemma 7,8)

- the white a-pawn was captured (Lemma 5)

- the white LSB on f1 was captured (Lemma 4)

This, however, adds up to 17 white figures (we have not counted anything twice). Contradiciton. This ends the proof.

.

.

.

OMG!!!!!!! Where did you find the time to work that lot out? You're not serving life by any chance, jeeeez.

It's far more complicated than that, I'm afraid:

At first I was wondering why you posted the starting position...

@Typewriter44: Did you see post #305? I showed it's possible for White's king and bishop to reach e7 and d8 without compromising Black's pawn structure (notice that neither the king nor the bishop ever goes anywhere near g5 or h6 in the line I posted). I'll now prove that the exact pawn structures of both Black AND White are achievable: