Hi so I am battling with this question at the moment.
"Armed with a sword and a shield, a proud knight combats a monstrous hydra with 100 heads. When he slashes, he removes 17 heads and 5 heads grow back. When he slices, he removes 6 heads and 33 grow back. When he cuts, 14 heads fall and 8 grow back. When he stabs, 2 heads fall and 23 grow back.
In order to kill the hydra, all its heads must be removed at some point, in which case no heads will grow back.
Can the knight’s sword and courage triumph against this mythological monster?"
I am assuming the hydra cannot grow more than the original 100 heads, and that you must cut off the exact amount (you can't slash 9 times).
My current working consists of:
rule a = shrink 6
rule b = shrink 12
rule c = grow 21
rule d = grow 27
b can be discounted as it's just aa
as 100 is the start point, and 6 is the minimum reduction some sum of 100 + c(x) + d(y) = a(z), or 100 + (21 * x) + (27 * y) must equal a multiple of 6.
100 + (21 * x) + (27 * y) = 6 * z where x, y, z are positive integers
simplifies to z = (7x/2) + (9y/2) + (50/3). For all positive integers x, y, there is no integer solution for z
I am not convinced this is enough proof.
Yes it is enough proof. Another way to say it is that
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.