Beweisen mit Körper und Anordnungsaxiomen

ok,
1>0 müsste man im prinzip auch noch beweisen, wobei ich mal annehme, dass ihr das schon in der vorlesung bewiesen habt, und du solltest von x>0 ausgehen, nicht von x^-1<0, ansonsten ist die vorgehensweise ok.

^1 ist wohl durch ^-1 überall zu ersetzen.

das problem hierbei ist:

"=> x²*x^1 > 0

Da x² immer positiv gilt: |:x²

x^1 > 0"

was nimmst du hier an?

x²>0 ost 0*x=0 (was du übrigens auch beim ersten beweis verwendet hast) sind nicht die entscheidenden punkte.

du nimmst vor allem an, dass das inverse von x² wieder positiv ist, das weißt du aber nicht.

selbes spiel, du nimmst wieder x^-1>0 an, was aber gerade zu zeigen ist.

"Das kann ich auch umschreiben in: y*1/x >1"

wieso kann man denn das?

davon abgesehen, dass ich nicht weiß, was du hier zeigst (so wie ich das sehe nichts), zeigt dies nicht, dass die schlussfolgerung richtig ist.

ich weiß auch nicht wieso du das immer noch beweisen willst, wenn du das schon so gut wie bewiesen hast ...

"Ja nur bin ich ja von x^-1<0 ausgegangen. Du meintest ich solle von x>0 ausgehen."

ja, weil du schreibst "x>0 => x^-1<0", du kannst das auch einfach weglassen, stattdessen schreiben "ang. x^-1<0" z.b. und den rest des beweises so übernehmen.


"x>0 |*(x*x^-1)

x*(x*x^-1) > 0

x² * x^-1 > 0 |/x²

x^-1 > 0"

ist dasselbe wie vorhin.