Wir wollen nun diese Linien auf einem geraden Kreiszylinder betrachten.
Wir suchen die Kurve in Parameterdarstellung, wobei wir r = 1 setzen:

Es gilt z(0) = z1) und z(
2) = z2. Gesucht ist z0
= {z
C1[0,
2]|z(0) = z1,
z(
2) = z2} mit:

Mit unseren Bezeichnungen können wir schreiben f(p) =
. Wir wissen, daß
strikte Konvexität vorliegt. Damit folgt nach Corollar 2:
Damit gilt also:
