Aufgabe:
Wähle I \( =[0, x] \) mit \( \left.x \in] 0, \frac{\pi}{2}\right] \).
sin (z) ist auf I differenzierbar. Deshalb existiert nach dem Mittelwertsatz ein \( \left.x_{0} \in\right] 0, x[\mathrm{mit} \)
\( \frac{\sin (x)-\sin (0)}{x-0}=\frac{\sin (x)}{x}=\cos \left(x_{0}\right) \)
Da der Kosinus beschränkt ist, gilt für alle \( \left.\left.x_{0} \in\right] 0, x[\subset] 0, \frac{\pi}{2}\right] \)
\( 0 \leq \cos \left(x_{0}\right)<1 \)
(2)
Also erhalten wir wegen (1) und (2)
\( \frac{\sin (x)}{x}<1 \)
(3)
Problem/Ansatz:
Ich bin hier auf eine Lösung gestoßen zu dem Beweis, dass sin(x) < x ist, ich wundere mich allerdings
wie cos(x0) größer gleich null sein kann, wenn doch gilt, dass
x0 zwischen 0 und x liegt und nicht x annehmen kann. Also wenn x gleich
pi/2 sein sollte kann x0 nicht gleich dem x sein und deshalb kann cos(x0)
nicht gleich null sein, also wie kommt es zu der Gleichheit?