An odd question about induction. Given $n$ $0$'s and $n$ $1$'s distributed in any manner whatsoever around a circle, show, using induction on $n$, that it is possible to start at some number and proceed clockwise around the circle to the original starting position so that, at any point during the cycle, we have seen at least as many $0$'s as $1$'s:

 A: Alternatively: Count the total number of ways to arrange $0$s and $1$s around a circle ($2n$ binary digits in total), consider the number of Dyck words of length $2n$, i.e., the $n$th Catalan number, and then use the Pigeonhole Principle. "QED"
A: There is at least one instance of a $0$ followed by a $1$. Remove these two numbers, find (by induction hypothesis) a good starting point for the reduced circle, put the $0$ and $1$ back in and use the same starting position. It is easily verified that this is a valid starting position.
It is also not difficult to show the result without induction: A person walking around the circle and dropping a dollar at each $0$ seen and collecting a dollar (out of nowhere) at each $1$ seen will end up with the same amount he started with. And he will manage to complete the tour provided he starts with enough money in the briefcase. For an arbitrary starting point, chose the minimal valid starting amount of dollars. Then at some point of the tour the briefcase is empty. Starting the round trip at that place instead gives the desired result.
A: Although a simple proof or your problem was already given in other answers, I wanted to complement them with some more (I hope interesting) information. Indeed, this is a special case of very old problem: 

Let $(a_i)_{i=0}^{n-1}$ be a sequence of $n$ real numbers of non-negative sum, that is, $\sum_{i=0}^{n-1} a_i \geq 0$. Then, there exists index $k$ such that all partials sums (of $n$ terms starting from $k$) $\sum_{i=k}^{m+k} a_{i\ \bmod n}$ for $m = 0,1,\ldots,n$ are non-negative.

In your setting change $0$s to $(-1)$s and use the above theorem. As for its proof, you might want to use induction, but it is easier to do it directly.
The key point is that, when you start from the lowest possible level, then all the rest of the path will actually be above (i.e. greater or equal) zero.

In the picture above we can see two runs of partial sums (for convenience), thin horizontal black line is the absolute zero. If we were to start from the lowest possible level (dark red line), then all the rest (dark green strips) would be above the starting level (blue line).
The proof of the aforementioned theorem does exactly put the observation into formulas and concludes after rather simple calculation. I will not reproduce it here, because it would only obfuscate the basic idea behind the picture.
I hope this helps ;-)
