Corollary
Corollary ( Latin corollarium "addition", "gift", actually "wreath"; from Latin corona "wreath", corolla "wreath") denotes a statement in mathematics and logic that results from an already proven sentence , the proof of one already proven proposition or from a definition without much proof effort. Often times, corollaries are trivial (i.e., simple) conclusions . The demarcation between sentence and corollary is just as subjective as that between lemma and sentence.
In jurisprudence, reference may be made to the so-called corollary theory with regard to the powers of two organs. So z. For example, the rights of a committee of inquiry set up by the Bundestag cannot go further than the rights of the Bundestag itself.
example
From the sentence
- The sum of the interior angles in a flat triangle is always 180 °.
follows the corollary
- In a plane right triangle , the sum of the two angles adjacent to the hypotenuse is always 90 °.
Since the hypotenuse is the side opposite the right angle , the sum of the two angles adjacent to the hypotenuse is 180 ° −90 ° = 90 °.
literature
- Albrecht Beutelspacher : “That is trivial!” A manual for the formulation of mathematical thoughts with many practical tips for students of mathematics and computer science. 5th revised edition. Vieweg, Braunschweig et al. 1999, ISBN 3-528-46442-9 .