9. Spezielle Funktionen

Transkript

1 9. Spezielle Funktionen Spezielle Funktionen Nachdem wir jetzt schon recht viel allgemeine Theorie kennengelernt haben, wollen wir diese nun anwenden, um einige bekannte spezielle Funktionen zu studieren (oder überhaupt erst einmal eakt zu definieren), die ihr bereits aus der Schule kennt: die Eponential- und Logarithmusfunktion, die allgemeine Potenz a für a R, die Winkelfunktionen und ihre Umkehrfunktionen. Ausgangspunkt aller dieser Funktionen ist letztlich die in Definition 7.4 (b) bereits eingeführte Eponentialfunktion ep() := n n! = für K. 6 Aus Folgerung 7.33 wissen wir schon, dass diese Funktion die Funktionalgleichung ep( + y) = ep() ep(y) für alle,y K erfüllt. Außerdem ist sie nach Beispiel 8.4 (a) stetig, und aus der Reihendarstellung sieht man sofort, dass ep(0) =. Die weiteren Eigenschaften der Eponentialfunktion sind im reellen und kompleen Fall trotz der gleich lautenden Definition sehr unterschiedlich. Wir werden diese beiden Fälle im Folgenden daher separat untersuchen. 9.A Logarithmen und allgemeine Potenzen Wir beginnen mit der reellen Eponentialfunktion und zeigen zunächst einige ihrer wichtigen Eigenschaften. Satz 9. (Eigenschaften der reellen Eponentialfunktion). (a) Es gilt ep() > 0 für alle R. (b) Die Funktion ep: R R ist streng monoton wachsend. (c) Für alle n N gilt ep() lim n = und lim n ep() = 0. Insbesondere ist also lim ep() = und lim ep() = 0. (d) Für die Zahl e := ep() gilt < e < 3. (Man nennt e die Eulersche Zahl; eine eplizite näherungsweise Berechnung der Eponentialreihe zeigt, dass e =, ) (a) Für 0 ist dies aus der Reihendarstellung offensichtlich. Für 0 folgt aus der Funktionalgleichung ep() ep( ) = ep(0) = und damit ep() = was nun wegen 0 ebenfalls positiv ist. ep( ), (b) Es seien,y R mit < y. Wegen y > 0 folgt aus der Reihendarstellung der Eponentialfunktion dann ep(y ) >. Da nach (a) außerdem ep() > 0 gilt, erhalten wir mit der Funktionalgleichung wie gewünscht ep(y) = ep() ep(y ) > ep() = ep().

2 00 Andreas Gathmann (c) Für > 0 ergibt sich aus der Reihendarstellung der Eponentialfunktion natürlich ep() > n+ (n + )! und damit ep() n > (n + )!. für alle n N. Wegen lim (n+)! = folgt damit auch lim ep() n =. Die Aussage für zeigt man analog: Für < 0 ist > 0, und da wir in (a) schon gesehen haben, dass ep() = ep( ) gilt, erhalten wir ep() = ep( ) < ( ) n+ /(n + )! und damit n ep() < Wegen lim (n+)! = 0 ergibt sich damit auch lim n ep() = 0. (d) Aus der Eponentialreihe erhalten wir sofort e > 0! +! =, (n + )!. und wegen n! = 3 n = n mit Hilfe der geometrischen Reihe aus Beispiel 7.3 (a) auch Bemerkung 9.. e = 0! + n= n! < + n= n = + n = + = 3. (a) Da die (uneigentlichen) Grenzwerte von ep() für ± nach Satz 9. (b) gleich bzw. 0 sind, bedeutet die Aussage desselben Satzes für n > 0 gerade, dass sich in diesen Grenzwerten, die ja von der Form bzw. ± 0 sind, die Eponentialfunktion gegenüber der Potenz n durchsetzt. Man sagt auch, die Eponentialfunktion ist für ± stärker als jede Potenz. (b) Im Bild unten links haben wir den Graphen der reellen Eponentialfunktion gemäß Satz 9. skizziert. Da ep nach Beispiel 8.4 (a) stetig und nach Satz 9. (b) streng monoton wachsend ist, eistiert nach Satz 8.9 eine Umkehrfunktion (wie in Beispiel 8.30 zunächst für Start- und Zielmenge [ R,R] [ep( R),ep(R)] für alle R > 0, dann durch den Übergang R aber auch für R R >0 ): ep() log() e e Definition 9.3 (Logarithmus). Die Umkehrfunktion der Eponentialfunktion ep: R R >0 wird mit log: R >0 R, log() bezeichnet und heißt die (natürliche) Logarithmusfunktion. Sie ist im Bild oben rechts dargestellt. Statt log() ist oft auch die Bezeichnung ln() üblich. Bemerkung 9.4 (Schreibweise spezieller Funktionen). Bei den speziellen Funktionen, die wir in diesem Kapitel kennenlernen werden, ist es zur Vereinfachung der Notation oft üblich, die Klammern beim Funktionsargument wegzulassen, wenn es sich nur um eine einfache Zahl oder Variable handelt, also z. B. log statt log() zu schreiben. Ist das Funktionsargument jedoch ein zusammengesetzter Ausdruck, sind die Klammern zwingend erforderlich: log( + y) kann man nicht als log + y schreiben, da log + y immer als (log) + y zu verstehen ist.

3 9. Spezielle Funktionen 0 Bemerkung 9.5 (Eigenschaften der Logarithmusfunktion). Unsere bisher gezeigten Eigenschaften der Eponentialfunktion übertragen sich natürlich sofort auf die Logarithmusfunktion: (a) log ist stetig und streng monoton wachsend nach Satz 8.9. (b) log = 0 und loge =. (c) Die Grenzwerte aus Satz 9. (b) übertragen sich durch Vertauschen von Start- und Zielraum auf den Logarithmus als lim log = und lim 0 log =. (d) Wenden wir die Funktionalgleichung der Eponentialfunktion auf log und logy für,y > 0 an, so erhalten wir und damit durch Logarithmieren ep(log + logy) = ep(log) ep(logy) = y log + logy = log( y) für,y R >0, was die Funktionalgleichung der Logarithmusfunktion genannt wird. Eine der wichtigsten Anwendungen der Logarithmusfunktion ist, dass man mit ihr allgemeine Potenzen definieren kann also Potenzen der Form a, wobei a nun nicht mehr wie bisher in Z liegen muss, sondern eine beliebige reelle Zahl sein kann: Definition 9.6 (Allgemeine Potenzen). Für R >0 und a R definieren wir die Potenz a := ep(a log) (wir werden in Bemerkung 9.8 (a) noch sehen, dass dies für a Z mit unserer alten Definition aus Notation 3.9 (b) übereinstimmt was dann auch diese neue, allgemeinere Definition motiviert). Lemma 9.7 (Rechenregeln für allgemeine Potenzen). Für alle,y R >0 und a,b R gilt (a) 0 = und = ; (b) a+b = a b und a = a ; (c) ab = ( a ) b und (y) a = a y a. Alle Beweise sind einfaches Nachrechnen mit Hilfe der Funktionalgleichung: (a) 0 = ep(0 log) = ep(0) = und = ep(log) =. (b) Es ist a+b = ep((a + b) log) = ep(a log + b log) = ep(a log) ep(b log) = a b. Setzen wir in dieser Gleichung b = a, so ergibt sich ferner = a a und damit a = a. (c) Es gilt und Bemerkung 9.8. ( a ) b = ep(b log( a )) = ep(b log(ep(a log))) = ep(ab log) = ab (y) a = ep(a log(y)) = ep(a log + a logy) = ep(a log) ep(a logy) = a y a. (a) Aus Lemma 9.7 (a) und (b) folgt insbesondere, dass im Fall a N für unsere allgemeine Potenz aus Definition 9.6 a = + + = }{{} a-mal und genauso a = = }{{} a-mal gilt, dass sie dann also mit der alten Definition der Potenz aus Notation 3.9 (b) übereinstimmt.

4 0 Andreas Gathmann (b) Nach Lemma 9.7 (c) ist a für a 0 eine Umkehrfunktion zu a, denn es ist 0 für alle R >0 und a R\{0}. ( a ) a = = und ( a ) a = = Da Umkehrfunktionen eindeutig sind und wir im Fall a N >0 aus Aufgabe 6.8 und Beispiel 8.30 bereits wissen, dass die Wurzelfunktion a ebenfalls eine solche Umkehrfunktion ist, sehen wir also, dass a = a für alle R >0 und a N >0 gilt. (c) Mit der Eulerschen Zahl e aus Satz 9. (d) ist offensichtlich e a = ep(a loge) = ep(a) für alle a R. Man verwendet daher in der Regel die einfachere Potenzschreibweise e a für ep(a). (d) Beachte, dass wir die allgemeine Potenz a mit a R nur für positive definieren konnten, weil für negative Zahlen kein Logarithmus eistiert. In der Tat ist es auch einleuchtend, dass ein Ausdruck wie z. B. ( ) nicht sinnvoll definiert werden kann, da nicht einmal klar ist, ob diese Zahl positiv oder negativ sein sollte. 9.B Winkelfunktionen Nach der reellen wollen wir nun die komplee Eponentialfunktion studieren, die uns schließlich zu den Winkelfunktionen führen wird. Wie in Bemerkung 9.8 (c) werden wir dabei die Eponentialfunktion auch im Kompleen in der Regel mit z e z bezeichnen (obwohl es keine allgemeine Potenz w z für w,z C gibt). Ihre wesentlichen Eigenschaften, die wir benötigen, um den Zusammenhang mit Winkelfunktionen herstellen zu können, sind die folgenden: Satz 9.9 (Eigenschaften der kompleen Eponentialfunktion). Es gilt: (a) e z = e z für alle z C; (b) e i = für alle R. (a) Für die Partialsummen f n (z) := n k=0 zk k! der Eponentialfunktion folgt natürlich f n(z) = f n (z) durch fortgesetztes Anwenden von Lemma 5.9 (a). Da die komplee Konjugation z z nach Beispiel 8.7 (c) stetig ist, ergibt sich also nach dem Folgenkriterium für Stetigkeit aus Satz 8. (b) e z = lim f n (z) = lim f n (z) = lim f n (z) = e z. n n n (b) Wegen z = zz (siehe Bemerkung 5.4) erhalten wir nun mit (a) e i = e i e i = e i e i = e i e i = e i i = e 0 =. Bemerkung 9.0. Satz 9.9 (b) besagt gerade, dass die komplee Zahl e i für reelle immer auf dem Rand des Einheitskreises liegt. Multiplizieren wir zwei solche Zahlen e i und e iy für,y R miteinander, so erhalten wir einerseits nach der Funktionalgleichung der Eponentialfunktion die Zahl e i e iy = e i(+y) (d. h. die Eponenten addieren sich), andererseits haben wir aber auch schon in Bemerkung 5.5 gesehen, dass sich bei der kompleen Multiplikation die Winkel, die die Zahlen mit der positiven reellen Achse einschließen, ebenfalls addieren. Wir können den Eponenten der Zahl e i daher wie im Bild rechts als ein Maß für diesen Winkel auffassen. Imz e i Rez

5 9. Spezielle Funktionen 03 In der Tat werden wir in Aufgabe.7 sehen, dass dieses genau die (im Bild oben rechts dick eingezeichnete) Länge des Kreisbogens ist, der von zu der Zahl e i führt man sagt auch, dass der im Bogenmaß gemessene Winkel ist. Wir werden diese Aussage im Folgenden nicht benötigen, sondern verwenden sie hier nur als Motivation dafür, dass Real- und Imaginärteil von e i (also die beiden Koordinaten dieses Punktes in der Ebene) dann wie aus der Schule bekannt der Kosinus bzw. Sinus des Winkels sein sollten. Diese Idee machen wir nun zu unserer Definition von Kosinus und Sinus. Definition 9.. Für R definieren wir Kosinus und Sinus als die reellen Zahlen cos := Re(e i ) und sin := Im(e i ), so dass also e i = cos + i sin die Zerlegung der kompleen Eponentialfunktion in Real- und Imaginärteil ist. Bevor wir die Eigenschaften dieser beiden Funktionen studieren, wollen wir erst einmal zwei einfache alternative Darstellungsweisen notieren: Lemma 9. (Alternative Darstellung von Kosinus und Sinus). (a) Für alle R ist cos = ( e i + e i) und sin = i ( e i e i). (b) Kosinus und Sinus lassen sich darstellen als reelle Potenzreihen mit Konvergenzradius cos = sin = ( ) n (n)! n =! + 4 4! 6 6! ±, ( ) n (n + )! n+ = 3 3! + 5 5! 7 7! ±. Insbesondere sind Kosinus und Sinus nach Folgerung 8.4 also stetige Funktionen auf R. (a) Dies folgt aus den allgemeinen Formeln Rez = (z + z) und Imz = i (z z) (siehe Bemerkung 5.4) zusammen mit Satz 9.9 (a). (b) Die Potenzreihendarstellungen ergeben sich mit (a) sofort aus e i = und e i = (i) n n! ( i) n n! = + i!! i 3 3! + 4 4! + i 5 5! 6 6! i 7 7! + = i!! + i 3 3! + 4 4! i 5 5! 6 6! + i 7 7! +, da man konvergente Reihen nach Lemma 7.4 (a) gliedweise addieren kann. Weil diese Reihendarstellung für alle R gilt, ist der Konvergenzradius dieser Potenzreihen gleich. Wir listen nun zunächst die einfachsten Eigenschaften von Kosinus und Sinus auf, die sich direkt aus der Definition ergeben. Satz 9.3 (Eigenschaften von Kosinus und Sinus). Für alle,y R gilt (a) cos( ) = cos und sin( ) = sin. (Der Graph von cos ist also achsensymmetrisch zur vertikalen Achse, der von sin punktsymmetrisch zum Ursprung). (b) (cos) + (sin) = ; insbesondere ist also cos und sin. (c) (Additionstheoreme) und cos( ± y) = cos cosy sin siny sin( ± y) = sin cosy ± cos siny

6 04 Andreas Gathmann (wobei die Gleichungen so zu verstehen sind, dass an beiden Stellen das obere oder an beiden Stellen das untere Vorzeichen zu nehmen ist). (a) Dies folgt z. B. unmittelbar aus Lemma 9. (a). (b) Nach Satz 9.9 (b) ist (cos) + (sin) = (Re(e i )) + (Im(e i )) = e i =. (c) Einerseits gilt nach der Funktionalgleichung der kompleen Eponentialfunktion e i(+y) = e i e iy = (cos + i sin)(cosy + i siny) andererseits nach Definition aber auch = cos cosy sin siny + i ( sin cosy + cos siny ), e i(+y) = cos( + y) + i sin( + y). Vergleich von Real- und Imaginärteil liefert nun die behaupteten Formeln für cos( + y) und sin(+y). Die Formeln für cos( y) und sin( y) ergeben sich daraus durch den Übergang y y mit (a). Notation 9.4 (cos n und sin n ). Für n N schreibt man zur Abkürzung oft auch cos n und sin n anstatt (cos) n und (sin) n. Die Formel aus Satz 9.3 (b) schreibt sich dann z. B. kürzer als cos + sin =. Beachte aber, dass dies leicht zu Verwechslungen führen kann, weil wir die Umkehrfunktion einer Funktion f in Lemma.9 (c) ja mit f () bezeichnet haben, dies aber nach dieser neuen Notation auch als ( f ()) = f () interpretiert werden könnte was natürlich etwas völlig anderes ist. Wir werden daher für Kosinus und Sinus die Schreibweise cos () bzw. sin () überhaupt nicht verwenden, und den Umkehrfunktionen dieser beiden Funktionen andere Namen geben (siehe Definition 9.3). Aufgabe 9.5. Es sei R. Finde und beweise eine eplizite Formel für die Summen n k=0 cos(k) und n k=0 sin(k). Als Nächstes wollen wir die Nullstellen und die Periodizität von Kosinus und Sinus untersuchen. Aus Bemerkung 9.0 (und dem, was ihr aus der Schule wisst) ist z. B. klar, dass diese beiden Funktionen die Periode besitzen sollten. Aber bisher wissen wir überhaupt noch nicht, was eigentlich genau ist! Wie ihr euch vielleicht schon denken könnt, wird auch hier der Ausweg wieder darin bestehen, die Sache rückwärts anzugehen und die Zahl über die Eigenschaften der Kosinus- und Sinusfunktion zu definieren. Dazu benötigen wir das folgende Lemma. Lemma 9.6. (a) Für alle (0,) ist sin > 0. (b) Die Kosinusfunktion ist im Intervall [0,] streng monoton fallend, und es gilt cos0 > 0 sowie cos < 0. Wir bemerken zunächst, dass die Summanden der Eponentialreihe n n! für 0 < ab dem -Term betragsmäßig monoton fallend sind, denn für n ist n+ /(n + )! n /n! = n + + =. Dasselbe gilt dann natürlich auch für die Glieder der Kosinus- und Sinusreihe, die nach Lemma 9. (b) ja bis auf das Vorzeichen genau die geraden bzw. ungeraden Terme der Eponentialreihe sind. Da die Kosinus- und Sinusreihe zudem alternierend sind, sind ihre Partialsummen nach Satz 7.8 damit abwechselnd obere und untere Schranken für den Grenzwert (sofern wir mindestens bis zum -Term aufsummieren, ab dem die Summanden betragsmäßig monoton fallen).

7 9. Spezielle Funktionen 05 (a) Nach unserer Vorbemerkung folgt nun sofort für alle (0,) sin 3 ( 3! = ) > ( ) = > 0. (b) Natürlich ist cos0 = > 0. Für cos gilt wieder nach der Vorbemerkung cos! + 4 4! = = 3 < 0. Es bleibt also nur noch die strenge Monotonie zu zeigen. Es seien dazu,y [0,] mit < y gegeben. Mit den Additionstheoremen aus Satz 9.3 (c) ergibt sich ( y + cos ± y ) = cos y + cos y sin y + sin y. Subtraktion dieser beiden Gleichungen voneinander liefert nun ( y + cos + y ) ( y + cos }{{ } y ) }{{ } =y = = sin y + mit (a) also cos y cos < 0 und damit wie behauptet cos > cos y. }{{} (0,) sin y }{{} (0,) Da die Kosinusfunktion nach Lemma 9. (b) stetig ist, ergibt sich mit dem Zwischenwertsatz 8. aus Lemma 9.6 (b) also, dass es genau ein (0,) gibt mit cos() = 0. Aus der Interpretation von Bemerkung 9.0 sehen wir, dass diese Nullstelle des Kosinus genau bei = auftreten sollte, also dort wo e i auf der imaginären Achse liegt. Wir benutzen dies nun, um die Zahl zu definieren: Definition 9.7 (Die Zahl ). Wir definieren die Zahl R als das Doppelte der (nach obigen Überlegungen eindeutig bestimmten) Nullstelle der Kosinusfunktion im Intervall [0, ]. (Eine näherungsweise Berechnung dieser Nullstelle zeigt, dass = 3, ) Bemerkung 9.8. (a) Unsere Definition 9.7 ist natürlich nicht die einzig mögliche Art, wie man die Zahl definieren kann. Man könnte genauso gut auch irgendeine andere charakteristische Eigenschaft dieser Zahl als Definition verwenden, wie z. B. (was ja häufig gesagt wird) den Flächeninhalt des Einheitskreises. Allerdings wissen wir bisher noch gar nicht, wie man derartige Flächeninhalte überhaupt definieren und berechnen kann. Für uns hat die etwas merkwürdig scheinende Definition 9.7 daher einfach den Vorteil, dass sie am schnellsten zu den gewünschten Resultaten führt (insbesondere auch ohne Flächeninhalte berechnen zu können). (b) Da die Kosinusfunktion nach Lemma 9.6 (b) auf [0, ] streng monoton fallend ist, ist ihre Einschränkung auf das Intervall [0, ] damit eine bijektive, streng monoton fallende Funktion, die von cos0 = nach cos = 0 läuft. Wir wollen nun sehen, wie wir aus diesem Abschnitt der Kosinusfunktion die Kosinus- und Sinusfunktion auf ganz R rekonstruieren können. Satz 9.9 (Periodizität von Kosinus und Sinus). (a) An den Stellen {0,,, 3,} nehmen ei, cos und sin die folgenden Werte an: 0 3 e i i i cos 0 0 sin (b) Kosinus und Sinus sind -periodisch, d. h. es gilt cos(+) = cos und sin(+) = sin für alle R. (c) Für alle R ist cos( ) = cos und sin( ± ) = cos.,

8 06 Andreas Gathmann (a) Nach Definition 9.7 ist cos = 0. Für den Sinus gilt damit sin = cos = 0 = nach Satz 9.3 (b); da außerdem sin > 0 nach Lemma 9.6 (a) gilt, muss also sin = sein. Damit ist e i = cos + isin = i. Die übrigen behaupteten Werte für e in mit n {0,,,3,4} folgen damit sofort nach den Rechenregeln für Potenzen aus e in = (e i ) n = i n. Aufteilen dieser Zahlen in Real- und Imaginärteil liefert dann die Werte für Kosinus und Sinus in der Tabelle. (b) Nach (a) ist e i = und damit e i (+) = e i e i = e i. Aufteilen in Real- und Imaginärteil liefert wieder die Behauptung. (c) Wiederum mit (a) ist und cos( ) = cos cos + sin sin = ( ) cos + 0 sin = cos ( ) sin ± = sin cos ± cos sin = cos ± 0 sin = cos nach den Additionstheoremen aus Satz 9.3 (c). Bemerkung 9.0. Mit Satz 9.9 können wir nun aus dem Verlauf der Kosinusfunktion im Intervall [0, ] (nach Bemerkung 9.8 (b) streng monoton fallend von nach 0 verlaufend; im Bild unten dick eingezeichnet) die gesamte Kosinus- und Sinusfunktion rekonstruieren: Satz 9.9 (c) für [0, ] legt zunächst Kosinus und Sinus im Intervall [0,] fest: Die Graphen verlaufen hier genauso wie beim Kosinus von 0 bis, nur gedreht bzw. gespiegelt (im Bild unten als durchgezogene Linie markiert); Satz 9.3 (a) bestimmt Kosinus und Sinus damit dann auch im Intervall [,] (im Bild gestrichelt eingezeichnet); Satz 9.9 (b) schließlich besagt dann, dass dieser Verlauf von Kosinus und Sinus in beide Richtungen -periodisch fortgesetzt wird (wie im Bild gepunktet eingezeichnet). cos sin 3 3 Wie in der Schule definiert man schließlich noch den Tangens: Definition 9. (Tangens). Für alle R\{ + n : n Z}, also nach Bemerkung 9.0 für alle mit cos 0, heißt der Tangens von. tan := sin cos Bemerkung 9. (Eigenschaften des Tangens). Die wesentlichen Eigenschaften des Tangens ergeben sich unmittelbar aus denen des Kosinus und Sinus:

9 9. Spezielle Funktionen 07 (a) Der Tangens ist auf seiner Definitionsmenge als Quotient stetiger Funktionen stetig. tan (b) Es ist tan( ) = sin( ) cos( ) = sin cos = tan nach Satz 9.3 (a) (d. h. der Graph von tan ist punktsymmetrisch zum Ursprung), und tan( + ) = sin( + ) cos( + ) = sin cos = tan 4 nach Bemerkung 9.0 (d. h. tan ist periodisch mit Periode ). Der Graph der Tangensfunktion ist wegen dieser Symmetrien also bereits durch den Graphen im Intervall [0, ) bestimmt. (c) Es ist tan0 = cos0 sin0 = 0 = 0 sowie tan 4 =, denn nach Satz 9.9 (c) ist sin 4 = cos 4. Weiterhin ist lim / </ tan =, da in diesem Grenzfall sin gilt und cos von der positiven Seite gegen 0 konvergiert. (d) Die Tangensfunktion ist auf [0, ) (und damit nach der Symmetrie aus (b) auch auf (, )) streng monoton wachsend: Für,y [0, ) mit < y ist sin < siny und cos > cosy > 0 nach Bemerkung 9.0, also tan = sin cos < siny cosy = tany. Wir können nun natürlich auf den Intervallen, auf denen die Winkelfunktionen streng monoton sind, nach Satz 8.9 die Umkehrfunktionen definieren. Aufgrund der Periodizität haben wir dabei in allen drei Fällen eine Wahl, welches solche Intervall wir betrachten. Üblicherweise verwendet man die folgenden: Definition 9.3 (Umkehrfunktionen der Winkelfunktionen). Die Umkehrfunktion von... (a) sin: [, ] [,] heißt Arkussinus arcsin: [,] [, ]. (b) cos: [0,] [,] heißt Arkuskosinus arccos: [,] [0,]. (c) tan: (, ) R heißt Arkustangens arctan: R (, ). arcsin arccos arctan 4 Bemerkung 9.4. (a) Beachte, dass die Arkusfunktionen nur in den betrachteten Intervallen die Umkehrfunktionen der Winkelfunktionen sind; es ist also z. B. arcsin(sin) = nur für [, ], wohingegen z. B. arcsin(sin) = arcsin0 = 0 ist.

10 08 Andreas Gathmann (b) Wie bei den anderen bisher betrachteten Umkehrfunktionen ergeben sich die Eigenschaften der Arkusfunktionen natürlich wieder direkt aus denen der Winkelfunktionen. So sind z. B. alle Arkusfunktionen stetig und streng monoton nach Satz 8.9 (wachsend für arcsin und arctan, fallend für arccos), und die wichtigsten speziellen Werte und Symmetrien sind wie im Bild oben dargestellt. Als Anwendung der Arkusfunktionen wollen wir zum Abschluss dieses Kapitels nun noch die sogenannte Polarkoordinatendarstellung kompleer Zahlen behandeln, mit der sich Rechnungen in C oft wesentlich vereinfachen lassen. Die Idee dabei ist einfach, dass man durch Multiplikation einer Zahl e iϕ auf dem Einheitskreis (siehe Bemerkung 9.0) mit einer positiven reellen Zahl r jeden Punkt der kompleen Zahlenebene (mit Ausnahme des Nullpunkts) erreichen können sollte, wobei wie im Bild rechts r gerade der Betrag und ϕ der Winkel des betrachteten Punktes ist. Man kann einen solchen Punkt also auch durch Angabe der Werte von r und ϕ (anstatt durch Real- und Imaginärteil) charakterisieren: Satz 9.5 (Polarkoordinatendarstellung). Imz ϕ r z = r e iϕ (a) Jede komplee Zahl z C\{0} lässt sich in der Form z = r e iϕ mit r R >0 und ϕ R schreiben. (b) Die Darstellung aus (a) ist eindeutig bis auf ganzzahlige Vielfache von in ϕ, d. h. sind r,r R >0 und ϕ,ϕ R mit r e iϕ = r e iϕ, so ist r = r und ϕ ϕ = n für ein n Z. Man nennt r und ϕ die Polarkoordinaten von z. (a) Wir setzen r := z. Es bleibt also noch zu zeigen, dass es ein ϕ R gibt mit z = z e iϕ, z d. h. dass sich die komplee Zahl z, die ja jetzt Betrag hat, in der Form eiϕ schreiben z lässt. Aufgeteilt in Real- und Imaginärteil bedeutet dies genau, dass wir z =: + iy als cosϕ +i sinϕ schreiben wollen, d. h. wir suchen zu,y R mit +y = eine Zahl ϕ R mit cosϕ = und sinϕ = y. ( ) Wegen + y = ist insbesondere, wir können also α := arccos setzen, so dass schon einmal cosα = gilt. Nun ist mit Satz 9.3 (b) y = = cos α = sin α und damit y = ±sinα. Im Fall des Vorzeichens + ergibt nun ϕ := α, im Fall des Vorzeichens hingegen ϕ := α die gewünschten Relationen ( ). (b) Nehmen wir von der Gleichung r e iϕ = r e iϕ auf beiden Seiten den Betrag, so erhalten wir sofort r = r. Weiterhin ist damit e iϕ = e iϕ, also e i(ϕ ϕ) = e 0 = und damit Beispiel 9.6. cos(ϕ ϕ) = und sin(ϕ ϕ) = 0. Aus Bemerkung 9.0 ergibt sich, dass dies genau dann der Fall ist, wenn ϕ ϕ ein ganzzahliges Vielfaches von ist. (a) In Polarkoordinaten ist insbesondere die Multiplikation zweier kompleer Zahlen sehr einfach: Es ist (r e iϕ ) (r e iϕ ) = (r r )e i(ϕ +ϕ ), was die algebraische Version der geometrischen Aussage aus Bemerkung 5.5 ist, dass sich bei der Multiplikation kompleer Zahlen die Beträge multiplizieren und die Winkel addieren. Rez

11 9. Spezielle Funktionen 09 (b) (Einheitswurzeln) In Polarkoordinaten können wir in C besonders einfach die Gleichung z n = für n N >0 lösen. Schreiben wir nämlich z = r e iϕ, so wollen wir also z n = r n e inϕ = = e i 0, was nach der Eindeutigkeitsaussage aus Satz 9.5 (b) bedeutet, dass r n = und nϕ = k für ein k Z, also r = und ϕ = k n für ein k Z. Da man die Polarkoordinaten stets so wählen kann, dass ϕ [0,) ist, genügt es dabei, sich auf die Werte k {0,,...,n } zu beschränken. Die kompleen Lösungen der Gleichung z n = sind also genau die n Zahlen Aufgabe 9.7. z k = e ik n für k = 0,...,n. Man bezeichnet diese Zahlen als die n-ten Einheitswurzeln; sie bilden die Ecken eines regelmäßigen n-ecks (wie im Bild rechts für das Beispiel n = 5 dargestellt). (a) Bestimme cos 6 und sin 6. e 6i 5 Imz e i 5 (b) Stelle alle kompleen Lösungen der Gleichung z 6 = 8 sowohl in Polarkoordinaten z = re iϕ als auch ohne Verwendung von Winkelfunktionen in der Form z = + iy dar. Wo liegen sie in der kompleen Zahlenebene? e 4i 5 e 8i 5 Rez