Lösung von Aufg. 11.4 (SoSe 11): Unterschied zwischen den Versionen
(→Beweis mit dem Axiom von Pasch) |
|||
(10 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt) | |||
Zeile 18: | Zeile 18: | ||
Ich bezweifle, dass man hier einfach Zw(A,B,C) voraussetzen darf. [[Benutzer:Mathegott|Mathegott]] 20:30, 23. Jun. 2011 (CEST)<br /> | Ich bezweifle, dass man hier einfach Zw(A,B,C) voraussetzen darf. [[Benutzer:Mathegott|Mathegott]] 20:30, 23. Jun. 2011 (CEST)<br /> | ||
− | Das sehe ich auch so. Besser ist es in Fälle zu unterscheiden. Falls die Fälle dann sehr ähnlich sind, | + | Das sehe ich auch so. Besser ist es in Fälle zu unterscheiden. Falls die Fälle dann sehr ähnlich sind, kann man immer noch "Beweis ist analog zu Fall 1." schreiben.<br /> |
Kann man den Beweis auch direkt führen?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:53, 24. Jun. 2011 (CEST) | Kann man den Beweis auch direkt führen?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:53, 24. Jun. 2011 (CEST) | ||
+ | |||
+ | |||
+ | Fallunterscheidung: | ||
+ | |||
+ | 1. zw(A,B,C) siehe oben | ||
+ | |||
+ | 2. zw (B,A,C) | ||
+ | -> Strecke BC schneidet g nicht (Vorraussetzung) | ||
+ | -> dann kann g auch nicht die Strecke AB schneiden -> Widerspruch zur Vorraussetzung! | ||
+ | |||
+ | 3. zw (A,C,B) | ||
+ | -> Strecke AB schneidet g, Strecke CB schneidet g nicht | ||
+ | -> Dann muss g die Strecke AC schneiden | ||
+ | |||
+ | --[[Benutzer:Madita|Madita]] 15:06, 24. Jun. 2011 (CEST) | ||
+ | |||
+ | Anmerkung<br> | ||
+ | Berechtigter Einwand Madita, oBdA ist hier nicht richtig, da die Fälle sich unterscheiden. Danke für die Berichtigung. L.G.--[[Benutzer:Peterpummel|Peterpummel]] 18:16, 24. Jun. 2011 (CEST) | ||
+ | |||
+ | In der Übung am Montag haben wir diese Aufgabe mit Hilfe des Axiom von Pasch gelöst. Der Beweis war ziemlich komplex. Jetzt stellt sich mir aber die Frage, wieso wir es nicht so lösen dürfen, wie wir es oben gemacht haben? [[Benutzer:Mathegott|Mathegott]] 19:54, 28. Jun. 2011 (CEST) Mhhh, ich weiß es nicht. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 21:40, 29. Jun. 2011 (CEST)<br /> | ||
+ | |||
+ | |||
+ | == Beweis mit dem Axiom von Pasch == | ||
+ | |||
+ | Aufgrund einer Bitte aus einer Übung werde ich hier den Beweis bereitstellen.<br /> | ||
+ | <ggb_applet width="484" height="339" version="3.2" ggbBase64="UEsDBBQACAAIAGuH5D4AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VjbbuM2EH3ufoWg9yjiRTfAziJJgSJA2gRwug99KSiJltnoVolK7Hx9h6R8kZWmtXPBZv1Cc0gNh+fMGVKafF0WufXAm1ZU5dRGjmtbvEyqVJTZ1O7k/CS0v559mWS8ynjcMGteNQWTU5s42Fb2Tpx9+WnSLqpHi+V6yjfBH6f2nOUtt622bjhL2wXncmBn3VLkgjWrm/gvnsh2O2CcXJV1B6vIpgNbUqTXol13T/WCdS7kz+JBpLyx8iqZ2r4HocO/b7yRImH51KauseCpjfcGwUTU6KJqxFNVSjV963wOFstqxRMHRLCyTU71Rie8S3KRClaqzeg4YJJlPYpULmDBkIJLLrKFAogExltSVU06W7WSF9byD95U4NTXQK/6nkdVr4W4YEHP1UO7Pe2GP8y4lEBLa7El3wKWNSIddK7aiyrfmupKlPKS1bJrNKekN83kSi0AazUq4PMyy3lvwwD5gif3cbWcGRCIcX23qvUjOqA4u6zyqrEaBa8HE/o2Nq2eoyLdzHL1HFfP6H0op5txFGE9Q7exafWsXJQmtH7naL1r5K6XEa2lDApGSMXN5nMWc6DWtrpSyOt1B1Lgvt8qMg/81hUxaGA3CTY+0Vv5nJzupc/knjclz02SlMBtV3Wt9aCS0aylA0l5IgromoEeEqbo+h0CMNaUZw1fB24UZADTo+5uIu6ZJ6frIFQMLcSaSCgFsB+p9qKUKkEl6l/KpLIoGeS84KARqfNBp9MGl1/+RPamJFRa3fvQbUGG8WfTQycSy+sFA8taATlbgdh3d6T9/Vqlw32yEvDSmwDN1cqBYqTm3JAp+yS2anCoJbEDtsaotZZT+wQ7oTv4gQhWyhvxbevJ1Er9jJGTKgQ6CtJzbTD6T7TwD4EWdYLwSHiSqihYmVolK2Cla9C6RkSoE8BirskoiyEDlgGik+vBzLjrnYzQVqVjg2RmD6uJXIBoS962uuTJ3eI24MOcQv+bDvd4MraAmlNgageOF2o8IR8DHIb7FfGFPfC/SzOnNXVJFHBoJkIekp/n4+w8EI3vIDldh2INJnb8N9TuxYdiczOft1zqyoQCvRv0IcjppU4AMPrGsj43or4YSZodIGn2FpLe2fq7apo4hrgT8IGiwc/HRuTI8Vx399xB7yD4ITW3OqmH3LARKZcvkzJUxuVRykDY3CJ1e7w6sNH6Cf4IeZAwRD51cRQFnovd0Ddrw9sRjnyPUo/6GCEavepMvColXCQBxj2WMqOgMVmzQ8iaHUWWTzVXqolN83p9IORQ4vqm5CBwBBAa4HAI9ccf3MWOwPG5TM9G4N0dAt7dh2f6+13g6OYCN7z3vqrwz3im7M/X/rsR+OcXL6Pf9u4295OLz3QAYIc890pBHbIu/9ihXoC3E0ZvwEeWfw1yrvjfFBPImPHL5j3ntXrLvynvGla26muPmbPzEnuAus7Hp/vtIfK6/VHkhZ3ICxEJooD4NAgI7a9wkBChH8BJgUI3iFCE3l5rt/92z4oPk1r8yZRGB8D2dwLHG9LQv1sRx4NLGKHIjQjyQ/SJZPci6Zcj0pPDSE8+E+nU8UhIiAvXaYoj19+S7sP9jESU+AEOEO1rLazko4BSn1ICuYDp90z66e7XOf1Buv8if/YPUEsHCJ4DUszLBAAAwxcAAFBLAQIUABQACAAIAGuH5D6eA1LMywQAAMMXAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAABQUAAAAA" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /><br /> | ||
+ | Voraussetzung: <math>\operatorname{koll}(A, B, C);\; A \neq B \neq C \neq A; \; A,B,C \in E; \; g \subset E;\; A, B, C \not\in g; \; \overline {AB}\; \cap \; g \neq \lbrace \rbrace \; \wedge \; \overline {BC}\; \cap \; g = \lbrace \rbrace</math><br /> | ||
+ | Behauptung: <math>\overline {AC} \cap g \neq \lbrace \rbrace</math> | ||
+ | |||
+ | |||
+ | {| class="wikitable" | ||
+ | |- | ||
+ | | Beweisschritt || Begründung | ||
+ | |- | ||
+ | | (1) <math>\exists S : \overline{AB} \cap g = \lbrace S \rbrace</math> || Voraussetzung | ||
+ | |- | ||
+ | | (2) <math>\exists T \in g \wedge \neq S</math> || Axiom I/2 | ||
+ | |- | ||
+ | | (3) <math>\exists P \in \overline {AT} \wedge P \not\in g \wedge P \neq A</math> || Axiom vom Lineal | ||
+ | |- | ||
+ | | (4) <math>P \in gA^+</math> || (2), (3) | ||
+ | |- | ||
+ | | (5) <math>\overline {PA} \cap g = \lbrace \rbrace</math> || (4), Def. Halbebene | ||
+ | |- | ||
+ | | (6) <math>\overline {AB} \cap g \neq \lbrace \rbrace</math> || Voraussetzung | ||
+ | |- | ||
+ | | (7) <math>\overline {PB} \cap g \neq \lbrace \rbrace</math> || (5), (6), Axiom von Pasch | ||
+ | |- | ||
+ | | (8) <math>\overline {BC} \cap g = \lbrace \rbrace</math> || Voraussetzung | ||
+ | |- | ||
+ | | (9) <math>\overline {PC} \cap g \neq \lbrace \rbrace</math> || (7), (8), Axiom von Pasch | ||
+ | |- | ||
+ | | (10) <math>\overline {AC} \cap g \neq \lbrace \rbrace</math> || (5), (9), Axiom von Pasch | ||
+ | |}<br /> | ||
+ | --[[Benutzer:Andreas|Tutor Andreas]] 17:14, 4. Jul. 2011 (CEST) |
Aktuelle Version vom 4. Juli 2011, 17:32 Uhr
Gegeben seien drei paarweise verschiedene und kollineare Punkte A, B und C in einer Ebene E. Ferner sei eine Gerade g Teilmenge der Ebene E, wobei keiner der Punkte A, B und C auf g liegen möge. Beweisen Sie folgenden Zusammenhang:
Beweis: durch Widerspruch:
o.B.d.A. gelte
Voraussetztung:
Annahme:
da
zu
--Peterpummel 16:13, 22. Jun. 2011 (CEST)
Ich bezweifle, dass man hier einfach Zw(A,B,C) voraussetzen darf. Mathegott 20:30, 23. Jun. 2011 (CEST)
Das sehe ich auch so. Besser ist es in Fälle zu unterscheiden. Falls die Fälle dann sehr ähnlich sind, kann man immer noch "Beweis ist analog zu Fall 1." schreiben.
Kann man den Beweis auch direkt führen?--Tutorin Anne 10:53, 24. Jun. 2011 (CEST)
Fallunterscheidung:
1. zw(A,B,C) siehe oben
2. zw (B,A,C) -> Strecke BC schneidet g nicht (Vorraussetzung) -> dann kann g auch nicht die Strecke AB schneiden -> Widerspruch zur Vorraussetzung!
3. zw (A,C,B) -> Strecke AB schneidet g, Strecke CB schneidet g nicht -> Dann muss g die Strecke AC schneiden
--Madita 15:06, 24. Jun. 2011 (CEST)
Anmerkung
Berechtigter Einwand Madita, oBdA ist hier nicht richtig, da die Fälle sich unterscheiden. Danke für die Berichtigung. L.G.--Peterpummel 18:16, 24. Jun. 2011 (CEST)
In der Übung am Montag haben wir diese Aufgabe mit Hilfe des Axiom von Pasch gelöst. Der Beweis war ziemlich komplex. Jetzt stellt sich mir aber die Frage, wieso wir es nicht so lösen dürfen, wie wir es oben gemacht haben? Mathegott 19:54, 28. Jun. 2011 (CEST) Mhhh, ich weiß es nicht. --Tutorin Anne 21:40, 29. Jun. 2011 (CEST)
Beweis mit dem Axiom von Pasch
Aufgrund einer Bitte aus einer Übung werde ich hier den Beweis bereitstellen.
Voraussetzung:
Behauptung:
Beweisschritt | Begründung |
(1) ![]() |
Voraussetzung |
(2) ![]() |
Axiom I/2 |
(3) ![]() |
Axiom vom Lineal |
(4) ![]() |
(2), (3) |
(5) ![]() |
(4), Def. Halbebene |
(6) ![]() |
Voraussetzung |
(7) ![]() |
(5), (6), Axiom von Pasch |
(8) ![]() |
Voraussetzung |
(9) ![]() |
(7), (8), Axiom von Pasch |
(10) ![]() |
(5), (9), Axiom von Pasch |
--Tutor Andreas 17:14, 4. Jul. 2011 (CEST)