Bogenparametrisierte Kurve/Ebene/Krümmungskreis/Durchlauf/Fakt/Beweis

Beweis

Wir betrachten den standardorientierten Fall. Es ist

Ferner ist

insbesondere ist bogenparametrisiert. Es steht senkrecht auf und ist daher linear abhängig zu dem Orthonormalvektor . Somit ist

und daher