Lieber Mathecoach,
was hältst du von folgendem Ansatz (Begründung mit Kosinussatz) und meinem verlinkten Applet: https://www.geogebra.org/m/qwftcba3
cos(alpha)= \( \frac{b^2+c^2-a^2}{2bc} \)=\( \frac{b^2}{2bc} \)+\( \frac{c^2}{2bc} \)-\( \frac{a^2}{2bc} \).
Dabei gilt: c ist der Radius des Kreises (also immer gleich)
b ist die Länge des Richtungsvektors der Geraden, also immer gleich.
a liegt dem gesuchten Winkel gegenüber und ist die Länge der Strecke DF. Da das Lot von F auf die xy Ebene der kürzesten Strecke entspricht, wird durch bewegen des Punktes D auf dem Kreisbogen a in jedem Fall länger sein, als wenn a das Lot auf die Ebene ist.
Betrachtet man den Arkuskosinus auf dem Intervall [0;1] so erkennt man, dass der Winkel von alpha umso kleiner wird, desto größer das Argument ist.
Betrachtet man nun die Gleichung des Kosinussatzes, so erkennt man, dass cos(alpha) maximal wird, wenn a möglichst klein ist. Das ist aber genau dann der Fall, wenn a das Lot von F auf die xy-Ebene bildet.
Das müsste der Beweis sein oder?