Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Absolutbetrag Beweis

Absolutbetrag Beweis

Universität / Fachhochschule

Funktionen

Tags: Funktion

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Dummy_small_m

pi=3=e aktiv_icon

21:26 Uhr, 07.08.2019

Antworten
Hi, ich möchte gerne folgende Eigenschaft des Absolutbetrages beweisen:
|x|y-yxy

Dazu mache ich eine Fallunterscheidung:

Sei x0:
Dann ist per Definition |x|=x
Da nach Annahme |x|y0x=|x|y
Und weil wir nun wissen, dass y0-y0

Aus allem folgt:
-yxy, für x0

Sei nun x<0:
Dann ist per Definition |x|=-x
Da nach Annahme |x|y0-xy
Da -x nichtnegativ ist, wissen wir, dass x nicht positiv ist also gilt auch:
-|x|=x0-xy

Stimmt das bis hier?
Wie bringe ich in der letzten Ungleichung das -y noch rein??
Folgt das aus der Annahme |x|y? Ich mögchte nicht auf beiden Seiten mal -1 rechnen und das Zeichen kehren, denn das haben wir noch nicht bewiesen

Vielen Dank :-)

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Funktion (Mathematischer Grundbegriff)

Online-Übungen (Übungsaufgaben) bei unterricht.de:
 
Online-Nachhilfe in Mathematik
Antwort
pivot

pivot aktiv_icon

21:35 Uhr, 07.08.2019

Antworten
Hallo,

du schreibst

Sei x0:
Dann ist per Definition x=x

Man erhält dann die ursprüngliche Ungleichung ohne Betragsstriche :xy

Genauso verfährst du mit dem 2. Fall: x<0

Und dann die beiden Teillösungen zusammenführen.

Gruß

pivot
Dummy_small_m

pi=3=e aktiv_icon

21:48 Uhr, 07.08.2019

Antworten
Danke für die Antwort!
Stimmt der erste Teil?

zweiter Teil:

sei x<0
nach Def. |x|=-x
Da |x|y folgt -xy (nun rechne ich -y, dann +x)
-yx<0-xy

irgendwie so?
Antwort
pivot

pivot aktiv_icon

22:10 Uhr, 07.08.2019

Antworten
Edit: Ja, so stimmt es. Dein Vorgehen ist äquivalent zu meinem Vorgehen im 1. Fall.

Nun die beiden Ergebnisse zusammenführen.
Dummy_small_m

pi=3=e aktiv_icon

22:30 Uhr, 07.08.2019

Antworten
Aber damit zeige ich doch nicht alles was ich will oder?
ich muss doch für ein x grösser gleich 0 zeigen, dass dieses x kleiner als y UND grösser als -y ist

und von einem negativen x muss ich zeigen, dass es grösser ist als -y UND kleiner als y

alles unter der Annahme, dass |x|y

Bitte korrigiere mich, wenn das nicht stimmt :-)
Dummy_small_m

pi=3=e aktiv_icon

22:32 Uhr, 07.08.2019

Antworten
Die Ergebnisse zusammenführen? Das verstehe ich nicht...

Wenn ich es für x<0 und x0 gezeigt habe, habe ich es doch für alle x gezeigt... oder?
Was muss ich noch zusammenfügen?
Antwort
supporter

supporter aktiv_icon

08:24 Uhr, 08.08.2019

Antworten
xy

x-y (aus -xy-x-y)

--yxy
Antwort
HAL9000

HAL9000

11:37 Uhr, 08.08.2019

Antworten
Man muss hier schon aufpassen, welche Eigenschaften der Betragsfunktion man zu diesem Erkenntniszeitpunkt schon verwenden will/darf, da gebe ich pi=3=e schon Recht. Er will das ganze offenbar ausschließlich auf Basis der Definition x={x für x0-x für x<0 durchziehen und ist bereits bei einfachen Folgerungen wie xx oder -xx misstrauisch hinsichtlich deren Benutzbarkeit... Ok, ich gehe mal unter dieser Prämisse auf den von ihm gewählten Beweisansatz ein.


@pi=3=e

Warum führst du deinen Fall 2 nicht analog zu Fall 1 konsequent zum Ende: Du bist da bei 0-xy angelangt und zusammen mit -y0 folgt -y-xy.

Du willst nicht mit -1 multiplizieren, nun gut. Dann betrachte halt getrennt den linken Teil -y-x und addiere dort x+y, und dann betrachte den rechten Teil -xy und addiere dort x-y, dann kommst du ebenfalls insgesamt zu -yxy. Dabei gehe ich davon aus, dass die Erhaltung des Relationszeichens bei Addition/Subtraktion dann doch schon bekannt und benutzbar ist, oder?

Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.