Journal of Statistical Physics, Vol. 25, No. 4, 1981. p. 757-769.
By using a parametric representation of the stable and unstable manifolds, we prove that for some given values of the parameter (in particular in the case first investigated by Henon) the Henon mapping has a transversal homoclinic orbit.