Проблема Лагранжа о среднем движении

В 1782 году Лагранж сформулировал гипотезу о существовании среднего движения:
$$ c^+=\lim_{\beta-\alpha\to\infty}{\arg^+P(\beta)-\arg^+P(\alpha)\over\beta-\alpha}, $$
для любого экспоненциального полинома $P(t)=\sum_{j=1}^nc_je^{i\lambda_jt}$ с вещественными $\lambda_j$, где $\arg^+P(t)$ — это непрерывная ветвь $\arg P(t)$ на любом интервале без нулей и $\lim_{t\to t_0+0}\arg^+P(t)-\lim_{t\to t_0-0}\arg^+P(t)=-p\pi$ для любого вещественного нуля $t_0$ кратности $p$.
Многие знаменитые математики XX века, в частности, Г. Вейль, Г. Бор, пытались доказать эту гипотезу. Полное доказательство было получено только в 1945 году Б. Йессеном и Г. Торнхейвом. В докладе я собираюсь показать это доказательство, а также привести многомерную версию этого результата.