Korollar
Aussage, die sich aus einem schon bewiesenen Satz ohne großen Beweisaufwand ergibt Aus Wikipedia, der freien Enzyklopädie
Korollar (lateinisch corollarium „Zugabe“, „Geschenk“, eigentlich „Kränzchen“; von lat. corona „Kranz“, corolla „Kränzchen“)[1] bezeichnet in der Mathematik und Logik eine Aussage, die sich aus einem schon bewiesenen Satz, dem Beweis eines schon bewiesenen Satzes oder aus einer Definition ohne großen Beweisaufwand ergibt. Oft sind Korollare triviale (d. h. einfache) Schlussfolgerungen. Die Abgrenzung zwischen Satz und Korollar ist aber ebenso subjektiv wie die zwischen Lemma und Satz.
In der Rechtswissenschaft wird in Bezug auf die Befugnisse zweier Organe unter Umständen auf die sog. Korollartheorie verwiesen. So sollen z. B. die Rechte eines durch den Bundestag eingesetzten Untersuchungsausschuss nicht weiter gehen können als die Rechte des Bundestags selbst.
Beispiel
Aus dem Satz
- Die Summe der Innenwinkel in einem ebenen Dreieck beträgt stets 180°.
folgt das Korollar
- In einem ebenen rechtwinkligen Dreieck beträgt die Summe der beiden der Hypotenuse anliegenden Winkel stets 90°.
Da die Hypotenuse die Seite ist, die dem rechten Winkel gegenüberliegt, beträgt die Summe der beiden der Hypotenuse anliegenden Winkel 180°−90° = 90°.
Literatur
- Albrecht Beutelspacher: „Das ist o.B.d.A. trivial!“ Eine Gebrauchsanleitung zur Formulierung mathematischer Gedanken mit vielen praktischen Tips für Studierende der Mathematik und Informatik. 5., durchgesehene Auflage. Vieweg, Braunschweig u. a. 1999, ISBN 3-528-46442-9.
Weblinks
Wiktionary: Korollar – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
Einzelnachweise
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
