Genau dann wenn, Dann und nur dann, Äquivalenz SoSe 2018: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) (→Voraussetzung der Implikation als hinreichende Bedingung) |
||
Zeile 51: | Zeile 51: | ||
'''Schritt 4:'''<br /> | '''Schritt 4:'''<br /> | ||
::Weil das gekachelte und das schraffierte Teildreieck zueinander kongruent sind, sind auch die beiden blauen Winkel gleichgroß zueinander. q.e.d. | ::Weil das gekachelte und das schraffierte Teildreieck zueinander kongruent sind, sind auch die beiden blauen Winkel gleichgroß zueinander. q.e.d. | ||
− | ===Voraussetzung der Implikation als hinreichende Bedingung=== | + | ===Voraussetzung der Implikation als hinreichende Bedingung für die Wahrheit der Behauptung=== |
Unsere nun bewiesene Implikation besagt, dass es für das Auftreten zweier kongruenter Innenwinkel in einem Dreieck hinreichend ist, dass das Dreieck zwei kongruente Seite hat bzw. gleichschenklig ist. | Unsere nun bewiesene Implikation besagt, dass es für das Auftreten zweier kongruenter Innenwinkel in einem Dreieck hinreichend ist, dass das Dreieck zwei kongruente Seite hat bzw. gleichschenklig ist. | ||