Let's say there are 3 persons. You know the two others have blue eyes and you are unsure if you have blue eyes. Its the same for them. Then after one night, nobody will have left. That confirms that there are not one but two people with blue eyes. You already knew that.
Yessss ! Thank you btw ! I think I found the explanation.
Let's do it ad absurdum. If A is red (not blue), and sees B and C do not leave after one day, that means each one of them sees only one blue.
Still supposing that A is not blue, that means that B and C are
exactly in the same situation as in the N=2 case :
Case N=2 is simple. Let's say there's A blue and B blue. A knows that B knows A's color. Therefore if B does not leave the first day, that means that B could not conclude anything from what the guru said, which means A is blue. B does the same and both leave the 2nd day.
Therefore, from A's point of view, if they do not leave on the
second day, that means A is blue !!! A, B and C make the same reasoning and all leave on the
third day.
The same principle can be applied recursively all the way down from 100 to 3, therefore this a proof of the N=100 case.
Hell, that was one hell of a tricky problem. The recurrence on 100 people makes attacking it up front nearly impossible.