Implikationen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Implikation 4: Scheitelwinkelsatz)
(→‎Implikation 5: Nonsens)
 
(6 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt)
Zeile 5: Zeile 5:
 
=Implikationen=
 
=Implikationen=
 
==Generelle Kennzeichnung von Implikationen==
 
==Generelle Kennzeichnung von Implikationen==
−
Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:
+
Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz wie folgt darstellen bzw. beschreiben lässt:
 
* Wenn <math>a</math> dann <math>b</math>.
 
* Wenn <math>a</math> dann <math>b</math>.
 
* Aus <math>a</math> folgt <math>b</math>.
 
* Aus <math>a</math> folgt <math>b</math>.
Zeile 15: Zeile 15:
  
 
Die Aussage <math>a</math> heißt in der Implikation <math>a \Rightarrow b</math> Voraussetzung, die Aussage <math>b</math> wird Behauptung genannt.
 
Die Aussage <math>a</math> heißt in der Implikation <math>a \Rightarrow b</math> Voraussetzung, die Aussage <math>b</math> wird Behauptung genannt.
 +
 
==Beispiele==
 
==Beispiele==
−
===Implikation 1: Teilbarkeit durch 3===
+
===Implikation 1: Satz zur Teilbarkeit durch 3===
 
:Wenn die Quersumme <math>\overline{a}</math>einer natürlichen Zahl <math>a</math> durch <math>3</math> teilbar ist, dann ist auch die Zahl <math>a</math> durch <math>3</math> teilbar.<br />
 
:Wenn die Quersumme <math>\overline{a}</math>einer natürlichen Zahl <math>a</math> durch <math>3</math> teilbar ist, dann ist auch die Zahl <math>a</math> durch <math>3</math> teilbar.<br />
 
:In Formelsprache: <math>\forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a</math>
 
:In Formelsprache: <math>\forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a</math>
 
*Voraussetzung: <math>3|\overline{a}</math>
 
*Voraussetzung: <math>3|\overline{a}</math>
 
*Behauptung: <math>3|a</math>
 
*Behauptung: <math>3|a</math>
 +
 
=== Implikation 2: Satz zur Teilbarkeit von Summen===
 
=== Implikation 2: Satz zur Teilbarkeit von Summen===
 
:Für alle natürlichen Zahlen <math>a,b,t</math> gilt:<br />
 
:Für alle natürlichen Zahlen <math>a,b,t</math> gilt:<br />
Zeile 49: Zeile 51:
 
::<math>\alpha</math> und <math>\beta</math> sind Scheitelwinkel
 
::<math>\alpha</math> und <math>\beta</math> sind Scheitelwinkel
 
*Behauptung
 
*Behauptung
−
::<math>|\alpha||\beta|</math> bzw. <math>\alpha \cong \beta</math>
+
::<math>|\alpha|=|\beta|</math> bzw. <math>\alpha \cong \beta</math>
 +
===Implikation 5: Nonsens===
 +
:Wenn die Gerade <math>g</math> durch keinen der Eckpunkte des Dreiecks <math>\overline{ABC}</math> geht und jede der drei Seiten <math>\overline{AB}, \overline{BC}, \overline{AC}</math> geht, dann ist <math>\sqrt{2}</math> eine rationale Zahl.
 +
*Voraussetzung:
 +
:<math>\text{nkoll}(A,B,C) \land A,B,C \not\in g \land g \cap \overline{AB} \not= \empty \land g \cap \overline{BC} \not= \empty \land g \cap \overline{AC} \not= \empty</math>
 +
*Behauptung:
 +
:<math>\exist n,m \in \mathbb{N}: \frac{n}{m} = \sqrt{2}</math>
 +
===Implikation 6: Satz des Thales===
 +
{{#ev:youtube|yOgu9FAK5AM}}
  
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
<!--- Was hier drunter steht muss stehen bleiben --->

Aktuelle Version vom 10. Mai 2017, 18:04 Uhr

Inhaltsverzeichnis

Implikationen

Generelle Kennzeichnung von Implikationen

Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz wie folgt darstellen bzw. beschreiben lässt:

  • Wenn a dann b.
  • Aus a folgt b.
  • a impliziert b.
  • b ist eine Folgerung aus a.
  • Unter der Voraussetzung, dass a gilt, gilt auch b.
  • a ist hinreichend dafür, dass b gilt.
  • a \Rightarrow b

Die Aussage a heißt in der Implikation a \Rightarrow b Voraussetzung, die Aussage b wird Behauptung genannt.

Beispiele

Implikation 1: Satz zur Teilbarkeit durch 3

Wenn die Quersumme \overline{a}einer natürlichen Zahl a durch 3 teilbar ist, dann ist auch die Zahl a durch 3 teilbar.
In Formelsprache: \forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a
  • Voraussetzung: 3|\overline{a}
  • Behauptung: 3|a

Implikation 2: Satz zur Teilbarkeit von Summen

Für alle natürlichen Zahlen a,b,t gilt:
Wenn t die Zahlen a und b teilt, dann teilt t auch die Summe a+b.
In Formelsprache:
\forall a,b,t \in \mathbb{N}:
t|a \land t|b \Rightarrow t|(a+b)
  • Voraussetzung: Wir haben zwei Voraussetzungen die durch das logische und zu einer Voraussetzung zusammengefasst werden:
V1: t|a
V2: t|b
V: t|a \land t|b
  • Behauptung:
t|(a+b)

Implikation 3: Nebenwinkelsatz

Wenn \alpha und \beta Nebenwinkel sind, dann ist die Summe ihrer Größen 180^\circ

In anderer Formulierung ohne wenn-dann:

Nebenwinkel ergänzen sich zu 180^\circ
  • Voraussetzung:
\alpha und \beta sind Nebenwinkel
  • Behauptung:
\alpha und \beta sind supplementär.

Implikation 4: Scheitelwinkelsatz

Wenn die beiden Winkel \alpha und \beta Scheitelwinkel sind, dann haben sie dieselbe Größe.

alternative Formulierung ohne wenn-dann:

Scheitelwinkel haben dieselbe Größe. oder
Scheitelwinkel sind kongruent zueinander.
  • Voraussetzung
\alpha und \beta sind Scheitelwinkel
  • Behauptung
|\alpha|=|\beta| bzw. \alpha \cong \beta

Implikation 5: Nonsens

Wenn die Gerade g durch keinen der Eckpunkte des Dreiecks \overline{ABC} geht und jede der drei Seiten \overline{AB}, \overline{BC}, \overline{AC} geht, dann ist \sqrt{2} eine rationale Zahl.
  • Voraussetzung:
\text{nkoll}(A,B,C) \land A,B,C \not\in g \land g \cap \overline{AB} \not= \empty \land g \cap \overline{BC} \not= \empty \land g \cap \overline{AC} \not= \empty
  • Behauptung:
\exist n,m \in \mathbb{N}: \frac{n}{m} = \sqrt{2}

Implikation 6: Satz des Thales

Von „http://geometrie.zum.de/index.php?title=Implikationen_SoSe_2017&oldid=29614“