Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Exercise sheet 5/latex
\setcounter{section}{5}
\zwischenueberschrift{Exercises}
\inputexercise
{}
{
Determine which of the two rational numbers
\mathkor {} {p} {and} {q} {}
is larger:
\mathdisp {p= \frac{573}{-1234} \text{ and } q = \frac{-2007}{4322}} { . }
\inputexercise
{}
{
There are two glasses on the table, in one there is red wine, in the other there is white wine, the same amount. Now a small empty glass is immersed into the red wine glass completely and the content is put into the white wine glass and mixed with its content
\zusatzklammer {in particular, there is enough space there} {} {.}
After this, the small glass is immersed into the white wine glass completely and the content is put into the red wine glass. In the end, is there more red wine in the red wine glass than white wine in the white whine glass?
\inputexercise
{}
{
A Bahncard $25$ costs $62$ Euros and allows for one year to save $25$ percentage of the standard price for the travels. A Bahncard $50$ costs $255$ Euros and allows for one year to save $50$ percentage of the standard price for the travels. Determine for which standard price no Bahncard, the Bahncard $25$ or the Bahncard $50$ is the best option.
\inputexercise
{}
{
Two bicyclists,
\mathkor {} {A} {and} {B} {,}
drive on their bikes along a street. $A$ makes $40$ pedal turnings per minute, has a gear ratio of pedal to back wheel of $1$ to $6$ and tyres with a radius of $39$ centimeter.
$B$ needs $2$ seconds for one pedal turning, has a gear ratio of pedal to back wheel of $1$ to $7$ and tyres with a radius of $45$ centimeter.
Who is driving faster?
\inputexercise
{}
{
Show that in an
ordered field
the following properties hold.
\aufzaehlungzehn {
\mavergleichskette
{\vergleichskette
{1
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds if and only if
\mavergleichskette
{\vergleichskette
{-a
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds.
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds if and only if
\mavergleichskette
{\vergleichskette
{a-b
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds.
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds if and only if
\mavergleichskette
{\vergleichskette
{-a
}
{ \leq }{-b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds.
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
imply
\mavergleichskette
{\vergleichskette
{a +c
}
{ \geq }{b+d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
imply
\mavergleichskette
{\vergleichskette
{ac
}
{ \geq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{c
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
imply
\mavergleichskette
{\vergleichskette
{ac
}
{ \leq }{bc
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{c
}
{ \geq }{d
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
imply
\mavergleichskette
{\vergleichskette
{ac
}
{ \geq }{bd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
imply
\mavergleichskette
{\vergleichskette
{ab
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{b
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
imply
\mavergleichskette
{\vergleichskette
{ab
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{}
{
On the recently discovered planet Trigeno there lives a species which has some ability to calculate. They use like us the rational numbers with \anfuehrung{our}{} addition and multiplication. They also use a kind of \anfuehrung{ordering}{} on the rational numbers, denoted by $\succeq$. This trigenometric ordering coincides with our ordering as long as both numbers are$\neq 0$. However, they put
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \succeq} {x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
for every rational number $x$. The well-known Ethnomathematician Dr. Eisenbeis thinks that this is related to the fact that they worship the number $0$.
Show that $\succeq$ fulfils the following properties.
\aufzaehlungvier {For any two elements
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
either
\mavergleichskette
{\vergleichskette
{a
}
{ \succ }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
or
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
or
\mavergleichskette
{\vergleichskette
{b
}
{ \succ }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds.
} {From
\mavergleichskette
{\vergleichskette
{a
}
{ \succeq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{b
}
{ \succeq }{c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we get
\mavergleichskette
{\vergleichskette
{a
}
{ \succeq }{c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {for arbitrary
\mavergleichskettek
{\vergleichskettek
{ a , b , c
}
{ \in }{ \Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
} {From
\mavergleichskette
{\vergleichskette
{ a
}
{ \succeq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{ b
}
{ \succeq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we get
\mavergleichskette
{\vergleichskette
{ a + b
}
{ \succeq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {From
\mavergleichskette
{\vergleichskette
{ a
}
{ \succeq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{ b
}
{ \succeq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we get
\mavergleichskette
{\vergleichskette
{ a b
}
{ \succeq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Which property of an ordered field does \mathl{(\Q, \succeq)}{} not fulfil?
\inputexercise
{}
{
Show that in an
ordered field
the following properties hold.
\aufzaehlungdrei {We have
\mavergleichskette
{\vergleichskette
{a^2
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {If
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{b
}
{ \geq }{0
}
{ }{
}
{ }{
}
}
{}{}{}
holds, then also
\mavergleichskette
{\vergleichskette
{a^n
}
{ \geq }{b^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {From
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we get
\mavergleichskette
{\vergleichskette
{a^n
}
{ \geq }{a^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for integer numbers
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{}
{
Let $K$ be an
ordered field
and
\mavergleichskette
{\vergleichskette
{ x
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Show that also the inverse element $x^{-1}$ is positive.
\inputexercise
{}
{
Let $K$ be an
ordered field
and
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Show that for the inverse element
\mavergleichskette
{\vergleichskette
{ x^{-1}
}
{ \leq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds.
\inputexercise
{}
{
Let $K$ be an
ordered field
and
\mavergleichskette
{\vergleichskette
{ x
}
{ > }{ y
}
{ > }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Show that for the
inverse elements
\mavergleichskette
{\vergleichskette
{ x^{-1}
}
{ < }{ y^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds.
\inputexercise
{}
{
Let $K$ be an
ordered field
and let $x, y$ be positive elements. Show that
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is equivalent with
\mavergleichskette
{\vergleichskette
{ { \frac{ x }{ y } }
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputexercise
{}
{
Let $K$ be an
ordered field
and
\mathbed {b \in K} {}
{b> 1} {}
{} {} {} {.}
Show that there exists elements
\mavergleichskette
{\vergleichskette
{c,d
}
{ > }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
such that
\mavergleichskette
{\vergleichskette
{b
}
{ = }{cd
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputexercise
{}
{
Let $K$ denote an ordered field. We consider the mapping
$\Z \rightarrow K$
constructed in
exercise *****.
a) Show that this mapping is injective.
b) Show that this mapping can be extended to an injective mapping $\Q \rightarrow K$ such that the addition and multiplication in $\Q$ and in $K$ coincide, and such that the ordering of $\Q$ coincides with the ordering of $K$.
\inputexercise
{}
{
Let $K$ denote an
ordered field.
Show that for
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the relation
\mavergleichskettedisp
{\vergleichskette
{ x^2 +(x+1)^2 }
{ \geq} { (x+2)^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
holds.
\inputexercise
{}
{
Let
\mavergleichskette
{\vergleichskette
{ x
}
{ < }{ y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be two real numbers. Show that for the
arithmetic mean
${ \frac{ x+y }{ 2 } }$ the inequalities
\mavergleichskettedisp
{\vergleichskette
{x
}
{ <} { { \frac{ x+y }{ 2 } }
}
{ <} {y
}
{ } {}
{ } {}
}
{}{}{}
hold.
\inputexercise
{}
{
Write a computer-program
\zusatzklammer {pseudocode} {} {}
which computes the
arithmetic mean
of two given non negative rational numbers.
\auflistungfuenf {The computer has as many memory units as needed, which can contain natural numbers.
}{It can add the content of two memory units and write the result into another memory unit.
}{It can multiply the content of two memory units and write the result into another memory unit.
}{It can print contents of memory units and it can print given texts.
}{There is a stop command.
}
The initial configuration is
\mathdisp {(a,b,c,d,0,0,0, \ldots )} { }
with
\mavergleichskette
{\vergleichskette
{b,d
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Here
\mathkor {} {a/b} {and} {c/d} {}
represent the rational numbers from which we want to compute the arithmetic mean. The result should be printed
\zusatzklammer {in the form numerator denominator} {} {}
and then the program shall stop.
\inputexercise
{}
{
Discuss the
operation
\mathdisp {\R_{\geq 0} \times \R_{\geq 0} \longrightarrow \R_{\geq 0}
, (x,y) \longmapsto \operatorname{max} \, (x,y)} { , }
looking at associativity, commutativity, existence of a neutral element and existence of inverse element.
\inputexercise
{}
{
Some bacterium wants to walk around the earth along the equator. It is quite small and during a day it makes exactly $2$ millimeter. How many days does it take for it to orbit the earth once?
\inputexercise
{}
{
How many trillionths does it take to reach one billionth?
\inputexercise
{}
{
In the forest, a giant is living, which height is $8$ meter and $37$ cm. There is also a colony of dwarfs, their height at the shoulder is $3$ cm and their height including the head is $4$. The neck and the head of the giant is $1,23$ meter high. On the shoulder of the giant there stands a dwarf. How many dwarfs have to stand above each other
\zusatzklammer {on their shoulders} {} {}
such that the dwarf on top is at least on the level of the dwarf on the giant?
\inputexercise
{}
{
Show that in $\R$ the following properties hold.
\aufzaehlungzwei {For
\mavergleichskette
{\vergleichskette
{x
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
there exists a natural number $n$ such that
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ n } }
}
{ < }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {For two real numbers
\mavergleichskette
{\vergleichskette
{x
}
{ < }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
there exists a rational number \mathl{n/k}{} (with
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{k
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}) such that
\mavergleichskettedisp
{\vergleichskette
{x
}
{ <} { { \frac{ n }{ k } }
}
{ <} {y
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputexercise
{}
{
Compute the
floor
\mathdisp {\left \lfloor { \frac{ 513 }{ 21 } } \right \rfloor} { . }
\inputexercise
{}
{
Prove the following properties for the
absolute value function
\mathdisp {\R \longrightarrow \R
, x \longmapsto \betrag { x }} { , }
(here let $x,y$ be arbitrary real numbers).
\aufzaehlungacht {
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mavergleichskette
{\vergleichskette
{x
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \betrag { x }
}
{ = }{\betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
or
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \betrag { y-x }
}
{ = }{ \betrag { x-y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \betrag { xy }
}
{ = }{ \betrag { x } \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {For
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have
\mavergleichskette
{\vergleichskette
{ \betrag { x^{-1} }
}
{ = }{ \betrag { x }^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {We have
\mavergleichskette
{\vergleichskette
{ \betrag { x+y }
}
{ \leq }{ \betrag { x } + \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {triangle inequality for modulus} {} {.}
} {
\mavergleichskette
{\vergleichskette
{ \betrag { x+y }
}
{ \geq }{ \betrag { x } - \betrag { y }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{}
{
Let $x_1 , \ldots , x_n$ be real numbers. Show by
induction
the following inequality
\mavergleichskettedisp
{\vergleichskette
{\betrag { \sum_{i = 1}^n x_i }
}
{ \leq} { \sum_{i = 1}^n \betrag { x_i }
}
{ } {}
{ } {}
{ } {}
}
{}{}{.}
The idea of the following exercises came from http://jwilson.coe.uga.edu/emt725/Challenge/Challenge.html, also have a look at http://www.vier-zahlen.bplaced.net/raetsel.php .
\inputexercise
{}
{
We consider the mapping
\mathdisp {\Psi \colon \N^4 \longrightarrow \N^4} { }
which assigns to a four tuple \mathl{(a,b,c,d)}{} the four tuple
\mathdisp {( \betrag { b-a } , \betrag { c-b } , \betrag { d-c } , \betrag { a-d } )} { . }
We denote by \mathl{\Psi^n}{} the $n$-th fold
composition
of $\Psi$ with itself.
\aufzaehlungdrei {Compute
\mathdisp {\Psi (6,5,2,8), \, \Psi^2 (6,5,2,8), \, \Psi^3 (6,5,2,8), \, \Psi^4 (6,5,2,8)\, ...} { , }
until the result is the zero tuple \mathl{(0,0,0,0)}{.}
} {Compute
\mathdisp {\Psi (1,10,100,1000), \, \Psi^2 (1,10,100,1000), \, \Psi^3 (1,10,100,1000), \, \Psi^4 (1,10,100,1000) \, ...} { , }
until the result is the zero tuple \mathl{(0,0,0,0)}{.}
} {Show
\mavergleichskette
{\vergleichskette
{ \Psi^4 (0,0,n,0)
}
{ = }{ (0,0,0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for every
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{}
{
We consider the mapping
\mathdisp {\Psi \colon \N^4 \longrightarrow \N^4} { }
which assigns to a four tuple \mathl{(a,b,c,d)}{} the four tuple
\mathdisp {( \betrag { b-a } , \betrag { c-b } , \betrag { d-c } , \betrag { a-d } )} { . }
Determine whether $\Psi$ is
injective
and whether $\Psi$ is
surjective.
\inputexercise
{}
{
We consider the mapping
\mathdisp {\Psi \colon \N^4 \longrightarrow \N^4} { }
which assigns to a four tuple \mathl{(a,b,c,d)}{} the four tuple
\mathdisp {( \betrag { b-a } , \betrag { c-b } , \betrag { d-c } , \betrag { a-d } )} { . }
Show that for any initial value \mathl{(a,b,c,d)}{,} after finitely many iterations this map reaches the zero tuple.
\inputexercise
{}
{
We consider the mapping
\mathdisp {\Psi \colon \N^4 \longrightarrow \N^4} { }
which assigns to a four tuple \mathl{(a,b,c,d)}{} the four tuple
\mathdisp {( \betrag { b-a } , \betrag { c-b } , \betrag { d-c } , \betrag { a-d } )} { . }
Find an example of a four tuple \mathl{(a,b,c,d)}{} with the property that all iterations \mathl{\Psi^n (a,b,c,d)}{} for
\mavergleichskette
{\vergleichskette
{ n
}
{ \leq }{ 25
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
do not yield the zero tuple. Check your result on http://www.vier-zahlen.bplaced.net/raetsel.php .
We will later deal with the question on how it is with real four tuples, see in particular
Exercise 28.10
.
\inputexercise
{}
{
Let $K$ be an
ordered field
and
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Show the following statements.
\aufzaehlungdrei {The mapping
\mathdisp {K_{\geq 0} \longrightarrow K
, x \longmapsto x^n} { , }
is
strictly increasing.
} {The mapping
\mathdisp {K_{\leq 0} \longrightarrow K
, x \longmapsto x^n} { , }
is for $n$ odd
strictly increasing.
} {The Mapping
\mathdisp {K_{\leq 0} \longrightarrow K
, x \longmapsto x^n} { , }
is for $n$ even
strictly decreasing.
}
\inputexercise
{}
{
Let
\mathdisp {f_1 , \ldots , f_n \colon \R \longrightarrow \R} { }
be functions, which are increasing or decreasing, and let
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ f_n \circ \cdots \circ f_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be their
composition.
Let $k$ be the number of the decreasing functions among the $f_i$'s. Show that if $k$ is even, then $f$ is
increasing,
and if $k$ is odd, then $f$ is
decreasing.
The solution to the exercises of complex numbers always has to be written like $a+b { \mathrm i}$ with real numbers $a,b$ whereas those have to be as simple as possible.
\inputexercise
{}
{
Calculate the following expressions in the
complex numbers.
\aufzaehlungsechs {$(5+4 { \mathrm i} )(3-2 { \mathrm i})$.
} {$(2+3 { \mathrm i})(2-4 { \mathrm i}) +3(1-{ \mathrm i})$.
} {$(2{ \mathrm i}+3)^2$.
} {${ \mathrm i}^{1011}$.
} {$(-2+5{ \mathrm i})^{-1}$.
} {$\frac{4-3{ \mathrm i}}{2+{ \mathrm i}}$.
}
\inputexercise
{}
{
Show that the
complex numbers
constitute a
field.
\inputexercise
{}
{
Show that
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with componentwise addition and componentwise multiplication is not a
field.
\inputexercise
{}
{
Prove the following statements concerning the
real
and
imaginary
parts of a
complex number.
\aufzaehlungfuenf {
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{
\operatorname{Re} \, { \left( z \right) } +
\operatorname{Im} \, { \left( z \right) } { \mathrm i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( z+w \right) }
}
{ = }{
\operatorname{Re} \, { \left( z \right) } +
\operatorname{Re} \, { \left( w \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{
\operatorname{Im} \, { \left( z+w \right) }
}
{ = }{
\operatorname{Im} \, { \left( z \right) } +
\operatorname{Im} \, { \left( w \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {For
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have
\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) }} { . }
} {The equation
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{
\operatorname{Re} \, { \left( z \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds if and only if
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and this holds if and only if
\mavergleichskette
{\vergleichskette
{
\operatorname{Im} \, { \left( z \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{}
{
Show that for a
complex number
$z$ the following relations hold.
\aufzaehlungdrei {
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{
\operatorname{Re} \, { \left( z \right) } - { \mathrm i}
\operatorname{Im} \, { \left( z \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{
\operatorname{Re} \, { \left( z \right) }
}
{ = }{ { \frac{ z+ \overline{ z } }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{
\operatorname{Im} \, { \left( z \right) }
}
{ = }{ { \frac{ z - \overline{ z } }{ 2 { \mathrm i} } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{}
{
Prove the following properties of the
absolute value
of a
complex number.
\aufzaehlungsieben {
\mavergleichskettedisp
{\vergleichskette
{ \betrag { z }
}
{ =} { \sqrt{ z \ \overline{ z } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {For a real number $z$ its real absolute value and its complex absolute value coincide.
} {We have
\mavergleichskette
{\vergleichskette
{ \betrag { z }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mavergleichskette
{\vergleichskette
{ z
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskettedisp
{\vergleichskette
{ \betrag { z }
}
{ =} { \betrag { \overline{ z } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {
\mavergleichskettedisp
{\vergleichskette
{ \betrag { zw }
}
{ =} { \betrag { z } \betrag { w }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {For
\mavergleichskette
{\vergleichskette
{ z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have
\mavergleichskette
{\vergleichskette
{ \betrag { 1/z }
}
{ = }{ 1/ \betrag { z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskettedisp
{\vergleichskette
{ \betrag {
\operatorname{Re} \, { \left( z \right) } }, \betrag {
\operatorname{Im} \, { \left( z \right) } }
}
{ \leq} { \betrag { z }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Hand-in-exercises}
\inputexercise
{m}
{
Let $K$ be an
ordered field
and
\mavergleichskette
{\vergleichskette
{ x
}
{ < }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Show that also the inverse element $x^{-1}$ is negative.
\inputexercise
{m}
{
Prove that a strictly increasing function
\mathdisp {f \colon \R \longrightarrow \R} { }
is injective.
\inputexercise
{m}
{
We consider the mapping
\mathdisp {\Psi \colon \Q_{\geq 0}^4 \longrightarrow \Q_{\geq 0}^4} { }
which assigns to a four tuple of nonnegative rational numbers \mathl{(a,b,c,d)}{} the four tuple
\mathdisp {( \betrag { b-a } , \betrag { c-b } , \betrag { d-c } , \betrag { a-d } )} { }
Show that after finitely many iterations, this mapping yields the zero tuple.
Hint: Use
Exercise 5.27
.
\inputexercise
{m}
{
Calculate the
complex numbers
\mathdisp {(1+ { \mathrm i} )^n} { }
for
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 1,2,3,4,5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputexercise
{m}
{
Prove the following properties of the
complex conjugation.
\aufzaehlungsechs {
\mavergleichskette
{\vergleichskette
{ \overline{ z+w }
}
{ = }{ \overline{ z } + \overline{ w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \overline{ -z }
}
{ = }{ - \overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \overline{ z \cdot w }
}
{ = }{ \overline{ z } \cdot \overline{ w }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {For
\mavergleichskette
{\vergleichskette
{z
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have
\mavergleichskette
{\vergleichskette
{ \overline{ 1/z }
}
{ = }{ 1/\overline{ z }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \overline{ \overline{ z } }
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mavergleichskette
{\vergleichskette
{ \overline{ z }
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mavergleichskette
{\vergleichskette
{z
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputexercise
{m}
{
Calculate the square roots, the fourth roots and the eighth roots of ${ \mathrm i}$.
\inputexercise
{m}
{
Find the three complex numbers $z$ such that
\mavergleichskettedisp
{\vergleichskette
{ z^3
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}