Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...
Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...
Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Rechenregeln:<br />
• a x · a y = a x+y .<br />
• (a x ) y = a xy .<br />
• (a −1 ) x = a −x .<br />
• log a (xy) = log a (x) + log a (y).<br />
• log a (a) = 1.<br />
Bemerkung 6.23. Es ist leicht nach<strong>zur</strong>echnen, dass log a (x) die Umkehrfunktion<br />
von a x ist. Definiert man e := exp(1), d.h. log(e) = 1, so gilt tatsächlich e x =<br />
exp(x), wie früher als Notation benutzt, denn e x = exp(x log(e)) = exp(x). Ist<br />
x ∈ N, so bekommen wir auch wieder die alte Definition der Potenz <strong>zur</strong>ück:<br />
a n = exp(n log(a)) = exp(log(a)) n = a n .<br />
Satz 6.24 (Umkehrung der trigonometrischen Funktionen).<br />
(a) Die stetige Abildung cos : [0, π] −→ [−1, 1] ist streng monoton fallend und<br />
bijektiv. Die Umkehrfunktion ist<br />
arccos : [−1, 1] −→ [0, π].<br />
(b) Die stetige Abildung sin : [−π/2, π/2] −→ [−1, 1] ist streng monoton fallend<br />
und bijektiv. Die Umkehrfunktion ist<br />
arcsin : [−1, 1] −→ [−π/2, π/2].<br />
(c) Die stetige Abbildung tan :] − π/2, π/2[−→ R ist streng monoton fallend und<br />
bijektiv. Die Umkehrfunktion ist<br />
arctan : R −→] − π/2, π/2[.<br />
Beweis. Einen exakten Beweis für die Monotonie von cos(x) in diesem Intervall,<br />
der auf einer Potenzreihenentwicklung basiert, findet man in [Forster, Seite 136].<br />
Einen geometrischen Beweis führt man am einfachsten mit Polarkoordinaten der<br />
komplexen Zahlen. Daraus folgt sofort (a) und analog (b). (c) schließlich folgt aus<br />
(a) und (b), da tan(x) = sin(x)/ cos(x).<br />
65