Dreieckskongruenz WS 11/12: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Beweisidee II)
(SsW-Kongruenzsatz)
 
(16 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 156: Zeile 156:
 
|}--[[Benutzer:RicRic|RicRic]] 17:33, 29. Dez. 2011 (CET)
 
|}--[[Benutzer:RicRic|RicRic]] 17:33, 29. Dez. 2011 (CET)
  
 +
Den Beweisschritten konnte ich soweit folgen. Allerdings ist Schritt (17) nicht aus den vorrigen Schritten ableitbar.<br />
 +
(Du hast davor für zwei Dreiecke gezeigt, dass bestimmt Seiten/ Winkel kongruent sind, bestimmte Innendreiecke usw. Allerdings hast du keine Kongruenz zwischen Innendreiecke der verschiedenen Dreiecke ABC und DEF gezeigt. Somit kannst du auch nicht auf die Winkel schließen. - Falls du es versuchen willst, die inneren Dreiecke aufeinander zu beziehen, wird es schon damit scheitern, dass du nicht weißt, ob der Schnittpunkt der Mittelsenkrechten die gleiche Entfernung in beiden Dreiecken z.B. zu den Seiten des Dreiecks hat. ) <br />Ich glaube nicht, dass der Ansatz dir weiter hilft - sorry. Trotzdem: Danke für den Beitrag ... so lernen wir gemeinsam.--[[Benutzer:Tutorin Anne|Tutorin Anne]] 20:45, 12. Jan. 2012 (CET)<br />
 +
Aber wenn doch die Seiten konguent sind, müssen es die die davon abgeleiteten Mittelsenkrechten auch sein. Ich meine damit , ich beziehe mich immer auf die Steken zunächst eines Dreiecks, die Stecken beider Dreiecke sind aber Konguent laut Vorrausetzung, also müssen sämtliche Innendreiecke auch konguent sein. Da ich die Mittelsenkrechen nur auf die Jeweiligen Strecken beziehe. Somit muss der Schnittpunkt der Mittelsenkrechten auch konguent sein (siehe Geogebra sktize). Also wo ist mein Denkfehler?--[[Benutzer:RicRic|RicRic]] 21:45, 12. Jan. 2012 (CET)<br />
 +
'''Kann ich bis einschließlich Punkt 4 davon ausgehen, dass dies bei beidens Dreieken gleich ist. Also der Schnittpunkt der Mittelsenkrechten somit bei beiden Dreieken identisch ist. Da ich mich ja auf das Mittelsenkrechtenkriterium berufe und dies müsste ja für jede Strecke eindeutig sein, somit auch für den Schnittpunkt der Mittelsenkrechten, oder?'''--[[Benutzer:RicRic|RicRic]] 20:50, 16. Jan. 2012 (CET) Warum sollte der Schnittpunkt der Mittelsenkrechten in beiden Dreiecken identisch sein, wenn diese vielleicht gar nicht kongruent sind? Das Problem an dem Beweis ist, dass du innerhalb eines Dreicks viel zeigst, aber es geht um den Vergleich, um Kongruenzen zum anderen Dreieck. <br />
 +
Da sehe ich die Schwierigkeit--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:48, 18. Jan. 2012 (CET)
  
 
=== Beweisidee II ===
 
=== Beweisidee II ===
Zeile 183: Zeile 188:
 
|} q.e.d. --[[Benutzer:CostaRica|CostaRica]]--[[Benutzer:RicRic|RicRic]] 23:26, 3. Jan. 2012 (CET)
 
|} q.e.d. --[[Benutzer:CostaRica|CostaRica]]--[[Benutzer:RicRic|RicRic]] 23:26, 3. Jan. 2012 (CET)
 
Der Beweis ist soweit korrekt, allerdings habt ihr damit auch wirklich nur diese spezielle Behauptung beweisen. Also nicht allgemein den SSS-Kongruenzsatz. Dazu müsst ihr von zwei Dreiecken ausgehen, die keine gemeinsame Strecke haben müssen. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 20:33, 12. Jan. 2012 (CET)
 
Der Beweis ist soweit korrekt, allerdings habt ihr damit auch wirklich nur diese spezielle Behauptung beweisen. Also nicht allgemein den SSS-Kongruenzsatz. Dazu müsst ihr von zwei Dreiecken ausgehen, die keine gemeinsame Strecke haben müssen. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 20:33, 12. Jan. 2012 (CET)
 +
Aber wenn die Stecken konguent ist, dann kann ich sie doch durch drehen oder spiegeln oder verschieben genau auf der andern Stecke abbilden, warum darf ich das hier nicht?--[[Benutzer:RicRic|RicRic]] 21:47, 12. Jan. 2012 (CET)<br />
 +
Du kannt die Beweisidee so verwenden für ein allgemeinen Beweis. Dazu musst du aber von Anfang an von zwei komplett verschiedenen Dreiecken ausgehen, nicht von Dreiecken die eine Seite gemeinsam haben. Das ist aber nicht viel zu ändern.--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:43, 18. Jan. 2012 (CET)<br />
 +
Aber die Idee funktioniert doch nur weil ich eine gemeinsame Seite habe und diese teile, sehe nicht wie sich sonst die gleichschenkligen Dreieke sonst hinbekommen soll.--[[Benutzer:RicRic|RicRic]] 20:39, 18. Jan. 2012 (CET)
  
 
===weitere Beweisideen===
 
===weitere Beweisideen===
...
 
  
 +
Vor.: <math>\overline{AB} \tilde {=} \overline{A'B'} , \overline{CB} \tilde {=} \overline{C'B'} ,\overline{AC} \tilde {=} \overline{A'C'}</math> <br />
 +
 +
Beh.: <math>\overline{ABC} \tilde {=} \overline{A'B'C'}</math> <br />
 +
 +
Beweis: <br />
 +
 +
 +
{| class="wikitable sortable"
 +
!Überschrift 1!!Überschrift 2
 +
|-
 +
| (1) <math>\exists \angle BAD: \left| \angle BAD  \right|  =\left| \angle B'A'C'  \right| \wedge D\in \ AB,C^{-}</math> || Winkelmaßaxiom, Winkelkonstruktionsaxiom
 +
|-
 +
| (2) <math>\exists C'': C''\in \ AD^{+} \wedge \left| A'C' \right| =\left| AC'' \right|</math>  || Abstsaxiom, Axiom vom Lineal
 +
|-
 +
| (3) <math>\overline{AB} \tilde {=} \overline{A'B'}</math>  || Vorr
 +
|-
 +
| (4) <math>\overline{ABC''} \tilde {=} \overline{A'B'C'}</math>  || SWS, (1),(2),(3)
 +
|-
 +
| (5) <math>\overline{AC''} \tilde {=} \overline{A'C'} \tilde {=} \overline{AC}</math>  || Vor, (2)
 +
|-
 +
| (6) <math>\overline{AC''C}</math>  ist gleichschenklig || (5)
 +
|-
 +
| (7) <math>\angle ACC'' \tilde {=} \angle AC''C</math>  || Basiswinkelsatz (6)
 +
|-
 +
| (8) <math>\overline{BC''} \tilde {=} \overline{B'C'} \tilde {=} \overline{BC}</math>|| Vor, (4)
 +
|-
 +
| (9) <math>\overline{BC''C}</math>  ist gleichschenklig || (8)
 +
|-
 +
| (10) <math>\angle BCC'' \tilde {=} \angle BC''C</math>  || Basiswinkelsatz (9)
 +
|-
 +
| (11) <math>\left| \angle ACC'' \right| +\left| \angle BCC'' \right| =\left| \angle ACB \right|</math>  || Winkeladitionosaxiom (7),(10)
 +
|-
 +
| (12) <math>\left| \angle ACC'' \right| +\left| \angle BCC'' \right| =\left| \angle ACB \right|</math>  || Winkeladitionosaxiom  (7),(10)
 +
|-
 +
| (13) <math>\angle ACB \tilde {=} \angle AC''B</math> || Rechen in R (11),(12)
 +
|-
 +
| (14) <math>\overline{ABC} \tilde {=} \overline{ABC''}</math>  || Vor. (13) SWS
 +
|-
 +
| (15) <math>\overline{ABC} \tilde {=} \overline{A'B'C'}</math> q.e.d.|| (14),(4)
 +
|}--[[Benutzer:RicRic|RicRic]] 16:52, 20. Jan. 2012 (CET)<br />
 +
 +
<ggb_applet width="739" height="463"  version="4.0" ggbBase64="UEsDBBQACAAIAMlmOUAAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIAMlmOUAAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VvbbtvIGb7OPsVAF72KqTkPmcpZyM4uGiCbDdbpomhRFBQ5krmmSJWkbDnYl+qeHiPP1H9mSIo6+CA7cWS3VuwRyZ9z+L7/OGQGXy+mKTrXRZnk2WGPeLiHdBblcZJNDnvzanzg975++dVgovOJHhUhGufFNKwOe9xIJvFhT4wJ5zqKDwISjA/4WPoHgRTqwA/CIAgFI2OiewgtyuRFlr8Np7qchZE+iU71NHyTR2FlBz6tqtmLfv/i4sJrhvLyYtKfTEbeoox7CKaZlYe9+ssL6G7lpgtmxSnGpP+379647g+SrKzCLILxzRLmycuvng0ukizOL9BFElenhz0lRA+d6mRyCmuSGNbUN0IzAGSmoyo51yXc2jm0a66ms54VCzNz/Zn7htJ2OT0UJ+dJrIvDHvY4DqgigjKifB+rgPdQXiQ6q2phUg/ab7obnCf6wvVrvtkh4aYqz9NRaLpEP/+MKKYYPTcNcQ2FRkp3CbtzmLmGuoa7RjgZ7m7nTpQ7Ge5kOOuh86RMRqk+7I3DtAQIk2xcAH3tcVldptrOpz6xXD55Dmsqkw8gzAymDnM4j/Fz8wtAP+cN2J1Fks6oVTHfcdBmSMWC2w9J77VQtlzmljGpuGKZ8ppB3bpvs04iOtDCUPaf/d0YkV23zPUR3fH9BpT8QZY46DemMqitA5WnRrbWnkpPS2MvLEAiMGpPkADbkAq0XCASQKMoAmtARCAu4JD4SJpWIabgAkcM+cjIEYascQgf/nBlO5NIQGfmrAKbRAQG4kgwRKxNcQSWhKxdgo1SBhJCIAE3meEJNV0wibiEI+YjDnM0JqkICDK4EY5heIoYQczcTBSiEknTH+HG1KVvpg5dUiQxksR0CFYNFu2sGeR9xMxqZA1Xks3m1QpE0TRuvlb5rOUCpMEfLd2e808rXvHZIA1HOoVAcWKYROg8TI1F2IHGeVahhkTqzk2KcHaaROWJriq4q0Q/hefhm7DSi29BumzGtrJRnpXvirw6ztP5NCsRivIUt3POU9L5TttZwwHrXODdC6JzQXa+q63j5nAFzUsN4+dF2YiHcfzaSCxdAyD5fZZeHhU6PJvlyVXLeBueJxOr3EdrKjpLw8ujeVUZtV+eeaXhDzgnE2RncH8j0S4nK08qDXRRi+2gb4PbQM+jNImTMPsRrMKMbwhAbawzfrGJdSwIminmRXxyWYKpoMXfdZEDYYHwKOG+kpgxLJQE9bl0lxiBOQnlC0JZIGXAjAeMQmPlXHhcdD5gxJdXXJJuaH3eqkK40C3Kk8J4kHqp5uB1eZSny1MW5+NwVs0Lm6XAFAqzqGE2SbXVRevWIQWIzkb54sQpIXN9vb+cwRF2ExhNLL8IfBA1icCkbkeutTJmZq0UtjLYSuBGq5O4vU4CaiVsO3KtlQIzcVOrV0qaZRLcDJOU1nPi3op+WBszCcU8S6o3zUGVRGf1SomTfzufjnSrqatdkk/U5aC/pmCDM11kOq01HZic5/PS+YGOEcQ6SqZw6C7UgISGrL/CBNzZWE8K3cw7tfmfg8texV1V3Thtu/q2yKevs/P3oAlrExj0m1kOyqhIZkbh0AiCzZle6lSclCHEqrh7n7EyWHpkzBbgqQw04APm1Wle2BQPXBe0xu5SPYV8DlVWuax+tjAPbaZo8ET56Cfwnms0LPmCy1sVzapkmM5OQ5NN1osG/6CLFRhsf9/l8To4gL1dQWkdhuF2prXTCjdf4nyOtaUV3wVol2hhBjU5q/VHzO+hD65OcImyWauxsBXv786uEQXa42C6AbCjxw8Y9wIfcv7mY7Ivhx4hy7NUfnYoj/9FHj+YzGMWPuYZp/oJEIvy6TTMYpTZZPRdnl5O8qy3TI9CbKwWhcToIgqpw9GBNK8aCfCAKQQY4gQjJxhCAxnIyA1ZD7SFJDdkQ0Lb1WqkqCBZOoOKsLThrKoDl/3ylySOtU2U+9fz20G0S3AT7ZpItiSY7ELw1XpY6ok5aucR3aCHO89zR0XsOjMs/aURKo59q17cw7xrs8zq2kHgKUyW8nw9nN+eJP3vzN1SuiibTGdpEiVVq1mpMYLXWQUxV9ugsxlKz7SemQzm++x9EWal2YxxMp0QfUtGwr1h5IB4Eq9QQiwj5vyqG609JvEChhUPsP0Qop4MKaO9IYV4wsX8AwhbDnfuEbmZzz4arFdD46unERpxwxH+7MnEN48fr+BT47WaSvwIoOTFWiZhFM2mCN9spBDz69OEc9ddg+/8br4Bf2rPIGsQcY3hsqs7+IROSVd7hSgsKl1CiVmnNhUcvzM8IL2YOTivJcH6hRRKs+0Z3XyDheGfwlle/vmmlG2lpqtv+aIG0WUkYEH3R3zaau12AB9dBfDR7gAf7RfABD9gQXc7tI8bt7KJ9/HueB/vF97BFyn5agxc4dce0BVAt5aA3Ruj7o1he2CKwtvRsr007PDzIAWiI5UIZmkV5AEqxFup4Gee7j0KRfARhHDKZP3xn05VEu4bNbeuGKE0NORQqGb8jq8W8slwM9o3blYLR9z5Ic5QhIcVVstkxX9EXKzGEfvAaT0L6gaD4W2iyMf/XB8S7OONlkmQNvfDDOcNA54IBGFEQHXuYyqlvJfPrwM55ndQhntsDoRF1AnrTc2XpvnFD3qc6oXF+rbE/JBXV+anB4Cg5WO4wcSrXVKmV/uSLHGPCi4U9n0M4UdQ3lRnggYB94VUgZCYS/UZMqltFvCq1n2H8tGmvv+yk77/cpO+K/p/fQ8vt1e7rzbQj68Hv4CeGtjiPdlwgDhCFcaCcGbeTKurWwbFV1ftmWrzMKwklkwwjCkm5PHGl+OkiDbMq2b2xOUB/6hDzHNUh5d/bjCur2c8yrMkajnVX5TzO3GUTHTmtspKhBa4fon1Ejc7VM2ZhXH+9tQlqU99IB2HOA2rIlmgYSM/bKSG1GaWLAD1a3/MC25DVo8x5LZr85R8KFzm42/XIPP+VDIGwK8lvtWoNe614z52rnXzmeTxTjX/nQKYWffENSPX3N/AmUe5ZCqQPjWvDgO4dQgDO1YB5Pk+81nA1eeIYNc+/j2+KobVZTl1YiO7F2PqffsFtCJqdil3rPPpw1X4NuvvZP8P8BB4dOMzlzvM9R5PuCQJIEBQRSSRkC21m3p4XRlNXFEexBLKqM+xUoo/oRIy3CtawNMKgbliUBnCj1K+q+2Jpzj1A4Y5Z1BAMuL2tpkHxSRnErwD4QQHT4eWaL9ouWo77GD7ftgjfm9iNUDUidb69nsdILa8GDS+3vOv0zzekyz7gHlEbPGHppBkkoLBgdFxKCmbxxzYo1CDKahimRC+IMGjpXhbFTtcEux2bzbr2F93qmN/3axjAyWk5D4OfAL5z72qWILv/irXvlSx22hoH3MdX7Vp8/G3nWj47QYaaHC/7YQnS8SaPWzZ1/l9JyJ+3yTCp1L5MmCB8qHiV3e1iPu/3LjPRByt2MO2APTxj52I+ONGIv4Heeh3X/63/8Gm/l+pL/8LUEsHCARfMG4+CgAAMjsAAFBLAQIUABQACAAIAMlmOUDWN725GQAAABcAAAAWAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYV9qYXZhc2NyaXB0LmpzUEsBAhQAFAAIAAgAyWY5QARfMG4+CgAAMjsAAAwAAAAAAAAAAAAAAAAAXQAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAgACAH4AAADVCgAAAAA=" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "true" /><br />
 +
Nach dem ich es dann visualisiert habe, habe ich es wieder nachvollziehen können. Gut!<br />(Die ersten Schritte der Applikation sind für den Beweis unwichtig. Ich musste nur erst mal die Voraussetzung konstruieren (wobei ich darauf zurückgegriffen habe, dass die Behauptung stimmt :)). --[[Benutzer:Tutorin Anne|Tutorin Anne]] 12:55, 25. Jan. 2012 (CET)<br />
 +
Prima, dann können wir ja den SsW angehen.--[[Benutzer:RicRic|RicRic]] 17:42, 25. Jan. 2012 (CET)
 +
... <br />
 +
ja dann, viel Freude!--[[Benutzer:Tutorin Anne|Tutorin Anne]] 18:27, 25. Jan. 2012 (CET)
 +
== SsW-Kongruenzsatz==
 
[[Category:Einführung_Geometrie]]
 
[[Category:Einführung_Geometrie]]
 +
Vor: <math>\overline{ABC}</math> ; <math>\overline{A'B'C'}</math><br />
 +
1. <math>\overline{AB} \tilde {=} \overline{A'B'}</math> ;<br />
 +
2. <math>\overline{AC} \tilde {=} \overline{A'C'}</math> ;<br />
 +
3. <math>\left| AB \right| >\left| AC \right|</math> ;<br />
 +
4. <math>\left| AB \right| >\left| BC \right|</math> ; Dies muss nicht gelten! --[[Benutzer:Tutorin Anne|Tutorin Anne]] 17:52, 29. Jan. 2012 (CET)<br />
 +
5. <math>\angle ACB  \tilde {=} \angle A'C'B'</math> <br />
 +
Beh.: <math>\overline{ABC} \tilde {=} \overline{A'B'C'}</math><br />
 +
Es genügt zu zeigen, dass <math>\left| BC \right| = \left| B'C' \right|</math>, da nach SSS die Dreiecke dann kongruent sind. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 17:52, 29. Jan. 2012 (CET)
 +
Ann.: o.B.d.A. <math>\left| BC \right| < \left| B'C' \right|</math>
 +
Beweis:
 +
 +
{| class="wikitable sortable"
 +
!Überschrift 1!!Überschrift 2
 +
|-
 +
| (1) <math>\exists D: D\in \ CB^{+} \wedge \left| B'C' \right| = \left| CD \right|</math>  || Axiome Abstand und Lineal
 +
|-
 +
| (2) <math>\overline{ABD} \tilde {=} \overline{A'B'C'}</math> || SWS, (1), Ann., Vor2, Vor5
 +
|-
 +
| (3) <math>\overline{AD}  \tilde {=} \overline{A'B'} \tilde {=} \overline{AB}</math>  || (2), Vor.1
 +
|-
 +
| (4) <math>\exists \overline{ABD}</math>  || (1),Ann.
 +
|-
 +
| (5) <math>\overline{ABD}</math> ist gl.schenklig  || (3)
 +
|-
 +
| (6) <math>\angle ABD  \tilde {=} \angle ADB</math>  || (5) Basiswinkelsatz
 +
|-
 +
| (7) <math>\left| \angle ADB \right| < \left|  \angle ACD\right|</math> || Vor3, Vor4, Satz der gr. Seite liegt der gr. Winkel gegenüber
 +
|-
 +
| (8) <math>\left| \angle ABD \right| < \left|  \angle ACD\right|</math> <br />Wiederspruch zu (6) und (7)<br />Ann verwerfen Beh., Stimmt, betrift auch das Deieck A'B'C' wegen (2)|| schwacher Ausenwinkelsatz, ist Außenwikel von <math>\overline{ABC}</math>
 +
|}--[[Benutzer:RicRic|RicRic]] 16:17, 28. Jan. 2012 (CET)
 +
<br />
 +
[[Bild:Idee SsW.JPG|500px]]
 +
<br />
 +
Sehr gut! Mit Skizze lässt sich dein Beweis gut nachvollziehen. Allerdings musst du die Begründung für Schritt (7) noch ändern, denn Vor4 gibt es leider nicht!--[[Benutzer:Tutorin Anne|Tutorin Anne]] 17:52, 29. Jan. 2012 (CET)<br />
 +
Die Dreieke müssen in dem Winkel übereinstimmen, der der längeren Seite gegenüber liegt. Somit Reicht mir doch als Begründung für Schritt (7) die Vor3. --[[Benutzer:RicRic|RicRic]] 19:15, 31. Jan. 2012 (CET)

Aktuelle Version vom 31. Januar 2012, 19:15 Uhr

Inhaltsverzeichnis

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.

1. Wie sagt man es richtig?

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

Punkte: 0 / 0


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 \overline{AB} \tilde {=} \overline{CD} := |\overline{AB}| = |\overline{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: \alpha \tilde {=} \beta := | \alpha | = | \beta |
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 \overline{ABC} und \overline{DEF} die folgenden 6 Kongruenzen
  1. \overline{AB} \tilde {=} \overline{DE}
  2. \overline{BC} \tilde {=} \overline{EF}
  3. \overline{AC} \tilde {=} \overline{DF}
  4. \angle CAB \tilde {=} \angle FDE
  5. \angle ABC \tilde {=} \angle DEF
  6. \angle ACB \tilde {=} \angle DFE
gelten,
dann sind die beiden Dreiecke \overline{ABC} und \overline{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 = 5\operatorname{cm}, \ b = 4\operatorname{cm}, \ c = 3\operatorname{cm}. \ 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 \overline{ABC} und \overline{DEF} die folgenden 3 Kongruenzen
  1. \overline{AB} \tilde {=} \overline{DE}
  2. \overline{AC} \tilde {=} \overline{DF}
  3. \angle CAB \tilde {=} \angle FDE
gelten,
dann sind die beiden Dreiecke \overline{ABC} und \overline{DEF} kongruent zueinander.

Der Kongruenzsatz WSW

Satz VII.4: (Kongruenzsatz WSW)
Wenn für zwei Dreiecke \overline{ABC} und \overline{DEF} die folgenden 3 Kongruenzen
  1. \overline{AB} \tilde {=} \overline{DE}
  2. \angle CAB \tilde {=} \angle FDE
  3. \angle ABC \tilde {=} \angle DEF
gelten,
dann sind die beiden Dreiecke \overline{ABC} und \overline{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.

Beweisidee I



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

Vor.: \overline{AB} \tilde {=} \overline{DE}
\overline{BC} \tilde {=} \overline{EF}
\overline{AC} \tilde {=} \overline{DF}
Beh.: \overline{ABC} \tilde {=} \overline{DEF}
Beweis:


Überschrift 1 Überschrift 2
(1)\overline{AB} \tilde {=} \overline{DE}

\overline{BC} \tilde {=} \overline{EF}

\overline{AC} \tilde {=} \overline{DF}
Vor.
(2) \exists Mc:\left| AMc \right| =\left| McB \right| \wedge Mc \in \overline{AB}

\exists Mb:\left| AMb \right| =\left| MbC \right| \wedge Mc \in \overline{AC}

\exists Ma:\left| BMa \right| =\left| MaC \right| \wedge Mc \in \overline{BC}
Existenz und Eindeutigkeit des Mittelpunkts einer Strecke
(3) \exists mc: \ mc \perp \overline{AB} \wedge Mc\in mc

\exists mb: \ mb \perp \overline{AC} \wedge Mb\in mb

\exists ma: \ ma \perp \overline{BC} \wedge Ma\in ma
Existenz und Eindeutigkeit der Mittelsenkrechten (2)
(4) \exists S: S \in mc \wedge S \in mb \wedge S \in ma Schnittpukt der Mittelsenkrechten (3)
(5) \overline{McS} \tilde= \overline{McS} trivial
(6) \overline{AMc} \tilde= \overline{BMc} M ist Mittelpunkt (2)
(7) \angle AMcS  \tilde= \angle BMcS rechter Winkel, Mittelsenkrechte (3)
(8) \overline{AMcS}  \tilde= \overline{BMcS} (5)(6)(7) SWS
(9) \angle McAS  \tilde= \angle McBS (8)
(10) \overline{MbS} \tilde= \overline{MbS} trivial
(11) \overline{AMb} \tilde= \overline{CMb} M ist Mittelpunkt (2)
(12) \angle AMbS  \tilde= \angle CMbS rechter Winkel, Mittelsenkrechte (3)
(13) \overline{AMbS}  \tilde= \overline{CMbS} (10)(11)(12) SWS
(14) \angle MbAS  \tilde= \angle MbCS (13)
(15) \left| \angle McAMb  \right| = \left| \angle MbAS  \right| + \left| \angle McAS  \right| (9),(14) Winkeladditionsaxiom
(16) Schritte (2) bis (15) analog mit Dreicek \overline{DEF}
(17) \angle BAC  \tilde= \angle DEF (15),(16)
(18) \overline{ABC} \tilde {=} \overline{DEF} (17), Vor., SWS
--RicRic 17:33, 29. Dez. 2011 (CET)

Den Beweisschritten konnte ich soweit folgen. Allerdings ist Schritt (17) nicht aus den vorrigen Schritten ableitbar.
(Du hast davor für zwei Dreiecke gezeigt, dass bestimmt Seiten/ Winkel kongruent sind, bestimmte Innendreiecke usw. Allerdings hast du keine Kongruenz zwischen Innendreiecke der verschiedenen Dreiecke ABC und DEF gezeigt. Somit kannst du auch nicht auf die Winkel schließen. - Falls du es versuchen willst, die inneren Dreiecke aufeinander zu beziehen, wird es schon damit scheitern, dass du nicht weißt, ob der Schnittpunkt der Mittelsenkrechten die gleiche Entfernung in beiden Dreiecken z.B. zu den Seiten des Dreiecks hat. )
Ich glaube nicht, dass der Ansatz dir weiter hilft - sorry. Trotzdem: Danke für den Beitrag ... so lernen wir gemeinsam.--Tutorin Anne 20:45, 12. Jan. 2012 (CET)
Aber wenn doch die Seiten konguent sind, müssen es die die davon abgeleiteten Mittelsenkrechten auch sein. Ich meine damit , ich beziehe mich immer auf die Steken zunächst eines Dreiecks, die Stecken beider Dreiecke sind aber Konguent laut Vorrausetzung, also müssen sämtliche Innendreiecke auch konguent sein. Da ich die Mittelsenkrechen nur auf die Jeweiligen Strecken beziehe. Somit muss der Schnittpunkt der Mittelsenkrechten auch konguent sein (siehe Geogebra sktize). Also wo ist mein Denkfehler?--RicRic 21:45, 12. Jan. 2012 (CET)
Kann ich bis einschließlich Punkt 4 davon ausgehen, dass dies bei beidens Dreieken gleich ist. Also der Schnittpunkt der Mittelsenkrechten somit bei beiden Dreieken identisch ist. Da ich mich ja auf das Mittelsenkrechtenkriterium berufe und dies müsste ja für jede Strecke eindeutig sein, somit auch für den Schnittpunkt der Mittelsenkrechten, oder?--RicRic 20:50, 16. Jan. 2012 (CET) Warum sollte der Schnittpunkt der Mittelsenkrechten in beiden Dreiecken identisch sein, wenn diese vielleicht gar nicht kongruent sind? Das Problem an dem Beweis ist, dass du innerhalb eines Dreicks viel zeigst, aber es geht um den Vergleich, um Kongruenzen zum anderen Dreieck.
Da sehe ich die Schwierigkeit--Tutorin Anne 10:48, 18. Jan. 2012 (CET)

Beweisidee II

Vor.: \overline{AB} \tilde {=} \overline{AB}
\overline{BC} \tilde {=} \overline{BC'}
\overline{AC} \tilde {=} \overline{AC'}

Beh.: \overline{ABC} \tilde {=} \overline{ABC'}

Beweis:

Schritt Begründung
(1)\exists CC' Axiom I2 Gerade durch zwei Punkte
(2) \exists \overline{CC'B} \wedge \overline{CC'A} (1)
(3)\exists \overline{CC'B} \wedge \overline{CC'A} sind gleichschenklig, da \overline{BC} \tilde {=} \overline{BC'} und \overline{AC} \tilde {=} \overline{AC'}
nach Vorr (2)
(4) es gelten konguente Winkel siehe Skizze Basiswinkelsatz, (3)
(5) \overline{ABC} \tilde {=} \overline{ABC'} SWS, Winkeladditionsaxiom, Rechnen in R,Vorr. (4)
q.e.d. --CostaRica--RicRic 23:26, 3. Jan. 2012 (CET)

Der Beweis ist soweit korrekt, allerdings habt ihr damit auch wirklich nur diese spezielle Behauptung beweisen. Also nicht allgemein den SSS-Kongruenzsatz. Dazu müsst ihr von zwei Dreiecken ausgehen, die keine gemeinsame Strecke haben müssen. --Tutorin Anne 20:33, 12. Jan. 2012 (CET) Aber wenn die Stecken konguent ist, dann kann ich sie doch durch drehen oder spiegeln oder verschieben genau auf der andern Stecke abbilden, warum darf ich das hier nicht?--RicRic 21:47, 12. Jan. 2012 (CET)
Du kannt die Beweisidee so verwenden für ein allgemeinen Beweis. Dazu musst du aber von Anfang an von zwei komplett verschiedenen Dreiecken ausgehen, nicht von Dreiecken die eine Seite gemeinsam haben. Das ist aber nicht viel zu ändern.--Tutorin Anne 10:43, 18. Jan. 2012 (CET)
Aber die Idee funktioniert doch nur weil ich eine gemeinsame Seite habe und diese teile, sehe nicht wie sich sonst die gleichschenkligen Dreieke sonst hinbekommen soll.--RicRic 20:39, 18. Jan. 2012 (CET)

weitere Beweisideen

Vor.: \overline{AB} \tilde {=} \overline{A'B'} , \overline{CB} \tilde {=} \overline{C'B'} ,\overline{AC} \tilde {=} \overline{A'C'}

Beh.: \overline{ABC} \tilde {=} \overline{A'B'C'}

Beweis:


Überschrift 1 Überschrift 2
(1) \exists \angle BAD: \left| \angle BAD  \right|  =\left| \angle B'A'C'  \right| \wedge D\in \ AB,C^{-} Winkelmaßaxiom, Winkelkonstruktionsaxiom
(2) \exists C'': C''\in \ AD^{+} \wedge \left| A'C' \right| =\left| AC'' \right| Abstsaxiom, Axiom vom Lineal
(3) \overline{AB} \tilde {=} \overline{A'B'} Vorr
(4) \overline{ABC''} \tilde {=} \overline{A'B'C'} SWS, (1),(2),(3)
(5) \overline{AC''} \tilde {=} \overline{A'C'} \tilde {=} \overline{AC} Vor, (2)
(6) \overline{AC''C} ist gleichschenklig (5)
(7) \angle ACC'' \tilde {=} \angle AC''C Basiswinkelsatz (6)
(8) \overline{BC''} \tilde {=} \overline{B'C'} \tilde {=} \overline{BC} Vor, (4)
(9) \overline{BC''C} ist gleichschenklig (8)
(10) \angle BCC'' \tilde {=} \angle BC''C Basiswinkelsatz (9)
(11) \left| \angle ACC'' \right| +\left| \angle BCC'' \right| =\left| \angle ACB \right| Winkeladitionosaxiom (7),(10)
(12) \left| \angle ACC'' \right| +\left| \angle BCC'' \right| =\left| \angle ACB \right| Winkeladitionosaxiom (7),(10)
(13) \angle ACB \tilde {=} \angle AC''B Rechen in R (11),(12)
(14) \overline{ABC} \tilde {=} \overline{ABC''} Vor. (13) SWS
(15) \overline{ABC} \tilde {=} \overline{A'B'C'} q.e.d. (14),(4)
--RicRic 16:52, 20. Jan. 2012 (CET)


Nach dem ich es dann visualisiert habe, habe ich es wieder nachvollziehen können. Gut!
(Die ersten Schritte der Applikation sind für den Beweis unwichtig. Ich musste nur erst mal die Voraussetzung konstruieren (wobei ich darauf zurückgegriffen habe, dass die Behauptung stimmt :)). --Tutorin Anne 12:55, 25. Jan. 2012 (CET)
Prima, dann können wir ja den SsW angehen.--RicRic 17:42, 25. Jan. 2012 (CET) ...
ja dann, viel Freude!--Tutorin Anne 18:27, 25. Jan. 2012 (CET)

SsW-Kongruenzsatz

Vor: \overline{ABC} ; \overline{A'B'C'}
1. \overline{AB} \tilde {=} \overline{A'B'} ;
2. \overline{AC} \tilde {=} \overline{A'C'} ;
3. \left| AB \right| >\left| AC \right| ;
4. \left| AB \right| >\left| BC \right| ; Dies muss nicht gelten! --Tutorin Anne 17:52, 29. Jan. 2012 (CET)
5. \angle ACB  \tilde {=} \angle A'C'B'
Beh.: \overline{ABC} \tilde {=} \overline{A'B'C'}

Es genügt zu zeigen, dass \left| BC \right| = \left| B'C' \right|, da nach SSS die Dreiecke dann kongruent sind. --Tutorin Anne 17:52, 29. Jan. 2012 (CET)

Ann.: o.B.d.A. \left| BC \right| < \left| B'C' \right| Beweis:

Überschrift 1 Überschrift 2
(1) \exists D: D\in \ CB^{+} \wedge \left| B'C' \right| = \left| CD \right| Axiome Abstand und Lineal
(2) \overline{ABD} \tilde {=} \overline{A'B'C'} SWS, (1), Ann., Vor2, Vor5
(3) \overline{AD}  \tilde {=} \overline{A'B'} \tilde {=} \overline{AB} (2), Vor.1
(4) \exists \overline{ABD} (1),Ann.
(5) \overline{ABD} ist gl.schenklig (3)
(6) \angle ABD  \tilde {=} \angle ADB (5) Basiswinkelsatz
(7) \left| \angle ADB \right| < \left|  \angle ACD\right| Vor3, Vor4, Satz der gr. Seite liegt der gr. Winkel gegenüber
(8) \left| \angle ABD \right| < \left|  \angle ACD\right|
Wiederspruch zu (6) und (7)
Ann verwerfen Beh., Stimmt, betrift auch das Deieck A'B'C' wegen (2)
schwacher Ausenwinkelsatz, ist Außenwikel von \overline{ABC}
--RicRic 16:17, 28. Jan. 2012 (CET)


Idee SsW.JPG
Sehr gut! Mit Skizze lässt sich dein Beweis gut nachvollziehen. Allerdings musst du die Begründung für Schritt (7) noch ändern, denn Vor4 gibt es leider nicht!--Tutorin Anne 17:52, 29. Jan. 2012 (CET)
Die Dreieke müssen in dem Winkel übereinstimmen, der der längeren Seite gegenüber liegt. Somit Reicht mir doch als Begründung für Schritt (7) die Vor3. --RicRic 19:15, 31. Jan. 2012 (CET)