  We prove that every orbit of the adjoint representation of any connected
reductive algebraic group $G$ is a rational algebraic variety. For complex
simply connected semisimple $G$, this implies rationality of affine Hamiltonian
$G$-varieties (which we classify).
