Armed with a sword and a shield, a proud knight combats a monstrous hydra with 100 heads.
The proof here is similar in spirit to the arbuzoid problem.
The net change of each operation to the number of heads is always a multiple of 3. Furthermore, the final operation must leave 0 heads before new heads grow back, which means that the number of heads before this operation must be the number of heads the operation removes in its first phase.
Together these two constraints imply that any successful strategy must end with an operation where 100 minus the number of heads removed in that operation is a multiple of 3. We check those differences: $$100-17=83$$ $$100-6=94$$ $$100-14=86$$ $$100-2=98$$ None of these is a multiple of 3. Thus there is no winning strategy.
There remains no winning strategy if we assume that heads die and grow at the same time, since 100 itself is not a multiple of 3.
Yes it is enough proof. Another way to say it is that
- $21x=3\cdot 7 \cdot x$ is always divisible by 3
- $27y=3\cdot 9 \cdot y$ is always divisible by 3
- $6z = 3\cdot 2 \cdot z$ is always divisible by 3
- $100=3\cdot 33+1$ gives rest 1 when divided by 3
And if you add something not divisible by 3 to something which is divisible by three you can never get something divisible by 3.
Another way to say it is left hand side will always be 1 modulo 3 and right hand side will always be 0 modulo 3. Numbers which have different modulos cannot be the same numbers.