Dreieckskongruenz WS 11/12: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
RicRic (Diskussion | Beiträge)
RicRic (Diskussion | Beiträge)
Zeile 155: Zeile 155:
| (18) <math>\overline{ABC} \tilde {=} \overline{DEF}</math> || (17), Vor., SWS
| (18) <math>\overline{ABC} \tilde {=} \overline{DEF}</math> || (17), Vor., SWS
|}--[[Benutzer:RicRic|RicRic]] 17:33, 29. Dez. 2011 (CET)
|}--[[Benutzer:RicRic|RicRic]] 17:33, 29. Dez. 2011 (CET)
______________________________________________________
Vor.:
<math>\overline{AB} \tilde {=} \overline{AB}</math> <br />
<math>\overline{BC} \tilde {=} \overline{BC'}</math> <br />
<math>\overline{AC} \tilde {=} \overline{AC'}</math> <br />
Beh.: <math>\overline{ABC} \tilde {=} \overline{ABC'}</math> <br />
<ggb_applet width="784" height="484"  version="4.0" ggbBase64="UEsDBBQACAAIADu7I0AAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIADu7I0AAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VrZbuM2F76ePgWhi16NZZGitqkzxSRA0QEybdFMi6I3BS3RNhtZVCV5K/pS3V6jz9RDUpIl23HsTqZN5v+N2NwOeXi+syr26NP1PEVLXpRCZhcWth0L8SyWicimF9aimgxC69OXH42mXE75uGBoIos5qy4sqihFcmGFcRQyFvuDhEaTASUTOoh8TAfU96NJ5E1YPOEWQutSvMjkF2zOy5zF/Cae8Tm7ljGrNONZVeUvhsPVamU3rGxZTIfT6dhel4mF4JpZeWHVnRdwXG/TytXkxHHw8Ls31+b4gcjKimUx8FciLMTLj56NViJL5AqtRFLN4PYOiDHjYjoDmXw1GCqiHADJeVyJJS9ha2eoZa7muaXJWKbWn5keSltxLJSIpUh4cWE5NvEsJAvBs6pexTWXYbN/tBR8ZQ5SPc2DWqiSMh0zdQb65RdEHOKg56rBpiHQ+L5Zcsyc45qGmIaaxjM01GynhpQaGmpoqGuhpSjFOOUX1oSlJWAmskkB+mrHZbVJub5PPbGVFz8HmUrxMxC7CkQDMsw7znP1BmSf0wbdjpC4w7UqFmcybVgGIT2dJXknQd2GJzkkJvHuENM/wtTIfYqc2OvwBFb6T7/3OLrHxNzlaMbvxtCn/4qIo2HjKqPaO1A5U7S19VR8Xmp/QVR9YPWO1Af4ACKqo6ZdtQ5vNYnBg5CvRoFa8vSWQBGpBVeTE1RzF1m+qGqOtRDxPGm4VzJvp4Ec/HsbN4y/98LKs1HKxjyFSHujkEFoyVJln5rTRGYVam3NzE0Lls9EXN7wqoJdJfqRLdk1q/j6M6AuG96aNpZZ+VUhqyuZLuZZiVAsU6e5KPRxp0+2wsjU7SzQ7oLXWfA7/eAgXwkraFFy4C+LsiFnSfJaUWxdDaD8Mks3lwVnt7kUfTFGQx20R3wRpyIRLPsWlK+4KFxQE8O1+zcxnHp+cxFZJDebEiwCrb/nhQQcsaey1saMXEztqPMKlW/HTNkvjXorUQSb7lgKa3Z82WqFrflWwGmhvKMzeF1eynQ7pWW+Ynm1KHTKhUsUSpJX2TTl2i50yIJ8Ft+O5frGeIlrznq7yWFUW8d4qrFG4F/Eg5QzrduxaTWNulpL5WgaR1O0FiaSdh1HRFPodmxaTQUma65Wi4obMbHTsBGljgqO1XcWbfAqPS4yUV03g0rEt7Wo2Gz4YjEf89Zs+mfihzpzNNyxq9EtLzKe1mYMylzIRWm8smPhCY/FHIZmoZFYqesbuICZTfi04M3FU13OGMC6e4yF7k3roz4r5Px1tnwLtrBzgdGwueWojAuRK5tDYwilt3xrVYkoGUTipLtP+R2IHquIC/BUChrwyEU1k4WuWCCQQKvcLeVzqFZQpc1LW2gL85UufBSeSI5/hFjWpg+zvlUYLB80NW2ULM1nTBVHtdAp2/CiB4M+741MdsEB7LUE4Ni50W3OuTELc1/o5HCc9qZeYAK0S7RWRS44LdqoDoXI8bMpe03dp2RVPmaY0u7sjqLAegxM9wB2+fQBgzgZasB00f+e8Xr19PEiNjV4DcDCHgSwWM7nLEtQpsupr2S6mcrM2lYkzFGeiRhW9oYYUTAajBZVsw4xLoUkgg1ZbMgYNJDxx4ZhzeaAhgzDRgftUf1sUEFxcgtPNKVOY1WdnHTnc5EkXBd6w+Pq7QDa1S/2XK1hD9fpaqtgfI6C77bCkk/VqL1IfI8dnn/RMy1xa08DYnsmYrk2Jtqg4KnSD4NOHRLspubTlcF/ysyW0uRLMc9TEYuqtaBU2frrrILsyXX62E+Kt5znqhr5MntbsKxU/yUwNJ1keyLw7PEA7yn33RgFOL2XcesB9u1wvyp6stCPHw/0AHlYg+/YPt4txwF838aB95Sw7wfxa7jyTgR/1UTw3dCdHA/PSvpWR8k/02H/YeAhFNg4zx2+8z5d527U34iikMXhzMn2cL/6mOWy/OS+5Nirj+st/2kR041gDvV94hEaYMdz3bBxKcf1SBi1ay5+D3XKQbAv7wL78nywL08C+wSLfyC0H7xQPgHPV/cY7w/4H5jvD/jRYArFdNAL/l5TWrv9pBD8e5V2bXYmWrcDsoP5weq7uzXubmXtQNXjp/nC4aq84xQfam3+Ln7/UNftJTu6G1DbOOt3w29ATPIjju36hFDiubAv9L0PqHx/bLrxdgOFd7imx52Svltv+h+MasaPTTUqiPuNa1Co5kOvKRn9napFF/xREAReQP3Ip9ilT7f2v6kVc7AM7RSdvQzCj2eDXWXzR/IcgG2t2G1kpM1/MsJeZHSN+wW265IgCAPfdXxMQvfJKll/g3NcxffUDH/9elzl+puCVqFArfbD7RaNLuyIEAATPiLIMh727svwx55LsLNvFad6/ju4KivibRUHkcBMpqlcfc0nKV9rmPe+IzlHKXUFfdVTx74yfjtLGb/dqwz//8o4oIzL05Tx+1nK+H1XGZ6NfYg8kY9dJ/Td0Ptf9Ay+zgvgo77raID6w0Iwq2OJ/gXDUVT/ODXePKyBdJ+g+oF030z+PMtM/twVCNuYOIHj+RF1Ipc49z4hfYBWMux+b6x/klH/Pu/l31BLBwjotZgVjQcAADwoAABQSwECFAAUAAgACAA7uyNA1je9uRkAAAAXAAAAFgAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc1BLAQIUABQACAAIADu7I0DotZgVjQcAADwoAAAMAAAAAAAAAAAAAAAAAF0AAABnZW9nZWJyYS54bWxQSwUGAAAAAAIAAgB+AAAAJAgAAAAA" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "false" />
Beweis:
{| class="wikitable sortable"
!Schritt!!Begründung
|-
| (1)<math>\exists CC'</math>  || Axiom I2 Gerade durch zwei Punkte
|-
| (2) <math>\exists \overline{CC'B} \wedge \overline{CC'A} </math>  || (1)
|-
| (3)<math>\exists \overline{CC'B} \wedge \overline{CC'A} </math> sind gleichschenklig, da <math>\overline{BC} \tilde {=} \overline{BC'}</math> und <math>\overline{AC} \tilde {=} \overline{AC'}</math> <br /> || nach Vorr (2)
|-
| (4) es gelten konguente Winkel siehe Skizze || Basiswinkelsatz, (3)
|-
| (5) <math>\overline{ABC} \tilde {=} \overline{ABC'}</math> || SWS (4)
|} q.e.d. --[[Benutzer:CostaRica|CostaRica]]--[[Benutzer:RicRic|RicRic]] 23:26, 3. Jan. 2012 (CET)


[[Category:Einführung_Geometrie]]
[[Category:Einführung_Geometrie]]

Version vom 3. Januar 2012, 22:26 Uhr

Die beiden grundlegenden Ideen der Kongruenz =

Bewegungsgeometrie

naive Deckungsgleichheit

Bewegungen: abstandserhaltende Abbildungen der Ebene auf sich

Euklid lässt grüßen: Dreieckskongruenz

Videos zur Idee der Kongruenz

Streckenkongruenz

Wir erinnern uns an die Diskussion zu Anfang des Semesters.

Wie sagt man es richtig?

Die Strecken AB und CD sind kongruent zueinander.
Der Punkt  A hat zum Punkt  B denselben Abstand wie der Punkt  C zum Punkt  D
Die Strecken AB und CD haben dieselbe Länge.


Die Auswertung des Quiz zeigt: Alle drei Aussagen sind synonym.

Momentan jedoch eigentlich noch nicht. Uns fehlt eine Definition des Begriffs der Streckenkongruenz.

Definition VII.1: (Streckenkongruenz)
Zwei Strecken sind kongruent, wenn sie dieselbe Länge haben.
In Zeichen AB=~CD:=|AB|=|CD|
Satz VII.1:
Die Relation kongruent ist auf der Menge aller Strecken eine Äquivalenzrelation.

Der Beweis ergibt sich unmittelbar durch Rückführung auf die Gleicheitsrelation auf der Menge der reellen Zahlen.

Winkelkongruenz

Analog zum Begriff der Streckenkongruenz sollen zwei Winkel genau dann kongruent zueinander genannt werden, wenn sie dieselbe Größe haben.

Definition VII.2 : (Winkelkongruenz)
Zwei Winkel die dieselbe Größe haben heißen kongruent zueinander.
In Zeichen: α=~β:=|α|=|β|
Satz VII.2:
Die Relation kongruent ist auf der Menge aller Winkel eine Äquivalenzrelation.

Der Beweis ergibt sich unmittelbar durch Rückführung auf die Gleicheitsrelation auf der Menge der reellen Zahlen.

Dreieckskongruenz

In der Schule spricht man häufig davon, dass zwei Dreiecke dann kongruent zueinander sind, wenn sie in allen Stücken übereinstimmen. Unter den Stücken eines Dreieck sind dabei die jeweils drei Seiten und die jeweils drei Innenwinkel zu verstehen.

Definition VII.3: (Dreieckskongruenz)
Wenn für zwei Dreiecke ABC und DEF die folgenden 6 Kongruenzen
  1. AB=~DE
  2. BC=~EF
  3. AC=~DF
  4. CAB=~FDE
  5. ABC=~DEF
  6. ACB=~DFE
gelten,
dann sind die beiden Dreiecke ABC und DEF kongruent zueinander.
Satz VII.3:
Die Relation kongruent ist auf der Menge aller Dreiecke eine Äquivalenzrelation.

Der Beweis ergibt sich unmittelbar durch Rückführung auf die Gleicheitsrelation auf der Menge der reellen Zahlen.


Überprüfen Sie Ihr Verständnis:

In den Schullehrbüchern findet man häufig Konstruktionsaufgaben wie:
konstruiere das Dreieck mit den Seitenlängen  a=5cm,  b=4cm,  c=3cm.  30 Schüler konstruieren aufgrund dieser Aufgabenstellung  30 Dreiecke. Kommentieren Sie den bestimmten Artikel in der Aufgabenstellung. Was hat das alles mit der Idee der Repräsentantenunabhängigkeit zu tun?

Das Kongruenzaxiom SWS

Axiom V: (Kongruenzaxiom SWS)
Wenn für zwei Dreiecke ABC und DEF die folgenden 3 Kongruenzen
  1. AB=~DE
  2. AC=~DF
  3. CAB=~FDE
gelten,
dann sind die beiden Dreiecke ABC und DEF kongruent zueinander.

Der Kongruenzsatz WSW

Satz VII.4: (Kongruenzsatz WSW)
Wenn für zwei Dreiecke ABC und DEF die folgenden 3 Kongruenzen
  1. AB=~DE
  2. CAB=~FDE
  3. ABC=~DEF
gelten,
dann sind die beiden Dreiecke ABC und DEF kongruent zueinander.
Beweis von Satz VII.4
Als Folge von Tafeln

Der fotografierte Beweis

Video

Die Beweisidee

Testen Sie Ihr Verständnis: Beschreiben Sie hier mit drei ganz einfachen Sätzen, auf welcher Idee der Beweis beruht.



Der Kongruenzsatz SSS

Hier dürfen und sollen Sie sich austoben. Für den Beweis des Kongruenzsatzes SSS werden Sie sinnvollerweise den Basiswinkelsatz benötigen. Weil dieser jedoch von so zentraler Bedeutung ist, haben wir ihm einen eigenen Unterpunkt auf der Hauptseite spendiert. Sie dürfen ihn also hier vorab als wahr voraussetzen.



Zwei Dreiecke ABC und DEF sind zueinander kongruent, wenn sie in allen drei Seiten übereinstimmen.

Vor.: AB=~DE
BC=~EF
AC=~DF
Beh.: ABC=~DEF
Beweis:

GeoGebra


Überschrift 1 Überschrift 2
(1)AB=~DE

BC=~EF

AC=~DF
Vor.
(2) Mc:|AMc|=|McB|McAB

Mb:|AMb|=|MbC|McAC

Ma:|BMa|=|MaC|McBC
Existenz und Eindeutigkeit des Mittelpunkts einer Strecke
(3) mc: mcABMcmc

mb: mbACMbmb

ma: maBCMama
Existenz und Eindeutigkeit der Mittelsenkrechten (2)
(4) S:SmcSmbSma Schnittpukt der Mittelsenkrechten (3)
(5) McS=~McS trivial
(6) AMc=~BMc M ist Mittelpunkt (2)
(7) AMcS=~BMcS rechter Winkel, Mittelsenkrechte (3)
(8) AMcS=~BMcS (5)(6)(7) SWS
(9) McAS=~McBS (8)
(10) MbS=~MbS trivial
(11) AMb=~CMb M ist Mittelpunkt (2)
(12) AMbS=~CMbS rechter Winkel, Mittelsenkrechte (3)
(13) AMbS=~CMbS (10)(11)(12) SWS
(14) MbAS=~MbCS (13)
(15) |McAMb|=|MbAS|+|McAS| (9),(14) Winkeladditionsaxiom
(16) Schritte (2) bis (15) analog mit Dreicek DEF
(17) BAC=~DEF (15),(16)
(18) ABC=~DEF (17), Vor., SWS

--RicRic 17:33, 29. Dez. 2011 (CET)

______________________________________________________

Vor.: AB=~AB
BC=~BC
AC=~AC

Beh.: ABC=~ABC

GeoGebra

Beweis:

Schritt Begründung
(1)CC Axiom I2 Gerade durch zwei Punkte
(2) CCBCCA (1)
(3)CCBCCA sind gleichschenklig, da BC=~BC und AC=~AC
nach Vorr (2)
(4) es gelten konguente Winkel siehe Skizze Basiswinkelsatz, (3)
(5) ABC=~ABC SWS (4)

q.e.d. --CostaRica--RicRic 23:26, 3. Jan. 2012 (CET)