Consider the following solution:
Suppose there was only one monk there. Since he knows that at least one person has to be sick, he knows that it has to be him and he leaves the monastry.
The case with two monks.
Suppose only one monk is sick. On the first evening he looks at the other monk and he does not see a black spot on his forehead, so the other one is not sick and since there is at least one sick monk, he concludes that it has to be him and leaves the monastry. In the case that they are both sick they will both see a black spot on the other one's face. The next day they see that the other person is still there. Then they know that they are both sick because otherwise the other one would have left the monastry on the first day. So, on the second day they both leave the monastry....?...The case with N monks.
Reasoning by induction we know that in the case of seven sick monks, all seven will leave the monastry on the seventh day.
Note: I got a solution from Matthias Kirsch that delivers an immediate solution:
>
> I have thought of a solution which gives instant results:
>
> n sick monks see (n-1) monks with black spots; the monks which are not
> sick see n black spots; now both groups have to consider that they are
> sick as well; so the goup which is well has to think that there are
> either n or n+1 ill monks; they also have to take into account their sick
> fellow monks and know that their range is either n or n-1; the same holds
> true for the sick monks.
>
> Now what if they all act unisono and conclude, completely logical that
> all the monks which see n-1 spots have to kill themselves instantly. If
> there are 7 sick monks all the ones which see six spots will have to
> commit suicide -> seven monks will die. I do not understand why it
> works, but it does.
>
> what do you think. Sincerely Matthias Kirsch
This solution is fully correct if you assume that n is known. This is not needed for the other solution, the only thing that is needed in the previous solution is the knowledge that at least one monck is sick. A quick look to my page revealed that I did not make this point clear on my page, I even never considered it necessary to do this. But confronted with this solution it is clear that it is an important point, so I added it to my page. The same solution was also found by Aidan McKenna.
Resulting posibilities.
( 1, | 1, | 36) | ( 1, | 2, | 18) | ( 1, | 3, | 12) | ( 1, | 4, | 9) | ( 1, | 6, | 6) | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
( 1, | 9, | 4) | ( 1, | 12, | 3) | ( 1, | 18, | 2) | ( 1, | 36, | 1) | ( 2, | 1, | 18) | |||||||||||||||
( 2, | 2, | 9) | ( 2, | 3, | 6) | ( 2, | 6, | 3) | ( 2, | 9, | 2) | ( 2, | 18, | 1) | |||||||||||||||
( 3, | 1, | 12) | ( 3, | 2, | 6) | ( 3, | 3, | 4) | ( 3, | 4, | 3) | ( 3, | 6, | 2) | |||||||||||||||
( 3, | 12, | 1) | ( 4, | 1, | 9) | ( 4, | 3, | 3) | ( 4, | 9, | 1) | ( 6, | 1, | 6) | |||||||||||||||
( 6, | 2, | 3) | ( 6, | 3, | 2) | ( 6, | 6, | 1) | ( 9, | 1, | 4) | ( 9, | 2, | 2) | |||||||||||||||
( 9, | 4, | 1) | (12, | 1, | 3) | (12, | 3, | 1) | (18, | 1, | 2) | (18, | 2, | 1) | |||||||||||||||
(36, | 1, | 1) |
Removing all doubles (for example 1,1,36 and 36,1,1) and adding up gives :
( 1, | 1, | 36) = 38 | ||
---|---|---|---|---|
( 1, | 2, | 18) = 21 | ||
( 1, | 3, | 12) = 16 | ||
( 1, | 4, | 9) = 14 | ||
( 1, | 6, | 6) = 13 | ||
( 2, | 2, | 9) = 13 | ||
( 2, | 3, | 6) = 11 | ||
( 3, | 3, | 4) = 10 |
So the housenumber has to be 13, because only this housenumber leaves two solutions left.
( 1, | 6, | 6) = 13 | ||
---|---|---|---|---|
( 2, | 2, | 9) = 13 |
So 1, 6, 6 is excluded because this combination hasn't got an eldest one.
The ages of the children are 2, 2 and 9 and the housenumber was 13