Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 3/latex
\setcounter{section}{3}
\zwischenueberschrift{Bernoullische Ungleichung}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Bernoulli_inequality.svg} }
\end{center}
\bildtext {Die Bernoullische Ungleichung für \mathlk{n =3}{.}} }
\bildlizenz { Bernoulli inequality.svg } {} {Oleg Alexandrov} {Commons} {gemeinfrei} {}
Die folgende Aussage heißt \stichwort {Bernoulli-Ungleichung} {.}
\inputfaktbeweis
{Reelle Zahlen/Bernoulli Ungleichung/Fakt}
{Satz}
{}
{
\faktsituation {Für jede reelle Zahl
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und eine natürliche Zahl $n$}
\faktfolgerung {gilt die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ (1+x)^n
}
{ \geq} { 1 +nx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über $n$. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht beidseitig $1$, sodass die Aussage gilt. Es sei nun die Aussage für $n$ bereits bewiesen. Dann ist
\mavergleichskettealign
{\vergleichskettealign
{ (1+x)^{n+1}
}
{ =} { (1+x)^{n} (1+x)
}
{ \geq} { (1+nx)(1+x)
}
{ =} { 1+(n+1)x + nx^2
}
{ \geq} { 1+(n+1)x
}
}
{}
{}{,}
da Quadrate
\zusatzklammer {und positive Vielfache davon} {} {}
in einem angeordneten Körper nichtnegativ sind.
\zwischenueberschrift{Die Binomialkoeffizienten}
\inputdefinition
{}
{
Zu einer natürlichen Zahl $n$ nennt man die Zahl
\mavergleichskettedisp
{\vergleichskette
{n!
}
{ \defeq} { n(n-1)(n-2) \cdots 3 \cdot 2 \cdot 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Fakultät}{} von $n$
\zusatzklammer {sprich $n$ Fakultät} {} {.}
}
Man setzt
\mavergleichskette
{\vergleichskette
{0!
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputdefinition
{}
{
Es seien
\mathkor {} {k} {und} {n} {}
natürliche Zahlen mit
\mavergleichskette
{\vergleichskette
{k
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ \binom { n } { k }
}
{ \defeq} {{ \frac{ n ! }{ k ! ( n - k)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Binomialkoeffizienten}{} \anfuehrung{$n$ über $k$ }{.}
}
Diesen Bruch kann man auch als
\mathdisp {{ \frac{ n(n-1)(n-2) \cdots (n-k+2)(n-k+1) }{ k(k-1) (k-2) \cdots 2 \cdot 1 } }} { }
schreiben, da die Faktoren aus
\mathl{(n-k)!}{} auch in $n!$ vorkommen und daher kürzbar sind. In dieser Darstellung stehen im Zähler und im Nenner gleich viele Faktoren. Gelegentlich ist es sinnvoll, auch negative $k$ oder
\mavergleichskette
{\vergleichskette
{k
}
{ > }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zuzulassen und in diesen Fällen die Binomialkoeffizienten gleich $0$ zu setzen.
Von der Definition her ist es nicht sofort klar, dass es sich bei den Binomialkoeffizienten um natürliche Zahlen handelt. Dies folgt aus der folgenden Beziehung.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pascal_triangle.svg} }
\end{center}
\bildtext {Das \stichwort {Dreieck der Binomialkoeffizienten} {} war in Indien und in Persien schon um 1000 bekannt,} }
\bildlizenz { Pascal triangle.svg } {} {Kazukiokumura} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Yanghui_triangle.gif} }
\end{center}
\bildtext {in China heißt es \stichwort {Yanghui-Dreieck} {}
\zusatzklammer {nach Yang Hui (um 1238-1298)} {} {,}} }
\bildlizenz { Yanghui triangle.gif } {} {Noe} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {TrianguloPascal.jpg} }
\end{center}
\bildtext {in Europa heißt es das \stichwort {Pascalsche Dreieck} {}
\zusatzklammer {nach Blaise Pascal (1623-1662)} {} {.}} }
\bildlizenz { TrianguloPascal.jpg } {Pascal} {Drini} {Commons} {PD} {}
{Binomialkoeffizient/Summe in Pascaldreieck/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Binomialkoeffizienten}{}{}}
\faktfolgerung {erfüllen die rekursive Beziehung\zusatzfussnote {Bei
\mathl{k=0}{} ist
\mathl{\binom { n } { k-1 }}{} als $0$ zu interpretieren} {.} {}
\mavergleichskettedisp
{\vergleichskette
{ \binom { n+1 } { k }
}
{ =} { \binom { n } { k } + \binom { n } { k-1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.1. }
Die folgende Formel bringt die Addition und die Multiplikation miteinander in Beziehung.
\inputfaktbeweis
{Körper/Binomi/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es seien
\mathl{a,b}{} Elemente in einem Körper. Ferner sei $n$ eine natürliche Zahl.}
\faktfolgerung {Dann gilt
\mathdisp {( a + b )^{n} = \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k}} { . }
}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion nach $n$. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht einerseits
\mavergleichskette
{\vergleichskette
{ (a+b)^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{a^0b^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}\zusatzfussnote {Wenn einem diese Aussage merkwürdig vorkommt, da sie von der Festlegung
\mavergleichskettek
{\vergleichskettek
{x^0
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
abhängt, so kann man auch bei
\mavergleichskettek
{\vergleichskettek
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
anfangen. Dann hat man einerseits
\mavergleichskettek
{\vergleichskettek
{ (a+b)^1
}
{ = }{ a+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskettek
{\vergleichskettek
{ a^1b^0+a^0b^1
}
{ = }{ a+b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {.} {} Es sei die Aussage bereits für $n$ bewiesen. Dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (a+b)^{n+1}
}
{ =} { (a+b) (a+b)^n
}
{ =} { (a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { a { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } + b { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{ k= 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k=0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1}
}
{ =} { \sum_{ k= 1 } ^{ n+1 } { \left( \binom { n } { k-1 } + \binom { n } { k } \right) } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k=1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k}
}
}
{}{.}
\inputbemerkung
{}
{
Für den Binomialkoeffizienten
\mathdisp {\binom { n } { k }} { }
gibt es eine wichtige inhaltliche Interpretation. Er gibt die Anzahl der $k$-elementigen Teilmengen in einer $n$-elementigen Menge an. Z.B. gibt es in einer $49$-elementigen Menge genau
\mavergleichskettedisp
{\vergleichskette
{ \binom { 49 } { 6 }
}
{ =} { { \frac{ 49 \cdot 48 \cdot 47 \cdot 46 \cdot 45 \cdot 44 }{ 6 \cdot 5 \cdot 4 \cdot 3 \cdot2\cdot 1 } }
}
{ =} { 13 983 816
}
{ } {
}
{ } {
}
}
{}{}{}
$6$-elementige Teilmengen. Der Kehrwert von dieser Zahl ist die Wahrscheinlichkeit, beim Lotto sechs Richtige zu haben.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {A_plus_b_au_carre.svg} }
\end{center}
\bildtext {} }
\bildlizenz { A plus b au carre.svg } {} {Alkarex} {Commons} {CC-by-sa 2.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Binomio_al_cubo.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Binomio al cubo.svg } {Drini} {} {Commons} {PD} {}
\zwischenueberschrift{Die komplexen Zahlen}
Wir führen nun ausgehend von den reellen Zahlen die komplexen Zahlen ein. Zwar haben wir noch nicht alle Eigenschaften der reellen Zahlen kennengelernt, insbesondere haben wir noch nicht die Vollständigkeit diskutiert, die $\R$ von $\Q$ unterscheidet, doch ist dies für die Konstruktion von ${\mathbb C}$ unerheblich. Damit haben wir alle für die Anfängervorlesungen relevanten Zahlbereiche zur Verfügung.
\inputdefinition
{}
{
Die Menge $\R^2$ mit
\mathkor {} {0 \defeq (0,0)} {und} {1 \defeq (1,0)} {,}
mit der komponentenweisen Addition und der durch
\mavergleichskettedisp
{\vergleichskette
{ (a,b) \cdot (c,d)
}
{ \defeq} { (ac-bd, ad+bc)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definierten Multiplikation nennt man \definitionswort {Körper der komplexen Zahlen}{.} Er wird mit
\mathdisp {{\mathbb C}} { }
bezeichnet.
}
Die Addition ist also einfach die vektorielle Addition im $\R^2$, während die Multiplikation eine neuartige Verknüpfung ist, die zwar numerisch einfach durchführbar ist, an die man sich aber dennoch gewöhnen muss. Wir werden in Korollar 21.8 (Analysis (Osnabrück 2021-2023)) noch eine geometrische Interpretation für die komplexe Multiplikation kennenlernen.
{Komplexe Zahlen/Körper/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {komplexen Zahlen}{}{}}
\faktfolgerung {bilden einen
\definitionsverweis {Körper}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.6. }
Wir lösen uns von der Paarschreibweise und schreiben
\mavergleichskettedisp
{\vergleichskette
{ a+b { \mathrm i}
}
{ \defeq} { (a,b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Insbesondere ist
\mavergleichskette
{\vergleichskette
{ { \mathrm i}
}
{ = }{ (0,1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
diese Zahl heißt \stichwort {imaginäre Einheit} {.} Diese Zahl hat die wichtige Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ { \mathrm i}^2
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus dieser Eigenschaft ergeben sich sämtliche algebraischen Eigenschaften der komplexen Zahlen durch die Körpergesetze. So kann man sich auch die obige Multiplikationsregel merken, es ist ja
\mavergleichskettedisp
{\vergleichskette
{ (a+b { \mathrm i} )(c+d { \mathrm i} )
}
{ =} { ac+ad { \mathrm i} +b { \mathrm i} c+b { \mathrm i} d { \mathrm i}
}
{ =} { ac+bd { \mathrm i}^2 +(ad+bc) { \mathrm i}
}
{ =} { ac-bd +(ad+bc) { \mathrm i} }
{ } {
}
}
{}{}{.}
Wir fassen eine reelle Zahl $a$ als die komplexe Zahl
\mavergleichskette
{\vergleichskette
{ a+0 { \mathrm i}
}
{ = }{ (a,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf. In diesem Sinne ist
\mavergleichskette
{\vergleichskette
{\R
}
{ \subset }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist gleichgültig, ob man zwei reelle Zahlen als reelle Zahlen oder als komplexe Zahlen addiert oder multipliziert.
\inputdefinition
{}
{
Zu einer
\definitionsverweis {komplexen Zahl}{}{}
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { a+b { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt
\mavergleichskettedisp
{\vergleichskette
{
\operatorname{Re} \, { \left( z \right) }
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der \definitionswort {Realteil}{} von $z$ und
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Im} \, { \left( z \right) }
}
{ =} { b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
heißt der \definitionswort {Imaginärteil}{} von $z$.
}
Man sollte sich allerdings die Menge der komplexen Zahlen nicht als etwas vorstellen, was weniger real als andere Zahlensysteme ist. Die Konstruktion der komplexen Zahlen aus den reellen Zahlen ist bei Weitem einfacher als die Konstruktion der reellen Zahlen aus den rationalen Zahlen. Allerdings war es historisch ein langer Prozess, bis die komplexen Zahlen als Zahlen anerkannt wurden; das Irreale daran ist, dass sie einen Körper bilden, der nicht angeordnet werden kann, und dass es sich daher scheinbar um keine Größen handelt, mit denen man sinnvollerweise etwas messen kann.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Complex_number_illustration.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Complex number illustration.svg } {} {Wolfkeeper} {en. Wikipedia} {CC-by-sa 3.0} {}
Man kann sich die komplexen Zahlen als die Punkte in einer Ebene vorstellen; für die additive Struktur gilt ja einfach
\mavergleichskette
{\vergleichskette
{ {\mathbb C}
}
{ = }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In diesem Zusammenhang spricht man von der \stichwort {Gaussschen Zahlenebene} {.} Die horizontale Achse nennt man dann die \stichwort {reelle Achse} {} und die vertikale Achse die \stichwort {imaginäre Achse} {.}
{Komplexe Zahlen/Real und Imaginärteil/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {\definitionsverweis {Real}{}{-}
und
\definitionsverweis {Imaginärteil}{}{}
von
\definitionsverweis {komplexen Zahlen}{}{}
erfüllen folgende Eigenschaften
\zusatzklammer {für
\mathkork {} {z} {und} {w} {}
aus ${\mathbb C}$} {} {.}}
\faktfolgerung {\aufzaehlungfuenf{Es ist
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{
\operatorname{Re} \, { \left( z \right) } + \operatorname{Im} \, { \left( z \right) } { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( z+w \right) }
}
{ = }{
\operatorname{Re} \, { \left( z \right) } +
\operatorname{Re} \, { \left( w \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{Im} \, { \left( z+w \right) }
}
{ = }{ \operatorname{Im} \, { \left( z \right) } + \operatorname{Im} \, { \left( w \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mathdisp {\operatorname{Re} \, { \left( rz \right) } =r
\operatorname{Re} \, { \left( z \right) } \text{ und } \operatorname{Im} \, { \left( rz \right) } =r \operatorname{Im} \, { \left( z \right) }} { . }
}{Es ist
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{
\operatorname{Re} \, { \left( z \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, und dies ist genau dann der Fall, wenn
\mavergleichskette
{\vergleichskette
{ \operatorname{Im} \, { \left( z \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.7. }
\inputdefinition
{}
{
Die \definitionsverweis {Abbildung}{}{} \maabbeledisp {} {{\mathbb C}} {{\mathbb C} } {z = a+b { \mathrm i} } { \overline{ z } \defeq a-b { \mathrm i} } {,} heißt \definitionswort {komplexe Konjugation}{.}
}
Zu $z$ heißt $\overline{ z }$ die \stichwort {konjugiert-komplexe Zahl} {} von $z$. Geometrisch betrachtet ist die komplexe Konjugation zu
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einfach die Achsenspiegelung an der reellen Achse.
{Komplexe Konjugation/Rechenregeln/Fakt}
{Lemma}
{}
{
\faktsituation {Für die
\definitionsverweis {komplexe Konjugation}{}{}
gelten die folgenden Rechenregeln
\zusatzklammer {für beliebige
\mavergleichskettek
{\vergleichskettek
{z,w
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}}
\faktfolgerung {\aufzaehlungsechs{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z+w }
}
{ = }{ \overline{ z } + \overline{ w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ -z }
}
{ = }{ - \overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z \cdot w }
}
{ = }{ \overline{ z } \cdot \overline{ w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \overline{ 1/z }
}
{ = }{ 1/\overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ \overline{ z } }
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.15. }
{Komplexe Zahlen/Konjugation/Realteil Imaginärteil/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Für eine
\definitionsverweis {komplexe Zahl}{}{}
$z$ gelten die folgenden Beziehungen.}
\faktfolgerung {\aufzaehlungdrei{Es ist
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{
\operatorname{Re} \, { \left( z \right) } - \operatorname{Im} \, { \left( z \right) } { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( z \right) }
}
{ = }{ \frac{z+ \overline{ z } }{2}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{Im} \, { \left( z \right) }
}
{ = }{ \frac{z - \overline{ z } }{2 { \mathrm i} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 3.12. }
Das Quadrat $d^2$ einer reellen Zahl ist stets nichtnegativ, und die Summe von zwei nichtnegativen reellen Zahlen ist wieder nichtnegativ. Zu einer nichtnegativen reellen Zahl $c$ gibt es eine eindeutige nichtnegative \stichwort {Quadratwurzel} {} $\sqrt{c}$, siehe
Aufgabe 13.5 \zusatzklammer {das werden wir später beweisen} {} {}
Daher liefert folgende Definition eine wohldefinierte nichtnegative reelle Zahl.
\inputdefinition
{}
{
Zu einer
\definitionsverweis {komplexen Zahl}{}{}
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {a+b { \mathrm i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist der \definitionswort {Betrag}{} durch
\mavergleichskettedisp
{\vergleichskette
{ \betrag { z }
}
{ =} { \sqrt{a^2+b^2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}
Der Betrag einer komplexen Zahl $z$ ist aufgrund des \stichwort {Satzes des Pythagoras} {} der Abstand von $z$ zum Nullpunkt
\mavergleichskette
{\vergleichskette
{0
}
{ = }{ (0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Insgesamt ist der Betrag eine Abbildung
\maabbeledisp {} {{\mathbb C}} {\R_{\geq 0}
} {z} { \betrag { z }
} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Eulers_formula.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Euler's formula.svg } {} {Wereon} {Commons} {CC-by-sa 3.0} {}
Die Menge aller komplexen Zahlen mit einem bestimmten Betrag bilden einen Kreis mit dem Nullpunkt als Mittelpunkt und mit dem Betrag als Radius. Insbesondere bilden alle komplexen Zahlen mit dem Betrag $1$ den \stichwort {komplexen Einheitskreis} {.}
\inputfaktbeweis
{Komplexe Zahlen/Rechenregeln für Betrag/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Für den
\definitionsverweis {Betrag}{}{}
von
\definitionsverweis {komplexen Zahlen}{}{}
gelten folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungacht{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ \sqrt{ z \ \overline{ z } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für reelles $z$ stimmen reeller und komplexer Betrag überein.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ \betrag { \overline{ z } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { zw }
}
{ = }{ \betrag { z } \cdot \betrag { w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \betrag { 1/z }
}
{ = }{ 1/\betrag { z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag {
\operatorname{Re} \, { \left( z \right) } }, \betrag { \operatorname{Im} \, { \left( z \right) } }
}
{ \leq }{ \betrag { z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \betrag { z+w }
}
{ \leq }{ \betrag { z } + \betrag { w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {Dreiecksungleichung} {} {.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir zeigen die Dreiecksungleichung, für die anderen Aussagen siehe
Aufgabe 3.9.
Zunächst gilt nach (7) für jede komplexe Zahl $u$ die Abschätzung
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( u \right) }
}
{ \leq }{ \betrag { u }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{
\operatorname{Re} \, { \left( z \overline{ w } \right) }
}
{ \leq} { \betrag { z } \betrag { w }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und somit ist
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { z+w } ^2
}
{ =} { (z+w)( \overline{ z } + \overline{ w } )
}
{ =} { z \overline{ z } + z \overline{ w } + w \overline{ z } + w \overline{ w }
}
{ =} { \betrag { z }^2 + 2
\operatorname{Re} \, { \left( z \overline{ w } \right) } + \betrag { w } ^2
}
{ \leq} { \betrag { z }^2 + 2 \betrag { z } \betrag { w } + \betrag { w } ^2
}
}
{
\vergleichskettefortsetzungalign
{ =} { ( \betrag { z } + \betrag { w } )^2
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Durch Wurzelziehen ergibt sich die gewünschte Abschätzung.
\zwischenueberschrift{Quadratwurzeln von komplexen Zahlen}
Die imaginäre Einheit ${ \mathrm i}$ hat die wichtige Eigenschaft
\mavergleichskette
{\vergleichskette
{ { \mathrm i}^2
}
{ = }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das Negative von ${ \mathrm i}$ besitzt die gleiche Eigenschaft, nämlich
\mavergleichskettedisp
{\vergleichskette
{ (-{ \mathrm i} )^2
}
{ =} { (-1)^2 { \mathrm i}^2
}
{ =} { -1
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit gibt es zu jeder negativen reellen Zahl $-c$
\zusatzklammer {mit $c$ positiv} {} {}
in ${\mathbb C}$ die beiden Quadratwurzeln
\mathkor {} {\sqrt{c} { \mathrm i}} {und} {- \sqrt{c} { \mathrm i}} {.}
Im folgenden Beispiel zeigen wir, dass nicht nur jede reelle Zahl in ${\mathbb C}$ eine Quadratwurzel besitzt, sondern überhaupt jede komplexe Zahl.
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ a+b { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {komplexe Zahl}{}{.}
Dann hat die komplexe Zahl
\mavergleichskettedisp
{\vergleichskette
{ u
}
{ =} { \frac{1}{ \sqrt{2} } { \left( \sigma \sqrt{ \betrag { z } +a } + { \mathrm i} \sqrt{ \betrag { z }-a } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit dem Vorzeichen
\mavergleichskettedisp
{\vergleichskette
{ \sigma
}
{ =} { \begin{cases} 1, \text{ falls } b \geq 0 \, , \\ -1 \text{ falls } b < 0 \, , \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ u^2
}
{ =} { z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Insbesondere besitzt also $z$ zwei Quadratwurzeln, nämlich
\mathkor {} {u} {und} {-u} {,}
die bei
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zusammenfallen.
Wir zeigen dies für den Fall
\mavergleichskettedisp
{\vergleichskette
{b
}
{ \geq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ u^2
}
{ =} { { \left( \frac{1}{\sqrt{2} } { \left( \sqrt{ \betrag { z } +a } + { \mathrm i} \sqrt{ \betrag { z } - a } \right) } \right) }^2
}
{ =} { \frac{1}{2} { \left( \betrag { z } + a - { \left( \betrag { z }-a \right) }
+ 2 { \mathrm i} \sqrt{ { \left( \betrag { z } +a \right) } { \left( \betrag { z }-a \right) } } \right) }
}
{ =} { \frac{1}{2} { \left( 2a + 2 { \mathrm i} \sqrt{ \betrag { z }^2 - a^2 } \right) }
}
{ =} { \frac{1}{2} { \left( 2a + 2 { \mathrm i} \sqrt{ b^2 } \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \frac{1}{2} { \left( 2a + 2 { \mathrm i} b \right) }
}
{ =} { a+b { \mathrm i}
}
{ } {}
{ } {}
}
{}{.}
}
Daraus ergibt sich, dass innerhalb von ${\mathbb C}$ jede \stichwort {quadratische Gleichung} {}
\mavergleichskettedisp
{\vergleichskette
{ az^2+bz+c
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a,b,c \in {\mathbb C}, \, a \neq 0}{,} mindestens eine komplexe Lösung besitzt,
siehe
Aufgabe 3.16.
| << | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >> |
|---|