Another proof of Kronecker's theorem. (Q1464086)

Dem schönen geometrischen Beweise von Lettenmeyer (vgl. das vorige Ref.) läßt der Verf. einen nicht minder schönen und dazu außerordentlich kurzen analytischen Beweis folgen, bei dem allerdings einige seiner wichtigsten Resultate aus der Theorie der Dirichletschen Reihen benutzt werden; indessen auch diese Resultate sind ab ovo rasch beweisbar, so daß die kurze Note einen der direktesten Wege zum Ziele abgibt. Ohne wesentliche Einschränkung der Allgemeinheit werden die gegebenen Irrationalitäten \(\lambda_1, \dots, \lambda_n\) als linear unabhängig angenommen und \[ F(t) =1 + e^{2\pi i (t\lambda_1 - \varphi_1)} + \cdots + e^{2\pi i (t\lambda_n - \varphi_n)} \] gebildet, worin \(\varphi_\nu\) die zu approximierenden Zahlen sind; die Betrachtung von \[ F_p = \lim_{T\to\infty} \int_{-T}^T |\{F(t)\}^p|\, dt, \] \(p \to \infty\) und \(F_p^{\tfrac{1}{2p}} \to F\) liefert direkt das gewünschte Resultat.