Beweisdokumente: Geometrie
- Leibniz-Theorem
- Gebäudeplan
- Chris:Mittelwinkel – Umfangswinkel · Satz des Ptolemäus · Satz Saiten · Akkordschnitt · quadratische Schnur · Sekantensatz · Tangentialansicht · Japanischer Satz des konzentrischen Vierecks · Satz von Thales
- Rechtwinkliges Dreieck: Satz des Pythagoras
- Oval: Flüsterndes Tresor-Set · Konjugatdurchmesser
- regelmäßiges Vieleck: Dreieck · Quadrat · Fenfick · Hexagon ·
- Dreieck: Satz von Crane · Berechnung der Fläche eines diagonalen Dreiecks im Quader · Der elementare Satz zur Darstellung des Schwerpunkts eines Dreiecks durch die Fläche
- Quadrat: Flächenformel nach Brinell
- Einfallsgeometrie ·
- Zugehörige Geometrie: einfacher Hilfssatz · Synonyme und Übersetzungen · Eine affine Desargues-Ebene ist ein Vektorraum
- Trigonometrie
- Additionssatz: Brust · Kosinus · Spielen · Cotangen
- Trigonometriesatz: Gesetz des Sinus · Kosinusac · Eine neue Deduktion des dreieckigen geometrischen Projektionssatzes
- Trigonometrische Funktionen in der komplexen Ebene: Tangens und Kotangens eines komplexen rechtwinkligen Dreiecks
SVielleicht
automorphe Untergruppen
com
für alle Zeilen
.
Hilfreicher Satz:ist eine Normalteilergruppe
. Und
eine gerade, also die Bedienung
Kanonisch auf parallelen Strahlen
.
Gerichtsverhandlung: Der Standardbetrieb vonum
Induzierte Manipulation in einer Menschenmenge
Parallele Strahlen, da jeder Automorphismus parallele Linien auf parallele Linien abbildet.
ist der entsprechende homomorphe Kernel
ist daher eine Normalteilergruppe. Daraus können wir ersehen
in jedem Element
, das heißt, es wirkt auf alle parallelen Strahlen.
Hilfreicher Satz: Undnicht diese Identität
Höchstens ein Fixpunkt.
Gerichtsverhandlung: Vielleicht. Und
Jede Linie ist ein Fixpunkt
passieren
Festnetz: Aus
elektronisch
weitermachen
.
werdenZwei verschiedene Fixpunkte. Vielleicht
beliebig. Wirksam
, so ist es
Laut Aussage eben eine feste Gerade
, dann gibt es ein
com
.als Schnittpunkt fester Linien
elektronisch
Das ist
Fixpunkt. Das ist es
begradigen. zu guter Letzt
gleiche Nummer usw.
Identität.
Und, genannt
sterbenDieselbe ethnische Gruppemit Mitte
.Es ist klar, dass es sich um eine Gruppe handelt, die Stabilisatoren
Im Standardbetrieb
um
.
Hilfreicher Satz: Die feste Linie der nichttrivialen Wahrscheinlichkeit ist genau die Linie durch den Mittelpunkt.
Gerichtsverhandlung: Vielleicht.Und
einer ist gescheitert
Gehe direkt zu und
, so ist es
als Schnittpunkt fester Geraden
elektronisch
ein fester Punkt. es folgt
Identität ist.
Hilfreicher Satz: Golden, mach das
treu
.
Gerichtsverhandlung: die erste Operationum
, simulieren
Gerade ist.Da ist der Zug fixiert
nur
existieren, funktionieren
zurückkehren
, ist hier sogar treu, da nur die Identität andere Fixpunkte hat.
VielleichtDie freie Festkomma-Elementmenge von
zusammen mit der Identität.
das ist ihr NameÜbersetzungsteam.
Hilfreicher Satz: UndGratis Festnetz, dann bewerben Sie sich bei
stets
.Und
ist eine Gerade.
Gerichtsverhandlung: DirekteDas ist weil
elektronisch
Festnetz. Bitte repariere es
Schnittpunkt ist der Schnittpunkt ein fester Punkt, sodass alle festen Linien geschlossen sind
parallele Linien. dafür
zurückkehren
insbesondere in einer geraden Linie befestigt
. Und
, dann wählen wir einen Punkt
.also fallen
per Festnetz
Zusammen.
Hilfreicher Satz:Das ist eine Gruppe.
Gerichtsverhandlung: zuerst einschließenIdentität ist also nicht leer.
UndOhne Fixpunkte funktioniert das auch
, wofür
Nahezu einer umgekehrten Formation.
zeigenEine Teilmenge von
Allerdings muss weiterhin Integrität gezeigt werden. so werden
. Und
oder
Als nächstes kommt die Identität
.Daher gehen wir davon aus
elektronisch
kein Fixpunkt und
mindestens einen Fixpunkt
Hut.
Vielleichtbeliebig,
,
.dann bewerben
(aber möglicherweise
). folgendermaßen
, zurückkehren
.alle Ähnlichkeiten
Das Folgende ist alles richtig
so was
, auch unten
.mindestens einer von ihnen, sagen wir mal
, Durchfahrt verboten
. Und
einer in
Legen Sie es hin, dies ist der Schnittpunkt zweier fester Linien
elektronisch
ist der zweite Fixpunkt
Identität und Authentizität
.
Hilfreicher Satz:treu handeln
.Und
Eine gerade Linie, so funktioniert der Stabilisator
treu
.
Gerichtsverhandlung: Natürlich, denn nur Identität hat einen Fixpunkt.
Hilfreicher Satz:ist eine Normalteilergruppe
.Und
gerade Linie wie diese
ist auch eine normale Untergruppe
Gerichtsverhandlung:Es besteht aus diesen Elementen
, das auch im Parallelpaket enthalten ist
trivial funktioniert, also
.weil jedes Element
geeignet
in einem
lügen und folgen
.
Desargues-Flugzeug[bearbeiten]
Nehmen Sie als Nächstes an, dass der Satz von Desargues wie folgt gültig ist:
Desargues-Theorem: werdenSechs Unterschiede. gerade
sind alle parallel („unangemessene Zentralperspektive“) oder verlaufen alle durch einen gemeinsamen Punkt
(„Zentrale Perspektive und Zentrum
"). Dann kommt es von
elektronisch
zurückkehren
.
Dann gibt es noch andere Schlussfolgerungen:
Hilfreicher Satz:Transitiv operieren
.für
Oper
übertragbar
.
Gerichtsverhandlung: werdenzwei Uhr,
.Wir suchen einen
com
.
Definitionfolgendermaßen:
- für
com
Definition
.
- für
com
Definition
.
- für
com
Definition
- zu anderen
(Das heißt, so eine gerade Linie
elektronisch
) wähle ein
com
hinsetzen
.
- zu anderen
(d. h. diejenigen mit
) Wählen Sie eine davon aus
andere gerade Linie
com
hinsetzen
.
Als erstes muss gezeigt werden, dass dies wohldefiniert ist. Erstens gibt es keinen Konflikt zwischen 1 und 2, weil beideDefinition.
Stellen Sie den Wert auf 4 ein, um nicht von der Punktauswahl abhängig zu seinVon: werden
another.com
elektronisch
.weil 3 zutrifft
, das Dreieck ist auch
elektronisch
Ungenaue Zentralperspektive.Aus
elektronisch
(beides wegen 1) also folgt auch
, zurückkehren
.
Stellen Sie den Wert auf 5 ein, um nicht von der Auswahl der Zeile abhängig zu seinbestehende
eine weitere Zeile
Zeit
Cortez.
com
elektronisch
com
.com
dann das Dreieck
elektronisch
Die Mittelperspektive ist nicht genau. außen
elektronisch
dann folgen
, d.h.
zu guter Letzt
.
Es sollte auch beachtet werden, dass Sie eine von 5 auswählen könnenverschiedene Linien
passieren
sofort wie erwartet
weitermachen.
Der nächste istelektronisch
com
.muss beweisen
vergoldet. Ich bin Herbst
Dies wird in 1 deutlich. in diesem Fall
Ergebnis 2
, also 3 (
) oder 5 (
) folgt.Im Herbst
Die Aussage stammt aus 3.If
Aussage von 4. Wenn am Ende
Aussage vom 5. Auf diese Weise wird die Groß-/Kleinschreibung beachtet, d. h.
Mindestens ein Automorphismus.
Wir erhalten einen weiteren Automorphismus, wenn wir mit beginnen
elektronisch
Austausch. Auch hier zur direkten Überprüfung im Einzelfall:
Und
Identität ist. so ist es
.
Denn 1, 2, 4 zählen immer, also selbst wenn
Golden.
wegen all der ÄhnlichkeitenIst ein Festnetzanschluss, können Sie
ist keine nicht-triviale Apposition, noch ist die Übersetzung,
.E
Das ist echt
.Daher die Operation
tatsächlich übertragbar
für jede Zeile
zurückkehren
übertragbar
.
sie sindZwei Punkte bezeichnen dann die eindeutig bestimmte Übersetzung,
um
beschreiben, in der Zukunft
.
Hilfreicher Satz:Es ist Abel.
Gerichtsverhandlung: werdenzwei Übersetzungen, oder
beliebig,
,
.
Fallennichtkollinear wie folgt
Und
.so geht es
.es ist gefolgt
.
Der Fall ist immer nochalles Gute
Lüge. Wenn zwei dieser Punkte zusammenfallen, ist eine der Abbildungen
Gewöhnlich befriedigt Identität und Austauschbarkeit. Wir können diese drei Dinge tun
Gehen Sie also anders davon aus. wählen
com
.Folge dem
Anwendbar. Zu
sind also nicht kollinear
com
Austausch.
Weil
sind nicht kollinear, also auch
com
Austausch
.
Hilfreicher Satz: Und, mach das
übertragbar
.
Gerichtsverhandlung: werdenzwei Uhr,
.Wir suchen einen
com
.
Definitionfolgendermaßen:
- Definition
.
- für
com
Definition
.
- für
com
Definition
.
- für
com
Definition
.
- für
com
wählen
com
hinsetzen
.
- für
com
wählen
com
elektronisch
hinsetzen
.
Zunächst müssen wir zeigen, dass dies wohldefiniert ist. Es gibt keinen Konflikt zwischen 2 und 3, denn in diesem Fallzwei Arten
Ergebnis. 2 und 5 stehen nicht in Konflikt, da jeder 4 wählt
sicher auch
um
, also ist 2 auch
Einkommen. Stellen Sie den Wert auf 5 ein, um nicht von der Auswahl abhängig zu sein
Von: auch
elektronisch
, das Dreieck ist auch
elektronisch
Zentralperspektive
.weil 3 und 4 sind
elektronisch
, auch nach dem Desargues-Theorem
.folgen
.
Die Definition in 6 ist unabhängig von der Wahl der GeradenJa
eine weitere Zeile
elektronisch
, Dann
Aber es gibt keinen Konflikt zwischen 4 und 6, weil wir uns mit dem Fall befassenelektronisch
kann auswählen.
so ist esgut definiert.
Insbesondere leitet es sich je nach Bedarf aus 3 und 6 ab.
Ähnlich wie der entsprechende Beweis der Übersetzung beweist es dasist beim Kommutieren automorph
elektronisch
führt zu einem inversen Homomorphismus, das heißt, es gilt
.
Jeweils 2, 3, 5 Ergebnisse, wofür
folgen. weil
dito
.
sie sindKollinear e
und dann die eindeutig bestimmte gemeinsame Lage des Zentrums
, sterben
um
Das Diagramm ist wie folgt
Angegeben.
Hilfreicher Satz: UndIch verstehe
Eine abelsche Gruppe, wenn
für
ist definiert.
operiere mich
.
Gerichtsverhandlung:Illustrationist eine Bijektion mit inverser Abbildung
.Weil
Dies ist auch Gruppenhomomorphismus.
WasIn dieser Gruppe wird die Operation verfolgt
.
Hilfreicher Satz: Linienschnittpunktelektronisch
Bei 0 ist es so
, so ein Diagramm
Homomorphismus abelscher Gruppen
Kompatibel.
Gerichtsverhandlung: Undsie sind
Ähnlichkeiten
passieren
, was folgt
. Weil
Das ist
, zurückkehren
Und
, zu guter Letzt
der Schnittpunkt von
com
So
.
Phrase: Undsie sind
,
,
, zwei Punkte darüber, wird
Beim Versuch, den Körper zu beugen
definiert sein
,
, liefern
,
.
Bis zur Isomorphie ist das Steigungsfeld nicht wählbar., 0 und 1 hängen zusammen.
Gerichtsverhandlung: Wasist die oben gezeigte kommutative Gruppe mit neutralem Element 0. Wie wir in der Bijektion sehen können
, Was
ist eine Gruppe mit einem neutralen Element von 1.
Vielleicht.E
um
Betrieb, geeignet für
stets
, das heißt, die Multiplikation verteilt sich aus der Addition auf der linken Seite (in diesem Fall).
Trivial).
nochmal,
Eine weitere Gerade geht durch 0 und
,
.Die Parallelen mit
induzierter Isomorphismus
, ähnlich zu
Isomorphismus
.Im Allgemeinen gibt es einen Automorphismus
Feng
, Ö
abbildet.Ist
com
, es stellt sich heraus, dass
(Dreieck
ähnlich werden
Anzeige) und das Triviale
, d.h.
ist die richtige Multiplikation
.Es ist ersichtlich, dass auch die Multiplikation rechtszugeordnet ist.
Ich versteheEin Klingeln, alles da
ist wendbar und verfügt sogar über einen Liegekörper.
freie Wahl, 0, 1 sind nur eine Folge der Tatsache, dass:
- für
Golden
, OK
übertragbar
Oper.
- für Schnittlinien
Anwendung des vorherigen Lemmas
und aufgrund der Transitivität wieder parallel
.