Let be the symmetric random walk in –, starting at the origin. So, and the transition probabilities are if and otherwise.
Let be the orthogonal projections of the random walk onto the diagonals and .
- Prove that are independent symmetric random walks in such that if and only if .
- Prove that , as , where and . Conclude that . This is equivalent to the recurrence of the random walk.