Sei x ∈ ℝ beliebig und n ∈ℕ≥1.
Wir definieren A (n) k := e i(k/n)x , k = 0, . . . , n,
und
Ln :=∑ n k=1 |A (n)k − A (n) k−1 |.
Anschaulich ist Ln die Länge des Polygonzuges der Punkte A (n) k
Zeigen Sie, dass für alle x ∈ R folgendes gilt:
(a) 2 − 2cos(x) = 4sin2 ( x/2 ).
(b) Ln = 2n|sin( x/2n )|.
(c) limn→∞ Ln = |x|.
Hinweis zu (c): Verwenden Sie limx→0 sin(x)/x = 1.