Three counters, A, B, C are placed at the corners of an equilateral triangle of side n. The triangle is divided into triangles of side length 1. Initially all lines of the figure are painted blue. The counters move along the lines, painting their paths red , according to the following rules:
- First A moves, then B, then C, then A, and so on in succession.
- On each turn, each counter moves the full length of a side of one of the short triangles.
- No counter may retrace a segment already painted red, though it can stop on a red vertex, even if another counter is already there.
Show that for all integers n > $0$ it is possible to paint all of the segments red in this fashion.
I have a feeling we use induction method to show this. Im not quite sure where to start though. I have to figure out how to prove this rigorously. From the help of few kind people, i know there must be three base cases for n=1 n=2 and n=3. Im just not sure how to prove this without giving any drawings.
Maybe this is a start:
Suppose you can partition the edges of the graph into three disjoint sets ($A, B, C$) such that
Then by each counter can traverse an Eulerian path in the edges for its corresponding subgraph, either starting and ending at the same corner or starting at one and ending at another.