Geometrie-Wiki - Benutzerbeiträge [de]

Einführung in quadratische Funktionen WS 22 23

2023-02-09T12:01:40Z

Estherstmpf:

Falls nichts angezeigt wird, können Sie mit folgendem Link [{{fullurl:{{PAGENAME}}|action=purge}} den Servercache leeren].
 
Interaktives Arbeitsblatt: https://www.geogebra.org/m/jt79g4vh
Learning App: https://learningapps.org/display?v=p9popfevk23

Einführung in quadratische Funktionen WS 22 23

2023-01-24T09:48:47Z

Estherstmpf: Die Seite wurde neu angelegt: „ Falls nichts angezeigt wird, können Sie mit folgendem Link [{{fullurl:{{PAGENAME}}|action=purge}} den Servercache leeren]. “

Falls nichts angezeigt wird, können Sie mit folgendem Link [{{fullurl:{{PAGENAME}}|action=purge}} den Servercache leeren].

Interaktive Arbeitsblaetter WS 22 23

2023-01-24T09:47:50Z

Estherstmpf:

* [[Zusammenhang von Graph und Funktionsgleichung bei quadratischen Funktionen_WS_22_23]]
* [[Die Möndchen des Hippokrates_WS_22_23]]
* [[Konstruktion einer Strecke bestimmter Länge_WS_22_23|Konstruktion einer Strecke der Länge <math>\sqrt{7}</math>_WS_22_23]]
* [[Ortskurve einer Person auf einer rutschenden Leiter_WS_22_23]]
* [[Eigenschaften von Kongruenzabbildungen_WS_22_23]]
* [[Eigenschaften einer zentrischen Streckung_WS_22_23]]
* [[Satz des Thales interaktiv_WS_22_23]]
* [[Mittelsenkrechten_WS_22_23]]
* [[Einführung in quadratische Funktionen_WS_22_23]]

Lösungen Serie 6 Einführung in die Geometrie SoSe 2020

2020-06-19T09:07:45Z

Estherstmpf: /* Lösung */

=Lösung Aufgabe 6.1=
==Aufgabe 6.1==

Bestimmen Sie die folgenden Mengen:

# <math>M_1= \overline{AB} \cap AB^+</math>.
# <math>M_2= \overline{AB} \cup AB^+</math>.
# <math>M_3= \overline{AB} \cap BA^+</math>.
# <math>M_4= \overline{AB} \cup AB^-</math>.
# <math>M_5= \overline{AB} \cap AB^-</math>.
# <math>M_6= \overline{AB} \cup AB^-</math>.
==Lösung==
<math>M_1= \overline{AB}</math> 
<math>M_2= AB^+</math> 
<math>M_3= \overline {AB}</math> 
<math>M_4= BA^+</math> 
<math>M_5=</math>{A} 
<math>M_6= BA^+</math>

===Lösung von Ferrus===
[[Bild:20200615 170032 (2).jpg|600 px]]
===Bemerkungen M.G.===
[[Bild:KorrekturAufgabe6 1.png|800 px]]

=Lösung Aufgabe 6.2=
==Aufgabe==
Definieren Sie den Begriff Halbebene <math>gA^-</math>.
==Lösung==
Es sei g eine Gerade, die mit der Ebene E inzidiert. 
Die Menge aller Punkte P der Ebene E, für die gilt, dass <math>\overline {AP}</math> einen Schnittpunkt mit g hat, heißt Halbebene <math>gA^-</math>.

=Lösung Aufgabe 6.3=
==Aufgabe==
Definition: (Dreieck)
::Es gelte <math>\operatorname{nkoll}(A,B,C)</math>. 
::<math>\overline{ABC}:=\overline{AB} \cup \overline{BC} \cup \overline{AC}</math>. 

[[Datei: [[Datei:2C23311B-FA98-4551-ACF9-24C66D7729A2.jpeg|thumb|Aufgabe 6.3]]]]
Ergänzen Sie die Definition um den Begriff des Inneren des Dreiecks <math>\overline{ABC}</math>. 

<math>I(\overline{ABC}):= \ldots</math>.

==Lösung==
<math>I(\overline{ABC}):= {P| zw(B,K,C) \cap zw(A,P,K)}</math> 
Bemerkung: Mit der Zwischenrelation können Sie nur Strecken beschreiben. Daswird für das Innere vom Dreieck schwer ... --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 23:25, 17. Jun. 2020 (CEST)

=Lösung Aufgabe 6.4=
==Aufgabe==
Beweisen Sie den folgenden Satz: 

Satz 6.1. (Schnitt konvexer Mengen) 

::Die Schnittmenge zweier konvexer Mengen ist konvex.

==Lösung==
Es seien <math>M_1</math> und <math>M_2</math> zwei konvexe Punktmengen ...
[[Datei: [[Datei:1E08F6E2-3875-400A-9488-33A01CDF6466.jpeg|thumb|Aufgabe 6.4]]]]

=Lösung Aufgabe 6.5=

==Aufgabe==
Beweisen Sie, dass jede Strecke <math>\overline{AB}</math> eine konvexe Menge ist.
==Lösung==
===Lösung 0===
Es seien <math>C</math> und <math>D</math> zwei Punkte der Strecke <math>\overline{AB}</math>. 
Wir haben zu zeigen, dass jeder Punkt von ....
===eingestellte Lösung 1 ===
[[Bild:Serie06Aufgabe6.5.jpg|600px]]
====Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 17:27, 16. Jun. 2020 (CEST)=====
Schritte 4 und 5 sind unnötig. Der Rest ist nicht zwingend. 
Sie müssen zeigen, dass ein beliebiger Punkt <math>P</math> von <math>\overline{CD}</math> zu <math>\overline{AB}</math> gehört. 
Für die Endpunkte <math>C,D</math> ist das trivial. 
Sei <math>P \in \overline{CD}, A, B \not \equiv P </math>. 
Wir müssen zeigen, dass <math>\operatorname{zw(A,P,B}</math> 
Das haben wir gezeigt, wenn wir 
<math>\begin{matrix}
(*) & |AP|+|PB| & = & |AB|\\
\end{matrix}
</math> 
gezeigt haben. 

Wir kümmern uns zunächst um die Lage der Punkte <math>C</math> und <math>D</math>. 
<math>A, C</math> und <math>D</math> sind drei kollineare paarweise verschiedene Punkte von denen demnach genau einer zwischen den anderen beiden liegt. Sei dieses o.B.d.A. der Punkt <math>C</math>. Über die Punkte und ihre Abstände haben wir nun die folgenden gesicherten Kenntnisse: 

<math>\begin{matrix}
(I) & |AC|+|CB|& = & |AB| & ~ wegen ~ C \in \overline{AB} \\
(II) & |AD|+|DB|& = &|AB| & ~ wegen ~ D \in \overline{AB} \\
(III) & |AC|+|CD|&=& |AD| & ~wegen~ \operatorname{zw}(A,C,D)\\
\end{matrix}
</math> 
Der Punkt <math>D</math> muss nun zwischen <math>C</math> und <math>B</math> liegen. 
Wäre dem nicht so, müsste <math>C</math> zwischen <math>D</math> und <math>C</math> liegen. 
'''Hier müssen Sie jetzt einen Widerspruch finden ...''' 
Wegen <math>\operatorname{zw} (C,D,B)</math> gilt: 

<math>\begin{matrix}
(IV) & |CD|+|DB|& = & |CB| \\
\end{matrix}
</math> 
Jetzt konzentrieren wir uns noch mal auf <math>P</math>: 

<math>\begin{matrix}
(V) & |CP|+|PD|& = & |AB| & ~ wegen ~ P \in \overline{CD} \\
\end{matrix}
</math> 
'''Jetzt versuchen Sie, aus (I) bis (V) (*) zu "basteln". '''

=Lösung Aufgabe 6.6=

==Aufgabe==
Gegeben seien in der Ebene <math>\varepsilon</math> die offene Halbebene <math>gA^+</math>, die Trägergerade <math>g</math> und die offene Halbebene <math>gA^-</math>. Sie dürfen davon ausgehen, dass Folgendes bewiesen wurde:

# <math>gA^+ \cap gA^- = \emptyset \land gA^+ \cap g = \emptyset \land gA^- \cap g = \emptyset</math>,
# <math>gA^+ \cup g \cup gA^- = \varepsilon</math>.

Satz 6.2 (Halbebenen sind konvex) 

:: Halbebenen sind konvexe Punktmengen.

Beweisen Sie Satz 6.2. 

(Das Axiom von Pasch ist hilfreich)
==Lösung 0==
Wir beginnen mit der Halbebene <math>gA^+</math>. 
Es seien nun <math>P</math> und <math>Q</math> zwei Punkte aus <math>gA^+</math>. 
Wir haben zu zeigen, dass .....
==1. Lösung, die eingestellt wurde==
[[Bild:Serie06Aufgabe6.6.jpg|600px]]

=Lösung Aufgabe 6.7=
==Aufgabe==
Beweisen Sie, dass das Innere eines Dreiecks konvex ist.
==Lösung==
Nach Definition ist das Innere eines Dreiecks die Schnittmenge der drei Halbebenen <math>AB,C^+</math> , <math>BC,A^+</math> und <math>AC,B^+</math>.
Weil Halbebenen nach Satz 6.2 konvex sind 
und nach Satz 6.1 die Schnittmenge zweier konvexer Mengen auch konvex ist, 
ist das Innere eines jeden Dreiecks konvex.

=Lösung Aufgabe 6.8=
==Aufgabe==
Definieren Sie die folgenden Begriffe:
[[Datei: [[Datei:3C702BBE-31B7-46A7-A752-01C9825842C8.jpeg|thumb|Aufgabe 6.8]]]]

# Kreis <math>k</math> mit Mittelpunkt <math>M</math> und Radius <math>r</math>.
# Halbkreis mit den Endpunkten <math>A</math> und <math>B</math>.
# Viertelkreis mit den Endpunkten <math>A</math> und <math>B</math>.
[[Datei: [[Datei:FBDBD0CC-73EB-4F10-9B5A-642C79E09C94.jpeg|thumb|Aufgabe 6.8]]]]
(Halbebenen und Schnittmengen sind hilfreich)

==Lösung==

=Lösung Aufgabe 6.9=
==Aufgabe==
Definieren Sie den Begriff Inneres eines Kreises und beweisen Sie, dass das Innere eines Kreises konvex ist.
[[Datei: [[Datei:9C55D10F-26CB-4D67-AE72-F3E3AA4A97D5.jpeg|thumb|Aufgabe6.9]]]]

==Lösung==
===Definition===
Es sei <math>k</math> ein Kreis mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math>. 
Das Innere <math>I(k)</math> des Kreises <math>k</math> wird wie folgt definiert: 

<math>I(k):=\{P|~|PM| \ldots \}</math>.
===Beweis des Satzes===
Satz: <math>A,B \in I(k) \Rightarrow \overline{AB} \subseteq I(k)</math>. 
Für jeden Punkt <math>C\in \overline{AB}</math> ist also zu zeigen, dass <math>\ldots</math>. 
Wir nehmen an, dass .... 
Wegen <math>C\in \overline{AB} </math> gilt die folgende Gleichung ... . 
...

=Lösung Aufgabe 6.10=
==Aufgabe==
Ebene Geometrie:\\
Definition: (Ellipse) 

::Es seien <math>F_1</math> und <math>F_2</math> zwei Punkte und <math>c</math> eine beliebige aber feste positive reelle Zahl. Die folgende Punktmenge <math>E</math> heißt Ellipse mit den Brennpunkten <math>F_1</math> und <math>F_2</math>: <math>E:=\{P|~|PF_1|+|PF_2|=c\}</math>

Lassen Sie mit Geogebra einen Kreis <math>k</math> mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math> zeichnen. Konstruieren Sie dann einen Punkt <math>F</math> im Inneren von <math>k</math>. Legen Sie nun einen Punkt <math>L</math> auf <math>k</math> fest. Lassen Sie die Mittelsenkrechte <math>m</math> von <math>\overline{PF}</math> zeichnen und bestimmen sie den Schnittpunkt <math>P</math> von <math>m</math> mit <math>\overline{ML}</math>.
Beweisen Sie, dass jeder Schnittpunkt <math>P</math> ein Punkt einer Ellipse mit den Brennpunkten <math>M</math> und <math>F</math> und <math>c=r</math> ist.
==Lösung==

[[Kategorie: Einführung S]]

Datei:1E08F6E2-3875-400A-9488-33A01CDF6466.jpeg

2020-06-19T09:06:50Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 6.4}}
|date=2020-06-19 11:05:43
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen Serie 6 Einführung in die Geometrie SoSe 2020

2020-06-18T14:49:57Z

Estherstmpf: /* Aufgabe */

=Lösung Aufgabe 6.1=
==Aufgabe 6.1==

Bestimmen Sie die folgenden Mengen:

# <math>M_1= \overline{AB} \cap AB^+</math>.
# <math>M_2= \overline{AB} \cup AB^+</math>.
# <math>M_3= \overline{AB} \cap BA^+</math>.
# <math>M_4= \overline{AB} \cup AB^-</math>.
# <math>M_5= \overline{AB} \cap AB^-</math>.
# <math>M_6= \overline{AB} \cup AB^-</math>.
==Lösung==
<math>M_1= \overline{AB}</math> 
<math>M_2= AB^+</math> 
<math>M_3= \overline {AB}</math> 
<math>M_4= BA^+</math> 
<math>M_5=</math>{A} 
<math>M_6= BA^+</math>

===Lösung von Ferrus===
[[Bild:20200615 170032 (2).jpg|600 px]]
===Bemerkungen M.G.===
[[Bild:KorrekturAufgabe6 1.png|800 px]]

=Lösung Aufgabe 6.2=
==Aufgabe==
Definieren Sie den Begriff Halbebene <math>gA^-</math>.
==Lösung==
Es sei g eine Gerade, die mit der Ebene E inzidiert. 
Die Menge aller Punkte P der Ebene E, für die gilt, dass <math>\overline {AP}</math> einen Schnittpunkt mit g hat, heißt Halbebene <math>gA^-</math>.

=Lösung Aufgabe 6.3=
==Aufgabe==
Definition: (Dreieck)
::Es gelte <math>\operatorname{nkoll}(A,B,C)</math>. 
::<math>\overline{ABC}:=\overline{AB} \cup \overline{BC} \cup \overline{AC}</math>. 

[[Datei: [[Datei:2C23311B-FA98-4551-ACF9-24C66D7729A2.jpeg|thumb|Aufgabe 6.3]]]]
Ergänzen Sie die Definition um den Begriff des Inneren des Dreiecks <math>\overline{ABC}</math>. 

<math>I(\overline{ABC}):= \ldots</math>.

==Lösung==
<math>I(\overline{ABC}):= {P| zw(B,K,C) \cap zw(A,P,K)}</math> 
Bemerkung: Mit der Zwischenrelation können Sie nur Strecken beschreiben. Daswird für das Innere vom Dreieck schwer ... --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 23:25, 17. Jun. 2020 (CEST)

=Lösung Aufgabe 6.4=
==Aufgabe==
Beweisen Sie den folgenden Satz: 

Satz 6.1. (Schnitt konvexer Mengen) 

::Die Schnittmenge zweier konvexer Mengen ist konvex.

==Lösung==
Es seien <math>M_1</math> und <math>M_2</math> zwei konvexe Punktmengen ...

=Lösung Aufgabe 6.5=

==Aufgabe==
Beweisen Sie, dass jede Strecke <math>\overline{AB}</math> eine konvexe Menge ist.
==Lösung==
===Lösung 0===
Es seien <math>C</math> und <math>D</math> zwei Punkte der Strecke <math>\overline{AB}</math>. 
Wir haben zu zeigen, dass jeder Punkt von ....
===eingestellte Lösung 1 ===
[[Bild:Serie06Aufgabe6.5.jpg|600px]]
====Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 17:27, 16. Jun. 2020 (CEST)=====
Schritte 4 und 5 sind unnötig. Der Rest ist nicht zwingend. 
Sie müssen zeigen, dass ein beliebiger Punkt <math>P</math> von <math>\overline{CD}</math> zu <math>\overline{AB}</math> gehört. 
Für die Endpunkte <math>C,D</math> ist das trivial. 
Sei <math>P \in \overline{CD}, A, B \not \equiv P </math>. 
Wir müssen zeigen, dass <math>\operatorname{zw(A,P,B}</math> 
Das haben wir gezeigt, wenn wir 
<math>\begin{matrix}
(*) & |AP|+|PB| & = & |AB|\\
\end{matrix}
</math> 
gezeigt haben. 

Wir kümmern uns zunächst um die Lage der Punkte <math>C</math> und <math>D</math>. 
<math>A, C</math> und <math>D</math> sind drei kollineare paarweise verschiedene Punkte von denen demnach genau einer zwischen den anderen beiden liegt. Sei dieses o.B.d.A. der Punkt <math>C</math>. Über die Punkte und ihre Abstände haben wir nun die folgenden gesicherten Kenntnisse: 

<math>\begin{matrix}
(I) & |AC|+|CB|& = & |AB| & ~ wegen ~ C \in \overline{AB} \\
(II) & |AD|+|DB|& = &|AB| & ~ wegen ~ D \in \overline{AB} \\
(III) & |AC|+|CD|&=& |AD| & ~wegen~ \operatorname{zw}(A,C,D)\\
\end{matrix}
</math> 
Der Punkt <math>D</math> muss nun zwischen <math>C</math> und <math>B</math> liegen. 
Wäre dem nicht so, müsste <math>C</math> zwischen <math>D</math> und <math>C</math> liegen. 
'''Hier müssen Sie jetzt einen Widerspruch finden ...''' 
Wegen <math>\operatorname{zw} (C,D,B)</math> gilt: 

<math>\begin{matrix}
(IV) & |CD|+|DB|& = & |CB| \\
\end{matrix}
</math> 
Jetzt konzentrieren wir uns noch mal auf <math>P</math>: 

<math>\begin{matrix}
(V) & |CP|+|PD|& = & |AB| & ~ wegen ~ P \in \overline{CD} \\
\end{matrix}
</math> 
'''Jetzt versuchen Sie, aus (I) bis (V) (*) zu "basteln". '''

=Lösung Aufgabe 6.6=

==Aufgabe==
Gegeben seien in der Ebene <math>\varepsilon</math> die offene Halbebene <math>gA^+</math>, die Trägergerade <math>g</math> und die offene Halbebene <math>gA^-</math>. Sie dürfen davon ausgehen, dass Folgendes bewiesen wurde:

# <math>gA^+ \cap gA^- = \emptyset \land gA^+ \cap g = \emptyset \land gA^- \cap g = \emptyset</math>,
# <math>gA^+ \cup g \cup gA^- = \varepsilon</math>.

Satz 6.2 (Halbebenen sind konvex) 

:: Halbebenen sind konvexe Punktmengen.

Beweisen Sie Satz 6.2. 

(Das Axiom von Pasch ist hilfreich)
==Lösung 0==
Wir beginnen mit der Halbebene <math>gA^+</math>. 
Es seien nun <math>P</math> und <math>Q</math> zwei Punkte aus <math>gA^+</math>. 
Wir haben zu zeigen, dass .....
==1. Lösung, die eingestellt wurde==
[[Bild:Serie06Aufgabe6.6.jpg|600px]]

=Lösung Aufgabe 6.7=
==Aufgabe==
Beweisen Sie, dass das Innere eines Dreiecks konvex ist.
==Lösung==
Nach Definition ist das Innere eines Dreiecks die Schnittmenge der drei Halbebenen <math>AB,C^+</math> , <math>BC,A^+</math> und <math>AC,B^+</math>.
Weil Halbebenen nach Satz 6.2 konvex sind 
und nach Satz 6.1 die Schnittmenge zweier konvexer Mengen auch konvex ist, 
ist das Innere eines jeden Dreiecks konvex.

=Lösung Aufgabe 6.8=
==Aufgabe==
Definieren Sie die folgenden Begriffe:
[[Datei: [[Datei:3C702BBE-31B7-46A7-A752-01C9825842C8.jpeg|thumb|Aufgabe 6.8]]]]

# Kreis <math>k</math> mit Mittelpunkt <math>M</math> und Radius <math>r</math>.
# Halbkreis mit den Endpunkten <math>A</math> und <math>B</math>.
# Viertelkreis mit den Endpunkten <math>A</math> und <math>B</math>.
[[Datei: [[Datei:FBDBD0CC-73EB-4F10-9B5A-642C79E09C94.jpeg|thumb|Aufgabe 6.8]]]]
(Halbebenen und Schnittmengen sind hilfreich)

==Lösung==

=Lösung Aufgabe 6.9=
==Aufgabe==
Definieren Sie den Begriff Inneres eines Kreises und beweisen Sie, dass das Innere eines Kreises konvex ist.
[[Datei: [[Datei:9C55D10F-26CB-4D67-AE72-F3E3AA4A97D5.jpeg|thumb|Aufgabe6.9]]]]

==Lösung==
===Definition===
Es sei <math>k</math> ein Kreis mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math>. 
Das Innere <math>I(k)</math> des Kreises <math>k</math> wird wie folgt definiert: 

<math>I(k):=\{P|~|PM| \ldots \}</math>.
===Beweis des Satzes===
Satz: <math>A,B \in I(k) \Rightarrow \overline{AB} \subseteq I(k)</math>. 
Für jeden Punkt <math>C\in \overline{AB}</math> ist also zu zeigen, dass <math>\ldots</math>. 
Wir nehmen an, dass .... 
Wegen <math>C\in \overline{AB} </math> gilt die folgende Gleichung ... . 
...

=Lösung Aufgabe 6.10=
==Aufgabe==
Ebene Geometrie:\\
Definition: (Ellipse) 

::Es seien <math>F_1</math> und <math>F_2</math> zwei Punkte und <math>c</math> eine beliebige aber feste positive reelle Zahl. Die folgende Punktmenge <math>E</math> heißt Ellipse mit den Brennpunkten <math>F_1</math> und <math>F_2</math>: <math>E:=\{P|~|PF_1|+|PF_2|=c\}</math>

Lassen Sie mit Geogebra einen Kreis <math>k</math> mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math> zeichnen. Konstruieren Sie dann einen Punkt <math>F</math> im Inneren von <math>k</math>. Legen Sie nun einen Punkt <math>L</math> auf <math>k</math> fest. Lassen Sie die Mittelsenkrechte <math>m</math> von <math>\overline{PF}</math> zeichnen und bestimmen sie den Schnittpunkt <math>P</math> von <math>m</math> mit <math>\overline{ML}</math>.
Beweisen Sie, dass jeder Schnittpunkt <math>P</math> ein Punkt einer Ellipse mit den Brennpunkten <math>M</math> und <math>F</math> und <math>c=r</math> ist.
==Lösung==

[[Kategorie: Einführung S]]

Datei:FBDBD0CC-73EB-4F10-9B5A-642C79E09C94.jpeg

2020-06-18T14:49:06Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 6.8}}
|date=2020-06-18 16:48:46
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen Serie 6 Einführung in die Geometrie SoSe 2020

2020-06-18T14:47:41Z

Estherstmpf: /* Aufgabe */

=Lösung Aufgabe 6.1=
==Aufgabe 6.1==

Bestimmen Sie die folgenden Mengen:

# <math>M_1= \overline{AB} \cap AB^+</math>.
# <math>M_2= \overline{AB} \cup AB^+</math>.
# <math>M_3= \overline{AB} \cap BA^+</math>.
# <math>M_4= \overline{AB} \cup AB^-</math>.
# <math>M_5= \overline{AB} \cap AB^-</math>.
# <math>M_6= \overline{AB} \cup AB^-</math>.
==Lösung==
<math>M_1= \overline{AB}</math> 
<math>M_2= AB^+</math> 
<math>M_3= \overline {AB}</math> 
<math>M_4= BA^+</math> 
<math>M_5=</math>{A} 
<math>M_6= BA^+</math>

===Lösung von Ferrus===
[[Bild:20200615 170032 (2).jpg|600 px]]
===Bemerkungen M.G.===
[[Bild:KorrekturAufgabe6 1.png|800 px]]

=Lösung Aufgabe 6.2=
==Aufgabe==
Definieren Sie den Begriff Halbebene <math>gA^-</math>.
==Lösung==
Es sei g eine Gerade, die mit der Ebene E inzidiert. 
Die Menge aller Punkte P der Ebene E, für die gilt, dass <math>\overline {AP}</math> einen Schnittpunkt mit g hat, heißt Halbebene <math>gA^-</math>.

=Lösung Aufgabe 6.3=
==Aufgabe==
Definition: (Dreieck)
::Es gelte <math>\operatorname{nkoll}(A,B,C)</math>. 
::<math>\overline{ABC}:=\overline{AB} \cup \overline{BC} \cup \overline{AC}</math>. 

[[Datei: [[Datei:2C23311B-FA98-4551-ACF9-24C66D7729A2.jpeg|thumb|Aufgabe 6.3]]]]
Ergänzen Sie die Definition um den Begriff des Inneren des Dreiecks <math>\overline{ABC}</math>. 

<math>I(\overline{ABC}):= \ldots</math>.

==Lösung==
<math>I(\overline{ABC}):= {P| zw(B,K,C) \cap zw(A,P,K)}</math> 
Bemerkung: Mit der Zwischenrelation können Sie nur Strecken beschreiben. Daswird für das Innere vom Dreieck schwer ... --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 23:25, 17. Jun. 2020 (CEST)

=Lösung Aufgabe 6.4=
==Aufgabe==
Beweisen Sie den folgenden Satz: 

Satz 6.1. (Schnitt konvexer Mengen) 

::Die Schnittmenge zweier konvexer Mengen ist konvex.

==Lösung==
Es seien <math>M_1</math> und <math>M_2</math> zwei konvexe Punktmengen ...

=Lösung Aufgabe 6.5=

==Aufgabe==
Beweisen Sie, dass jede Strecke <math>\overline{AB}</math> eine konvexe Menge ist.
==Lösung==
===Lösung 0===
Es seien <math>C</math> und <math>D</math> zwei Punkte der Strecke <math>\overline{AB}</math>. 
Wir haben zu zeigen, dass jeder Punkt von ....
===eingestellte Lösung 1 ===
[[Bild:Serie06Aufgabe6.5.jpg|600px]]
====Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 17:27, 16. Jun. 2020 (CEST)=====
Schritte 4 und 5 sind unnötig. Der Rest ist nicht zwingend. 
Sie müssen zeigen, dass ein beliebiger Punkt <math>P</math> von <math>\overline{CD}</math> zu <math>\overline{AB}</math> gehört. 
Für die Endpunkte <math>C,D</math> ist das trivial. 
Sei <math>P \in \overline{CD}, A, B \not \equiv P </math>. 
Wir müssen zeigen, dass <math>\operatorname{zw(A,P,B}</math> 
Das haben wir gezeigt, wenn wir 
<math>\begin{matrix}
(*) & |AP|+|PB| & = & |AB|\\
\end{matrix}
</math> 
gezeigt haben. 

Wir kümmern uns zunächst um die Lage der Punkte <math>C</math> und <math>D</math>. 
<math>A, C</math> und <math>D</math> sind drei kollineare paarweise verschiedene Punkte von denen demnach genau einer zwischen den anderen beiden liegt. Sei dieses o.B.d.A. der Punkt <math>C</math>. Über die Punkte und ihre Abstände haben wir nun die folgenden gesicherten Kenntnisse: 

<math>\begin{matrix}
(I) & |AC|+|CB|& = & |AB| & ~ wegen ~ C \in \overline{AB} \\
(II) & |AD|+|DB|& = &|AB| & ~ wegen ~ D \in \overline{AB} \\
(III) & |AC|+|CD|&=& |AD| & ~wegen~ \operatorname{zw}(A,C,D)\\
\end{matrix}
</math> 
Der Punkt <math>D</math> muss nun zwischen <math>C</math> und <math>B</math> liegen. 
Wäre dem nicht so, müsste <math>C</math> zwischen <math>D</math> und <math>C</math> liegen. 
'''Hier müssen Sie jetzt einen Widerspruch finden ...''' 
Wegen <math>\operatorname{zw} (C,D,B)</math> gilt: 

<math>\begin{matrix}
(IV) & |CD|+|DB|& = & |CB| \\
\end{matrix}
</math> 
Jetzt konzentrieren wir uns noch mal auf <math>P</math>: 

<math>\begin{matrix}
(V) & |CP|+|PD|& = & |AB| & ~ wegen ~ P \in \overline{CD} \\
\end{matrix}
</math> 
'''Jetzt versuchen Sie, aus (I) bis (V) (*) zu "basteln". '''

=Lösung Aufgabe 6.6=

==Aufgabe==
Gegeben seien in der Ebene <math>\varepsilon</math> die offene Halbebene <math>gA^+</math>, die Trägergerade <math>g</math> und die offene Halbebene <math>gA^-</math>. Sie dürfen davon ausgehen, dass Folgendes bewiesen wurde:

# <math>gA^+ \cap gA^- = \emptyset \land gA^+ \cap g = \emptyset \land gA^- \cap g = \emptyset</math>,
# <math>gA^+ \cup g \cup gA^- = \varepsilon</math>.

Satz 6.2 (Halbebenen sind konvex) 

:: Halbebenen sind konvexe Punktmengen.

Beweisen Sie Satz 6.2. 

(Das Axiom von Pasch ist hilfreich)
==Lösung 0==
Wir beginnen mit der Halbebene <math>gA^+</math>. 
Es seien nun <math>P</math> und <math>Q</math> zwei Punkte aus <math>gA^+</math>. 
Wir haben zu zeigen, dass .....
==1. Lösung, die eingestellt wurde==
[[Bild:Serie06Aufgabe6.6.jpg|600px]]

=Lösung Aufgabe 6.7=
==Aufgabe==
Beweisen Sie, dass das Innere eines Dreiecks konvex ist.
==Lösung==
Nach Definition ist das Innere eines Dreiecks die Schnittmenge der drei Halbebenen <math>AB,C^+</math> , <math>BC,A^+</math> und <math>AC,B^+</math>.
Weil Halbebenen nach Satz 6.2 konvex sind 
und nach Satz 6.1 die Schnittmenge zweier konvexer Mengen auch konvex ist, 
ist das Innere eines jeden Dreiecks konvex.

=Lösung Aufgabe 6.8=
==Aufgabe==
Definieren Sie die folgenden Begriffe:
[[Datei: [[Datei:3C702BBE-31B7-46A7-A752-01C9825842C8.jpeg|thumb|Aufgabe 6.8]]]]

# Kreis <math>k</math> mit Mittelpunkt <math>M</math> und Radius <math>r</math>.
# Halbkreis mit den Endpunkten <math>A</math> und <math>B</math>.
# Viertelkreis mit den Endpunkten <math>A</math> und <math>B</math>.

(Halbebenen und Schnittmengen sind hilfreich)

==Lösung==

=Lösung Aufgabe 6.9=
==Aufgabe==
Definieren Sie den Begriff Inneres eines Kreises und beweisen Sie, dass das Innere eines Kreises konvex ist.
[[Datei: [[Datei:9C55D10F-26CB-4D67-AE72-F3E3AA4A97D5.jpeg|thumb|Aufgabe6.9]]]]

==Lösung==
===Definition===
Es sei <math>k</math> ein Kreis mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math>. 
Das Innere <math>I(k)</math> des Kreises <math>k</math> wird wie folgt definiert: 

<math>I(k):=\{P|~|PM| \ldots \}</math>.
===Beweis des Satzes===
Satz: <math>A,B \in I(k) \Rightarrow \overline{AB} \subseteq I(k)</math>. 
Für jeden Punkt <math>C\in \overline{AB}</math> ist also zu zeigen, dass <math>\ldots</math>. 
Wir nehmen an, dass .... 
Wegen <math>C\in \overline{AB} </math> gilt die folgende Gleichung ... . 
...

=Lösung Aufgabe 6.10=
==Aufgabe==
Ebene Geometrie:\\
Definition: (Ellipse) 

::Es seien <math>F_1</math> und <math>F_2</math> zwei Punkte und <math>c</math> eine beliebige aber feste positive reelle Zahl. Die folgende Punktmenge <math>E</math> heißt Ellipse mit den Brennpunkten <math>F_1</math> und <math>F_2</math>: <math>E:=\{P|~|PF_1|+|PF_2|=c\}</math>

Lassen Sie mit Geogebra einen Kreis <math>k</math> mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math> zeichnen. Konstruieren Sie dann einen Punkt <math>F</math> im Inneren von <math>k</math>. Legen Sie nun einen Punkt <math>L</math> auf <math>k</math> fest. Lassen Sie die Mittelsenkrechte <math>m</math> von <math>\overline{PF}</math> zeichnen und bestimmen sie den Schnittpunkt <math>P</math> von <math>m</math> mit <math>\overline{ML}</math>.
Beweisen Sie, dass jeder Schnittpunkt <math>P</math> ein Punkt einer Ellipse mit den Brennpunkten <math>M</math> und <math>F</math> und <math>c=r</math> ist.
==Lösung==

[[Kategorie: Einführung S]]

Datei:3C702BBE-31B7-46A7-A752-01C9825842C8.jpeg

2020-06-18T14:46:44Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 6.8}}
|date=2020-06-18 16:45:31
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen Serie 6 Einführung in die Geometrie SoSe 2020

2020-06-18T14:44:51Z

Estherstmpf: /* Aufgabe */

=Lösung Aufgabe 6.1=
==Aufgabe 6.1==

Bestimmen Sie die folgenden Mengen:

# <math>M_1= \overline{AB} \cap AB^+</math>.
# <math>M_2= \overline{AB} \cup AB^+</math>.
# <math>M_3= \overline{AB} \cap BA^+</math>.
# <math>M_4= \overline{AB} \cup AB^-</math>.
# <math>M_5= \overline{AB} \cap AB^-</math>.
# <math>M_6= \overline{AB} \cup AB^-</math>.
==Lösung==
<math>M_1= \overline{AB}</math> 
<math>M_2= AB^+</math> 
<math>M_3= \overline {AB}</math> 
<math>M_4= BA^+</math> 
<math>M_5=</math>{A} 
<math>M_6= BA^+</math>

===Lösung von Ferrus===
[[Bild:20200615 170032 (2).jpg|600 px]]
===Bemerkungen M.G.===
[[Bild:KorrekturAufgabe6 1.png|800 px]]

=Lösung Aufgabe 6.2=
==Aufgabe==
Definieren Sie den Begriff Halbebene <math>gA^-</math>.
==Lösung==
Es sei g eine Gerade, die mit der Ebene E inzidiert. 
Die Menge aller Punkte P der Ebene E, für die gilt, dass <math>\overline {AP}</math> einen Schnittpunkt mit g hat, heißt Halbebene <math>gA^-</math>.

=Lösung Aufgabe 6.3=
==Aufgabe==
Definition: (Dreieck)
::Es gelte <math>\operatorname{nkoll}(A,B,C)</math>. 
::<math>\overline{ABC}:=\overline{AB} \cup \overline{BC} \cup \overline{AC}</math>. 

[[Datei: [[Datei:2C23311B-FA98-4551-ACF9-24C66D7729A2.jpeg|thumb|Aufgabe 6.3]]]]
Ergänzen Sie die Definition um den Begriff des Inneren des Dreiecks <math>\overline{ABC}</math>. 

<math>I(\overline{ABC}):= \ldots</math>.

==Lösung==
<math>I(\overline{ABC}):= {P| zw(B,K,C) \cap zw(A,P,K)}</math> 
Bemerkung: Mit der Zwischenrelation können Sie nur Strecken beschreiben. Daswird für das Innere vom Dreieck schwer ... --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 23:25, 17. Jun. 2020 (CEST)

=Lösung Aufgabe 6.4=
==Aufgabe==
Beweisen Sie den folgenden Satz: 

Satz 6.1. (Schnitt konvexer Mengen) 

::Die Schnittmenge zweier konvexer Mengen ist konvex.

==Lösung==
Es seien <math>M_1</math> und <math>M_2</math> zwei konvexe Punktmengen ...

=Lösung Aufgabe 6.5=

==Aufgabe==
Beweisen Sie, dass jede Strecke <math>\overline{AB}</math> eine konvexe Menge ist.
==Lösung==
===Lösung 0===
Es seien <math>C</math> und <math>D</math> zwei Punkte der Strecke <math>\overline{AB}</math>. 
Wir haben zu zeigen, dass jeder Punkt von ....
===eingestellte Lösung 1 ===
[[Bild:Serie06Aufgabe6.5.jpg|600px]]
====Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 17:27, 16. Jun. 2020 (CEST)=====
Schritte 4 und 5 sind unnötig. Der Rest ist nicht zwingend. 
Sie müssen zeigen, dass ein beliebiger Punkt <math>P</math> von <math>\overline{CD}</math> zu <math>\overline{AB}</math> gehört. 
Für die Endpunkte <math>C,D</math> ist das trivial. 
Sei <math>P \in \overline{CD}, A, B \not \equiv P </math>. 
Wir müssen zeigen, dass <math>\operatorname{zw(A,P,B}</math> 
Das haben wir gezeigt, wenn wir 
<math>\begin{matrix}
(*) & |AP|+|PB| & = & |AB|\\
\end{matrix}
</math> 
gezeigt haben. 

Wir kümmern uns zunächst um die Lage der Punkte <math>C</math> und <math>D</math>. 
<math>A, C</math> und <math>D</math> sind drei kollineare paarweise verschiedene Punkte von denen demnach genau einer zwischen den anderen beiden liegt. Sei dieses o.B.d.A. der Punkt <math>C</math>. Über die Punkte und ihre Abstände haben wir nun die folgenden gesicherten Kenntnisse: 

<math>\begin{matrix}
(I) & |AC|+|CB|& = & |AB| & ~ wegen ~ C \in \overline{AB} \\
(II) & |AD|+|DB|& = &|AB| & ~ wegen ~ D \in \overline{AB} \\
(III) & |AC|+|CD|&=& |AD| & ~wegen~ \operatorname{zw}(A,C,D)\\
\end{matrix}
</math> 
Der Punkt <math>D</math> muss nun zwischen <math>C</math> und <math>B</math> liegen. 
Wäre dem nicht so, müsste <math>C</math> zwischen <math>D</math> und <math>C</math> liegen. 
'''Hier müssen Sie jetzt einen Widerspruch finden ...''' 
Wegen <math>\operatorname{zw} (C,D,B)</math> gilt: 

<math>\begin{matrix}
(IV) & |CD|+|DB|& = & |CB| \\
\end{matrix}
</math> 
Jetzt konzentrieren wir uns noch mal auf <math>P</math>: 

<math>\begin{matrix}
(V) & |CP|+|PD|& = & |AB| & ~ wegen ~ P \in \overline{CD} \\
\end{matrix}
</math> 
'''Jetzt versuchen Sie, aus (I) bis (V) (*) zu "basteln". '''

=Lösung Aufgabe 6.6=

==Aufgabe==
Gegeben seien in der Ebene <math>\varepsilon</math> die offene Halbebene <math>gA^+</math>, die Trägergerade <math>g</math> und die offene Halbebene <math>gA^-</math>. Sie dürfen davon ausgehen, dass Folgendes bewiesen wurde:

# <math>gA^+ \cap gA^- = \emptyset \land gA^+ \cap g = \emptyset \land gA^- \cap g = \emptyset</math>,
# <math>gA^+ \cup g \cup gA^- = \varepsilon</math>.

Satz 6.2 (Halbebenen sind konvex) 

:: Halbebenen sind konvexe Punktmengen.

Beweisen Sie Satz 6.2. 

(Das Axiom von Pasch ist hilfreich)
==Lösung 0==
Wir beginnen mit der Halbebene <math>gA^+</math>. 
Es seien nun <math>P</math> und <math>Q</math> zwei Punkte aus <math>gA^+</math>. 
Wir haben zu zeigen, dass .....
==1. Lösung, die eingestellt wurde==
[[Bild:Serie06Aufgabe6.6.jpg|600px]]

=Lösung Aufgabe 6.7=
==Aufgabe==
Beweisen Sie, dass das Innere eines Dreiecks konvex ist.
==Lösung==
Nach Definition ist das Innere eines Dreiecks die Schnittmenge der drei Halbebenen <math>AB,C^+</math> , <math>BC,A^+</math> und <math>AC,B^+</math>.
Weil Halbebenen nach Satz 6.2 konvex sind 
und nach Satz 6.1 die Schnittmenge zweier konvexer Mengen auch konvex ist, 
ist das Innere eines jeden Dreiecks konvex.

=Lösung Aufgabe 6.8=
==Aufgabe==
Definieren Sie die folgenden Begriffe:

# Kreis <math>k</math> mit Mittelpunkt <math>M</math> und Radius <math>r</math>.
# Halbkreis mit den Endpunkten <math>A</math> und <math>B</math>.
# Viertelkreis mit den Endpunkten <math>A</math> und <math>B</math>.

(Halbebenen und Schnittmengen sind hilfreich)
==Lösung==

=Lösung Aufgabe 6.9=
==Aufgabe==
Definieren Sie den Begriff Inneres eines Kreises und beweisen Sie, dass das Innere eines Kreises konvex ist.
[[Datei: [[Datei:9C55D10F-26CB-4D67-AE72-F3E3AA4A97D5.jpeg|thumb|Aufgabe6.9]]]]

==Lösung==
===Definition===
Es sei <math>k</math> ein Kreis mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math>. 
Das Innere <math>I(k)</math> des Kreises <math>k</math> wird wie folgt definiert: 

<math>I(k):=\{P|~|PM| \ldots \}</math>.
===Beweis des Satzes===
Satz: <math>A,B \in I(k) \Rightarrow \overline{AB} \subseteq I(k)</math>. 
Für jeden Punkt <math>C\in \overline{AB}</math> ist also zu zeigen, dass <math>\ldots</math>. 
Wir nehmen an, dass .... 
Wegen <math>C\in \overline{AB} </math> gilt die folgende Gleichung ... . 
...

=Lösung Aufgabe 6.10=
==Aufgabe==
Ebene Geometrie:\\
Definition: (Ellipse) 

::Es seien <math>F_1</math> und <math>F_2</math> zwei Punkte und <math>c</math> eine beliebige aber feste positive reelle Zahl. Die folgende Punktmenge <math>E</math> heißt Ellipse mit den Brennpunkten <math>F_1</math> und <math>F_2</math>: <math>E:=\{P|~|PF_1|+|PF_2|=c\}</math>

Lassen Sie mit Geogebra einen Kreis <math>k</math> mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math> zeichnen. Konstruieren Sie dann einen Punkt <math>F</math> im Inneren von <math>k</math>. Legen Sie nun einen Punkt <math>L</math> auf <math>k</math> fest. Lassen Sie die Mittelsenkrechte <math>m</math> von <math>\overline{PF}</math> zeichnen und bestimmen sie den Schnittpunkt <math>P</math> von <math>m</math> mit <math>\overline{ML}</math>.
Beweisen Sie, dass jeder Schnittpunkt <math>P</math> ein Punkt einer Ellipse mit den Brennpunkten <math>M</math> und <math>F</math> und <math>c=r</math> ist.
==Lösung==

[[Kategorie: Einführung S]]

Datei:9C55D10F-26CB-4D67-AE72-F3E3AA4A97D5.jpeg

2020-06-18T14:43:27Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe6.9}}
|date=2020-06-18 16:43:09
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen Serie 6 Einführung in die Geometrie SoSe 2020

2020-06-18T14:42:33Z

Estherstmpf: /* Aufgabe */

=Lösung Aufgabe 6.1=
==Aufgabe 6.1==

Bestimmen Sie die folgenden Mengen:

# <math>M_1= \overline{AB} \cap AB^+</math>.
# <math>M_2= \overline{AB} \cup AB^+</math>.
# <math>M_3= \overline{AB} \cap BA^+</math>.
# <math>M_4= \overline{AB} \cup AB^-</math>.
# <math>M_5= \overline{AB} \cap AB^-</math>.
# <math>M_6= \overline{AB} \cup AB^-</math>.
==Lösung==
<math>M_1= \overline{AB}</math> 
<math>M_2= AB^+</math> 
<math>M_3= \overline {AB}</math> 
<math>M_4= BA^+</math> 
<math>M_5=</math>{A} 
<math>M_6= BA^+</math>

===Lösung von Ferrus===
[[Bild:20200615 170032 (2).jpg|600 px]]
===Bemerkungen M.G.===
[[Bild:KorrekturAufgabe6 1.png|800 px]]

=Lösung Aufgabe 6.2=
==Aufgabe==
Definieren Sie den Begriff Halbebene <math>gA^-</math>.
==Lösung==
Es sei g eine Gerade, die mit der Ebene E inzidiert. 
Die Menge aller Punkte P der Ebene E, für die gilt, dass <math>\overline {AP}</math> einen Schnittpunkt mit g hat, heißt Halbebene <math>gA^-</math>.

=Lösung Aufgabe 6.3=
==Aufgabe==
Definition: (Dreieck)
::Es gelte <math>\operatorname{nkoll}(A,B,C)</math>. 
::<math>\overline{ABC}:=\overline{AB} \cup \overline{BC} \cup \overline{AC}</math>. 

[[Datei: [[Datei:2C23311B-FA98-4551-ACF9-24C66D7729A2.jpeg|thumb|Aufgabe 6.3]]]]
Ergänzen Sie die Definition um den Begriff des Inneren des Dreiecks <math>\overline{ABC}</math>. 

<math>I(\overline{ABC}):= \ldots</math>.

==Lösung==
<math>I(\overline{ABC}):= {P| zw(B,K,C) \cap zw(A,P,K)}</math> 
Bemerkung: Mit der Zwischenrelation können Sie nur Strecken beschreiben. Daswird für das Innere vom Dreieck schwer ... --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 23:25, 17. Jun. 2020 (CEST)

=Lösung Aufgabe 6.4=
==Aufgabe==
Beweisen Sie den folgenden Satz: 

Satz 6.1. (Schnitt konvexer Mengen) 

::Die Schnittmenge zweier konvexer Mengen ist konvex.

==Lösung==
Es seien <math>M_1</math> und <math>M_2</math> zwei konvexe Punktmengen ...

=Lösung Aufgabe 6.5=

==Aufgabe==
Beweisen Sie, dass jede Strecke <math>\overline{AB}</math> eine konvexe Menge ist.
==Lösung==
===Lösung 0===
Es seien <math>C</math> und <math>D</math> zwei Punkte der Strecke <math>\overline{AB}</math>. 
Wir haben zu zeigen, dass jeder Punkt von ....
===eingestellte Lösung 1 ===
[[Bild:Serie06Aufgabe6.5.jpg|600px]]
====Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 17:27, 16. Jun. 2020 (CEST)=====
Schritte 4 und 5 sind unnötig. Der Rest ist nicht zwingend. 
Sie müssen zeigen, dass ein beliebiger Punkt <math>P</math> von <math>\overline{CD}</math> zu <math>\overline{AB}</math> gehört. 
Für die Endpunkte <math>C,D</math> ist das trivial. 
Sei <math>P \in \overline{CD}, A, B \not \equiv P </math>. 
Wir müssen zeigen, dass <math>\operatorname{zw(A,P,B}</math> 
Das haben wir gezeigt, wenn wir 
<math>\begin{matrix}
(*) & |AP|+|PB| & = & |AB|\\
\end{matrix}
</math> 
gezeigt haben. 

Wir kümmern uns zunächst um die Lage der Punkte <math>C</math> und <math>D</math>. 
<math>A, C</math> und <math>D</math> sind drei kollineare paarweise verschiedene Punkte von denen demnach genau einer zwischen den anderen beiden liegt. Sei dieses o.B.d.A. der Punkt <math>C</math>. Über die Punkte und ihre Abstände haben wir nun die folgenden gesicherten Kenntnisse: 

<math>\begin{matrix}
(I) & |AC|+|CB|& = & |AB| & ~ wegen ~ C \in \overline{AB} \\
(II) & |AD|+|DB|& = &|AB| & ~ wegen ~ D \in \overline{AB} \\
(III) & |AC|+|CD|&=& |AD| & ~wegen~ \operatorname{zw}(A,C,D)\\
\end{matrix}
</math> 
Der Punkt <math>D</math> muss nun zwischen <math>C</math> und <math>B</math> liegen. 
Wäre dem nicht so, müsste <math>C</math> zwischen <math>D</math> und <math>C</math> liegen. 
'''Hier müssen Sie jetzt einen Widerspruch finden ...''' 
Wegen <math>\operatorname{zw} (C,D,B)</math> gilt: 

<math>\begin{matrix}
(IV) & |CD|+|DB|& = & |CB| \\
\end{matrix}
</math> 
Jetzt konzentrieren wir uns noch mal auf <math>P</math>: 

<math>\begin{matrix}
(V) & |CP|+|PD|& = & |AB| & ~ wegen ~ P \in \overline{CD} \\
\end{matrix}
</math> 
'''Jetzt versuchen Sie, aus (I) bis (V) (*) zu "basteln". '''

=Lösung Aufgabe 6.6=

==Aufgabe==
Gegeben seien in der Ebene <math>\varepsilon</math> die offene Halbebene <math>gA^+</math>, die Trägergerade <math>g</math> und die offene Halbebene <math>gA^-</math>. Sie dürfen davon ausgehen, dass Folgendes bewiesen wurde:

# <math>gA^+ \cap gA^- = \emptyset \land gA^+ \cap g = \emptyset \land gA^- \cap g = \emptyset</math>,
# <math>gA^+ \cup g \cup gA^- = \varepsilon</math>.

Satz 6.2 (Halbebenen sind konvex) 

:: Halbebenen sind konvexe Punktmengen.

Beweisen Sie Satz 6.2. 

(Das Axiom von Pasch ist hilfreich)
==Lösung 0==
Wir beginnen mit der Halbebene <math>gA^+</math>. 
Es seien nun <math>P</math> und <math>Q</math> zwei Punkte aus <math>gA^+</math>. 
Wir haben zu zeigen, dass .....
==1. Lösung, die eingestellt wurde==
[[Bild:Serie06Aufgabe6.6.jpg|600px]]

=Lösung Aufgabe 6.7=
==Aufgabe==
Beweisen Sie, dass das Innere eines Dreiecks konvex ist.
==Lösung==
Nach Definition ist das Innere eines Dreiecks die Schnittmenge der drei Halbebenen <math>AB,C^+</math> , <math>BC,A^+</math> und <math>AC,B^+</math>.
Weil Halbebenen nach Satz 6.2 konvex sind 
und nach Satz 6.1 die Schnittmenge zweier konvexer Mengen auch konvex ist, 
ist das Innere eines jeden Dreiecks konvex.

=Lösung Aufgabe 6.8=
==Aufgabe==
Definieren Sie die folgenden Begriffe:

# Kreis <math>k</math> mit Mittelpunkt <math>M</math> und Radius <math>r</math>.
# Halbkreis mit den Endpunkten <math>A</math> und <math>B</math>.
# Viertelkreis mit den Endpunkten <math>A</math> und <math>B</math>.

(Halbebenen und Schnittmengen sind hilfreich)
==Lösung==

=Lösung Aufgabe 6.9=
==Aufgabe==
Definieren Sie den Begriff Inneres eines Kreises und beweisen Sie, dass das Innere eines Kreises konvex ist.
==Lösung==
===Definition===
Es sei <math>k</math> ein Kreis mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math>. 
Das Innere <math>I(k)</math> des Kreises <math>k</math> wird wie folgt definiert: 

<math>I(k):=\{P|~|PM| \ldots \}</math>.
===Beweis des Satzes===
Satz: <math>A,B \in I(k) \Rightarrow \overline{AB} \subseteq I(k)</math>. 
Für jeden Punkt <math>C\in \overline{AB}</math> ist also zu zeigen, dass <math>\ldots</math>. 
Wir nehmen an, dass .... 
Wegen <math>C\in \overline{AB} </math> gilt die folgende Gleichung ... . 
...

=Lösung Aufgabe 6.10=
==Aufgabe==
Ebene Geometrie:\\
Definition: (Ellipse) 

::Es seien <math>F_1</math> und <math>F_2</math> zwei Punkte und <math>c</math> eine beliebige aber feste positive reelle Zahl. Die folgende Punktmenge <math>E</math> heißt Ellipse mit den Brennpunkten <math>F_1</math> und <math>F_2</math>: <math>E:=\{P|~|PF_1|+|PF_2|=c\}</math>

Lassen Sie mit Geogebra einen Kreis <math>k</math> mit dem Mittelpunkt <math>M</math> und dem Radius <math>r</math> zeichnen. Konstruieren Sie dann einen Punkt <math>F</math> im Inneren von <math>k</math>. Legen Sie nun einen Punkt <math>L</math> auf <math>k</math> fest. Lassen Sie die Mittelsenkrechte <math>m</math> von <math>\overline{PF}</math> zeichnen und bestimmen sie den Schnittpunkt <math>P</math> von <math>m</math> mit <math>\overline{ML}</math>.
Beweisen Sie, dass jeder Schnittpunkt <math>P</math> ein Punkt einer Ellipse mit den Brennpunkten <math>M</math> und <math>F</math> und <math>c=r</math> ist.
==Lösung==

[[Kategorie: Einführung S]]

Datei:2C23311B-FA98-4551-ACF9-24C66D7729A2.jpeg

2020-06-18T14:41:33Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 6.3}}
|date=2020-06-18 16:41:01
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Axiom vom Lineal und Axiom von Pasch SoSe2020

2020-06-17T09:51:51Z

Estherstmpf: /* Analogiebetrachtungen */

=Whiteboard der Sitzung vom 12 Juni 2020=
[[Datei:WB Geometrieeinführung 12 Juni 2020.svg|Whiteboard Axiom vom Lineal und Axiom von Pasch 12 Juni 2020]]
=Streckenantragen und das Axiom vom Lineal=
<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFFFF; align:left;">
{|width=90%| style="background-color:#FFFFFF; padding:1em"
| valign="top" |

== Der Mittelpunkt einer Strecke==
Wir wissen nun, dass eine offene Strecke <math>\overline{AB}</math> die Menge aller Punkte ist, die zwischen <math>\ A</math> und <math>\ B</math> liegen. Vereinigt man diese Menge mit der Menge der beiden Endpunkte <math>\ A</math> und <math>\ B</math>, so hat man die gesamte Strecke <math>\overline{AB}</math>. Zu unseren grundlegenden Vorstellungen von Strecken gehört, dass jede Strecke <math>\overline{AB}</math> einen Mittelpunkt <math>\ M</math> hat. <math>\ M</math> wäre der Punkt auf <math>\overline{AB}</math>, der sowohl zu <math>\ A</math> als auch zu <math>\ B</math> denselben Abstand <math>\frac{| \overline{AB} |}{2}</math> hat.

<ggb_applet width="598" height="267" version="3.2" ggbBase64="UEsDBBQACAAIAFpkvzwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VhdbttGEH5uTrEggqJBY5vUn21UckA7LwbsWIDcoGhdBCtyJG1N7iq7S1tymwP0FL1bT9LZH1KUXTuUHQNtXkRydjg7M9/MN0v13yzyjFyBVEzwQRBthwEBnoiU8ekgKPRkay94c/CiPwUxhbGkZCJkTvUgaG+3AiMv2MGLb/pqJq4JzazKewbXg2BCMwUBUXMJNFUzAL0mp8WCZYzK5dn4N0i0Wi04I8d8XuAuWhYoS/L0hKnyccduOM+YfsuuWAqSZCIZBL0uuo5370FqltBsEHRCJ2kNgtatRRS1zepMSHYjuDbqK+MTlBCi2A3gm6GR9XdsoH0okoyljHITjPUDlQi5ZqmeDYLu/h6aBDadoa+tXtdZS4SQ6WipNORk8TNIgWnu9Eyil/4p6ponhX7hht3QLtWfrBm4GoHWCIsidAGrhE0lS8tEmftjdSiytFqeC8b1EZ3rQlpI21400ktjH7eSxt+YTzPwshZmfAbJ5VgsRjYHUduZPl/O7SvWn/H0SGRCEmmy20UFfx27q9UxjlZaodUJrYa3YYxW69F+y2rY69hdrVbGuHPNBx6VQUdhuQ1TxAhMFrESq+AzOgZENiAFZ/qkfMAKuPShRu6Fd0U+xhao10BlM/pSNvs7t6qnfwmSQ+ZqhCO0hSgUuTK16PayjqSQsBwf3YJPCTVw/YgOOGkKUwml466BXMLsalivw1vi/k7phPFBoa+JRibAeLSJ5ZRpDdm84Jf6AyAM8sNISywN28Eau2cQ5NvT7YCkVKO6YQTIIAfsH22LxdZalbQ4qMhC2L4vC9evr9KPy/9aOLbEaDafUZSUrZHRJbJAPVZr71Sk6xmgHDNpw8NmnBsDBqs5gINZ+/ImczRom6UGg82eIotBsNWyDYo3li1vHGtaJddZhhLstm0Pu8vIZ3Jz+DXkpvfo1CQizylPCac5bjSCqZHblDAzCggNTfkQGplMuTQUulygzpq3cSfRylsrU0mDdVrRM+xeDkpZ7tN1lrsfj1r89wESNobjbDJRoG11RV2bweghsFYJD33C93y+96qNmkQHH7nTUY66WI5jNWG6SnBmsD7mGokMLDHc5adLgLkZDGf8XFKuzPnA6dR47x6Uh7YB1jGmd8AdPgzuehcNH9VFUcsNMHvdsJNq0O1bKDr7z99n4Rfqs7d4rKI8gcaNNjb6aXz4MCa8yEGyZNVw1WvGHjpWePeqcm3SQtFTYhneG8vR42I5uh1L6/ljGX4Gl+HjcBnewaX3pFhggad+Zb4oyo3OYaGxunFhEHz7sRD6BzyJq2TGYAycjBiQIcGTPJX6NR4llCLYaeZkXzt/kCs09/JC4LeK4bbf48NPLwmmaZs4g9aJ9XA17hqsu/DUGduc0u90PlMn9Bx+WidH/7GhEJZJ6Yz78DBn2fI87kaRxvRYyiT+GNLpuFGxvderk8D9ZXXEZJLd0yCU7JBVCa9KK3m4pPDUWCuo5JGTdf1s/awwNBuMbAr8Cl0TUmG2Q/9lvAw99d6UkgVmbsuxceRFN1GNjpHrJVuQuNSPS624Zdjb3ba91bjjWITE3ZqJ20Mah0XCJix5GOpqaN9CO/Fo46VV26QG+Okm8/a0cUdhoaTMDT7UPvPKFZuSv//8i6zR2Dr65TdmN7IFYC6PrYDVGG18kt9tRnE4FOocd5HBRP9BVpzlxOR78t07BOmX+NdX1f3Q3juFT+TCfpTjq6/JwPxUL66mD2nAd35I/U8JD2MVWaFhlODHLT8RiTs3GeAi808LArfbagYMVtQmwAxrwBxuBIzZqAEww6d/7f03gWl3djcCJl4HhmzSMpshEzdDJv5aken0HDB3Tms79T9+7F+d/r/eg38AUEsHCKmGmvVzBQAAHRYAAFBLAQIUABQACAAIAFpkvzyphpr1cwUAAB0WAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAArQUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

===== Definition III.1: (Mittelpunkt einer Strecke) =====
::Wenn ein Punkt <math>\ M</math> der Strecke <math>\overline{AB}</math> den gleichen Abstand zu Punkt A wie zu Punkt B hat, dann heißt dieser Punkt M Mittelpunkt der Strecke <math>\overline {AB}</math> (<math>\left| AM \right| = \left| MB \right|</math>)

===== Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte einer Strecke) =====
::Jede Strecke hat genau einen Mittelpunkt.

===== Beweis der Existenz und Eindeutigkeit des Mittelpunktes einer Strecke =====
:: Die Materie erscheint einsichtig und einfach. Übungsaufgabe?? Nichts ist einfach. Mit den bisher bereitgestellten axiomatischen Grundlagen unserer Geometrie wird es Ihnen nicht gelingen, etwa zu zeigen, dass jede Strecke einen Mittelpunkt besitzt.

Der Knackpunkt bezüglich des Nachweises der Existenz und Eindeutigkeit des Streckenmittelpunktes besteht darin, dass unsere derzeitige Theorie noch nicht genügend Punkte zu Verfügung stellt. Momentan muss unser Raum nicht mehr als 4 Punkte enthalten. Nach Axiom I.7 sind diese vier Punkte nicht komplanar, woraus folgt, dass je drei von ihnen nicht auf ein und derselben Geraden liegen. Damit könnte eine durch zwei verschiedene dieser vier Punkte eindeutig bestimmte Strecke gar keinen Mittelpunkt haben, denn dieser müsste entsprechend Definition III.1 bezüglich unserer zwei Endpunkte auf derselben Geraden liegen.

Es wird Zeit, die Anzahl Punkte unserer Theorie radikal zu erhöhen. Konzentrieren wir uns diesbezüglich zunächst auf einen Strahl <math>\ AB^{+}</math>. Nach unserer Vorstellung von Halbgeraden können wir je zwei Punkten von <math>\ AB^{+}</math> genau eine nichtnegative reelle Zahl (den Abstand der beiden Punkte) zuordnen. Nach unseren Vorstellungen etwa von Zahlenstrahl gibt es auch zu jeder nicht negativen reellen Zahl d genau einen Punkt <math>\ D</math> auf <math>\ AB^{+}</math>, der zu <math>\ A</math> gerade den Abstand <math>\ d</math> hat. Bei Konstruktionsaufgaben finden wir diese Idee im Zusammenhang mit dem Streckenantragen wieder.

== Streckenantragen ==

{| class="wikitable"
|-
| [[Bild:S_01.jpg |400px]] || [[Bild:S_02.jpg |400px]]
|-
| [[Bild:S_03.jpg |400px]] || [[Bild:S_04.jpg |400px]]
|}

== Das Axiom vom Lineal ==
Wir sind überzeugt davon, dass unsere Konstruktion entsprechend des vorangegangenen Abschnitts immer funktioniert und der so gewonnene zweite Endpunkt unserer konstruierten Strecke eindeutig bestimmt ist. Die Idee des Streckenantragens müssen wir jetzt jedoch axiomatisch fordern bzw. begründen.
===== Axiom III.1: (Axiom vom Lineal) =====
::Zu jeder nicht negativen reellen Zahl <math>\ d</math> gibt es auf jedem Strahl <math>\ p</math> genau einen Punkt, der zum Anfangspunkt von <math>\ p</math> den Abstand <math>\ d</math> hat.

Zum Sprachgebrauch. Wir werden in kommenden Beweisen einzelne Beweisschritte häufig mit dem Axiom vom Lineal begründen müssen. Wir werden in einem solchen Fall ggf. auch mit der Existenz und Eindeutigkeit des Streckenantragens begründen. Letzteres ist schließlich nichts anderes als der Inhalt des Axioms vom Lineal.

== Existenz und Eindeutigkeit des Mittelpunktes einer Strecke ==
Nachdem das Axiom vom Lineal formuliert wurde, wird es uns gelingen Satz III.1 zu beweisen.
===== Jetzt wirklich: Beweis von Satz III.1 =====
noch einmal der Satz:
::Jede Strecke hat einen und nur einen Mittelpunkt.

Es sind also zwei Beweise zu führen:

# Existenzbeweis: Jede Strecke hat einen Mittelpunkt.
# Eindeutigkeitsbeweis: Jede Strecke hat nicht mehr als einen Mittelpunkt. (Highlanderbeweis: Es kann nur einen geben.)

====== Der Existenzbeweis ======
:Es sei <math>\overline{AB}</math> eine Strecke
:::Behauptung: 
:::Es gibt einen Punkt auf der Strecke <math>\overline{AB}</math> der zu den Endpunkten <math>\ A</math> und <math>\ B</math> jeweils ein und denselben Abstand hat. 

:::Die Behauptung noch mal: <math>\exists M \in \overline{AB} : \ \left| AM \right| = \left| MB \right|</math> .

Der Beweis:

{| class="wikitable center"
|+ Jede Strecke <math>\overline{AB}</math> hat einen Mittelpunkt.
|- style="background: #DDFFDD;"
!
! Beweisschritt
! Begründung
|-
! style="background: #FFDDDD;"|(I)
| <math>\exists d \in \mathbb{R}^{+} \ : \ d = \left| AB \right|</math>
| Axiom II.1 (Abstandsaxiom)
|-
! style="background: #FFDDDD;"|(II)
| <math>\exists d^{*} \in \mathbb{R}^{+} \ : \ d^{*} = \frac{d}{2}</math>
| Tragen Sie hier die Begründung ein.
|-
! style="background: #FFDDDD;"|(III)
| <math>\exists M \in AB^{+} \ : \ \left| AM \right| = d^{*}</math>
| Axiom III.1 (Axiom vom Lineal)
|-

! style="background: #FFDDDD;"|(IV)
| <math>\operatorname{Zw} \left( A, M, B \right)</math> und damit <math>M \in \overline{AB}</math>
| Wegen III, Hilfssatz A und der Definition der Zwischenrelation
|-
! style="background: #FFDDDD;"|(V)
| <math>\ \left| AM \right| + \left| MB \right| = \frac{\left| AB \right|}{2} + \left| MB \right| = \left| AB \right|</math>
| Definition der Zwischenrelation <math>\ \left| AM \right| + \left| MB \right| = \left| AB \right|</math> Wegen II und III (<math>\ \left| AM \right|=d^{*}=\frac{d}{2}=\frac{\left| AB \right|}{2}</math>) 
|-
! style="background: #FFDDDD;"|(VI)
| <math>\left| MB \right| = \frac{\left| AB \right|}{2}</math>
| Wegen V
|-
! style="background: #FFDDDD;"|(VII)
| <math>\left| AM \right| = \left| MB \right|</math>
| Tragen Sie hier die Begründung ein.
|-
! style="background: #FFDDDD;"|(VIII)
| <math>\ M</math> ist der Mittelpunkt von <math>\overline{AB}</math>
| Wegen VII und der Definition III.1 (Mittelpunkt einer Strecke)
|}

'''Hilfssatz A:''' 
:: Voraussetzung: 
:::Es seien <math>\ A</math> und <math>\ B</math> zwei verschieden Punkte. Für den Punkt <math>\ M</math> mit <math>\ M \in AB^{+}</math> möge gelten: <math>| AM | = \frac{|AB|}{2}</math> 
::Behauptung: 
:::<math>\operatorname{Zw}(A, M, B)</math>. 
Beweis von Hilfssatz A: 
::: Weil <math>\ M \in AB^{+}</math> gilt entweder

::# <math>\operatorname{Zw} (A, M, B)</math> oder
::# <math>\operatorname{Zw} (A, B, M)</math>
:::(s. Definition Strahl <math>AB^{+}</math>) 
:::Falls 1. gilt, gilt unsere Behauptung. 
:::Falls unsere Behauptung nicht gelten sollte, müsste 2. also <math>\operatorname{Zw} (A, B, M)</math> gelten.
::: Nehmen wir also an, dass <math>\ B</math> zwischen <math>A\ </math> und <math>\ M</math> liegt: <math>\operatorname{Zw} (A, B, M)</math> 
::: Wäre unsere Annahme wahr, müsste die folgende Gleichung gelten: <math>|AB|+|BM|=|AM|</math> 
::: Die Gültigkeit dieser Gleichung wäre jedoch ein Widerspruch zu unserer Voraussetzung, da <math>|BM|</math> dann negativ sein müsste und dies wegen Axiom II.1 (Abstandsaxiom) nicht möglich ist.
::: Also ist unsere Annahme <math>\operatorname{Zw} (A, B, M)</math> zu verwerfen und es gilt <math>\operatorname{Zw} (A, M, B)</math>

====== Der Eindeutigkeitsbeweis ======
Übungsaufgabe 
:Hinweis: Nehmen Sie an, eine Strecke <math>\overline{AB}</math> hätte zwei Mittelpunkte <math>\ M_1</math> und <math>\ M_2</math>.
 

|}
</div>
= Halbebenen und das Axiom von Pasch =
== Halbebenen ==
=== Analogiebetrachtungen ===

Die folgenden Lückentexte können Sie auch als Übungsblatt im pdf-Format herunterladen:
{{pdf|Analogiebetrachtungen_Strahl_Halbebene.pdf| Übungsblatt Halbgeraden/-ebenen‎}}

Wir konstatieren:
::Eine Gerade wird durch einen ......Punkt ...... in zwei .....Halbgeraden....... eingeteilt. 
::Eine Ebene wird durch eine ....Gerade ........ in zwei ...Halbebenen......... eingeteilt..

::Eine Gerade ist ein .ein....dimensionales Objekt. 
::Eine Ebene ist ein .zwei....dimensionales Objekt

::Im Fall dieser Geradenteilung ist der Trenner ein ..null...dimensionales geometrisches Objekt 
::Im Fall dieser Ebenenteilung ist der Trenner ein .ein....dimensionales geometrisches Objekt.

::Wenn also n die Dimension des geometrischen Objekts ist, das geteilt wird, dann hat der Trenner die Dimension ..n-1... .

Geradenteilung:

:Es seien <math>\ g</math> eine Gerade und <math>\ T</math> ein Punkt auf ihr. Ferner sei <math>\ Q</math> ein von <math>\ T</math> verschiedener Punkt der Geraden <math>\ g</math>. Die Menge <math>\ g \setminus T</math> wird durch durch den Trenner <math>\ T</math> in genau zwei Klassen eingeteilt:
::# Die Menge aller Punkte von <math>\ g \setminus T</math>, die mit <math>\ Q</math> auf derselben .Halbgeraden.. .
::# Die Menge aller Punkte von <math>\ g \setminus T</math>, die mit <math>\ Q</math> nicht auf derselben ..Halbgeraden. .

Ebenenteilung:
:Es seien <math>\ \varepsilon</math> eine Ebene und <math>\ t</math> eine Gerade, die vollständig in <math>\ \varepsilon</math> liegt. Ferner sei <math>\ Q</math> ein nicht zu <math>\ t</math> gehörender Punkt der Ebene <math>\ \varepsilon</math>. Die Menge <math>\ \varepsilon \setminus t</math> wird durch durch den Trenner <math>\ t</math> in genau zwei Klassen eingeteilt:

::# Die Menge aller Punkte von <math>\ \varepsilon \setminus t</math>, die mit <math>\ Q</math> auf derselben ..Halbebene. .
::# Die Menge aller Punkte von <math>\ \varepsilon \setminus t</math>, die mit <math>\ Q</math> nicht auf derselben .Halbebene.. .

=== Definition des Begriffs der Halbebene ===
==== Alles hat zwei Seiten oder grundlegende Ideen der Beschaffenheit von Ebenen ====
{|
|-
| Zu unsere Vorstellung von der Eigenschaften einer beliebigen Ebene <math>\varepsilon</math> gehört u.a., dass jede Gerade <math>\ g</math>, die zu unserer jeweiligen Ebene <math>\varepsilon</math> gehört, diese in zwei ''Hälften'' bzw. zwei ''Seiten'' einteilt. Zur Kennzeichnung der beiden ''Seiten'' von <math>\varepsilon</math> bezüglich der Geraden <math>\ g</math> verwenden wir einen Punkt <math>\ Q \in \varepsilon</math>, welcher nicht zu <math>\ g</math> gehören sollte.
|[[Bild:Halbebene_00.png| 100 px]]
|-
| Zu der einen ''Hälfte'' von <math>\ \varepsilon</math> bezüglich <math>\ g</math> gehören alle die Punkte aus <math>\varepsilon \setminus g</math>, die mit <math>\ Q</math> auf derselben Seite von <math>\ g</math> liegen. Alle anderen Punkte aus <math>\varepsilon \setminus g</math> gehören zur anderen Seite von <math>\ \varepsilon</math> bezüglich <math>\ g</math>.
| [[Bild:Halbebene_01.png | 100 px]]
|}
==== Offene Halbebenen ====
Die beiden Seiten, in die die Menge der Punkte einer Ebene <math>\ \varepsilon</math>, die nicht auf einer Geraden <math>\ g</math> dieser Ebene liegen, durch diese Gerade <math>\ g</math> eingeteilt wird, heißen offene Halbebenen von <math>\ \varepsilon</math> bezüglich der Trägergeraden <math>\ g</math>. Der nicht zu <math>\ g</math> gehörende Referenzpunkt <math>\ Q \in \varepsilon</math> bietet uns eine Möglichkeit zur Bezeichnung der beiden offenen Halbebenen. Die offene Halbebene, zu der alle Punkte gehören, die bezüglich <math>\ g</math> mit <math>\ Q</math> auf derselben Seite liegen, wird mit <math>\ gQ^{+}</math> bezeichnet, die andere offene Halbebene von <math>\ \varepsilon</math> bezüglich <math>\ g</math> und <math>\ Q</math> mit <math>\ gQ^{-}</math>.

Obige Ausführungen können als informelle Definition des Begriffs offene Halbebene dienen. Hinsichtlich wirklicher mathematischer Exaktheit der Festlegung, was denn eine offene Halbene sein möge, bedarf es einer genauereren Erklärung, was denn darunter zu verstehen wäre, dass zwei Punkte <math>\ P</math> und <math> \ Q</math> einer Ebene <math>\ \varepsilon</math> auf ein und derselben bzw. auf zwei verschiedenen Seiten dieser Ebene bezüglich einer Geraden <math>\ g</math> liegen.

===== Definition IV.1: (offene Halbebene)=====
:::Es sei <math>\ \varepsilon</math> eine Ebene in der die Gerade <math>\ g</math> liegen möge. Ferner sei <math>\ Q</math> ein Punkt der Ebene <math>\ \varepsilon</math>, der nicht zur Geraden <math>\ g</math> gehört. Unter den offenen Halbebenen <math>\ gQ^{+}</math> und <math>\ gQ^{-}</math> bezüglich der Trägergeraden <math>\ g</math> versteht man die folgenden Teilmengen der Ebene <math>\ \varepsilon</math> ohne die Gerade <math>\ g</math> :

::::<math>\ gQ^{+}:= \left\{ {P|\overline{PQ} \cap g=\phi } \right\}</math>

::::<math>\ gQ^{-}:= \left\{ {P|\overline{PQ} \cap g\neq\phi } \right\}</math>

==== Halbebenen ====
Vereinigt man die Menge der Punkte einer offenen Halbeben mit der Menge der Punkte der Trägergerade so erhält man eine Halbebene.

===== Definition IV.2: (Halbebene) =====
::Es sei <math>\ g</math> eine Gerade der Ebene <math>\ \varepsilon</math>. <math>\ gQ^+</math> und <math>\ gQ^-</math> seien die beiden offenen Halbebenen von <math>\ \varepsilon</math> bezüglich <math>\ g</math>. Unter den (geschlossenen) Halbebenen von <math>\ \varepsilon</math> bezüglich <math>\ g</math> versteht die beiden Punktmengen, die durch die Vereinigung jeder dieser beiden offenen Halbebene von <math>\ \varepsilon</math> bezüglich der Geraden <math>\ g</math> mit jeweils dieser Geraden <math>\ g</math> entstehen.

Bemerkung: Für die formale Beschreibung von offenen und geschlossenen Halbebenen wird jeweils dieselbe Bezsichnung verwendet: offene Halbebene: <math>\ g Q^+</math>, (geschlossene) Halbebene: <math>\ g Q^+</math>. Der weitere Gebrauch der Sprache kennzeichnet, ob es sich um eine offene oder um die geschlossene Halbene handeln soll. Aus Gründen der Vereinfachung sei vereinbart, dass <math>\ g Q^+</math> bzw. <math>\ g Q^-</math> immer die geschlossene Halbebene meint. Soll die offene Halbebene gemeint sein, so ist dieses durch den Zusatz "offen" zu kennzeichnen. 

==== Definition IV.3: Halbraum====

Gegeben sei eine Ebene <math>\varepsilon</math>. 
:: Halbraum <math>\varepsilon Q^{+} :=\left\{ P|... \right\} \cup \varepsilon</math>
:: Halbraum <math>\varepsilon Q^{-} :=\left\{ P| ... \right\} \cup \varepsilon </math> 

== Das Axiom von [http://de.wikipedia.org/wiki/Moritz_Pasch Pasch] ==
:::''Was Axiomatik ist und wie man Axiome zu formulieren hat, das ist erst gegen Ende des 19. Jh. von Pasch gezeigt worden; von ihm lernten es die italienischen Geometer und lernte es Hilbert. [http://de.wikipedia.org/wiki/Hans_Freudenthal Hans Freudenthal], Mathematik als pädagogische Aufgabe, Stuttgart 1973, S. 14)''

<ggb_applet width="550" height="343" version="3.2" ggbBase64="UEsDBBQACAAIADkmxTwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VlLcuM2EF1nToHiIjtTBCFSYkXylD+zcJVjp8qTWWSTAkmIQkyCCgnakk+Qm+ReOUkaAElRkmVLGsXjjDcwGi00+r3+WR59nGcpemBFyXMxtrDtWIiJKI+5SMZWJScnQ+vj6YdRwvKEhQVFk7zIqBxbxHYtJa/46YcfRuU0f0Q01SpfOHscWxOalsxC5axgNC6njMkVOa3mPOW0WNyGf7BIlssDc8mVmFVgRRYVyKIsvuZls+1pg7OUy0v+wGNWoDSPxpbvwdPhty+skDyi6djqO0biji137RBERJ1O84I/5UIq9eXlE5AgVPInBp90lGzU046OWBWlPOZUKGf0O0AJoUcey+nY8pSVKePJVAHUx+a2KM+L+G5RSpah+W+syOFlvsJ5YTYn3lDtSngW2PMcfdTd6VvYwx2TElgpEZ2zJV5JweOVzVV5nqdL0SznQl7QmawKTSmpRXdyoQyArUK990wkKatlLiA+ZdF9mM/vNAaYmKs/L2b6I/pBYXKRp3mBCoWuBwr1GppV66iXtlqO1nG0Rn2HurQ9x4GrNfQamlVrpVyYp9We48Zr7DRmeImUQMEIkdg6n9KQAbMWqgSX180GIuC+dhWbD9xUWQgp0I2B9k58rDtHvbXoGd2zQrDUxIgAbqu8KtGDikVjSz8kZhHPYGsOakiooutXeICRxiwpWPNwk0AGMH3qdONwTTzqNY9QbyjhrZGESgD+SOWLSlQJSTK2MjuxLRRTqaQqE1KWMUgTqWNCh1SLzZnV1oRcp3eTyPX5EmU4fjY+dCTRdDalIGlSIKULSPauS/q+28mkZBLNIZOID6nT5Gx9/HMer+JABeCpnYSUnKn7FWMzxuK6/sk6zNEMLOqk6dChUSyVNWz7rjZ34tl9MPxkPq61TIqp2qAtk5p/g9kr6J1/I/QMdiR4C+x8G0N1Xv5gAySURb8rdrzjwXrxprC+NXLu3iEY5VlGRYwEzcDuL3m6SHKhMeKq9yLqqERGFKuIRNRVCBp4KtmcQx1LoVFgoxYZNQoLGVuhMVibeYYcY7CBv71qteLLKRRWwcpStyXZbUDbqewA1+USe0Sz6eG6By3JxPuQuT3iSpaoXfuQ6Nt4s2doLoPLsVfTT+UfRFff9txn0tIl9sAZbDTpF5xkfwqjU5pWyTMY4yIu28BKVeRfCQmNk+lGtNkP7xmbqUHkVnwuqCjVPGp0On12R3roe6Sn085w3V+Iuxt9J+R5/vRIqQhzbex0qwf5/3IXvm/u3L6hDg93o47oqR8+sCXXTtzA9sjmRPx+CVvtvpffR/cdPJ9gMAHiI06An74PsFybNAVM3XD4cHIN4b42mVyakePTxkiSvDx2qMxpcUyOUUOWZMAfUDE3uIH2ba0cox8T+RMCENE/f/2N2Op20m5fJvSQGjRwdpjoO93Dhem7CWd3uDZkqhqEse0Nh52TY/WP7dS35WmNf2r4Tzb4v/udvjZ4dlNNqR+SbH5fk6OW0CxfP31h7MNAFeC2/tc9ZDiwXVX7G7FrcimwHafLkn9Iam3DN9yO76uD/Sq+4fvB1yEQv57fCV+Nb+DZPh5gz+DqQi33cKcHk2PiGm3HNdoP1+htcd38loV4u8F+Q2+0vl6fzHoAope8lFRE643gbBug8ctwiipjBY9auGJ9Lzykqp8Df1F7xMFBHweeQ/qB4+1eofFBrpxvc4Xt5wpbdwXbxA+wEzg+6fuDAQmC/9qVi22uTPZzZbLpSjAEHzw3wHgYOH3va1jpdb/y1F/y1//lOP0XUEsHCKIurGc0BQAAFxkAAFBLAQIUABQACAAIADkmxTyiLqxnNAUAABcZAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAbgUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

===== Axiom III.2: Das Axiom von Pasch =====
:::Gegeben sei ein Dreieck <math>\overline{ABC}</math>. Ferner sei <math>\ g</math> eine Gerade, die durch keinen der drei Eckpunkte <math>\ A, B, C</math> geht. Wenn <math>\ g</math> eine der drei Seiten des Dreiecks <math>\overline{ABC}</math> schneidet, dann schneidet <math>\ g</math> genau eine weitere Seite des Dreiecks <math>\overline{ABC}</math>.

[[Kategorie: Einführung S]]

Axiom vom Lineal und Axiom von Pasch SoSe2020

2020-06-17T09:51:06Z

Estherstmpf: /* Analogiebetrachtungen */

=Whiteboard der Sitzung vom 12 Juni 2020=
[[Datei:WB Geometrieeinführung 12 Juni 2020.svg|Whiteboard Axiom vom Lineal und Axiom von Pasch 12 Juni 2020]]
=Streckenantragen und das Axiom vom Lineal=
<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFFFF; align:left;">
{|width=90%| style="background-color:#FFFFFF; padding:1em"
| valign="top" |

== Der Mittelpunkt einer Strecke==
Wir wissen nun, dass eine offene Strecke <math>\overline{AB}</math> die Menge aller Punkte ist, die zwischen <math>\ A</math> und <math>\ B</math> liegen. Vereinigt man diese Menge mit der Menge der beiden Endpunkte <math>\ A</math> und <math>\ B</math>, so hat man die gesamte Strecke <math>\overline{AB}</math>. Zu unseren grundlegenden Vorstellungen von Strecken gehört, dass jede Strecke <math>\overline{AB}</math> einen Mittelpunkt <math>\ M</math> hat. <math>\ M</math> wäre der Punkt auf <math>\overline{AB}</math>, der sowohl zu <math>\ A</math> als auch zu <math>\ B</math> denselben Abstand <math>\frac{| \overline{AB} |}{2}</math> hat.

<ggb_applet width="598" height="267" version="3.2" ggbBase64="UEsDBBQACAAIAFpkvzwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VhdbttGEH5uTrEggqJBY5vUn21UckA7LwbsWIDcoGhdBCtyJG1N7iq7S1tymwP0FL1bT9LZH1KUXTuUHQNtXkRydjg7M9/MN0v13yzyjFyBVEzwQRBthwEBnoiU8ekgKPRkay94c/CiPwUxhbGkZCJkTvUgaG+3AiMv2MGLb/pqJq4JzazKewbXg2BCMwUBUXMJNFUzAL0mp8WCZYzK5dn4N0i0Wi04I8d8XuAuWhYoS/L0hKnyccduOM+YfsuuWAqSZCIZBL0uuo5370FqltBsEHRCJ2kNgtatRRS1zepMSHYjuDbqK+MTlBCi2A3gm6GR9XdsoH0okoyljHITjPUDlQi5ZqmeDYLu/h6aBDadoa+tXtdZS4SQ6WipNORk8TNIgWnu9Eyil/4p6ponhX7hht3QLtWfrBm4GoHWCIsidAGrhE0lS8tEmftjdSiytFqeC8b1EZ3rQlpI21400ktjH7eSxt+YTzPwshZmfAbJ5VgsRjYHUduZPl/O7SvWn/H0SGRCEmmy20UFfx27q9UxjlZaodUJrYa3YYxW69F+y2rY69hdrVbGuHPNBx6VQUdhuQ1TxAhMFrESq+AzOgZENiAFZ/qkfMAKuPShRu6Fd0U+xhao10BlM/pSNvs7t6qnfwmSQ+ZqhCO0hSgUuTK16PayjqSQsBwf3YJPCTVw/YgOOGkKUwml466BXMLsalivw1vi/k7phPFBoa+JRibAeLSJ5ZRpDdm84Jf6AyAM8sNISywN28Eau2cQ5NvT7YCkVKO6YQTIIAfsH22LxdZalbQ4qMhC2L4vC9evr9KPy/9aOLbEaDafUZSUrZHRJbJAPVZr71Sk6xmgHDNpw8NmnBsDBqs5gINZ+/ImczRom6UGg82eIotBsNWyDYo3li1vHGtaJddZhhLstm0Pu8vIZ3Jz+DXkpvfo1CQizylPCac5bjSCqZHblDAzCggNTfkQGplMuTQUulygzpq3cSfRylsrU0mDdVrRM+xeDkpZ7tN1lrsfj1r89wESNobjbDJRoG11RV2bweghsFYJD33C93y+96qNmkQHH7nTUY66WI5jNWG6SnBmsD7mGokMLDHc5adLgLkZDGf8XFKuzPnA6dR47x6Uh7YB1jGmd8AdPgzuehcNH9VFUcsNMHvdsJNq0O1bKDr7z99n4Rfqs7d4rKI8gcaNNjb6aXz4MCa8yEGyZNVw1WvGHjpWePeqcm3SQtFTYhneG8vR42I5uh1L6/ljGX4Gl+HjcBnewaX3pFhggad+Zb4oyo3OYaGxunFhEHz7sRD6BzyJq2TGYAycjBiQIcGTPJX6NR4llCLYaeZkXzt/kCs09/JC4LeK4bbf48NPLwmmaZs4g9aJ9XA17hqsu/DUGduc0u90PlMn9Bx+WidH/7GhEJZJ6Yz78DBn2fI87kaRxvRYyiT+GNLpuFGxvderk8D9ZXXEZJLd0yCU7JBVCa9KK3m4pPDUWCuo5JGTdf1s/awwNBuMbAr8Cl0TUmG2Q/9lvAw99d6UkgVmbsuxceRFN1GNjpHrJVuQuNSPS624Zdjb3ba91bjjWITE3ZqJ20Mah0XCJix5GOpqaN9CO/Fo46VV26QG+Okm8/a0cUdhoaTMDT7UPvPKFZuSv//8i6zR2Dr65TdmN7IFYC6PrYDVGG18kt9tRnE4FOocd5HBRP9BVpzlxOR78t07BOmX+NdX1f3Q3juFT+TCfpTjq6/JwPxUL66mD2nAd35I/U8JD2MVWaFhlODHLT8RiTs3GeAi808LArfbagYMVtQmwAxrwBxuBIzZqAEww6d/7f03gWl3djcCJl4HhmzSMpshEzdDJv5aken0HDB3Tms79T9+7F+d/r/eg38AUEsHCKmGmvVzBQAAHRYAAFBLAQIUABQACAAIAFpkvzyphpr1cwUAAB0WAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAArQUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

===== Definition III.1: (Mittelpunkt einer Strecke) =====
::Wenn ein Punkt <math>\ M</math> der Strecke <math>\overline{AB}</math> den gleichen Abstand zu Punkt A wie zu Punkt B hat, dann heißt dieser Punkt M Mittelpunkt der Strecke <math>\overline {AB}</math> (<math>\left| AM \right| = \left| MB \right|</math>)

===== Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte einer Strecke) =====
::Jede Strecke hat genau einen Mittelpunkt.

===== Beweis der Existenz und Eindeutigkeit des Mittelpunktes einer Strecke =====
:: Die Materie erscheint einsichtig und einfach. Übungsaufgabe?? Nichts ist einfach. Mit den bisher bereitgestellten axiomatischen Grundlagen unserer Geometrie wird es Ihnen nicht gelingen, etwa zu zeigen, dass jede Strecke einen Mittelpunkt besitzt.

Der Knackpunkt bezüglich des Nachweises der Existenz und Eindeutigkeit des Streckenmittelpunktes besteht darin, dass unsere derzeitige Theorie noch nicht genügend Punkte zu Verfügung stellt. Momentan muss unser Raum nicht mehr als 4 Punkte enthalten. Nach Axiom I.7 sind diese vier Punkte nicht komplanar, woraus folgt, dass je drei von ihnen nicht auf ein und derselben Geraden liegen. Damit könnte eine durch zwei verschiedene dieser vier Punkte eindeutig bestimmte Strecke gar keinen Mittelpunkt haben, denn dieser müsste entsprechend Definition III.1 bezüglich unserer zwei Endpunkte auf derselben Geraden liegen.

Es wird Zeit, die Anzahl Punkte unserer Theorie radikal zu erhöhen. Konzentrieren wir uns diesbezüglich zunächst auf einen Strahl <math>\ AB^{+}</math>. Nach unserer Vorstellung von Halbgeraden können wir je zwei Punkten von <math>\ AB^{+}</math> genau eine nichtnegative reelle Zahl (den Abstand der beiden Punkte) zuordnen. Nach unseren Vorstellungen etwa von Zahlenstrahl gibt es auch zu jeder nicht negativen reellen Zahl d genau einen Punkt <math>\ D</math> auf <math>\ AB^{+}</math>, der zu <math>\ A</math> gerade den Abstand <math>\ d</math> hat. Bei Konstruktionsaufgaben finden wir diese Idee im Zusammenhang mit dem Streckenantragen wieder.

== Streckenantragen ==

{| class="wikitable"
|-
| [[Bild:S_01.jpg |400px]] || [[Bild:S_02.jpg |400px]]
|-
| [[Bild:S_03.jpg |400px]] || [[Bild:S_04.jpg |400px]]
|}

== Das Axiom vom Lineal ==
Wir sind überzeugt davon, dass unsere Konstruktion entsprechend des vorangegangenen Abschnitts immer funktioniert und der so gewonnene zweite Endpunkt unserer konstruierten Strecke eindeutig bestimmt ist. Die Idee des Streckenantragens müssen wir jetzt jedoch axiomatisch fordern bzw. begründen.
===== Axiom III.1: (Axiom vom Lineal) =====
::Zu jeder nicht negativen reellen Zahl <math>\ d</math> gibt es auf jedem Strahl <math>\ p</math> genau einen Punkt, der zum Anfangspunkt von <math>\ p</math> den Abstand <math>\ d</math> hat.

Zum Sprachgebrauch. Wir werden in kommenden Beweisen einzelne Beweisschritte häufig mit dem Axiom vom Lineal begründen müssen. Wir werden in einem solchen Fall ggf. auch mit der Existenz und Eindeutigkeit des Streckenantragens begründen. Letzteres ist schließlich nichts anderes als der Inhalt des Axioms vom Lineal.

== Existenz und Eindeutigkeit des Mittelpunktes einer Strecke ==
Nachdem das Axiom vom Lineal formuliert wurde, wird es uns gelingen Satz III.1 zu beweisen.
===== Jetzt wirklich: Beweis von Satz III.1 =====
noch einmal der Satz:
::Jede Strecke hat einen und nur einen Mittelpunkt.

Es sind also zwei Beweise zu führen:

# Existenzbeweis: Jede Strecke hat einen Mittelpunkt.
# Eindeutigkeitsbeweis: Jede Strecke hat nicht mehr als einen Mittelpunkt. (Highlanderbeweis: Es kann nur einen geben.)

====== Der Existenzbeweis ======
:Es sei <math>\overline{AB}</math> eine Strecke
:::Behauptung: 
:::Es gibt einen Punkt auf der Strecke <math>\overline{AB}</math> der zu den Endpunkten <math>\ A</math> und <math>\ B</math> jeweils ein und denselben Abstand hat. 

:::Die Behauptung noch mal: <math>\exists M \in \overline{AB} : \ \left| AM \right| = \left| MB \right|</math> .

Der Beweis:

{| class="wikitable center"
|+ Jede Strecke <math>\overline{AB}</math> hat einen Mittelpunkt.
|- style="background: #DDFFDD;"
!
! Beweisschritt
! Begründung
|-
! style="background: #FFDDDD;"|(I)
| <math>\exists d \in \mathbb{R}^{+} \ : \ d = \left| AB \right|</math>
| Axiom II.1 (Abstandsaxiom)
|-
! style="background: #FFDDDD;"|(II)
| <math>\exists d^{*} \in \mathbb{R}^{+} \ : \ d^{*} = \frac{d}{2}</math>
| Tragen Sie hier die Begründung ein.
|-
! style="background: #FFDDDD;"|(III)
| <math>\exists M \in AB^{+} \ : \ \left| AM \right| = d^{*}</math>
| Axiom III.1 (Axiom vom Lineal)
|-

! style="background: #FFDDDD;"|(IV)
| <math>\operatorname{Zw} \left( A, M, B \right)</math> und damit <math>M \in \overline{AB}</math>
| Wegen III, Hilfssatz A und der Definition der Zwischenrelation
|-
! style="background: #FFDDDD;"|(V)
| <math>\ \left| AM \right| + \left| MB \right| = \frac{\left| AB \right|}{2} + \left| MB \right| = \left| AB \right|</math>
| Definition der Zwischenrelation <math>\ \left| AM \right| + \left| MB \right| = \left| AB \right|</math> Wegen II und III (<math>\ \left| AM \right|=d^{*}=\frac{d}{2}=\frac{\left| AB \right|}{2}</math>) 
|-
! style="background: #FFDDDD;"|(VI)
| <math>\left| MB \right| = \frac{\left| AB \right|}{2}</math>
| Wegen V
|-
! style="background: #FFDDDD;"|(VII)
| <math>\left| AM \right| = \left| MB \right|</math>
| Tragen Sie hier die Begründung ein.
|-
! style="background: #FFDDDD;"|(VIII)
| <math>\ M</math> ist der Mittelpunkt von <math>\overline{AB}</math>
| Wegen VII und der Definition III.1 (Mittelpunkt einer Strecke)
|}

'''Hilfssatz A:''' 
:: Voraussetzung: 
:::Es seien <math>\ A</math> und <math>\ B</math> zwei verschieden Punkte. Für den Punkt <math>\ M</math> mit <math>\ M \in AB^{+}</math> möge gelten: <math>| AM | = \frac{|AB|}{2}</math> 
::Behauptung: 
:::<math>\operatorname{Zw}(A, M, B)</math>. 
Beweis von Hilfssatz A: 
::: Weil <math>\ M \in AB^{+}</math> gilt entweder

::# <math>\operatorname{Zw} (A, M, B)</math> oder
::# <math>\operatorname{Zw} (A, B, M)</math>
:::(s. Definition Strahl <math>AB^{+}</math>) 
:::Falls 1. gilt, gilt unsere Behauptung. 
:::Falls unsere Behauptung nicht gelten sollte, müsste 2. also <math>\operatorname{Zw} (A, B, M)</math> gelten.
::: Nehmen wir also an, dass <math>\ B</math> zwischen <math>A\ </math> und <math>\ M</math> liegt: <math>\operatorname{Zw} (A, B, M)</math> 
::: Wäre unsere Annahme wahr, müsste die folgende Gleichung gelten: <math>|AB|+|BM|=|AM|</math> 
::: Die Gültigkeit dieser Gleichung wäre jedoch ein Widerspruch zu unserer Voraussetzung, da <math>|BM|</math> dann negativ sein müsste und dies wegen Axiom II.1 (Abstandsaxiom) nicht möglich ist.
::: Also ist unsere Annahme <math>\operatorname{Zw} (A, B, M)</math> zu verwerfen und es gilt <math>\operatorname{Zw} (A, M, B)</math>

====== Der Eindeutigkeitsbeweis ======
Übungsaufgabe 
:Hinweis: Nehmen Sie an, eine Strecke <math>\overline{AB}</math> hätte zwei Mittelpunkte <math>\ M_1</math> und <math>\ M_2</math>.
 

|}
</div>
= Halbebenen und das Axiom von Pasch =
== Halbebenen ==
=== Analogiebetrachtungen ===

Die folgenden Lückentexte können Sie auch als Übungsblatt im pdf-Format herunterladen:
{{pdf|Analogiebetrachtungen_Strahl_Halbebene.pdf| Übungsblatt Halbgeraden/-ebenen‎}}

Wir konstatieren:
::Eine Gerade wird durch einen ......Punkt ...... in zwei .....Halbgeraden....... eingeteilt. 
::Eine Ebene wird durch eine ....Gerade ........ in zwei ...Halbebenen......... eingeteilt..

::Eine Gerade ist ein .ein....dimensionales Objekt. 
::Eine Ebene ist ein .zwei....dimensionales Objekt

::Im Fall dieser Geradenteilung ist der Trenner ein ..null...dimensionales geometrisches Objekt 
::Im Fall dieser Ebenenteilung ist der Trenner ein .ein....dimensionales geometrisches Objekt.

::Wenn also n die Dimension des geometrischen Objekts ist, das geteilt wird, dann hat der Trenner die Dimension ..n-1... .

Geradenteilung:

:Es seien <math>\ g</math> eine Gerade und <math>\ T</math> ein Punkt auf ihr. Ferner sei <math>\ Q</math> ein von <math>\ T</math> verschiedener Punkt der Geraden <math>\ g</math>. Die Menge <math>\ g \setminus T</math> wird durch durch den Trenner <math>\ T</math> in genau zwei Klassen eingeteilt:
::# Die Menge aller Punkte von <math>\ g \setminus T</math>, die mit <math>\ Q</math> auf derselben .Halbgeraden.. .
::# Die Menge aller Punkte von <math>\ g \setminus T</math>, die mit <math>\ Q</math> nicht auf derselben ..Halbgeraden. .

Ebenenteilung:
:Es seien <math>\ \varepsilon</math> eine Ebene und <math>\ t</math> eine Gerade, die vollständig in <math>\ \varepsilon</math> liegt. Ferner sei <math>\ Q</math> ein nicht zu <math>\ t</math> gehörender Punkt der Ebene <math>\ \varepsilon</math>. Die Menge <math>\ \varepsilon \setminus t</math> wird durch durch den Trenner <math>\ t</math> in genau zwei Klassen eingeteilt:

::# Die Menge aller Punkte von <math>\ \varepsilon \setminus t</math>, die mit <math>\ Q</math> auf derselben ... .
::# Die Menge aller Punkte von <math>\ \varepsilon \setminus t</math>, die mit <math>\ Q</math> nicht auf derselben ... .

=== Definition des Begriffs der Halbebene ===
==== Alles hat zwei Seiten oder grundlegende Ideen der Beschaffenheit von Ebenen ====
{|
|-
| Zu unsere Vorstellung von der Eigenschaften einer beliebigen Ebene <math>\varepsilon</math> gehört u.a., dass jede Gerade <math>\ g</math>, die zu unserer jeweiligen Ebene <math>\varepsilon</math> gehört, diese in zwei ''Hälften'' bzw. zwei ''Seiten'' einteilt. Zur Kennzeichnung der beiden ''Seiten'' von <math>\varepsilon</math> bezüglich der Geraden <math>\ g</math> verwenden wir einen Punkt <math>\ Q \in \varepsilon</math>, welcher nicht zu <math>\ g</math> gehören sollte.
|[[Bild:Halbebene_00.png| 100 px]]
|-
| Zu der einen ''Hälfte'' von <math>\ \varepsilon</math> bezüglich <math>\ g</math> gehören alle die Punkte aus <math>\varepsilon \setminus g</math>, die mit <math>\ Q</math> auf derselben Seite von <math>\ g</math> liegen. Alle anderen Punkte aus <math>\varepsilon \setminus g</math> gehören zur anderen Seite von <math>\ \varepsilon</math> bezüglich <math>\ g</math>.
| [[Bild:Halbebene_01.png | 100 px]]
|}
==== Offene Halbebenen ====
Die beiden Seiten, in die die Menge der Punkte einer Ebene <math>\ \varepsilon</math>, die nicht auf einer Geraden <math>\ g</math> dieser Ebene liegen, durch diese Gerade <math>\ g</math> eingeteilt wird, heißen offene Halbebenen von <math>\ \varepsilon</math> bezüglich der Trägergeraden <math>\ g</math>. Der nicht zu <math>\ g</math> gehörende Referenzpunkt <math>\ Q \in \varepsilon</math> bietet uns eine Möglichkeit zur Bezeichnung der beiden offenen Halbebenen. Die offene Halbebene, zu der alle Punkte gehören, die bezüglich <math>\ g</math> mit <math>\ Q</math> auf derselben Seite liegen, wird mit <math>\ gQ^{+}</math> bezeichnet, die andere offene Halbebene von <math>\ \varepsilon</math> bezüglich <math>\ g</math> und <math>\ Q</math> mit <math>\ gQ^{-}</math>.

Obige Ausführungen können als informelle Definition des Begriffs offene Halbebene dienen. Hinsichtlich wirklicher mathematischer Exaktheit der Festlegung, was denn eine offene Halbene sein möge, bedarf es einer genauereren Erklärung, was denn darunter zu verstehen wäre, dass zwei Punkte <math>\ P</math> und <math> \ Q</math> einer Ebene <math>\ \varepsilon</math> auf ein und derselben bzw. auf zwei verschiedenen Seiten dieser Ebene bezüglich einer Geraden <math>\ g</math> liegen.

===== Definition IV.1: (offene Halbebene)=====
:::Es sei <math>\ \varepsilon</math> eine Ebene in der die Gerade <math>\ g</math> liegen möge. Ferner sei <math>\ Q</math> ein Punkt der Ebene <math>\ \varepsilon</math>, der nicht zur Geraden <math>\ g</math> gehört. Unter den offenen Halbebenen <math>\ gQ^{+}</math> und <math>\ gQ^{-}</math> bezüglich der Trägergeraden <math>\ g</math> versteht man die folgenden Teilmengen der Ebene <math>\ \varepsilon</math> ohne die Gerade <math>\ g</math> :

::::<math>\ gQ^{+}:= \left\{ {P|\overline{PQ} \cap g=\phi } \right\}</math>

::::<math>\ gQ^{-}:= \left\{ {P|\overline{PQ} \cap g\neq\phi } \right\}</math>

==== Halbebenen ====
Vereinigt man die Menge der Punkte einer offenen Halbeben mit der Menge der Punkte der Trägergerade so erhält man eine Halbebene.

===== Definition IV.2: (Halbebene) =====
::Es sei <math>\ g</math> eine Gerade der Ebene <math>\ \varepsilon</math>. <math>\ gQ^+</math> und <math>\ gQ^-</math> seien die beiden offenen Halbebenen von <math>\ \varepsilon</math> bezüglich <math>\ g</math>. Unter den (geschlossenen) Halbebenen von <math>\ \varepsilon</math> bezüglich <math>\ g</math> versteht die beiden Punktmengen, die durch die Vereinigung jeder dieser beiden offenen Halbebene von <math>\ \varepsilon</math> bezüglich der Geraden <math>\ g</math> mit jeweils dieser Geraden <math>\ g</math> entstehen.

Bemerkung: Für die formale Beschreibung von offenen und geschlossenen Halbebenen wird jeweils dieselbe Bezsichnung verwendet: offene Halbebene: <math>\ g Q^+</math>, (geschlossene) Halbebene: <math>\ g Q^+</math>. Der weitere Gebrauch der Sprache kennzeichnet, ob es sich um eine offene oder um die geschlossene Halbene handeln soll. Aus Gründen der Vereinfachung sei vereinbart, dass <math>\ g Q^+</math> bzw. <math>\ g Q^-</math> immer die geschlossene Halbebene meint. Soll die offene Halbebene gemeint sein, so ist dieses durch den Zusatz "offen" zu kennzeichnen. 

==== Definition IV.3: Halbraum====

Gegeben sei eine Ebene <math>\varepsilon</math>. 
:: Halbraum <math>\varepsilon Q^{+} :=\left\{ P|... \right\} \cup \varepsilon</math>
:: Halbraum <math>\varepsilon Q^{-} :=\left\{ P| ... \right\} \cup \varepsilon </math> 

== Das Axiom von [http://de.wikipedia.org/wiki/Moritz_Pasch Pasch] ==
:::''Was Axiomatik ist und wie man Axiome zu formulieren hat, das ist erst gegen Ende des 19. Jh. von Pasch gezeigt worden; von ihm lernten es die italienischen Geometer und lernte es Hilbert. [http://de.wikipedia.org/wiki/Hans_Freudenthal Hans Freudenthal], Mathematik als pädagogische Aufgabe, Stuttgart 1973, S. 14)''

<ggb_applet width="550" height="343" version="3.2" ggbBase64="UEsDBBQACAAIADkmxTwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VlLcuM2EF1nToHiIjtTBCFSYkXylD+zcJVjp8qTWWSTAkmIQkyCCgnakk+Qm+ReOUkaAElRkmVLGsXjjDcwGi00+r3+WR59nGcpemBFyXMxtrDtWIiJKI+5SMZWJScnQ+vj6YdRwvKEhQVFk7zIqBxbxHYtJa/46YcfRuU0f0Q01SpfOHscWxOalsxC5axgNC6njMkVOa3mPOW0WNyGf7BIlssDc8mVmFVgRRYVyKIsvuZls+1pg7OUy0v+wGNWoDSPxpbvwdPhty+skDyi6djqO0biji137RBERJ1O84I/5UIq9eXlE5AgVPInBp90lGzU046OWBWlPOZUKGf0O0AJoUcey+nY8pSVKePJVAHUx+a2KM+L+G5RSpah+W+syOFlvsJ5YTYn3lDtSngW2PMcfdTd6VvYwx2TElgpEZ2zJV5JweOVzVV5nqdL0SznQl7QmawKTSmpRXdyoQyArUK990wkKatlLiA+ZdF9mM/vNAaYmKs/L2b6I/pBYXKRp3mBCoWuBwr1GppV66iXtlqO1nG0Rn2HurQ9x4GrNfQamlVrpVyYp9We48Zr7DRmeImUQMEIkdg6n9KQAbMWqgSX180GIuC+dhWbD9xUWQgp0I2B9k58rDtHvbXoGd2zQrDUxIgAbqu8KtGDikVjSz8kZhHPYGsOakiooutXeICRxiwpWPNwk0AGMH3qdONwTTzqNY9QbyjhrZGESgD+SOWLSlQJSTK2MjuxLRRTqaQqE1KWMUgTqWNCh1SLzZnV1oRcp3eTyPX5EmU4fjY+dCTRdDalIGlSIKULSPauS/q+28mkZBLNIZOID6nT5Gx9/HMer+JABeCpnYSUnKn7FWMzxuK6/sk6zNEMLOqk6dChUSyVNWz7rjZ34tl9MPxkPq61TIqp2qAtk5p/g9kr6J1/I/QMdiR4C+x8G0N1Xv5gAySURb8rdrzjwXrxprC+NXLu3iEY5VlGRYwEzcDuL3m6SHKhMeKq9yLqqERGFKuIRNRVCBp4KtmcQx1LoVFgoxYZNQoLGVuhMVibeYYcY7CBv71qteLLKRRWwcpStyXZbUDbqewA1+USe0Sz6eG6By3JxPuQuT3iSpaoXfuQ6Nt4s2doLoPLsVfTT+UfRFff9txn0tIl9sAZbDTpF5xkfwqjU5pWyTMY4yIu28BKVeRfCQmNk+lGtNkP7xmbqUHkVnwuqCjVPGp0On12R3roe6Sn085w3V+Iuxt9J+R5/vRIqQhzbex0qwf5/3IXvm/u3L6hDg93o47oqR8+sCXXTtzA9sjmRPx+CVvtvpffR/cdPJ9gMAHiI06An74PsFybNAVM3XD4cHIN4b42mVyakePTxkiSvDx2qMxpcUyOUUOWZMAfUDE3uIH2ba0cox8T+RMCENE/f/2N2Op20m5fJvSQGjRwdpjoO93Dhem7CWd3uDZkqhqEse0Nh52TY/WP7dS35WmNf2r4Tzb4v/udvjZ4dlNNqR+SbH5fk6OW0CxfP31h7MNAFeC2/tc9ZDiwXVX7G7FrcimwHafLkn9Iam3DN9yO76uD/Sq+4fvB1yEQv57fCV+Nb+DZPh5gz+DqQi33cKcHk2PiGm3HNdoP1+htcd38loV4u8F+Q2+0vl6fzHoAope8lFRE643gbBug8ctwiipjBY9auGJ9Lzykqp8Df1F7xMFBHweeQ/qB4+1eofFBrpxvc4Xt5wpbdwXbxA+wEzg+6fuDAQmC/9qVi22uTPZzZbLpSjAEHzw3wHgYOH3va1jpdb/y1F/y1//lOP0XUEsHCKIurGc0BQAAFxkAAFBLAQIUABQACAAIADkmxTyiLqxnNAUAABcZAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAbgUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

===== Axiom III.2: Das Axiom von Pasch =====
:::Gegeben sei ein Dreieck <math>\overline{ABC}</math>. Ferner sei <math>\ g</math> eine Gerade, die durch keinen der drei Eckpunkte <math>\ A, B, C</math> geht. Wenn <math>\ g</math> eine der drei Seiten des Dreiecks <math>\overline{ABC}</math> schneidet, dann schneidet <math>\ g</math> genau eine weitere Seite des Dreiecks <math>\overline{ABC}</math>.

[[Kategorie: Einführung S]]

Wikidatei Strecken und Halbgeraden

2020-06-11T07:44:48Z

Estherstmpf: /* Beweis von */

<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFFFF; align:left;">
{|width=90%| style="background-color:#FFFFFF; padding:1em"
| valign="top" |

= Strecken, intuitiv =
Punkte, Geraden und Ebenen können wir in unserer Geometrie nicht definieren. Für Strecken wird uns das gelingen.

Eine intuitive Vorstellung von Strecken haben wir schon: Eine Strecke ist die kürzeste Verbindung zwischen zwei Punkten. Diese Vorstellung gilt es nun zu präzisieren.

Grundlegend dafür, um was für eine konkrete Strecke es sich jeweils handelt scheint die Angabe zweier Punkte zu sein (kürzeste Verbindung zweier Punkte).

Das Attribut ''kürzeste'' deutet auf das Messen von Längen hin. Das Messen von Längen wird dann auch der Knackpunkt bezüglich einer Definition des Begriffs der Strecke sein.

= Längenmessung =
== Messen: Andere Länder andere Sitten ==
Rory, ein irischer Schüler, wechselt für ein Jahr an die IGH im Hasenleiser. Die Beibehaltung gewisser Gewohnheiten aus Irland könnte für Rory in Deutschland Probleme mit sich bringen: In Irland schmeckt das Guinness besser und vor allem wird es in der Maßeinheit Pint ausgeschenkt. Ein Pint ist etwas mehr als ein halber Liter: 0,56826125 l.

Rory ist ein sehr ordentlicher Schüler und hat sein Schullineal aus Irland mitgebracht. Zum Messen würde dieses in Deutschland allerdings nur dann etwas nützen, wenn es über eine zweite Skale in cm verfügen würde.

== Die Idee der Längenmessung ==
Strecken werden bereits in Klasse 1 gemessen. Was ist das eigentlich, das Messen von Strecken. Wie würden Sie es den Schülern der Klassenstufen für die Sie ausgebildet werden erklären? Ergänzen Sie hier: ...

= Der Abstand zweier Punkte =
=== Die ersten beiden Abstandsaxiome ===

===== Axiom II.1: (Abstandsaxiom) =====

:Zu je zwei Punkten <math>A</math> und <math>B</math> gibt es eine eindeutig bestimmte nicht negative reelle Zahl <math>d</math> mit <math>d=0:\Leftrightarrow A=B</math>.

===== Definition II.1: (Abstand) =====
:Der Abstand zweier Punkte <math>A</math> und <math>B</math> ist die Zahl, die nach dem Abstandsaxiom den Punkten <math>A</math> und <math>B</math> zugeordnet werden kann. Schreibweise: <math>d=|AB|</math>. 

===== Axiom II.2: =====
:Für zwei beliebige Punkte <math>A</math> und <math>B</math> gilt <math>|AB| = |BA|</math>.

=== Die Dreiecksungleichung ===
==== Schüler entdecken die Dreiecksungleichung ====
Dreieckskonstruktionen sind seit jeher fester Bestandteil des Geometrieunterrichts in der Schule. Neben solchen allgemeinen Zielen wie Erziehung zur Exaktheit und Sauberkeit bei Konstruktionen, geht es bei diesen Aufgaben auch darum, dass die Schüler die Gesetzmäßigkeiten ihrer Umwelt durch eigene Tätigkeit selbst erfahren.

Die einfachsten Dreieckskonstruktionen sind die, bei denen die Längen der drei Seiten eines Dreiecks gegeben sind. In der Sprache der Abstände: Alle drei Abstände die die Eckpunkte des Dreiecks zueinander haben sind gegeben.

Abstände sind nach dem Abstandsaxiom reelle Zahlen. (Maßeinheiten wie m und cm sind in der „reinen“ Mathematik irrelevant.)

Der Lehrer, der Konstruktionsaufgaben auf das eigentliche Generieren einer Zeichnung durch die Schüler reduziert, verschenkt eine Reihe von Potenzen hinsichtlich verschiedenster Ziele des Mathematikunterrichts. Stellvertretend sei in diesem Zusammenhang das ''Begründen'' genannt.

Aus didaktischer Sicht werden Konstruktionsaufgaben zu einem bestimmten Problemkreis erst dann vollständig, wenn die Schüler sich sowohl mit Aufgaben mit mehreren Lösungsmöglichkeiten als auch mit unlösbaren Aufgaben auseinandersetzen müssen.

Experimentieren Sie mit dem folgenden Geogebraapplet und klassifizireren Sie die Typen von Konstruktionsaufgaben, die sich für Dreieckskonstruktionen nach ''SSS'' ergeben:

<iframe scrolling="no" title="Dreiecksungleichung" src="https://www.geogebra.org/material/iframe/id/SZJwz3sc/width/640/height/350/border/888888/smb/false/stb/false/stbh/false/ai/false/asb/false/sri/false/rc/false/ld/false/sdz/false/ctl/false" width="640px" height="350px" style="border:0px;"> </iframe>

=== Das Axiom der Dreiecksungleichung ===

===== Axiom II.3: (Dreiecksungleichung) =====
::<math>\text{Für drei beliebige Punkte } A, B \text{ und } C \text{gilt: } \vert AB \vert + \vert BC \vert \geq \vert AC \vert.</math>

::<math>\text{Falls }\operatorname{koll}(ABC)\text{, dann ist eine der folgenden Gleichungen erfüllt:}</math>

::<math>
\begin{matrix}
&& (1) & \vert AB \vert & + & \vert BC \vert & = & \vert AC \vert \\
&& (2) & \vert AC \vert & + & \vert CB \vert & = & \vert AB \vert \\
&& (3) & \vert BA \vert & + & \vert AC \vert & = & \vert BC \vert \\
\end{matrix}
</math> 
::<math>\text{Ist umgekehrt eine dieser drei Gleichungen erfüllt, so sind } A, B \text{ und }C\text{ kollinear.}</math>

=== Definitionen und Sätze ===

===== Definition II.2: (Zwischenrelation) =====
::Ein Punkt <math> B</math> liegt zwischen zwei Punkten <math> A</math> und <math> C</math>, wenn <math> | AB | + | BC | = | AC | </math> gilt und der Punkt <math> B</math> sowohl von <math> A</math> als auch von <math> C</math> verschieden ist.

::Schreibweise: <math> \operatorname{Zw} ( A, B, C ) </math>

Unmittelbar einsichtig sind die folgenden beiden Sätze:

===== Satz II.1 =====
::Aus <math> \operatorname{Zw} ( A, B, C ) </math> folgt <math> \operatorname{Zw} ( C, B, A ) </math>.

===== Beweis von Satz II.1 =====
:: Beweis: trivial (Der Leser überzeuge sich davon.)

:Beweis auch mit Axiom II. 2, da
zu zeigen: ZW(A,B,C) = ZW(C,B,A)

... Das ist nicht schwer. Schreiben Sie hier Ihre Beweise rein.

===== Satz II.2: =====
::Aus <math> \operatorname{Zw} ( A, B, C ) </math> folgt <math> \operatorname{koll} ( A, B, C ) </math>.

===== Beweis von Satz II.2 =====
:: Beweis: trivial (Der Leser überzeuge sich davon.)

===== Satz II.3 =====
::Es sei <math> \operatorname{koll} ( A, B, C ) </math> mit <math> A, B, C</math> sind paarweise verschieden. Dann gilt liegt genau einer der drei Punkte <math>A, B, C</math> zwischen den beiden anderen.

===== Beweis von Satz II.3: =====
Wir haben den Beweis in der Übung am 18. Mai geführt. Üben Sie das Aufschreiben derartiger Beweise noch einmal hier. Schreiben Sie hier Ihre Beweise rein. Sie können nichts kaputt machen.

=====Beweis von =====
'''Existenz:''' 
(1) nach Axiom II/3 gilt
:Eingerückte Zeile

IABI+IBCI=IACAI
:Eingerückte Zeile
IACI+ICBI=IABI
:Eingerückte Zeile
IBAI+IACI=IBCI
:Eingerückte Zeile
damit ist die existenz eines Punktes der zwischen zwei weiteren Punkten liegt bewiesen

'''Eindeutigkeit:''' 
Annahme es gelete IABI+IBCI=IACI
:Eingerückte Zeile
nach der Def. zwischen liegt der Punkt B zwischen den beiden Punkten A und C
:Eingerückte Zeile
bzz: nicht zw(B,C,A) und nicht zw(C,A,B)
:Eingerückte Zeile

wier nehemen an es gelte IABI+IBCI=IACI und IBAI+IACI=IBCI und führen dies zu einem Wiederspruch
:Eingerückte Zeile
(1) IABI+IBCI=IACI
(2) IBAI+IACI=IBCI

setzte (2) in (1)
IABI+IBAI+IACI=IACI
IABI+IBAI=0
2IABI=0 Axiom II/2
IABI=0
-> wiederspruch zur Vorraussetzung
-> B liegt zwischen A und B

= Der Begriff der Strecke=
===== Definition II.3: (Strecke, Endpunkte einer Strecke) =====
::Es seien <math> A</math> und <math> B</math> zwei verschiedene Punkte. <math> A </math> und <math> B </math> heißen die Endpunkte der Strecke <math>\overline{AB}</math>.
Unter der Strecke <math>\overline{AB}</math> versteht man folgende Punktmenge:

<math>\overline{AB} := \{P \vert ... \}</math> '''<-ergänzen Sie selbst'''

===== Definition II.4: (Länge einer Strecke) =====
::Es seien <math> A</math> und <math> B</math> zwei verschiedene Punkte. <math>A</math> und <math>B</math> heißen die Endpunkten der Strecke <math>\overline{AB}</math>. Unter der Länge <math>\vert \overline{AB} \vert</math> der Strecke <math>\overline{AB}</math> versteht man den Abstand ihrer Endpunkte. <math>\vert \overline{AB} \vert</math>:= <math>\vert AB \vert</math>

= Halbgeraden bzw. Strahlen =
===== Definition II.5: (Halbgerade, bzw. Strahl) =====
:Definition: Halbgerade <math>AB^{+}</math> (ergänzen Sie)
:: Eine Halbgerade <math>AB^{+}</math> ist die Menge der Punkte der Strecke <math>\overline{AB}</math> vereinigt mit der Menge aller Punkte <math> P</math> für die gilt :...
 
:Definition: Halbgerade <math>AB^{-}</math> (ergänzen Sie)
::Eine Halbgerade <math> AB^{-} </math> ist ...

===== Satz II.4 =====
::Es sei <math> O</math> ein Punkt der Geraden <math> g</math>. Die Teilmengen <math> \ OA^+ \setminus \left\{ O \right\}</math>, <math> \left\{ O \right\}</math> und <math> \ OA^- \setminus \left\{ O \right\}</math> bilden eine Klasseneinteilung der Geraden <math> g</math>.

===== Beweis von Satz II.4 =====
Sie müssen insbesondere Folgendes zeigen: 

<math>
\begin{matrix}
&& (1) & OA^+ \setminus \left\{ O \right\} \cap \ OA^- \setminus \left\{ O \right\} & = & \emptyset \\
&& (2) &OA^+ \setminus \left\{ O \right\} \cup \left\{ O \right\} \cup \ OA^- \setminus \left\{ O \right\} &=& g
\end{matrix}
</math>

[[Category:Einführung_Geometrie]]


|}
</div>
[[Kategorie:Einführung_S]]

Lösungen Serie 5 SoSe 2020

2020-06-04T20:49:13Z

Estherstmpf: /* Aufgabe 6.03 */

=Aufgabe 6.02=
[[Bild:Lösungen 6.02.jpg|500px]]

==Anfrage von Ferrus==
nun, ich habe mir noch etwas Gedanken gemacht zu meiner Lösung 6.02. Ich bin zum Entschluss gekommen, dass es vielleicht geschickter gewesen wäre, Strecken als Punktmengen zu behandeln, da somit die Definition eindeutiger wäre. Was sagen Sie dazu Herr Gieding? (Änderung 31.05.2020 22:29)

==Antwort==
Ja, Strecken werden üblicherweise als Punktmengen definiert. Hier die formale Definition: <math>\overline{AB}:=\{P|~|AP|+|PB|=|AB|\cup \{A,B\}\}</math>. 
Was bedeutet diese Definition in "einfachen Worten"?--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:27, 3. Jun. 2020 (CEST)

==anderer Lösungsvorschlag==
a) Die Menge aller Punkte, die zwischen den Punkten A und B liegen, heißt offene Strecke. 
b) Die Menge aller Punkte einer offenen Strecke und der Endpunkte A und B heißt geschlossene Strecke. 
c) Die Menge aller Punkte einer offenen Strecke und genau einem der beiden Endpunkte A und B heißt halboffene Strecke. 
d) Der Abstand der Endpunkte einer Strecke <math>|AB|</math> ist die Länge der Strecke <math>\overline{AB}</math>. 
e) Der Punkt M einer Strecke <math>\overline{AB}</math>, für den <math>|AM|=|MB|</math> gilt, heißt Mittelpunkt der Strecke <math>\overline{AB}</math>. 
f) Die Punkte <math>V_1</math>, <math>M</math> und <math>V_2</math> einer Strecke <math>\overline{AB}</math>, mit <math>M</math> als Mittelpunkt von <math>\overline{AB}</math>, für die <math>|AV_1|=|V_1M|=|MV_2|=|V_2B|</math> gilt, heißen Viertelpunkte der Strecke <math>\overline{AB}</math>.

=Aufgabe 6.03=
[[Bild: Aufgaben_Serie_6.03.jpg|500px]]
[[Datei: [[Datei:87D83B07-F0EB-4E9E-825C-275E590975CF.jpeg|thumb|Aufgabe 6.03]]]]
==Bemerkung==
Es handelt sich aus der Sicht der Mathematikdidaktik um eine sogenannte informelle Definition. Schon ein wenig mehr als nur rein intuitiv verstanden, aber aus Sicht des formalen Mathematikers formal nicht ganz korrekt, da etwa der Begriff Richtung noch nicht sauber formuliert wurde. Entweder wir definieren jetzt was eine "Richtung" ist oder versuchen es mit einem anderen bereits definierten Begriff. Da wäre wohl nur "liegt zwischen" im Angebot. 
Das "Herantasten" an eine formal korrekte Definition über ein informelle Definition ist wichtig, kennzeichnet dieser Weg doch ein Verständnis für den Begriff. Das Formale ist dann eigentlich "nur" noch Übersetzung.--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:40, 3. Jun. 2020 (CEST)
==Andere Herangehensweise==
Der Begriff der Richtung ist nicht ganz einfach. Der Mathematiker definiert Richtung anders als wir es umgangssprachlich tun würden. Eine Richtung ist in der Mathematik eine Äquivalenzklasse zueinander paralleler Geraden. Das was wir jetzt noch brächten wäre eigentlich der sogenannte Richtungssinn: nach links, nach rechts, nach oben, nach unten. Wir sehen, dass dieser Begriff ein paar Schwierigkeiten mit sich bringt, da man einen Richtungsinn auf einer Geraden irgendwie vor dem anderen auszeichnen müsste. 
Es geht aber auch über die Relation "zwischen" ... .--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:46, 3. Jun. 2020 (CEST) 
Zum Experimentieren: Halbgeraden über die Zwischenrelation:
<ggb_applet width="800" height="600" version="3.2" ggbBase64="UEsDBBQACAAIAOKcuTwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7Vrrbts2FP69PgWhBUWL1Y6oq43aLZK02wpkS7BkwVAMK2iJlrnIkitRvrTo/+09Nuy9+iQ7JCXbsh3VTlLn0uaPLJI6PPy+85E8ZFrPx/0QDWmSsjhqa7iua4hGXuyzKGhrGe/WGtrzZw9aAY0D2kkI6sZJn/C2ZtYNTZRn7NmDb1ppLx4hEsomZ4yO2lqXhCnVUDpIKPHTHqW8VE6yMQsZSSZHnT+px9NZhTLyKhpk0AtPMijz+v4hS4vXXdnhIGT8BRsynyYojL225tjgOvw6owlnHgnbmqWrEqOtGQuVUGSK2l6csHdxxEXzmfEulCCUsncUvtRFWWtXDrRFMy9kPiORGIz0AxohNGI+7wF6RkPYpCzogbMNy1DmvDhO/JNJymkfjV/TJBb+GALpSf5mueItBcegR1uXVfNv0gwdnlDOgZcUkTGdIRYkzC+QEr9fpftx6E+rBzGL+AEZ8CyRnJp50QmfCPvQVSL83YuCkOZlBkDeo955Jx6fSBCwqUyfTgbyE+lPJziIwzhBiRiODQ3yZ0c9ZRvh6LSVLtvoskVuQxid1uOmIVvIZ0c9ZauQRcq1fOC4GDTWi25YikSBQBFCcTr4kHQoUKuhLGL8sHiBEDjPh4rVBz9n/Q5oYD4Ipjbxddls7S6ET+ucJhENVYxEQG0WZykaimBUfUlHfOqxPryqihwSIuj6FRxQpT4NElo4rhSkAJO1+nwcLhS3dgsnhA8p+OpxmApgPFyMRSiVg0raWr8e1DXkEy5KhRRC2qegEy5jQobUFJs9bTopxFLfRXzm9TOUoXplfMhIIuGgR6CkUEBIJqD2+SFJe0fdbko5Gre1GrZAOeI5V/1T7JdxIBHgKQcJkhwI+4KxAaV+PgHyPMzRAHqUopmjQ6KYit7Mup53Z9SbGnqnvpaNlMLE3CA7dnP6FWSfAG//xsDT1WjMbYBn15tOAZ7e2Aw9L+73SeSjiPShq0OYHSRkTKwZiOgi/hDBAkkFU8aLikCZyg0sESEmminOgVaee3gPJB7RFBRtz4a5e1Wy9EtQ5TYldNiuYmqGdU2vN3Bz/q8hv4ewNRTyOrChu3MNFifeisHTt5Fqk6rpj/VhbfYYr2btWMZ8mbZgia/jar7Kwjm+lHCwodYu+by8eBQjNWsb2nHrlm6bpuXojYZj6NJjOevVHdfCuGE6puFYrms6V9HVGSAYJ6uVdbzEVFbN1FAZK6jILtaWUaWt8hJ8neKqkI9VN50VcOO6YdiNBnZMxzVtw3BMifaso3VGN7cm5/LxSMJpCnuEfPgc3qVYEB0PBAGXJm15OhxuRNrwLpGm5raJsLE8990ATVCagGkh/hyIkaaaZmgXDbUFyHc/RcboLpGB61bTarquo9uuazmOo/ZNkPVYkCUZuulaNrZN/LKG3etnp2LrQKOA9xbUMlqSSadaJlHWpwnzpqB2pEFAIsvxWDH8tTHHnw4kLw8k0kkfjR6vip1FD70te+jnHo7X9M/fsn+ndMxx7uPDt1nMn74ePTp+gvaeoP3HqkBb9prDV1rZxLobEEi1fKZ2AtD6KG/so4chf4qmwT8/OhvL4YnHhpuUJV122Zj6qmTmEUsPySn9bbFYHoWkQE63GIs6FoGdRS61PFuA4IvDjNMTDxLR6DD21EZHTsW2mokNazkPWkmFsUgF8HC8GRXGlan4+Pe/ggn08a//kHj7B+FVvBRHHzkx4nFveTFX8LIP1GzAi3l1iQQgkS+IivKKdUIDUb7uBo9Ur1xpbq1An1y8qWiunfKWUpZVHEpVgZ78LWrrcyXDi7BUJcOSmVDkda8iTpOUypO25QO/c0oH4qT1KDpNSJSKE/dyzF0cHr+QybqhQatDIwFLBaN0K2GxJWl/6ZGwnLp314+E7rYi4TPsg+YOa/Lzs1pzZaCYS4GyKtWfrD4YEGHj1M2Gg23dtjBkNk3nNkfN6pXeKq30e/t/1NZf4q2vu+CqJR6vu9uySxzs/B4PaSJi6P3e/ocdRLIu2kHAzPvvPqCd9dmxr8jOTSzet54qp0zVJWhxvu6Lr4UJt5yigGJokEUBoiCcBP1AE+LTCMDY23/4Ldafsgj5jKIOZaL4RxJ2grzJjuJwB2WwpCpGax82INS98i1e9cmbsz2ajLVpWsFSxX3NwTJE5dPJuTXtsledlTBV3sesfRtTk1c3cjugV963mJuA8+KegWNcJzgv7wc4WP8c4Hx/z8DZWFaLF83hJIijhWToQCVDL+BhiHhCxBTILaZGZwzMeudYtfbeYNXelz/gCyp/WDCEN7g6ixrkbhQkTC1fmBpUXuNclFCVbrZtc37dXzoTv9J6cnE0Lh4qCdRuZJAbhu383aGeXx2qyDM2uo3afgpXCb9/5+AvhI9xjn/NuNMM0DvHQG1JAZtdyN4yArp3joBCArWpBizrdjOwO//fo/IfpvP/GH/2P1BLBwj3i9pEKgcAAGMuAABQSwECFAAUAAgACADinLk894vaRCoHAABjLgAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAGQHAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

=Aufgabe 6.04=
Bei der Zerlegung einer Geraden AB in zwei Halbgeraden <math>AB+</math> und <math>AB-</math> ist die Menge aller Punkte zwischen A und B sowie die Punkte A und B in beiden Halbgeraden und in diesem Fall in beiden Teilmengen enthalten. Somit gilt Bedingung (III) nicht, welche besagt dass jedes Element nur in einer Teilmenge enthalten sein darf. Da nicht alle drei Bedingungen erfüllt sind, liegt keine Klasseneinteilung vor.

=Aufgabe 6.05=
[[Bild:Aufgaben_Serie_6.05.jpg| 500px]]
==Reicht das?==
Es gibt ja nur noch eine weitere Möglichkeit. Streng genommen müssen Sie diese Möglichkeit im Beweis berücksichtigen. Es ist aber abzusehen, dass in diesem beweis nur ein paar Punktbezeichnungen anders sind. Also verweisen wir auf den Fall und sagen "Beweis analog".--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:34, 3. Jun. 2020 (CEST)

=Aufgabe 6.06=
[[Bild:Aufgaben_Serie_6.06.jpg|500px]] 
Sieht gut aus. --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 12:08, 3. Jun. 2020 (CEST) 

Hier eine Variante mit Geogebra: [https://www.geogebra.org/classic/jqcqgttd Ellipse mit zwei Kreisen in Geogebra]

=Aufgabe 6.07 und 6.08=
[[Datei:Aufgaben Serie 6.07+6.08.jpg|500px]]

==anderer Lösungsvorschlag==
===6.07===
Für C ist Element von <math>AB+</math> kann zw(A,B,C) oder zw(A,C,B) gelten.
Da |AB|<|AC| kann |AC|+|CB|=|AB| nicht gelten, weil |CB| nicht negativ sein kann (Axiom II.1). zw(A,C,B) kann folglich nicht gelten. Da von drei paarweise verschiedenen kollinearen Punkten immer genau einer zwischen den anderen beiden liegt, muss zw(A,B,C) gelten.

===6.08===
Voraussetzung: Die Geraden g und h haben genau einen Schnittpunkt. 
Behauptung: Die Geraden sind komplanar. 
Beweis: 
(1) Es existiert der Schnittpunkt S der beiden Geraden g und h. (V) 
(2) Es existieren die Punkte <math>P_g</math>, der mit g inzidiert, und <math>P_h</math>, der mit h inzidiert. <math>P_g</math> und <math>P_h</math> sind verschieden von S.(Axiom I.2) 
(3) Es gilt <math>nkoll(S,P_h,P_g)</math> (V) 
(4) Es existiert eine Ebene E, die diese drei Punkte enthällt. (1, 2, 3, Axiom I.4) 
(5) Die Geraden g und h sind in der Ebene E enthalten (4, Axiom I.5) 
(6) g und h sind komplanar (5)
[[Kategorie: Einführung S]]
[[Datei: [[Datei:4C0A3C2C-0A54-444C-AB2F-2C7EF9EBD672.jpeg|thumb|Aufgabe 6.07]]]]

Datei:87D83B07-F0EB-4E9E-825C-275E590975CF.jpeg

2020-06-04T20:47:59Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 6.03}}
|date=2020-06-04 22:47:28
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen Serie 5 SoSe 2020

2020-06-04T20:42:58Z

Estherstmpf: /* Aufgabe 6.07 und 6.08 */

=Aufgabe 6.02=
[[Bild:Lösungen 6.02.jpg|500px]]

==Anfrage von Ferrus==
nun, ich habe mir noch etwas Gedanken gemacht zu meiner Lösung 6.02. Ich bin zum Entschluss gekommen, dass es vielleicht geschickter gewesen wäre, Strecken als Punktmengen zu behandeln, da somit die Definition eindeutiger wäre. Was sagen Sie dazu Herr Gieding? (Änderung 31.05.2020 22:29)

==Antwort==
Ja, Strecken werden üblicherweise als Punktmengen definiert. Hier die formale Definition: <math>\overline{AB}:=\{P|~|AP|+|PB|=|AB|\cup \{A,B\}\}</math>. 
Was bedeutet diese Definition in "einfachen Worten"?--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:27, 3. Jun. 2020 (CEST)

==anderer Lösungsvorschlag==
a) Die Menge aller Punkte, die zwischen den Punkten A und B liegen, heißt offene Strecke. 
b) Die Menge aller Punkte einer offenen Strecke und der Endpunkte A und B heißt geschlossene Strecke. 
c) Die Menge aller Punkte einer offenen Strecke und genau einem der beiden Endpunkte A und B heißt halboffene Strecke. 
d) Der Abstand der Endpunkte einer Strecke <math>|AB|</math> ist die Länge der Strecke <math>\overline{AB}</math>. 
e) Der Punkt M einer Strecke <math>\overline{AB}</math>, für den <math>|AM|=|MB|</math> gilt, heißt Mittelpunkt der Strecke <math>\overline{AB}</math>. 
f) Die Punkte <math>V_1</math>, <math>M</math> und <math>V_2</math> einer Strecke <math>\overline{AB}</math>, mit <math>M</math> als Mittelpunkt von <math>\overline{AB}</math>, für die <math>|AV_1|=|V_1M|=|MV_2|=|V_2B|</math> gilt, heißen Viertelpunkte der Strecke <math>\overline{AB}</math>.

=Aufgabe 6.03=
[[Bild: Aufgaben_Serie_6.03.jpg|500px]]
==Bemerkung==
Es handelt sich aus der Sicht der Mathematikdidaktik um eine sogenannte informelle Definition. Schon ein wenig mehr als nur rein intuitiv verstanden, aber aus Sicht des formalen Mathematikers formal nicht ganz korrekt, da etwa der Begriff Richtung noch nicht sauber formuliert wurde. Entweder wir definieren jetzt was eine "Richtung" ist oder versuchen es mit einem anderen bereits definierten Begriff. Da wäre wohl nur "liegt zwischen" im Angebot. 
Das "Herantasten" an eine formal korrekte Definition über ein informelle Definition ist wichtig, kennzeichnet dieser Weg doch ein Verständnis für den Begriff. Das Formale ist dann eigentlich "nur" noch Übersetzung.--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:40, 3. Jun. 2020 (CEST)
==Andere Herangehensweise==
Der Begriff der Richtung ist nicht ganz einfach. Der Mathematiker definiert Richtung anders als wir es umgangssprachlich tun würden. Eine Richtung ist in der Mathematik eine Äquivalenzklasse zueinander paralleler Geraden. Das was wir jetzt noch brächten wäre eigentlich der sogenannte Richtungssinn: nach links, nach rechts, nach oben, nach unten. Wir sehen, dass dieser Begriff ein paar Schwierigkeiten mit sich bringt, da man einen Richtungsinn auf einer Geraden irgendwie vor dem anderen auszeichnen müsste. 
Es geht aber auch über die Relation "zwischen" ... .--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:46, 3. Jun. 2020 (CEST) 
Zum Experimentieren: Halbgeraden über die Zwischenrelation:
<ggb_applet width="800" height="600" version="3.2" ggbBase64="UEsDBBQACAAIAOKcuTwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7Vrrbts2FP69PgWhBUWL1Y6oq43aLZK02wpkS7BkwVAMK2iJlrnIkitRvrTo/+09Nuy9+iQ7JCXbsh3VTlLn0uaPLJI6PPy+85E8ZFrPx/0QDWmSsjhqa7iua4hGXuyzKGhrGe/WGtrzZw9aAY0D2kkI6sZJn/C2ZtYNTZRn7NmDb1ppLx4hEsomZ4yO2lqXhCnVUDpIKPHTHqW8VE6yMQsZSSZHnT+px9NZhTLyKhpk0AtPMijz+v4hS4vXXdnhIGT8BRsynyYojL225tjgOvw6owlnHgnbmqWrEqOtGQuVUGSK2l6csHdxxEXzmfEulCCUsncUvtRFWWtXDrRFMy9kPiORGIz0AxohNGI+7wF6RkPYpCzogbMNy1DmvDhO/JNJymkfjV/TJBb+GALpSf5mueItBcegR1uXVfNv0gwdnlDOgZcUkTGdIRYkzC+QEr9fpftx6E+rBzGL+AEZ8CyRnJp50QmfCPvQVSL83YuCkOZlBkDeo955Jx6fSBCwqUyfTgbyE+lPJziIwzhBiRiODQ3yZ0c9ZRvh6LSVLtvoskVuQxid1uOmIVvIZ0c9ZauQRcq1fOC4GDTWi25YikSBQBFCcTr4kHQoUKuhLGL8sHiBEDjPh4rVBz9n/Q5oYD4Ipjbxddls7S6ET+ucJhENVYxEQG0WZykaimBUfUlHfOqxPryqihwSIuj6FRxQpT4NElo4rhSkAJO1+nwcLhS3dgsnhA8p+OpxmApgPFyMRSiVg0raWr8e1DXkEy5KhRRC2qegEy5jQobUFJs9bTopxFLfRXzm9TOUoXplfMhIIuGgR6CkUEBIJqD2+SFJe0fdbko5Gre1GrZAOeI5V/1T7JdxIBHgKQcJkhwI+4KxAaV+PgHyPMzRAHqUopmjQ6KYit7Mup53Z9SbGnqnvpaNlMLE3CA7dnP6FWSfAG//xsDT1WjMbYBn15tOAZ7e2Aw9L+73SeSjiPShq0OYHSRkTKwZiOgi/hDBAkkFU8aLikCZyg0sESEmminOgVaee3gPJB7RFBRtz4a5e1Wy9EtQ5TYldNiuYmqGdU2vN3Bz/q8hv4ewNRTyOrChu3MNFifeisHTt5Fqk6rpj/VhbfYYr2btWMZ8mbZgia/jar7Kwjm+lHCwodYu+by8eBQjNWsb2nHrlm6bpuXojYZj6NJjOevVHdfCuGE6puFYrms6V9HVGSAYJ6uVdbzEVFbN1FAZK6jILtaWUaWt8hJ8neKqkI9VN50VcOO6YdiNBnZMxzVtw3BMifaso3VGN7cm5/LxSMJpCnuEfPgc3qVYEB0PBAGXJm15OhxuRNrwLpGm5raJsLE8990ATVCagGkh/hyIkaaaZmgXDbUFyHc/RcboLpGB61bTarquo9uuazmOo/ZNkPVYkCUZuulaNrZN/LKG3etnp2LrQKOA9xbUMlqSSadaJlHWpwnzpqB2pEFAIsvxWDH8tTHHnw4kLw8k0kkfjR6vip1FD70te+jnHo7X9M/fsn+ndMxx7uPDt1nMn74ePTp+gvaeoP3HqkBb9prDV1rZxLobEEi1fKZ2AtD6KG/so4chf4qmwT8/OhvL4YnHhpuUJV122Zj6qmTmEUsPySn9bbFYHoWkQE63GIs6FoGdRS61PFuA4IvDjNMTDxLR6DD21EZHTsW2mokNazkPWkmFsUgF8HC8GRXGlan4+Pe/ggn08a//kHj7B+FVvBRHHzkx4nFveTFX8LIP1GzAi3l1iQQgkS+IivKKdUIDUb7uBo9Ur1xpbq1An1y8qWiunfKWUpZVHEpVgZ78LWrrcyXDi7BUJcOSmVDkda8iTpOUypO25QO/c0oH4qT1KDpNSJSKE/dyzF0cHr+QybqhQatDIwFLBaN0K2GxJWl/6ZGwnLp314+E7rYi4TPsg+YOa/Lzs1pzZaCYS4GyKtWfrD4YEGHj1M2Gg23dtjBkNk3nNkfN6pXeKq30e/t/1NZf4q2vu+CqJR6vu9uySxzs/B4PaSJi6P3e/ocdRLIu2kHAzPvvPqCd9dmxr8jOTSzet54qp0zVJWhxvu6Lr4UJt5yigGJokEUBoiCcBP1AE+LTCMDY23/4Ldafsgj5jKIOZaL4RxJ2grzJjuJwB2WwpCpGax82INS98i1e9cmbsz2ajLVpWsFSxX3NwTJE5dPJuTXtsledlTBV3sesfRtTk1c3cjugV963mJuA8+KegWNcJzgv7wc4WP8c4Hx/z8DZWFaLF83hJIijhWToQCVDL+BhiHhCxBTILaZGZwzMeudYtfbeYNXelz/gCyp/WDCEN7g6ixrkbhQkTC1fmBpUXuNclFCVbrZtc37dXzoTv9J6cnE0Lh4qCdRuZJAbhu383aGeXx2qyDM2uo3afgpXCb9/5+AvhI9xjn/NuNMM0DvHQG1JAZtdyN4yArp3joBCArWpBizrdjOwO//fo/IfpvP/GH/2P1BLBwj3i9pEKgcAAGMuAABQSwECFAAUAAgACADinLk894vaRCoHAABjLgAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAGQHAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

=Aufgabe 6.04=
Bei der Zerlegung einer Geraden AB in zwei Halbgeraden <math>AB+</math> und <math>AB-</math> ist die Menge aller Punkte zwischen A und B sowie die Punkte A und B in beiden Halbgeraden und in diesem Fall in beiden Teilmengen enthalten. Somit gilt Bedingung (III) nicht, welche besagt dass jedes Element nur in einer Teilmenge enthalten sein darf. Da nicht alle drei Bedingungen erfüllt sind, liegt keine Klasseneinteilung vor.

=Aufgabe 6.05=
[[Bild:Aufgaben_Serie_6.05.jpg| 500px]]
==Reicht das?==
Es gibt ja nur noch eine weitere Möglichkeit. Streng genommen müssen Sie diese Möglichkeit im Beweis berücksichtigen. Es ist aber abzusehen, dass in diesem beweis nur ein paar Punktbezeichnungen anders sind. Also verweisen wir auf den Fall und sagen "Beweis analog".--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 11:34, 3. Jun. 2020 (CEST)

=Aufgabe 6.06=
[[Bild:Aufgaben_Serie_6.06.jpg|500px]] 
Sieht gut aus. --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 12:08, 3. Jun. 2020 (CEST) 

Hier eine Variante mit Geogebra: [https://www.geogebra.org/classic/jqcqgttd Ellipse mit zwei Kreisen in Geogebra]

=Aufgabe 6.07 und 6.08=
[[Datei:Aufgaben Serie 6.07+6.08.jpg|500px]]

==anderer Lösungsvorschlag==
===6.07===
Für C ist Element von <math>AB+</math> kann zw(A,B,C) oder zw(A,C,B) gelten.
Da |AB|<|AC| kann |AC|+|CB|=|AB| nicht gelten, weil |CB| nicht negativ sein kann (Axiom II.1). zw(A,C,B) kann folglich nicht gelten. Da von drei paarweise verschiedenen kollinearen Punkten immer genau einer zwischen den anderen beiden liegt, muss zw(A,B,C) gelten.

===6.08===
Voraussetzung: Die Geraden g und h haben genau einen Schnittpunkt. 
Behauptung: Die Geraden sind komplanar. 
Beweis: 
(1) Es existiert der Schnittpunkt S der beiden Geraden g und h. (V) 
(2) Es existieren die Punkte <math>P_g</math>, der mit g inzidiert, und <math>P_h</math>, der mit h inzidiert. <math>P_g</math> und <math>P_h</math> sind verschieden von S.(Axiom I.2) 
(3) Es gilt <math>nkoll(S,P_h,P_g)</math> (V) 
(4) Es existiert eine Ebene E, die diese drei Punkte enthällt. (1, 2, 3, Axiom I.4) 
(5) Die Geraden g und h sind in der Ebene E enthalten (4, Axiom I.5) 
(6) g und h sind komplanar (5)
[[Kategorie: Einführung S]]
[[Datei: [[Datei:4C0A3C2C-0A54-444C-AB2F-2C7EF9EBD672.jpeg|thumb|Aufgabe 6.07]]]]

Datei:4C0A3C2C-0A54-444C-AB2F-2C7EF9EBD672.jpeg

2020-06-04T20:41:05Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 6.07}}
|date=2020-06-04 22:40:35
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen Serie 4 SoSe 2020

2020-05-29T12:56:23Z

Estherstmpf: /* Aufgabe 4.2 */

=Aufgabe 4.1=
a) Drei Punkte A,B und C sind kollinear, wenn eine Gerade g existiert, mit der alle drei Punkte inzidieren. 
b) 
c) Zwei Geraden (in der Ebene) sind parallel zueinander, wenn kein Punkt P existiert, der mit beiden Geraden inzidiert. 
d) Zwei Geraden (im Raum) sind parallel zueinander, wenn kein Punkt P existiert, der mit beiden Geraden inzidiert und eine Ebene existiert, in der beide Geraden liegen. 
e) Eine Gerade ist parallel zu einer Ebene, wenn kein Punkt P existiert, der sowohl mit der Ebene als auch der Geraden inzidiert. 
f) Zwei Geraden sind windschief zueinander, wenn kein Punkt P existiert, der mit beiden Geraden inzidiert und keine Ebene existiert, in der beide Geraden ligene.

[[Datei: [[Datei:Gescannte Dokumente.pdf|thumb|Aufgabe 4.2]]]]=Aufgabe 4.2=

=Aufgabe 4.3=
Voraussetzung: Zwei Ebenen haben einen Punkt gemeinsam. 
Behauptung: Diese Ebenen haben eine Gerade gemeinsam. 
Beweis: 
(1) Die Ebenen haben einen zweiten Punkt gemeinsam (Axiom I6) 
(2) Durch diese zwei Punkte geht eine Gerade (Axiom I1) 
(3) Mindestens zwei Punkte dieser Geraden liegen in beiden Ebenen (V, (1), (2)) 
(4) Die Ebenen haben eine Gerade gemeinsam (Axiom I5)

=Aufgabe 4.4=

=Aufgabe 4.5=
[[Datei:Aufgabe4.5.jpg|thumb|Aufgabe4.5]]

=Aufgabe 4.6=
[[Kategorie:Einführung_S]]

Datei:Gescannte Dokumente.pdf

2020-05-29T12:55:36Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 4.2}}
|date=2020-05-29 14:55:15
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T11:26:02Z

Estherstmpf: /* Aufgabe 3.4 b) */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
[[Datei: [[Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg|thumb|Aufgabe3.2 a,b,c,d]]]]
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
[[Datei: [[Datei:Aufgabe 3.2 e,f,g.pdf|thumb|Aufgabe 3.2 e,f,g]]]]
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs

==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2
[[Datei: [[Datei:Aufgabe 3.3 b,c,d e f.pdf|thumb|Aufgabe 3.3 b,c,d,e,f]]]]

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kolinear)
[[Datei: [[Datei:12A644C7-1DAB-46D9-867A-1BEA75310C48.jpeg|thumb|Aufgabe3.3h]]]]

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.
[[Datei: [[Datei:Aufgabe 3.4a,b,c.pdf|thumb|Aufgabe3.4 a,b,c]]]]

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& falsch \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:Aufgabe 3.4a,b,c.pdf

2020-05-22T11:24:55Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe3.4 a,b,c}}
|date=2020-05-22 13:23:58
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T11:22:58Z

Estherstmpf: /* Aufgabe 3.3 h) */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
[[Datei: [[Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg|thumb|Aufgabe3.2 a,b,c,d]]]]
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
[[Datei: [[Datei:Aufgabe 3.2 e,f,g.pdf|thumb|Aufgabe 3.2 e,f,g]]]]
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs

==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2
[[Datei: [[Datei:Aufgabe 3.3 b,c,d e f.pdf|thumb|Aufgabe 3.3 b,c,d,e,f]]]]

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kolinear)
[[Datei: [[Datei:12A644C7-1DAB-46D9-867A-1BEA75310C48.jpeg|thumb|Aufgabe3.3h]]]]

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& falsch \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:12A644C7-1DAB-46D9-867A-1BEA75310C48.jpeg

2020-05-22T11:22:04Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe3.3h}}
|date=2020-05-22 13:21:39
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T11:19:07Z

Estherstmpf: /* Aufgabe 3.3 h) */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
[[Datei: [[Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg|thumb|Aufgabe3.2 a,b,c,d]]]]
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
[[Datei: [[Datei:Aufgabe 3.2 e,f,g.pdf|thumb|Aufgabe 3.2 e,f,g]]]]
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs

==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2
[[Datei: [[Datei:Aufgabe 3.3 b,c,d e f.pdf|thumb|Aufgabe 3.3 b,c,d,e,f]]]]

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kolinear)

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& falsch \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:Aufgabe 3.3 h.pdf

2020-05-22T11:17:32Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 3.3h}}
|date=2020-05-22 13:17:14
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T11:16:33Z

Estherstmpf: /* Aufgabe 3.3 d) */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
[[Datei: [[Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg|thumb|Aufgabe3.2 a,b,c,d]]]]
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
[[Datei: [[Datei:Aufgabe 3.2 e,f,g.pdf|thumb|Aufgabe 3.2 e,f,g]]]]
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs

==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2
[[Datei: [[Datei:Aufgabe 3.3 b,c,d e f.pdf|thumb|Aufgabe 3.3 b,c,d,e,f]]]]

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kollinear.)

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& falsch \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:Aufgabe 3.3 b,c,d e f.pdf

2020-05-22T11:15:19Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 3.3 b,c,d,e,f}}
|date=2020-05-22 13:14:08
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T11:10:30Z

Estherstmpf: /* Aufgabe 3.2 */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
[[Datei: [[Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg|thumb|Aufgabe3.2 a,b,c,d]]]]
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
[[Datei: [[Datei:Aufgabe 3.2 e,f,g.pdf|thumb|Aufgabe 3.2 e,f,g]]]]
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs

==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kollinear.)

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& falsch \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:Aufgabe 3.2 e,f,g.pdf

2020-05-22T11:08:52Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 3.2 e,f,g}}
|date=2020-05-22 13:08:09
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T11:06:50Z

Estherstmpf: /* Aufgabe 3.2 */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
[[Datei: [[Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg|thumb|Aufgabe3.2 a,b,c,d]]]]
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs

==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kollinear.)

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& falsch \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:8599A06E-BE1D-423F-9567-C8635FF4E09A.jpeg

2020-05-22T11:05:10Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe3.2 a,b,c,d}}
|date=2020-05-22 13:03:34
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Datei:Aufgabe 3.2 a,b,c,d.pdf

2020-05-22T10:46:24Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 3.2 a,b,c,d}}
|date=2020-05-22 12:44:10
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 3 SoSe 2020

2020-05-22T06:52:20Z

Estherstmpf: /* Aufgabe 3.1 b) */

=Aufgabe 3.1=
==Aufgabe 3.1 a)==
Schauen Sie in den Qelltext. Die Tilde ~ muss jeweils ersetzt werden. 
Wenn Sie mit der Tabellensyntax nicht klar kommen, schauen Sie sich erst die Aufgabe 3.5 an. Die Tabellen sind kleiner und übersichtlicher und damit schneller zu verstehen. 

<math>
\begin{array}{|r|r|r|r|r|r|r|r|r|r|r|r|r|r|} \hline
Bsp. & a & m_1 & m_1 : a & m_2 & m_2 : a & n_1 & n_1 : a & n_2 & n_2 : a & m_1 + n_1 &(m_1 + n_1):a & m_2 + n_2 & (m_2 + n_2):a \\ \hline
0 & 4 & 7 & 1~R~3 & 11 & 2~R~3 & 5 & 1~R~1 & 9~ & 1~R~1 & 7+5=12 & 3~R~0 & 11 + 5 = 16 & 4~R~0 \\ \hline
1 & 7 & 15 & 2~R~1 &8 &1~R~1 &13 &1~R~6 &20 &2~R~6 & 15+13=28 &4~R~0 & 8+20=28 &4~R~0 \\ \hline
2 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
3 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
4 & ~ & ~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ &~ \\ \hline
\end{array}
</math>

==Aufgabe 3.1 b)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=4p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=4p_2+r_1</math>
===Voraussetzung 2====
<math>n_1</math> und <math>n_2</math> lassen bei Division durch <math>4</math> denselben Rest <math>r_2</math>. 
also:
====Voraussetzung 2.1===
<math>\exist q_1 \in \mathbb{N}: n_1=4p_1+r_2</math>
====Voraussetzung 2.2====
<math>\ldots</math>

===Behauptung===
<math>m_1 + n_1</math> sowie <math>m_2+n_2</math> lassen bei Division durch <math>4</math> jeweils denselben Rest <math>r_3</math>. 
Oder anders ausgedrückt: 
Es sei <math>r_3</math> der Rest, der bei der Division von <math>m_1+n_1</math> durch <math>4</math> gelassen wird. 
Behauptung (und damit zu zeigen): <math>r_3</math> wird auch bei der Division von <math>m_2+n_2</math> durch <math>4</math> gelassen.
===Beweis===
[[Datei: [[Datei:Aufgabe 3.1b.pdf|thumb|Aufgabe 3b und x]]]]

==Aufgabe 3.1 c)==
===Voraussetzung 1===
<math>m_1</math> und <math>m_2</math> lassen bei Division durch <math>a</math> denselben Rest <math>r_1</math>. 
also:
====Voraussetzung 1.1====
<math>\exist p_1 \in \mathbb{N}: m_1=a \cdot p_1+r_1</math>
====Voraussetzung 1.2====
<math>\exist p_2 \in \mathbb{N}: m_2=a \cdot p_2+r_1</math>
===Voraussetzung 2===

also:

====Voraussetzung 2.1====

====Voraussetzung 2.2====

===Behauptung===

===Beweis===

=Aufgabe 3.2=
==Aufgabe 3.2 a)==
* Achsensymmetrie 1:
* Achsensymmetrie 2:
* Achsensymmetrie 3:
* Achsensymmetrie 4:
==Aufgabe 3.2 b)==
* Drehung 1:
* Drehung 2:
* Drehung 3:
* Drehung 4:
==Aufgabe 3.2 c)==
*(a) gleichzeitig zwei Drehsymmetrien und zwei Achsensymmetrien haben :
*(b) nur Achsensymmetrien haben:
*(c) nur Drehsymmetrien haben:
*(d) genau eine Achsensymmetrie haben:
*(e) genau zwei Achsensymmetrien haben:
*(f) bei folgenden Viereckstypen sind alle Repräsentanten ähnlich zueinander:
==Aufgabe 3.2 d)==
Schiefdrachen:

==Aufgabe 3.2 e)==
Drachen
==Aufgabe 3.2 f)==
Raute unter Verwendung des unmittelbaren Oberbegriffs
==Aufgabe 3.2 g)==
Haus der Vierecke unter dem Gesichtspunkt Symmetrien:
z.B.
* 8 Symmetrien
* 7 Symmetrien
* 6 Symmetrien
* 5 Symmetrien
* 4 Symmetrien
...
**

=Aufgabe 3.3=
==Aufgabe 3.3 a)==
Definition:(Mittelsenkrechte) 
:Wenn eine Gerade <math>m</math> eine Strecke in deren Mittelpunkt in einem rechten Winkel schneidet, so ist diese Gerade die Mittelsenkrechte der Strecke.

==Aufgabe 3.3 b)==
Satz 3.2: (Halbes Mittelsenkrechtenkriterium) 
:Es sei <math>m</math> die Mittelsenkrechte von <math>\overline{AB}</math>. 
: <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math>. 

Formulieren Sie Satz 3.2 in "`Wenn Dann"' ohne die Verwendung von mathematischer Formelsprache. 

Wenn ein Punkt <math>P</math> auf der Geraden <math>m</math> liegt, dann hat er denselben Abstand zu Punkt <math>A</math> wie zu Punkt <math>B</math>.

==Aufgabe 3.3 c)==
Formulieren Sie Satz 3.2 in mathematischer Formelsprache, ohne den Allquantor zu verwenden:

==Aufgabe 3.3 d)==
Beweis von Satz 3.2

==Aufgabe 3.3 e)==
Umkehrung von Satz 3.2 
Es sei <math>m</math> eine Gerade, die die Strecke <math>\overline{AB}</math> schneidet. 
Wenn <math>\forall P \in m: \overline{PA} \cong \overline{PB}</math> gilt, dann ist m die Mittelsenkrechte der Strecke <math>\overline{AB}</math>.

==Aufgabe 3.3 f)==
Äquivalenz, Mittelsenkrechtenkriterium

==Aufgabe 3.3 g)==
Es sei <math>a \Rightarrow b</math> eine Implikation. Unter der Kontraposition dieser Implikation versteht man die Implikation <math>\neg b \Rightarrow \neg a</math>. Formulieren Sie die Kontraposition von Satz 3.2.
==Aufgabe 3.3 h)==
Begründen Sie in der ebenen Geometrie: Es seien <math>k_1, k_2, k_3</math> drei Kreise mit den Mittelpunkten <math>M_1, M_2, M_3</math>. Wenn der Schnitt aller drei Kreise genau zwei Punkte beinhaltet, dann sind <math>M_1, M_2, M_3</math> kollinear. 
(Googeln Sie ggf. kollinear.)

=Aufgabe 3.4=
==Aufgabe 3.4 a)==
Definieren Sie den Begriff Drachenviereck über die Diagonaleneigenschaft.

==Aufgabe 3.4 b)==
Es sei <math>\overline{ABCD}</math> ein Viereck mit <math>\overline{AB} \cong \overline{AD} \land \overline{CB} \cong \overline{CD}</math>. Beweisen Sie, dass <math>\overline{ABCD}</math> ein Drachen ist.

==Aufgabe 3.4 c)==
Definieren sie Rauten als spezielle Drachen.

=Aufgabe 3.5=
==Aufgabe 3.5 a)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \land b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & falsch \\ \hline
wahr & falsch & falsch \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 b)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \lor b \\ \hline
falsch & falsch & falsch \\ \hline
falsch & wahr & wahr \\ \hline
wahr & falsch & wahr \\ \hline
wahr & wahr& wahr \\ \hline
\end{array}
</math>

==Aufgabe 3.5 c)==
Schauen Sie in den Quelltext. Die Logik der Tabellenbeschreibung sollte sich Ihnen recht schnell erschließen. Ersetzen Sie das Konstrukt \ldots durch die jeweilige Lösung. 

<math>
\begin{array}{|c|c|c|} \hline
a & b & a \veebar b \\ \hline
falsch & falsch & \ldots \\ \hline
falsch & wahr & \ldots \\ \hline
wahr & falsch & \ldots \\ \hline
wahr & wahr& \ldots \\ \hline
\end{array}
</math>

=Aufgabe 3.6=
Um ein grundlegendes Verständnis für einen Begriff zu vermitteln, arbeitet man im Mathematikunterricht mit vielen Beispielen und Gegenbeispielen. Für den Begriff "`Mittelsenkrechte"' müssen prinzipiell zwei Bedingungen erfüllt sein: Die Gerade muss senkrecht auf der Strecke stehen <math>(\perp)</math> und diese halbieren <math>(\frac{1}{2})</math>. Dann und nur dann, wenn die Verknüpfung <math>\perp \land \frac{1}{2}</math> wahr ist, darf die entsprechende Gerade Mittelsenkrechte der jeweiligen Strecke genannt werden. Aus diesem "`und-Konstrukt"' lässt sich eine grundlegende Klassifizierung von Gegenbeispielen bezüglich einer didaktisch wertvollen schulischen Erabeitung des Begriffs Mittelsenkrechte ableiten. Beschreiben Sie diese Klassifizierung.
 

Kleiner Tip: 

<math>
\begin{array}{|c|c|c|c|} \hline
\perp & \frac{1}{2} & Mittelsenkrechte & Typ \\ \hline
falsch & falsch & falsch & 1 \\ \hline
falsch & wahr & falsch & 2\\ \hline
wahr & falsch & falsch & 3 \\ \hline
wahr & wahr& wahr & 4\\ \hline
\end{array}
</math>

[[Kategorie:Einführung_S]]

Datei:Aufgabe 3.1b.pdf

2020-05-22T06:37:24Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 3b und x}}
|date=2020-05-22 08:35:37
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Datei:CC776010-851F-4C82-8956-4EAEBC6C6787.jpeg

2020-05-15T12:17:54Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 2.1 neu}}
|date=2020-05-15 14:17:07
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg

2020-05-15T12:16:06Z

Estherstmpf: Estherstmpf lud eine neue Version von „Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg“ hoch: Zurückgesetzt auf die Version vom 15. Mai 2020, 10:50 Uhr

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 2.1}}
|date=2020-05-15 12:48:25
|source={{own}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg

2020-05-15T12:16:02Z

Estherstmpf: Estherstmpf lud eine neue Version von „Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg“ hoch: Zurückgesetzt auf die Version vom 15. Mai 2020, 10:50 Uhr

Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg

2020-05-15T12:15:09Z

Estherstmpf: Estherstmpf lud eine neue Version von „Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg“ hoch: {{Information ohne UploadWizard |Beschreibung = |Quelle = |Urheber = |Datum = |Genehmigung = |Andere Versionen = |Anmerkungen = }}

Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg

2020-05-15T12:09:41Z

Estherstmpf: /* {{int:filedesc}} */

Lösungen zu den Übungsaufgaben der Serie 2 SoSe 2020

2020-05-15T10:56:37Z

Estherstmpf: /* Aufgabe 2.4 */

Stellen Sie hier Ihre Lösungen ein:
=Aufgabe 2.1=
a) Wenn t ein Teiler von T ist, dann ist er auch ein Teiler aller Vielfachen v von T. 
b) a*t=T => b*t=v*T 
c) Beispiel: t=2, T=6 
d)
[[Datei: [[Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg|thumb|Aufgabe 2.1]]]]

=Aufgabe 2.2=
==Teilaufgabe a==
SSS: Wenn zwei Dreiecke in ihren drei Seitenlängen miteinander übereinstimmen, dann sind sie kongruent zueinander. 
WSW: Wenn zwei Dreiecke in einer Seitenlänge und den beiden angrenzenden Winkeln übereinstimmen, dann sind sie kongruent zueinander. 
SWS: Wenn zwei Dreiecke in zwei Seitenlängen und dem eingeschlossenen Winkel übereinstimmen, dann sind sie kongruent zueinander. 
==Teilaufgabe b==
SSS: Wenn zwei Dreiecke kongruent zueinander sind, dann stimmen sie in allen drei Seitenlängen überein. 
WSW: Wenn zwei Dreiecke kongruent zueinander sind, dann stimmen sie in einer Seitenlänge und den angrenzenden Winkeln überein. 
SWS: Wenn zwei Dreiecke kongruent zueinander sind, dann stimmen sie in zwei Seitenlängen und dem eingeschlossenen Winkel überein.
==Teilaufgabe c==
SSS: Genau dann, wenn zwei Dreiecke kongruent zueinander sind, stimmen ihre drei Seitenlängen überein. 
WSW: Genau dann, wenn zwei Dreiecke kongruent zueinander sind, stimmen sie in einer Seitenlänge und den beiden angrenzenden Winkeln überein. 
SWS: Genau dann, wenn zwei Dreiecke kongruent zueinander sind, stimmen sie in zwei Seitenlängen und dem eingeschlossenen Winkel überein.

=Aufgabe 2.3=
a) Ein Viereck mit zwei gegenüberliegenden, parallelen Seiten heißt Trapez. 
(passt und geht in Ordnung, wenn man ganz pingelig bzgl. der Minimaltität wäre, würde man jedoch etwas bemängeln können. Was wäre das? --[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 15:49, 11. Mai 2020 (CEST) 
b) Wenn ein Viereck ein Trapez ist, dann teilen sich die Diagonalen im selben Verhältnis.

=Aufgabe 2.4=
a) 
b) 
c) mögliche Kombinationen: GOGO, GBGB, GLGL, OBOB, OLOL, BLBL 
d) Verallgemeinerung: Wenn jeweils die gegenüberliegenden Eckpunkte den selben Farbwert besitzen, ist das Viereck ein Parallelogramm. 
e) Ein Viereck, bei dem die jeweils gegenüberliegenden Winkel kongruent zueinander sind, heißt Parallelogramm.
[[Kategorie:Einführung_S]]
[[Datei: [[Datei:6CD4E47C-9D5B-4230-A39F-1260BB961D9D.jpeg|thumb|Aufgabe 2.4f]]]]

Datei:6CD4E47C-9D5B-4230-A39F-1260BB961D9D.jpeg

2020-05-15T10:54:34Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 2.4f}}
|date=2020-05-15 12:53:37
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Lösungen zu den Übungsaufgaben der Serie 2 SoSe 2020

2020-05-15T10:52:04Z

Estherstmpf: /* Aufgabe 2.1 */

Datei:0C18DFF1-3514-4BFA-BF38-4EF354C3D383.jpeg

2020-05-15T10:50:03Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe 2.1}}
|date=2020-05-15 12:48:25
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Vorbereitung auf die Konferenz am 24.04.2020 Geometrieeinführung

2020-04-24T10:06:32Z

Estherstmpf: /* Aufgabe Mengenlehre 02 */

<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" |

=Mengenlehre=
Arbeiten Sie das folgende Skript zur Mengenlehre durch: 
[[Datei: Mengenlehre.pdf]] 

Lösen Sie dann die folgenden Aufgaben:
]]==Aufgabe Mengenlehre 01==
<math>M_2</math> sei die Menge aller durch <math>2</math> teilbaren Zahlen. <math>M_3</math> sei die Menge aller durch <math>3</math> teilbaren Zahlen. Beschreiben Sie <math>M_2 \cap M_3</math>. 

<math>M_2\cap M_3=\{n|6|n\}</math> 
Die Schnittmenge aller geraden Zahlen mit der Menge aller durch 3 teilbaren Zahlen ist die Menge der durch 6 teilbaren Zahlen.

[[Datei: [[Datei:6E20FDB2-3972-4C8C-8450-B57A23234CE1.jpeg|thumb|Aufgabe Mengenlehre 01]]]]

==Aufgabe Mengenlehre 02==
<math>M_g</math> sei die Menge aller geraden natürlichen Zahlen, <math>M_u</math> die Menge aller ungeraden ganzen Zahlen. Beschreiben Sie <math>M_g\cup M_u</math>.
===Lösung===
{N} u {x|-(2n-1), n€N}
[[Datei:Testbild09.png|thumb|Test wie man Bilder hochlädt]]
[[Datei: [[Datei:7290DAEB-65E4-4906-866D-16558D7F6CB9.jpeg|thumb|Aufgabe Mengenlehre 02]]]]

==Aufgabe Mengenlehre 03==
Es sei <math>P</math> die Menge aller Parallelogramme und <math>S</math> die Menge aller symmetrischen Trapeze. Beschreiben Sie die Menge <math>P \cup S</math>.
==Aufgabe Mengenlehre 04==
Geben Sie zwei Mengen an, deren Schnittmenge die Menge aller Quadrate ist.
==Aufgabe Mengenlehre 05==
Definieren Sie die Begriffe Schnittmenge und Vereinigungsmenge.

=Definieren=
==Was ist eine Definition?==
*Eine Definition ist in der Mathematik eine Begriffsbestimmung, die nur aus Grundbegriffen oder bereits definierten Begriffen besteht. 
*Eine Definition ist nicht beweisbar und damit auch nicht wahr oder falsch sondern höchstens sinnvoll oder nicht sinnvoll. '''Anmerkung:''' Sie können z. B. eine Raute auf verschiedene Arten definieren. Alle Definitionen sollten aber immer die uns bekannte Raute beschreiben und nicht plötzlich eine andere Figur (Fünfeck, Trapez etc.). Das wäre dann natürlich schon falsch! Beispiele für in diesem Sinne falsche Definitionen finden Sie in den Übungen 1.
*Eine Definition sollte so wenig wie möglich und so viel wie nötig beinhalten. '''Anmerkung:''' Dabei schwingt immer eine gewisse Unschärfe mit, die sich didaktisch begründen lässt: Bsp. Definition Rechteck: Ein Rechteck ist ein Viereck mit drei rechten Innenwinkel. Diese Definition ist so knapp wie möglich gehalten. Insbesondere genügt es die Eigenschaft: "besitzt drei rechte Innenwinkel" zu beschreiben, da sich der vierte rechte Innenwinkel zwangsläufig ergibt. In der Regel wird man hier aber ein Rechteck als Viereck mit vier rechten Innenwinkel definieren, da diese Definition insbesondere für Schülerinnen und Schüler einsichtiger und griffiger ist. 

==Genau dasselbe, nur ganz anders: Arten, Definitionen zu formulieren==
Es gibt verschiedene Arten, Definitionen zu formulieren.
===Beispiel 1: ggT zweier ganzer Zahlen===
Die Begriffe Teiler und Euklidischer Algorithmus seien im Folgenden bereits exakt definiert.
====Das Übliche, die Realdefinition====
::Es seien <math>a</math> und <math>b</math> zwei ganze Zahlen. <math>T</math> sei die Menge aller Zahlen, die sowohl Teiler von <math>a</math> als auch von <math>b</math> sind. Die größte Zahl der Menge <math>T</math> heißt größter gemeinsamer Teiler der Zahlen <math>a</math> und <math>b</math>.

====Konventionaldefinition, das Ganze in "wenn-dann"====
::Wenn eine Zahl <math>g</math> sowohl die ganze Zahl <math>a</math> als auch die ganze Zahl <math>b</math> teilt und es keine Zahl <math>t</math> gibt, die auch <math>a</math> und <math>b</math> teilt und dabei größer als <math>g</math> ist, dann ist <math>g</math> der größte gemeinsame Teiler von <math>a</math> und <math>b</math>.

====Schön, aber wie bekomme ich den ggT: die genetisch, operative Definition====
::Der letzte von 0 verschiedene Rest, den man bei Anwendung des Euklidischen Algorithmus auf die ganzen Zahlen <math>a</math> und <math>b</math> erhält, ist der größte gemeinsame Teiler der Zahlen <math>a</math> und <math>b</math>.
===Beispiel 2: Drachenviereck===
Die Begriffe Dreieck, Viereck, Diagonale, Eckpunkt, Geradenspiegelung und achsensymmetrisch seien im Folgenden bereits definiert.
====Realdefinition====
::Ein Viereck, bei dem die eine Diagonale Teilmenge der Mittelsenkrechten seiner anderen Diagonale ist, heißt Drachenviereck.
====Konventionaldefinition====
::Wenn ein Viereck achsensymmetrisch bezüglich einer Geraden ist, die durch zwei Eckpunkte des Vierecks geht, dann heißt das Viereck Drachenviereck.
====genetisch, operative Definition====
::Es sei <math>\overline{ABC}</math>ein Dreieck und <math>\ C'</math> das Bild von <math>\ C</math> bei der Spiegelung an <math>\ AB</math>. Das Viereck <math>\overline{AC'BC}</math> ist ein Drachenviereck.

== Definierende Eigenschaften==
<iframe width="560" height="315" src="https://www.youtube.com/embed/AY3tuQ-zSI0" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
===Aufgabe Definieren 01===
Definieren Sie den Begriff Parallelogramm auf drei verschiedene Arten und Weisen.

==Ein wenig Didaktik: Definitionen auf verschiedenen Niveaustufen==
Aus didaktischer Sicht lassen sich Definitionen auf verschiedenen Niveaustufen formulieren.

Das nachfolgende Skript gibt weitere Informationen: * {{pdf|Definitionen1.pdf|Definitionen}} 

==Eine neue Definition entwickeln==
<iframe width="560" height="315" src="https://www.youtube.com/embed/EBFQTMyxA3E" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

===Aufgabe Definieren 02===
Definieren Sie den Begriff Ellipse.
Experimentieren Sie dazu mit der folgenden Geogebradatei:
[https://www.geogebra.org/m/erz58z2e Gärtnerkonstruktion]
===Aufgabe Definieren 03===
Definieren Sie den Begriff Kreis als Spezialfall der Ellipse.
===Aufgabe Definieren 04===
<iframe width="560" height="315" src="https://www.youtube.com/embed/bGtRxEAFHu8" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
 
Definieren Sie den Begriff Raute.


|}
</div>

[[Kategorie:Einführung_S]]

Datei:7290DAEB-65E4-4906-866D-16558D7F6CB9.jpeg

2020-04-24T10:04:57Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe Mengenlehre 02}}
|date=2020-04-24 12:04:36
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Datei:802E0032-74B0-4B6D-84D2-4CBE3A1CE8FE.jpeg

2020-04-24T10:00:22Z

Estherstmpf: User created page with UploadWizard

=={{int:filedesc}}==
{{Information
|description={{de|1=Aufgabe Mengenlehre 02}}
|date=2020-04-24 11:59:48
|source={{own}}
|author=[[User:Estherstmpf|Estherstmpf]]
|permission=
|other_versions=
|other_fields=
}}

=={{int:license-header}}==
{{self|cc-by-sa-3.0}}

[[Kategorie:Uploaded with UploadWizard]]

Vorbereitung auf die Konferenz am 24.04.2020 Geometrieeinführung

2020-04-24T09:56:52Z

Estherstmpf: /* Aufgabe Mengenlehre 01 */

<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" |

=Mengenlehre=
Arbeiten Sie das folgende Skript zur Mengenlehre durch: 
[[Datei: Mengenlehre.pdf]] 

Lösen Sie dann die folgenden Aufgaben:
]]==Aufgabe Mengenlehre 01==
<math>M_2</math> sei die Menge aller durch <math>2</math> teilbaren Zahlen. <math>M_3</math> sei die Menge aller durch <math>3</math> teilbaren Zahlen. Beschreiben Sie <math>M_2 \cap M_3</math>. 

<math>M_2\cap M_3=\{n|6|n\}</math> 
Die Schnittmenge aller geraden Zahlen mit der Menge aller durch 3 teilbaren Zahlen ist die Menge der durch 6 teilbaren Zahlen.

[[Datei: [[Datei:6E20FDB2-3972-4C8C-8450-B57A23234CE1.jpeg|thumb|Aufgabe Mengenlehre 01]]]]

==Aufgabe Mengenlehre 02==
<math>M_g</math> sei die Menge aller geraden natürlichen Zahlen, <math>M_u</math> die Menge aller ungeraden ganzen Zahlen. Beschreiben Sie <math>M_g\cup M_u</math>.
===Lösung===
{N} u {x|-(2n-1), n€N}
[[Datei:Testbild09.png|thumb|Test wie man Bilder hochlädt]]

==Aufgabe Mengenlehre 03==
Es sei <math>P</math> die Menge aller Parallelogramme und <math>S</math> die Menge aller symmetrischen Trapeze. Beschreiben Sie die Menge <math>P \cup S</math>.
==Aufgabe Mengenlehre 04==
Geben Sie zwei Mengen an, deren Schnittmenge die Menge aller Quadrate ist.
==Aufgabe Mengenlehre 05==
Definieren Sie die Begriffe Schnittmenge und Vereinigungsmenge.

=Definieren=
==Was ist eine Definition?==
*Eine Definition ist in der Mathematik eine Begriffsbestimmung, die nur aus Grundbegriffen oder bereits definierten Begriffen besteht. 
*Eine Definition ist nicht beweisbar und damit auch nicht wahr oder falsch sondern höchstens sinnvoll oder nicht sinnvoll. '''Anmerkung:''' Sie können z. B. eine Raute auf verschiedene Arten definieren. Alle Definitionen sollten aber immer die uns bekannte Raute beschreiben und nicht plötzlich eine andere Figur (Fünfeck, Trapez etc.). Das wäre dann natürlich schon falsch! Beispiele für in diesem Sinne falsche Definitionen finden Sie in den Übungen 1.
*Eine Definition sollte so wenig wie möglich und so viel wie nötig beinhalten. '''Anmerkung:''' Dabei schwingt immer eine gewisse Unschärfe mit, die sich didaktisch begründen lässt: Bsp. Definition Rechteck: Ein Rechteck ist ein Viereck mit drei rechten Innenwinkel. Diese Definition ist so knapp wie möglich gehalten. Insbesondere genügt es die Eigenschaft: "besitzt drei rechte Innenwinkel" zu beschreiben, da sich der vierte rechte Innenwinkel zwangsläufig ergibt. In der Regel wird man hier aber ein Rechteck als Viereck mit vier rechten Innenwinkel definieren, da diese Definition insbesondere für Schülerinnen und Schüler einsichtiger und griffiger ist. 

==Genau dasselbe, nur ganz anders: Arten, Definitionen zu formulieren==
Es gibt verschiedene Arten, Definitionen zu formulieren.
===Beispiel 1: ggT zweier ganzer Zahlen===
Die Begriffe Teiler und Euklidischer Algorithmus seien im Folgenden bereits exakt definiert.
====Das Übliche, die Realdefinition====
::Es seien <math>a</math> und <math>b</math> zwei ganze Zahlen. <math>T</math> sei die Menge aller Zahlen, die sowohl Teiler von <math>a</math> als auch von <math>b</math> sind. Die größte Zahl der Menge <math>T</math> heißt größter gemeinsamer Teiler der Zahlen <math>a</math> und <math>b</math>.

====Konventionaldefinition, das Ganze in "wenn-dann"====
::Wenn eine Zahl <math>g</math> sowohl die ganze Zahl <math>a</math> als auch die ganze Zahl <math>b</math> teilt und es keine Zahl <math>t</math> gibt, die auch <math>a</math> und <math>b</math> teilt und dabei größer als <math>g</math> ist, dann ist <math>g</math> der größte gemeinsame Teiler von <math>a</math> und <math>b</math>.

====Schön, aber wie bekomme ich den ggT: die genetisch, operative Definition====
::Der letzte von 0 verschiedene Rest, den man bei Anwendung des Euklidischen Algorithmus auf die ganzen Zahlen <math>a</math> und <math>b</math> erhält, ist der größte gemeinsame Teiler der Zahlen <math>a</math> und <math>b</math>.
===Beispiel 2: Drachenviereck===
Die Begriffe Dreieck, Viereck, Diagonale, Eckpunkt, Geradenspiegelung und achsensymmetrisch seien im Folgenden bereits definiert.
====Realdefinition====
::Ein Viereck, bei dem die eine Diagonale Teilmenge der Mittelsenkrechten seiner anderen Diagonale ist, heißt Drachenviereck.
====Konventionaldefinition====
::Wenn ein Viereck achsensymmetrisch bezüglich einer Geraden ist, die durch zwei Eckpunkte des Vierecks geht, dann heißt das Viereck Drachenviereck.
====genetisch, operative Definition====
::Es sei <math>\overline{ABC}</math>ein Dreieck und <math>\ C'</math> das Bild von <math>\ C</math> bei der Spiegelung an <math>\ AB</math>. Das Viereck <math>\overline{AC'BC}</math> ist ein Drachenviereck.

== Definierende Eigenschaften==
<iframe width="560" height="315" src="https://www.youtube.com/embed/AY3tuQ-zSI0" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
===Aufgabe Definieren 01===
Definieren Sie den Begriff Parallelogramm auf drei verschiedene Arten und Weisen.

==Ein wenig Didaktik: Definitionen auf verschiedenen Niveaustufen==
Aus didaktischer Sicht lassen sich Definitionen auf verschiedenen Niveaustufen formulieren.

Das nachfolgende Skript gibt weitere Informationen: * {{pdf|Definitionen1.pdf|Definitionen}} 

==Eine neue Definition entwickeln==
<iframe width="560" height="315" src="https://www.youtube.com/embed/EBFQTMyxA3E" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

===Aufgabe Definieren 02===
Definieren Sie den Begriff Ellipse.
Experimentieren Sie dazu mit der folgenden Geogebradatei:
[https://www.geogebra.org/m/erz58z2e Gärtnerkonstruktion]
===Aufgabe Definieren 03===
Definieren Sie den Begriff Kreis als Spezialfall der Ellipse.
===Aufgabe Definieren 04===
<iframe width="560" height="315" src="https://www.youtube.com/embed/bGtRxEAFHu8" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
 
Definieren Sie den Begriff Raute.


|}
</div>

[[Kategorie:Einführung_S]]