  A Hamiltonian system is completely integrable (in the sense of Liouville) if
there exist as many independent integrals of motion in involution as the
dimension of the configuration space. Under certain regularity conditions,
Liouville-Arnold theorem states that the invariant geometric structure
associated with Liouville integrability is a fibration by Lagrangian tori (or,
more generally, Abelian groups), on which the motion is linear. In this paper,
a Liouville-Arnold theorem for contact Hamiltonian systems is proven. In
particular, it is shown that, given a $(2n+1)$-dimensional completely
integrable contact system, one can construct a foliation by $(n+1)$-dimensional
Abelian groups and induce action-angle coordinates in which the equations of
motion are linearized. One important novelty with respect to previous attempts
is that the foliation consists of $(n+1)$-dimensional coisotropic submanifolds
given by the preimages of rays by the functions in involution. In order to
prove the theorem, we first develop a version of Liouville-Arnold theorem for
homogeneous functions in exact symplectic manifolds (which is of independent
interest), and then apply symplectization to obtain the contact case.
