Let Ψ={(u,v)∈Z3:v≥0,u≥2v}. Notice that the map π:Ω→Ψ, π(x,y,z)=(x+y,z) 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 π(0,0,0)=(0,0) to π(n,n,n)=(2n,n) in the set Ψ, using only jumps (1,0) and (0,1). For every lattice point (u,v)∈Ψ, let f(u,v) be the number of paths from (0,0) to (u,v) in Ψ with u+v jumps. Evidently we have f(0,0)=1. Extend this definition to the points with v=−1 and 2v=u+1 by setting f(u,−1)=0,f(2v−1,v)=0. To any point (u,v) of Ψ other than the origin, the path can come either from (u−1,v) or from (u,v−1), so f(u,v)=f(u−1,v)+f(u,v−1). If we ignore the boundary condition, there is a wide family of functions that satisfy this recurrence; namely, for every integer c,(u,v)↦(v+cu+v) is such a function, with defining this binomial coefficient to be 0 if v+c is negative or greater than u+v. Along the line 2v=u+1 we have (vu+v)=(v3v−1)=2(v−13v−1)=2(v−1u+v). Hence, the function f∗(u,v)=(vu+v)−2(v−1u+v) satisfies the recurrence and boundary conditions and f(0,0)=1. These properties uniquely define the function f, so f=f∗. In particular, the number of paths of the frog from (0,0,0) to (n,n,n) is f(π(n,n,n))=f(2n,n)=(n3n)−2(n−13n)=2n+1(n3n).