This solution relies on an overall scheme of "proof by contradiction" combined with some smaller steps involving "mathematical induction."
And before I start I should apologize for my poor rigor. I'm not a mathematician and have never taken a math class beyond what is required for engineering.
Before getting to the proof, I need to introduce the concept of Galois Fields. They're not difficult to comprehend: they're just a finite number system that "loops" around as one continues to count up or down. For example, Galois Field 11, denoted as GF(11) contains the natural numbers 0 through 10, and that's it. 11, 22, 33 are all the same thing as 0. If you try to count beyond 10 in GF(11) you wrap back around to 0.
0,1,2,3,4,5,6,7,8,9,10,0,1,2,3,4,5...
The addition operator is pretty straightforward. We define "+" such that in terms of standard integers, it is the sum of a and b MOD 11. Some examples for GF(11) are:
1 + 1 = 2,
2 + 5 = 7,
8 + 2 = 10,
8 + 3 = 0,
8 + 4 = 1,
8 + 5 = 2.
The negation operator maps the number to a new number between 0 and 10 [for GF(11)]. Examples are:
-1 → 10
-2 → 9
-3 → 8
So the subtraction operator examples [for GF(11)] are,
5 - 4 = 1
5 - 5 = 0
5 - 6 = 10
5 - 7 = 9
5 - 8 = 8
We could also define multiplication and addition operators, but its not necessary for this puzzle.
Why Galois fields? Because we're trying to ensure that the total number of spots on the selected dogs, after dividing by 11, has a remainder of 0. We've succeeded in solving the problem if we can prove that there is always a selection of dogs such that (Total number of spots of selected dogs) MOD 11 = 0. And modulo arithmetic is what Galois fields are good at.
So now on to the meat of the solution. We're going to use a "proof by contradiction." What we're going to do is assume that the puzzle statement is false. All we need to do is find a configuration of dog spots -- any configuration -- such that it is impossible to choose a set of dogs such that the spots can be divided by 11 [Same as saying the spots sum to 0 in GF(11) math]. We will later show this to be impossible.
Let s1 be the number of spots on dog 1, s2 be the number of spots on dog 2, and sn be the number of spots on dog n, where n goes from 1 to 11 (there are 11 dogs).
The approach we will take is we get to pick the number of spots on the dogs. The goal is to restrict our picks such that is impossible to divide the total spots by 11 with just one dog. Then moving on, restrict our selection such that is impossible to divide by 11 with either one or two dogs with dog 2; one, two or three dogs with dog 3, and so on.
It should be noted here that in terms of our math, 12 spots is the same thing as 1 spot, which is equal to 23 spots, 34 spots, etc. Since we are only interested in the remainder after dividing by 11, the number of spots on each dog ranges only from 0 to 10 (where '0' doesn't really mean '0' in normal integers; it can be any integer multiple of 11. But for the math here, we call it 0).
Now for the first dog. We restrict the number of spots on this dog, s1, such that it's not equal to 0. (remember 0 is the same thing as 11, 22, 33, 44, etc). That's because if any given dog has a number of spots that are an integer multiple of 11, one could just pick that dog alone, and call it quits. Therefore no individual dog can have a number of spots that are an integer multiple of 11 (in our Galois field math we say the dog's number of spots cannot be 0). For reasons which should become apparent later, allow me to define the function F0(n), such that
F0(n) = 0,
for all n.
Now we formalize our restriction on s1,
s1 ≠ F0(1).
Again, I hope that the function notation will be more clear later. An interesting thing to point out is that we've reduced the number of possibilities for the first dog's spots by 1.
Now let's move on to our second dog. It's number of spots needs to have the same restrictions as the first dog, plus a new one. The new one is that the spots on the second dog, plus the spots on the first dog, cannot add to 0 (same thing as "cannot add to an integer multiple of 11"). In other words, s2 ≠ -s1. Let me formalize that with a new function, F1(n),
F1(n) = F0(n-1) - sn-1
and our restrictions on the second dog are:
s2 ≠ F0(2)
s2 ≠ F1(2)
Don't forget that Fn(m) is ultimately just a number that can range from 0 to 10. It's just some number. And it can be easily shown that F0(2) and F1(2) are unique. If they weren't unique but instead equal, it would mean that
F1(2) = F0(2), and expanding both sides gives,
-s1 = 0, or simply s1 = 0.
But that's not possible since s1 cannot be 0 (restriction on the first dog) so F0(2) and F1(2) must represent unique numbers.
You might notice something neat happening here. We've reduced our possible choices by 1 again. There are 10 numbers to choose from for the first dog, but only nine for the second. Now let's move on to the third dog.
The third dog has all the same restrictions as the first dog and second dog plus a new restriction. Well, a couple new restrictions. Firstly, we need to apply the F1 restriction twice, one for each of the previous dogs. The new restriction is that s3 ≠ - (s1 + s2). Formalizing that with a new function,
F2(n) = F1(n-1) - sn-1
our restrictions become,
s3 ≠ F0(3)
s3 ≠ F1(2)
s3 ≠ F1(3)
s3 ≠ F2(3)
Here I'm going to just remove the s3 ≠ F1(2) restriction. It turns out to be redundant for this particular puzzle. Remember, we are going to use a "proof by contradiction" approach. And later, if we can show that it is impossible to choose spots that falsify the puzzle statement with fewer restrictions, it is still impossible with greater restrictions. So the only restrictions we need to worry about for the third dog are:
s3 ≠ F0(3)
s3 ≠ F1(3)
s3 ≠ F2(3)
Now we know that F1(3) and F0(3) are not equal. But we can explicitly show that here. If they were equal,
F1(3) = F0(3), and expanding both sides gives,
-s2 = 0, or more simply s2 = 0, which is impossible due to earlier restrictions.
Similarly we can show that F2(3) and F1(3) are not equal. If they were,
F2(3) = F1(3), and expanding
F1(2) - s2 = - s2, and expanding more and simplifying,
s1 = 0, which is impossible.
But what about F2(3) and F0(3)? They are also not equal. If they were equal,
F2(3) = 0,
F1(2) - s2 = 0,
-s1 - s2 = 0, which is impossible due to previous restrictions on s2.
So finally, when choosing a number for s3, there are only 8 choices: down one from number of choices from s2.
So now is where our mathematical induction comes in. With each new dog, we place the same restrictions as with previous dogs plus an additional restriction which keeps the sum of all dogs, up to that dog from summing to 0. The new restriction comes in the form, for dog m
sm ≠ Fm-1(m)
where
Fn(k) = Fn-1(k-1) - sk-1.
[Edited above equation.]
So when we get to the eleventh dog, the restrictions on its spots are,
s11 ≠ F0(11)
s11 ≠ F1(11)
s11 ≠ F2(11)
s11 ≠ F3(11)
s11 ≠ F4(11)
s11 ≠ F5(11)
s11 ≠ F6(11)
s11 ≠ F7(11)
s11 ≠ F8(11)
s11 ≠ F9(11)
s11 ≠ F10(11)
Here's the kicker: There are 11 restrictions (starting at 0 and ending at 10, making 11 total). Each restriction removes a possible number from the choosing. But there are only 11 numbers total that we are working with. It is impossible to choose a number of spots for the eleventh dog, such that one can't sum the spots to 0 (where 0 is the same thing as an integer multiple of 11). Our "goal" of trying to disprove the puzzle statement is impossible.
[Edit: There are actually many more restrictions than just the 11 above. For example, there is only a single restriction involving the spot sum of exactly two dogs. And those are dogs 10 and 9, involving F2(11). But there could be restrictions involving the spot sum of any two dogs. But including those restrictions make the contradiction of the puzzle statement even more impossible. The eleven restrictions given above are alone sufficient to prove this puzzle by "proof by contradiction."]
Therefore, there will always be a way to select some or all of the dogs such that the total number of spots on selected dogs adds to an integer multiple of 11.