Lösung von Aufgabe 6.1 S (WS 12 13): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Beweisführung)
 
(22 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
==== Lösung 6.1 von User Hazel12 ====
+
<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFF99; align:left;">
 +
{|width=90%| style="background-color:#FFFF99; padding:1em"
 +
| valign="top" |
  
[[Datei:6-1 lösung.jpg]]
+
 
 +
==Aufgabe 6.1==
 +
<u>'''Satz:'''</u>
 +
::Es seien <math>A,B</math> und <math>C</math> drei paarweise verschiedene Punkte.<br />
 +
::Wenn der Punkt <math>B</math> zwischen den Punkten <math>A</math> und <math>C</math> liegt, dann liegt weder <math>A</math> zwischen <math>B</math> und <math>C</math> noch <math>C</math> zwischen <math>A</math> und <math>B</math>.
 +
Beweisen Sie diesen Satz.
 +
 
 +
<br />
 +
=== Lösung 6.1 von User Hazel12 ===
 +
 
 +
[[Bild:6-1 lösung.jpg|400px]]
 +
===Bemerkungen Sissy66===
 +
Ich denke, dass die Voraussetzung ist, dass die 3 Punkte paarweise verschieden sind, also:
 +
 
 +
Vor: A,B,C sind paarweise verschieden
 +
Beh: Zw(A,B,C)
 +
Ann: Zw(A,B,C) und (oBdA.) Zw(B,A,C)
 +
 
 +
Wenn man doch oBdA. hinschreibt, muss man den zweiten Teil des Beweises nicht mehr machen, oder?--[[Benutzer:Sissy66|Sissy66]] 14:23, 2. Dez. 2012 (CET)
 +
===m.g.===
 +
====@Sissy66====
 +
*Eine Implikation kann mehrere Voraussetzungen haben. Im speziellen Fall wäre eine Voraussetzung, dass die drei Punkte paarweise verschieden sind , was noch...?--[[Benutzer:*m.g.*|*m.g.*]] 13:29, 3. Dez. 2012 (CET)
 +
*o.B.d.A. passt nicht ganz, wenn die Aufgabe so formuliert ist, wie sie hier formuliert wurde. Siehe Bemerkungen zu Hazel.
 +
*Formulieren Sie die Aufgabe so, dass o.B.d.A. korrekt wäre.--[[Benutzer:*m.g.*|*m.g.*]] 16:26, 3. Dez. 2012 (CET)
 +
 
 +
====@Hazel12====
 +
=====Die Implikation=====
 +
 
 +
Wir setzen voraus, dass für die Punkte <math>A \not= B \not= C \not=A </math> gilt.
 +
 
 +
*Formulierung der Implikation in der Aufgabe:<br />
 +
::<math>\operatorname{Zw}(A,B,C) \Rightarrow </math> weder <math>\operatorname{Zw}(A,C,B)</math> noch <math>\operatorname{Zw}(B,A,C)</math>
 +
*Ihre Formulierung der Implikation:
 +
::<math>\operatorname{Zw}(A,B,C) \Rightarrow \neg \operatorname{Zw}(A,C,B) \wedge \neg \operatorname{Zw}(B,A,C)</math>
 +
 
 +
*Das mathematische ''und''
 +
<ggb_applet width="228" height="224"  version="4.0" ggbBase64="UEsDBBQACAAIAIhbUUEAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIAIhbUUEAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3Vjrbts2FP7dPsWBUOyXY5O6O7NbJMGyFki7os6KYtgfSmJsLrLoSpQvQx9gb7L32pPskJRkOc6CbB3aYUVd3r5z5blQnbzYLnNY87ISspg6dEgc4EUqM1HMp06tbk5i58Xzp5M5l3OelAxuZLlkaur4GimyqcPTJEzH6fgkjdLgxA8JP2EZYSecJVnC4njsRYkDsK3EaSHfsCWvVizls3TBl+xKpkwZwQulVqej0WazGbaihrKcj+bzZLitMgdQzaKaOs3kFNkdEG08A3cJoaMPr68s+xNRVIoVKXdAm1CL50+fTDaiyOQGNiJTi6nj+r4DCy7mC7TJ80MHRhq0QoeseKrEmldI2lsam9Vy5RgYK/T5EzuDvDPHgUysRcbLqUOG4ziKiD+mMfHcKA7HDshS8EI1WNrIHLXcJmvBN5atnhmJCFqLSiQ5nzo3LK/QJFHclOjObl2pXc4TVnYbe3XowMNz8SuCA4JT6wPcJ2SgfyH+fEKsIj2p6BslZW6YEvj0CVziEhjogdrBxSEM7RGxe8Szg2sH3w6BxfiW3LdQ32J8i/G9npGqrP+mja2Frhs/3kL3s/zaedX16bFMN7hfJg0fEGrtfoydNCB7mSjK/DW/I4neQ2belWjXnycw9L+IiZNRmyqTJk6hWmhsEz2KLysdud4YgrEOQAoBRmkYYbwFQMc4RC5gXAINwA9wSWMI9RiBF+GBDx7EoHHUAxOmQYz/+JFhFkKAzPRuhNkBFAX5EHhATXT7gDENJkMwW1wPEUEAARJp8dTVLLwQ/BBXXgw+6qiTI6II9JAQ1yjeBY+Cp4lpBG4IoeZHfZ10YaxVR5YuhARCqhlifmFu2bxCfAyetqYta6JY1apxUeP1dJm17lJy1W0jHAvSvuzZAnVQFZ9McpbwHBvFTF8lwJrlOiWMpBtZKOiSw+7NS7ZaiLSacaWQqoJf2JpdMcW3l4iuWtkGm8qieltKdSHzellUAKnMSasozmlv7u6NkbnXO/D7B0HvIOzNo3vlSjyBuuIoX5ZVC2dZ9koj9rUBXflDke/OS85uV1IcmjEZmZ4z4XWai0yw4j1Gq5ai/QJtCzIVuW1BURy0isgym+0qDGHY/sRLidWYuEPS+4NpsrMn3tg07ipluSnxBzCD6x1Z/nzdXQPb8s7CeSmy/vxVdS7zrLPXmHjBVqouzQMBNS+14mfFPOcmDExJxe6b3iZyO7NZ7Fle17sVrhr5ydy4FjD/3SBAQDMmdjQYrViHIgZDDIK0ASWy7pyOXYMwY2JHg8IItao1htLWSkpaMaIyVYs4B+XDhPfU2TpQF0Jd2RWmiUhvG1OpJXhTLxNeHgZwx5Tey3T3D5hORncCaVKtMO6yasG5uje0TCtsQ4uOQ6saEt1c8Dyf9aER6b2DYgvssbd52LbMloY+hPM6HCUPAv090I0aIM91nZEFwGKWljLPze2se/PUMDDqlKbrNrfNdrLWpQddeIlv1Tpn570mo7e/N7ff23hp2d7Fvb9/+xzFVbx8i6+1/ODAmvQSLeSHFO9QhNmFbpvludzMsJgKln+XCSW7xmtOrrGbXYtVl5b8Y41073AQJW8T9MileKeX5nkOzTP9NcOK7g3CARuQUzIgehwkg+iUDvxmTr1BOjihYURpGNNTf0AN2MUXTDPZU7kNJ89S49iB6AE7Nwg1J9LIve/QcvItd+Q0btZxs44axuNmbNftudeMdk3N2jVa+h0vQ2Mz5yhTJre8xAtsaj4WwlrWlW1hvSzO8IKWuLQHTUFhutj9iNlrdzM+L3mb9bn5dLHlxpySfjk/2jasLku5fFWsr7GS3lFgMmq1nFRpKVa6XkOCD6Vbvo/gTFQM31lZn043KYwRm0JKKF1XMLRqtdCBthzOh0iHnRd3dX/aoncq/QXYlqczLEK4O3W++VhL9e2ZHQxrzMwlfryAMtUcm7dyelQmJDHkQSa/YAbvH3cW0XMtAv6itmMKrBZMfzmRLqcxd/p+M+xey6zvTSyPVrV7Lbo4tOj8cRZd/HcsOlAywfrAWbH3vGv0RNK6YdCrEP+28g+07j26a+KPMxVTod6KXLByd6j/431wceSDnnn/IycchfZ50IT2mQt//PY7oCPgOK7vugupvo67yNFj7wu7yz+oBM/O4OecFRmcP3tcTUD6r1gT8COuumLX/MPdNDdfXPguETf7t4d5fpPmW/ueojLq9wnzvdL839vzPwFQSwcIqnZ5BoMGAAAYFAAAUEsBAhQAFAAIAAgAiFtRQdY3vbkZAAAAFwAAABYAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhX2phdmFzY3JpcHQuanNQSwECFAAUAAgACACIW1FBqnZ5BoMGAAAYFAAADAAAAAAAAAAAAAAAAABdAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAACAAIAfgAAABoHAAAAAA==" showResetIcon = "false" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "false" /><br />
 +
*Fazit: Sie haben das ''weder noch'' gut umgesetzt
 +
 
 +
====Die Beweisführung====
 +
korrekt
 +
 
 +
 
 +
Es wäre ausreichend, den Beweis nur für einen Fall zu formulieren. Fall 2: analog.
 +
 
 +
Warum wäre o.B.D.A, in unserem Fall nicht korrekt?
 +
 
 +
 
 +
 
 +
'''Frage:''' Können wir davon ausgehen, dass die 3 Punkte (A;B;C) kollinear sind?<br />
 +
Und stimmt die Begründung "Def. Zwischenrelation"? Müsste die Begründung nicht "Umkehrung der Zwischenrelation" heißen? <br />--[[Benutzer:Caro44|Caro44]] 17:42, 5. Dez. 2012 (CET)
 +
 
 +
<!--- Was hier drunter steht muss stehen bleiben --->
 +
|}
 +
</div>
 +
 
 +
[[Kategorie:Einführung_S]]

Aktuelle Version vom 5. Dezember 2012, 17:42 Uhr


Inhaltsverzeichnis

Aufgabe 6.1

Satz:

Es seien A,B und C drei paarweise verschiedene Punkte.
Wenn der Punkt B zwischen den Punkten A und C liegt, dann liegt weder A zwischen B und C noch C zwischen A und B.

Beweisen Sie diesen Satz.


Lösung 6.1 von User Hazel12

6-1 lösung.jpg

Bemerkungen Sissy66

Ich denke, dass die Voraussetzung ist, dass die 3 Punkte paarweise verschieden sind, also:

Vor: A,B,C sind paarweise verschieden Beh: Zw(A,B,C) Ann: Zw(A,B,C) und (oBdA.) Zw(B,A,C)

Wenn man doch oBdA. hinschreibt, muss man den zweiten Teil des Beweises nicht mehr machen, oder?--Sissy66 14:23, 2. Dez. 2012 (CET)

m.g.

@Sissy66

  • Eine Implikation kann mehrere Voraussetzungen haben. Im speziellen Fall wäre eine Voraussetzung, dass die drei Punkte paarweise verschieden sind , was noch...?--*m.g.* 13:29, 3. Dez. 2012 (CET)
  • o.B.d.A. passt nicht ganz, wenn die Aufgabe so formuliert ist, wie sie hier formuliert wurde. Siehe Bemerkungen zu Hazel.
  • Formulieren Sie die Aufgabe so, dass o.B.d.A. korrekt wäre.--*m.g.* 16:26, 3. Dez. 2012 (CET)

@Hazel12

Die Implikation

Wir setzen voraus, dass für die Punkte A \not= B \not= C \not=A gilt.

  • Formulierung der Implikation in der Aufgabe:
\operatorname{Zw}(A,B,C) \Rightarrow weder \operatorname{Zw}(A,C,B) noch \operatorname{Zw}(B,A,C)
  • Ihre Formulierung der Implikation:
\operatorname{Zw}(A,B,C) \Rightarrow \neg \operatorname{Zw}(A,C,B) \wedge \neg \operatorname{Zw}(B,A,C)
  • Das mathematische und


  • Fazit: Sie haben das weder noch gut umgesetzt

Die Beweisführung

korrekt


Es wäre ausreichend, den Beweis nur für einen Fall zu formulieren. Fall 2: analog.

Warum wäre o.B.D.A, in unserem Fall nicht korrekt?


Frage: Können wir davon ausgehen, dass die 3 Punkte (A;B;C) kollinear sind?
Und stimmt die Begründung "Def. Zwischenrelation"? Müsste die Begründung nicht "Umkehrung der Zwischenrelation" heißen?
--Caro44 17:42, 5. Dez. 2012 (CET)