Beweis1
Hallo, Oliver!
- f(x)= [x] + (x - [x])^(1/2) monoton?
Ich hatte gedacht, der Hinweis auf die Monotonität der Wurzelfunktion wäre schon ausreichend Beweis, aber:
Wähle x2 > x1; dann ist:
f(x2) - f(x1) = deltaf =
[x2] + (x2 - [x2])^(1/2) - [x1] - (x1 - [x1])^(1/2) =
[x2] - [x1] + (x2 - [x2])^(1/2) - (x1 - [x1])^(1/2) dabei schon einmal:
[x2] - [x1] >= 0; also:
deltaf > (x2 - [x2])^(1/2) - (x1 - [x1])^(1/2) =
(x2 - [x2]) - (x1 - [x1])}/{(x2 - [x2])^(1/2) + (x1 - [x1])^(1/2)}
(erweitert mit 3tem Binom!!! Ist häufig der Lösungsweg!!!), also:
deltaf >
{x2-x1-([x2]-[x1])}/{(x2-[x2])^(1/2) +(x1-[x1])^(1/2)}>0
denn der Zähler und der Nenner sind beide größer als 0!!
Also: deltax > 0 folgt: deltaf > 0, also stren g monoton steigend!
Die 2te Frage nach der Umkehrfunktion hatte ich erstmal aufgeschoben. Wegen der Eineindeutigkeit existiert sie ja. Scheint mir schwierig. Vielleicht weiß da jemand anderes weiter. Ich schätze, es gibt nur abschnittsweise „geschlossene Funktionen“ hier.
Erstmal will ich den obigen Beweis abschicken!
Ciao, Manni