Sie sind auf Seite 1von 7

Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks

Aus Wikibooks

Ähnlich wie bei den Körperaxiomen beweisen wir nun erste kleinere Sätze, die direkt auf den Anordnungsaxiomen aufbauen. Insbesondere werden die charakteristischen Eigenschaften der Kleiner­Relation beweisen, die wir bereits im Abschnitt „Herleitung der Anordnungsaxiome“ erwähnt haben.

Inhaltsverzeichnis

1 Übersicht zu den Folgen der Anordnungsaxiome
  • 1 Übersicht zu den Folgen der Anordnungsaxiome

2 Trichotomie der Kleiner­Relation
  • 2 Trichotomie der Kleiner­Relation

3 Transitivität der Kleiner­Relation
  • 3 Transitivität der Kleiner­Relation

4 Translationsinvarianz der Kleiner­Relation
  • 4 Translationsinvarianz der Kleiner­Relation

5 Monotonie der Addition
  • 5 Monotonie der Addition

6 Multiplikation mit positiver Zahl
  • 6 Multiplikation mit positiver Zahl

7 Monotonie der Multiplikation mit nicht­negativen Zahlen
  • 7 Monotonie der Multiplikation mit nicht­negativen Zahlen

8 Spiegelung bei Multiplikation mit ­1
  • 8 Spiegelung bei Multiplikation mit ­1

9 Multiplikation mit negativer Zahl
  • 9 Multiplikation mit negativer Zahl

10 Quadrate von Zahlen ungleich 0 sind positiv
  • 10 Quadrate von Zahlen ungleich 0 sind positiv

11 Inverse haben gleiches Vorzeichen
  • 11 Inverse haben gleiches Vorzeichen

12 Umkehrung der Kleiner­Relation bei Bildung der Inversen
  • 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen

13 Informationen zum Projekt
  • 13 Informationen zum Projekt

Übersicht zu den Folgen der Anordnungsaxiome

Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-93" src="pdf-obj-0-93.jpg">

In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind:

Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-97" src="pdf-obj-0-97.jpg">

(Trichotomie der Kleiner­Relation)

Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-101" src="pdf-obj-0-101.jpg">

(Transitivität der Kleiner­Relation)

Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-105" src="pdf-obj-0-105.jpg">

(Translationsinvarianz der Kleiner­Relation)

Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-109" src="pdf-obj-0-109.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-111" src="pdf-obj-0-111.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-113" src="pdf-obj-0-113.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-115" src="pdf-obj-0-115.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-117" src="pdf-obj-0-117.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-119" src="pdf-obj-0-119.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-121" src="pdf-obj-0-121.jpg">
Folgerungen der Anordnungsaxiome – Mathe für Nicht­Freaks Aus Wikibooks Ähnlich wie bei den Körperaxiomen beweisen wir„Herleitung der Anordnungsaxiome“ erwähnt haben. Inhaltsverzeichnis 1 Übersicht zu den Folgen der Anordnungsaxiome 2 Trichotomie der Kleiner­Relation 3 Transitivität der Kleiner­Relation 4 Translationsinvarianz der Kleiner­Relation 5 Monotonie der Addition 6 Multiplikation mit positiver Zahl 7 Monotonie der Multiplikation mit nicht­negativen Zahlen 8 Spiegelung bei Multiplikation mit ­1 9 Multiplikation mit negativer Zahl 10 Quadrate von Zahlen ungleich 0 sind positiv 11 Inverse haben gleiches Vorzeichen 12 Umkehrung der Kleiner­Relation bei Bildung der Inversen 13 Informationen zum Projekt Übersicht zu den Folgen der Anordnungsaxiome In diesem Kapitel werden wir zeigen, dass folgende Aussageformen allgemeingültig in sind: (Trichotomie der Kleiner­Relation) (Transitivität der Kleiner­Relation) (Translationsinvarianz der Kleiner­Relation) " id="pdf-obj-0-123" src="pdf-obj-0-123.jpg">
(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

(Bernoullische Ungleichung)

Trichotomie der Kleiner­Relation

  • Satz (Trichotomie der Kleiner­Relation)

Für alle reellen Zahlen und ist entweder
Für alle reellen Zahlen und ist entweder
,
,

oder

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

. Es gilt also:

  • Beweis (Trichotomie der Kleiner­Relation)

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

Mit Hilfe der Äquivalenz

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

können wir die zu beweisende Aussage

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

umformen zu

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

Für gegebene und müssen wir also beweisen, dass

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

Durch das Setzen von

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder
.
.

erhalten wir die zu beweisende Aussage

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

Dies ist aber gerade die Trichotomie der Positivität, welche wir in den Anordnungsaxiomen gegeben haben und damit wahr. Insgesamt haben wir so den Satz bewiesen.

Transitivität der Kleiner­Relation

  • Satz (Transitivität der Kleiner­Relation)

Für alle , und gilt
Für alle , und gilt

Die Transitivitätseigenschaft der Kleiner­Relation rechtfertigt es, Ungleichungsketten wie

(Bernoullische Ungleichung) Trichotomie der Kleiner­Relation Satz (Trichotomie der Kleiner­Relation) Für alle reellen Zahlen und ist entweder

zu schreiben. Wegen der Transitivität folgt dann nämlich auch

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

.

  • Beweis (Transitivität der Kleiner­Relation)

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

Sei

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

und

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

. Nach Definition der Kleiner­Relation gilt damit

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

und

.
.

Wegen der Abgeschlossenheit der Positivität bezüglich der Addition ist damit auch

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

Damit ist aber auch

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

nach Definition der Kleiner Relation.

Translationsinvarianz der Kleiner­Relation

  • Satz (Translationsinvarianz der Kleiner­Relation)

Für alle reellen Zahlen , und ist
Für alle reellen Zahlen , und ist

Es gilt sogar die Äquivalenz

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und
Translationsinvarianz der Kleiner­Relation.

Translationsinvarianz der Kleiner­Relation.

  • Beweis (Translationsinvarianz der Kleiner­Relation)

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

Es ist

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

Monotonie der Addition

  • Satz (Monotonie der Addition) Aus

    • und

zu schreiben. Wegen der Transitivität folgt dann nämlich auch . Beweis (Transitivität der Kleiner­Relation) Sei und

folgt

.
.

Beweis (Monotonie der Addition)
Beweis (Monotonie der Addition)

Beweis (Monotonie der Addition)

Aus analog .
Aus
analog
.

folgt wegen der Translationsinvarianz der Kleiner­Relation

. Es ist also

Aus analog . folgt wegen der Translationsinvarianz der Kleiner­Relation . Es ist also . Aus .
Aus analog . folgt wegen der Translationsinvarianz der Kleiner­Relation . Es ist also . Aus .

. Aus

. Aus der Transitivität folgt nun

Aus analog . folgt wegen der Translationsinvarianz der Kleiner­Relation . Es ist also . Aus .

folgt

 

Multiplikation mit positiver Zahl

  • Satz (Multiplikation mit positiver Zahl)

 

Ist

Ist und , dann ist auch .

und

Ist und , dann ist auch .

, dann ist auch

.
.

Die Multiplikation mit einer positiven Zahl erhält also die Ungleichungsrelation.

 
  • Beweis (Multiplikation mit positiver Zahl)

Beweis (Multiplikation mit positiver Zahl)
 

Aus der Definition der Kleiner­Relation folgt aus

Aus der Definition der Kleiner­Relation folgt aus die Ungleichung . Weil die . Mulitplikation bezüglich der

die Ungleichung

Aus der Definition der Kleiner­Relation folgt aus die Ungleichung . Weil die . Mulitplikation bezüglich der
. Weil die .
. Weil die
.

Mulitplikation bezüglich der Positivität abgeschlossen und

Aus der Definition der Kleiner­Relation folgt aus die Ungleichung . Weil die . Mulitplikation bezüglich der

ist, ist auch

. Daraus folgt nach der Definition der Kleiner­Relation

. Also

 

Monotonie der Multiplikation mit nicht­negativen Zahlen

Satz (Monotonie der Multiplikation mit nicht­negativen Zahlen)

Satz (Monotonie der Multiplikation mit nicht­negativen Zahlen)

Aus

Aus und folgt .

und

Aus und folgt .

folgt

.
.
Beweis (Monotonie der Multiplikation mit nicht­negativen Zahlen)
  • Beweis (Monotonie der Multiplikation mit nicht­negativen Zahlen)

  • Fall 1:

Fall 1: oder

oder

Fall 1: oder

In diesem Fall ist Voraussetzung

und .
und
.

. Es muss also bewiesen werden, dass

In diesem Fall ist Voraussetzung und . . Es muss also bewiesen werden, dass ist. Jedoch

ist. Jedoch ist nach

folgt nun aus der Abgeschlossenheit der Positivität

bezüglich der Multiplikation, welche in den Anordnungsaxiomen definiert wurde.

Fall 2: und

Fall 2:

Fall 2: und

und

Fall 2: und
Wegen und analog
Wegen
und
analog

ist nach dem vergangenem Satz

Wegen und analog ist nach dem vergangenem Satz . Gleichzeitig folgt aus . . Ingesamt haben

. Gleichzeitig folgt aus

.
.

. Ingesamt haben wir

und damit insgesamt

und

Spiegelung bei Multiplikation mit ­1

  • Satz (Spiegelung bei Multiplikation mit ­1)
    Es ist genau dann

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

, wenn

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

ist.

  • Beweis (Spiegelung bei Multiplikation mit ­1)

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei
Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

Multiplikation mit negativer Zahl

  • Satz (Multiplikation mit negativer Zahl) Aus

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

und

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

folgt

.
.
  • Beweis (Multiplikation mit negativer Zahl)

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

Nach dem Satz über die Spiegelung folgt aus Multiplikation mit positiven Zahlen ist dann Spiegelung anwenden und erhalten

, dass
, dass

ist. Nach dem Satz zur

. Nun können wir wieder den Satz zur

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

, weil

Satz (Spiegelung bei Multiplikation mit ­1) Es ist genau dann , wenn ist. Beweis (Spiegelung bei

und damit

ist.

Quadrate von Zahlen ungleich 0 sind positiv

 
Satz (Quadrate von Zahlen ungleich 0 sind positiv)

Satz (Quadrate von Zahlen ungleich 0 sind positiv)

 
Alle Quadrate für Zahlen

Alle Quadrate für Zahlen

sind positiv.

sind positiv.

Da

eine Quadratzahl und nach Körperaxiom

eine Quadratzahl und nach Körperaxiom

ist, folgt aus obigen Satz, dass 1 eine positive Zahl

ist, folgt aus obigen Satz, dass 1 eine positive Zahl

ist.

 
Beweis (Quadrate von Zahlen ungleich 0 sind positiv)
  • Beweis (Quadrate von Zahlen ungleich 0 sind positiv)

 
  • Fall 1:

Fall 1:

Aus dem Satz zur Multiplikation mit positiven Zahlen folgt aus

Aus dem Satz zur Multiplikation mit positiven Zahlen folgt aus , dass , also ist und

, dass

, also ist und
, also
ist und
ist.

ist.

  • Fall 2:

Fall 2: Mit damit folgt aus dem Satz zur Multiplikation mit negativen Zahlen, dass .

Mit

damit

Fall 2: Mit damit folgt aus dem Satz zur Multiplikation mit negativen Zahlen, dass .

folgt aus dem Satz zur Multiplikation mit negativen Zahlen, dass .

Inverse haben gleiches Vorzeichen

Satz (Inverse positiver Zahlen sind positiv)

Es ist genau dann

, wenn

.

  • Beweis (Inverse positiver Zahlen sind positiv)

Fall 1: Wegen ist und damit
Fall 1:
Wegen
ist
und damit
□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,

positiv, weil wir bereits gezeigt haben, dass

Quadrate von Zahlen ungleich 0 positiv sind. Es folgt damit nach dem Satz zur Multiplikation mit

positiver Zahlen, dass .

□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,
□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,

ist. Nun ist

□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,

und

□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,
  • Fall 2:

□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,

Aus dem ersten Fall folgt aus

, dass ist. Wegen
, dass
ist. Wegen
□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,
und damit ist somit .
und damit
ist somit
.

Satz (Inverse negativer Zahlen sind negativ)

Es ist genau dann

, wenn

ist.

  • Beweis (Inverse negativer Zahlen sind negativ)

Sei eine negative Zahl, also . Aus der eben bewiesenen Äquivalenz wir, dass nicht positiv sein
Sei eine negative Zahl, also
. Aus der eben bewiesenen Äquivalenz
wir, dass
nicht positiv sein kann (sonst müsste ja auch positiv sein).
wissen
ist aber auch nicht 0,
weil sonst
wäre. Also muss
negativ sein aufgrund der Trichotomie der
Kleiner­Relation. Analog kann man von der Negativität von
auf die Negativität von schließen.

Umkehrung der Kleiner­Relation bei Bildung der Inversen

  • Satz (Umkehrung der Kleiner­Relation bei Bildung der Inversen) Es ist

.
.
  • Beweis (Umkehrung der Kleiner­Relation bei Bildung der Inversen)

□ Inverse haben gleiches Vorzeichen Satz (Inverse positiver Zahlen sind positiv) Es ist genau dann ,
Wegen und ist damit auch (Abgeschlossenheit der Positivität bezüglich Multiplikation). Es ist positiv nach dem obigen
Wegen
und
ist
damit auch
(Abgeschlossenheit der Positivität bezüglich Multiplikation). Es ist
positiv nach dem obigen Satz zu den Vorzeichen der Inversen. Aus dem
Satz zur Multiplikation mit einer positiven Zahl folgt nun
. Wegen
und
ist deshalb
.