Geodesics in Heisenberg Groups

We obtain equations of geodesic lines in Heisenberg groups H²ⁿ⁺¹and prove that the ideal boundary of the Heisenberg group H²ⁿ⁺¹is a sphere S^2n-1with a natural CR-structure and corresponding Carnot-Carathéodory metric, i.e. it is a one-point compactification of the Heisenberg group H^2n-1of the next dimension in a row.