While watching YouTube videos, I came across a puzzle that had a pretty interesting solution and an underlying question behind it.
Question: Let $S$ be a set of gears that are connected to form a ring such that $n(S)\geq0$, $n(S)\in N$. For some values of $n(S)$, rotating one gear will cause all gears to rotate simultaneously, whereas for other values of $n(S)$, a conflicting rotation would make it impossible for all gears in the ring to rotate simultaneously. Thus, the natural question to ask would be what values of $n(S)$ would allow all gears to rotate simultaneously?
Solution: Simple trial and error as well as grunt work would imply that for all odd values of $n(S)$ such that $n(S)\geq3$, the gears would not be able to rotate simultaneously. However, for all even values of $n(S)$, the gears would be able to rotate simultaneously.
Even though the solution has been presented, the aspect that I am more curious about is how do I prove that the statement above is true?