Let . A frog moves along the points of by jumps of length 1. For every positive integer , determine the number of paths the frog can take to reach starting from in exactly jumps.
International Mathematics Competition
Solution
Let . Notice that the map , is a bijection between the two sets; moreover projects all allowed paths of the frogs to paths inside the set , using only unit jump vectors. Hence, we are interested in the number of paths from to in the set , using only jumps and . For every lattice point , let be the number of paths from to in with jumps. Evidently we have . Extend this definition to the points with and by setting . To any point of other than the origin, the path can come either from or from , so . If we ignore the boundary condition, there is a wide family of functions that satisfy this recurrence; namely, for every integer is such a function, with defining this binomial coefficient to be 0 if is negative or greater than . Along the line we have . Hence, the function satisfies the recurrence and boundary conditions and . These properties uniquely define the function , so . In particular, the number of paths of the frog from to is .