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: