Definitionen in der Mathematik SoSe 13 S: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Exaktheit und Minimalität mathematischer Definitionen)
(→‎Beispiel 1)
 
(13 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt)
Zeile 83: Zeile 83:
 
===Beispiele===
 
===Beispiele===
 
====Beispiel 1====
 
====Beispiel 1====
−
In jedem Drachenviereck sind zwei benachbarte Seiten kongruent (gleichlang) zueinander. Paul definiert: Wenn in einem Viereck zwei benachbarte Seiten kongruent zueinander sind, ist das Viereck ein Drachen. Dies Definition umfasst jedoch auch Vierecke, die wir nicht als Drachen ansehen wollen.<br />
+
In jedem Drachenviereck sind zwei benachbarte Seiten kongruent (gleichlang) zueinander. Paul definiert: Wenn in einem Viereck zwei benachbarte Seiten kongruent zueinander sind, ist das Viereck ein Drachen. Wie man leicht sieht umfasst diese Definition jedoch auch Vierecke, die wir nicht als Drachen ansehen wollen.<br />
−
<ggb_applet width="529" height="404"  version="4.2" ggbBase64="UEsDBBQACAgIAPyElUIAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAgIAPyElUIAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7Vptb9s4Ev7c/RWEsB9jme+SCqcLJ93FFWj3ik33cLgvC1qibW5kSSfJjl30x9+QlPwSN0mdZA/p4dI4FMnhDOftmVGa0U/rRY5Wum5MWZwHJMQB0kVaZqaYnQfLdjqIg5/e/DCa6XKmJ7VC07JeqPY84CENdudgFjJ32GTnAY4p0SmOBqmaxgPOYj6IccYHXCRTRhWZcjYNEFo35nVR/qoWuqlUqq/SuV6o92WqWsdz3rbV6+Hw5uYm7KWHZT0bzmaTcN1kAYKbF8150D28BnYHh26YI6cYk+E/P7z37AemaFpVpDpAVqulefPDq9GNKbLyBt2YrJ2fB0LIAM21mc1BTcFJgIaWqAJdK522ZqUbOLo3dTq3iypwZKqw+6/8E8q36gQoMyuT6RrsEzKRRIRShikRMY1YgMra6KLtaHuZw57baGX0jWdrn5xEjpMIXGAaM8n1eTBVeQNamWJag0XhQvUSpk27yfVE1f18dx9yBv+AwHzWlhe4zpvhPKAJPqMkOoswPhMC+7vsCw5QW5a544qRSNCXL4hiitGZHYgfKAxS+i3s1zDzA/UD94PwNNwf556UexruaTi7R89uvlO0WzjQtNeT7etJQD/7kfBxBrilZ7ynJ7FKfEHE3t4NDNl7E3d/O/BuKv00cgPBfiDdZmx/OHvJJ2rEHqUR2ZPq4+FuoUfx0ksUNPl2ifRJem61pF/Tkoo7tHyicXuhROwJBVnu232ORLKT9LzTtCdIlPwpuf8IgRH+bwgcDXukG3W5h5q5pe3CtdWLxqIOSxzwIIIEJKaMACcEIgkMkU1QiohAXMCUxEjaMULM5iRHDMXI0hGGHLyIGH5wl68SCeBlFyOfuIhxJBgiDpQ4AihCDtgA5CgDCiGQgENWOrFimURcwoTFiMMFLaRFFjYYnIM5CKeIEcTsWRIhKpGkKLKwSLhFSxnbuwNTiiRG0h4FXARM9HgIJ2LErDYQ4VXZmK1x5zqvtl5xdjRFtWwPbJcusv6xLW9RZ2V6fXHL1lo1bf8MRFCMdiXPF6eDivhqlKuJzqFvuLJhgNBK5TaDHf9pWbSoDwHq12a1quYmba5028KpBv2pVuq9avX6F6Bu+gs60a5Qj/QyzU1mVPEPiBHLwjJE27ptcamv2yySXkpalnV2tWkgcND6X7ou4QKE2U5l081EEuL9Lws6qbJRLvDhDhh6023xJEz2v2IvTa+22qi13uqAZrVNob3Ju+aizHdLVWmK9lJV7bJ2jRfcobaKjItZrp09HZRCC5NeT8r1lTck87w+bSqYYX+DyeyyzMsaQRJSIYCgGyd+dDT2alsq7Giwo8C9Z0y23ScJdRRunPjRUYGr/dU6VUmvJsG9GNP4fjDoAqvHWhsotiNaFqZ9309ak153qhJ/4NflYgIx1gXhIU/yXDxHw1thNbrWdaFzHzwFOHNZLhsfzduIfDVaNvqjaufjIvtNzyANPyqLhC2w9qS7K2c6NQs46Nc74ynr2N/hqn4107Na9yrmrtf1pnW7eD+Uj5Ydq1/qcvGuWH2CqLl11dGw12fUpLWpbHSiCUDztd7FX2YaBcCe7Z8D5RvQIrUgA4ZsrREDpJbtvKxdOwupCvoQNK5qkwM2QjzaJM31AjpZ1LqodIG99c4H1yJbN6By8idAx7ZS+P2d0WD7jghFKq/myjbRnf652uj6wCKO24cy0wcYpApwg1MGwKDyAVFp7WPJ3xYeKmDnUnDP187wDVqfBwMScii8GyuewMNn/8rkXxCsqjYzD6T61WNfQq7bq7i1H8c/dpHobeeMv1ioIkOFK6+Xpk5zHexwXWFrTKSI7ca9wZZtv5F6Zh2LI5eAX026NXl67JLDjNqzw3M6Bd8GkRZqwTW87TQO6doO09zD30yWaVfoPMiamS5WcNUSkg2tcffausFePvrcr6zBPAO3tCHd0mey5zEIh9qs0binH/dUY2pdzcIES3gJGLOO8ZjbfRsAY+E4k874+t+FV6LxWGPLopma9H6vfnS5cejU9Mib4/u9eZhg44e8+fUMI9RXCjd2leLRLn2WPMMhl0ksIg6lVXApY591AxZGHIvIVmMRE0ajxyfhUx1zcYpjLv5HHENCFsXcuiShjDP7Zg5uoWESxYyxRMRccIYp+wu84kFwXKdfx8ExDLTzyoGfsm+Aw0rVO19lD1Sp/yPi6YhoFlVuUtNuvZPbIHtX2IZJuxbjuMW61rqyve3fi0+1Khr7m8fD3uq0DM6OIuPylAy+fEm9Cxj6EcmLw5hikcQ0iXnEGJVJD6rwEpQIFrMYXnJg99kam4sHGptv89PbU/z09vv3Ew0B50kEzuIykjGjHmVJKCMiBCcUIBYqIhPP5qe3R366z8Q/f/8mjkImffCTkD5fvF8+GO/5ZlYWX69gl76C/QwD64L+IA3g9TSH93/iqReeOv2DeHowvwI0zv4gD2WLv0LvrC3XxxafkwslEcyFgiBHsUBOqZV3h2ujZ3a2vcjicRX9noueWNR3gcdCmtzCWtdAUbmPzJGLSB5CjnOeRJInTEjMHt8h/AUV936T27h8MUaHJI+jY6vLULCEYxJhIqiUke9aKTgD4DXhnArJmUzkd2R2/YKMDm8F4qBeRR5xRUgwjymJwCGUERl3dQzW4wT8wIWMIQ3I9xTu2UsKdwJxfWB41vd5MjnoK6gP+DCiNJI0jiMppCTkRdl9uP97SPd/Ad0fA7z5D1BLBwjbn8QA9gcAALwgAABQSwECFAAUAAgICAD8hJVC1je9uRkAAAAXAAAAFgAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc1BLAQIUABQACAgIAPyElULbn8QA9gcAALwgAAAMAAAAAAAAAAAAAAAAAF0AAABnZW9nZWJyYS54bWxQSwUGAAAAAAIAAgB+AAAAjQgAAAAA" showResetIcon = "false" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "true" />
+
<ggb_applet width="529" height="404"  version="4.2" ggbBase64="UEsDBBQACAgIAPyElUIAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAgIAPyElUIAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7Vptb9s4Ev7c/RWEsB9jme+SCqcLJ93FFWj3ik33cLgvC1qibW5kSSfJjl30x9+QlPwSN0mdZA/p4dI4FMnhDOftmVGa0U/rRY5Wum5MWZwHJMQB0kVaZqaYnQfLdjqIg5/e/DCa6XKmJ7VC07JeqPY84CENdudgFjJ32GTnAY4p0SmOBqmaxgPOYj6IccYHXCRTRhWZcjYNEFo35nVR/qoWuqlUqq/SuV6o92WqWsdz3rbV6+Hw5uYm7KWHZT0bzmaTcN1kAYKbF8150D28BnYHh26YI6cYk+E/P7z37AemaFpVpDpAVqulefPDq9GNKbLyBt2YrJ2fB0LIAM21mc1BTcFJgIaWqAJdK522ZqUbOLo3dTq3iypwZKqw+6/8E8q36gQoMyuT6RrsEzKRRIRShikRMY1YgMra6KLtaHuZw57baGX0jWdrn5xEjpMIXGAaM8n1eTBVeQNamWJag0XhQvUSpk27yfVE1f18dx9yBv+AwHzWlhe4zpvhPKAJPqMkOoswPhMC+7vsCw5QW5a544qRSNCXL4hiitGZHYgfKAxS+i3s1zDzA/UD94PwNNwf556UexruaTi7R89uvlO0WzjQtNeT7etJQD/7kfBxBrilZ7ynJ7FKfEHE3t4NDNl7E3d/O/BuKv00cgPBfiDdZmx/OHvJJ2rEHqUR2ZPq4+FuoUfx0ksUNPl2ifRJem61pF/Tkoo7tHyicXuhROwJBVnu232ORLKT9LzTtCdIlPwpuf8IgRH+bwgcDXukG3W5h5q5pe3CtdWLxqIOSxzwIIIEJKaMACcEIgkMkU1QiohAXMCUxEjaMULM5iRHDMXI0hGGHLyIGH5wl68SCeBlFyOfuIhxJBgiDpQ4AihCDtgA5CgDCiGQgENWOrFimURcwoTFiMMFLaRFFjYYnIM5CKeIEcTsWRIhKpGkKLKwSLhFSxnbuwNTiiRG0h4FXARM9HgIJ2LErDYQ4VXZmK1x5zqvtl5xdjRFtWwPbJcusv6xLW9RZ2V6fXHL1lo1bf8MRFCMdiXPF6eDivhqlKuJzqFvuLJhgNBK5TaDHf9pWbSoDwHq12a1quYmba5028KpBv2pVuq9avX6F6Bu+gs60a5Qj/QyzU1mVPEPiBHLwjJE27ptcamv2yySXkpalnV2tWkgcND6X7ou4QKE2U5l081EEuL9Lws6qbJRLvDhDhh6023xJEz2v2IvTa+22qi13uqAZrVNob3Ju+aizHdLVWmK9lJV7bJ2jRfcobaKjItZrp09HZRCC5NeT8r1lTck87w+bSqYYX+DyeyyzMsaQRJSIYCgGyd+dDT2alsq7Giwo8C9Z0y23ScJdRRunPjRUYGr/dU6VUmvJsG9GNP4fjDoAqvHWhsotiNaFqZ9309ak153qhJ/4NflYgIx1gXhIU/yXDxHw1thNbrWdaFzHzwFOHNZLhsfzduIfDVaNvqjaufjIvtNzyANPyqLhC2w9qS7K2c6NQs46Nc74ynr2N/hqn4107Na9yrmrtf1pnW7eD+Uj5Ydq1/qcvGuWH2CqLl11dGw12fUpLWpbHSiCUDztd7FX2YaBcCe7Z8D5RvQIrUgA4ZsrREDpJbtvKxdOwupCvoQNK5qkwM2QjzaJM31AjpZ1LqodIG99c4H1yJbN6By8idAx7ZS+P2d0WD7jghFKq/myjbRnf652uj6wCKO24cy0wcYpApwg1MGwKDyAVFp7WPJ3xYeKmDnUnDP187wDVqfBwMScii8GyuewMNn/8rkXxCsqjYzD6T61WNfQq7bq7i1H8c/dpHobeeMv1ioIkOFK6+Xpk5zHexwXWFrTKSI7ca9wZZtv5F6Zh2LI5eAX026NXl67JLDjNqzw3M6Bd8GkRZqwTW87TQO6doO09zD30yWaVfoPMiamS5WcNUSkg2tcffausFePvrcr6zBPAO3tCHd0mey5zEIh9qs0binH/dUY2pdzcIES3gJGLOO8ZjbfRsAY+E4k874+t+FV6LxWGPLopma9H6vfnS5cejU9Mib4/u9eZhg44e8+fUMI9RXCjd2leLRLn2WPMMhl0ksIg6lVXApY591AxZGHIvIVmMRE0ajxyfhUx1zcYpjLv5HHENCFsXcuiShjDP7Zg5uoWESxYyxRMRccIYp+wu84kFwXKdfx8ExDLTzyoGfsm+Aw0rVO19lD1Sp/yPi6YhoFlVuUtNuvZPbIHtX2IZJuxbjuMW61rqyve3fi0+1Khr7m8fD3uq0DM6OIuPylAy+fEm9Cxj6EcmLw5hikcQ0iXnEGJVJD6rwEpQIFrMYXnJg99kam4sHGptv89PbU/z09vv3Ew0B50kEzuIykjGjHmVJKCMiBCcUIBYqIhPP5qe3R366z8Q/f/8mjkImffCTkD5fvF8+GO/5ZlYWX69gl76C/QwD64L+IA3g9TSH93/iqReeOv2DeHowvwI0zv4gD2WLv0LvrC3XxxafkwslEcyFgiBHsUBOqZV3h2ujZ3a2vcjicRX9noueWNR3gcdCmtzCWtdAUbmPzJGLSB5CjnOeRJInTEjMHt8h/AUV936T27h8MUaHJI+jY6vLULCEYxJhIqiUke9aKTgD4DXhnArJmUzkd2R2/YKMDm8F4qBeRR5xRUgwjymJwCGUERl3dQzW4wT8wIWMIQ3I9xTu2UsKdwJxfWB41vd5MjnoK6gP+DCiNJI0jiMppCTkRdl9uP97SPd/Ad0fA7z5D1BLBwjbn8QA9gcAALwgAABQSwECFAAUAAgICAD8hJVC1je9uRkAAAAXAAAAFgAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc1BLAQIUABQACAgIAPyElULbn8QA9gcAALwgAAAMAAAAAAAAAAAAAAAAAF0AAABnZW9nZWJyYS54bWxQSwUGAAAAAAIAAgB+AAAAjQgAAAAA" showResetIcon = "false" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "true" /><br />
 +
====Beispiel 2====
 +
Lisa will den Begriff des Rechtecks über die Eigenschaften der Diagonalen aller Rechtecke definieren:<br />
 +
Ein Viereck dess Diagonalen kongruent zueinander sind, sich jeweils halbieren und senkrecht aufeinander stehen heißt Rechteck.<br />
 +
Alle Vierecke, die Lisas Definition entsprechen sind auf jeden Fall Rechtecke. Sie sind sogar Quadrate, allerdings auch nur Quadrate. Lisas Definition umfasst kein Rechteck, das kein Quadrat ist.
 
==Minimalität mathematischer Definitionen==
 
==Minimalität mathematischer Definitionen==
−
===
+
===Beispiele===
 +
====Beispiel 1====
 +
Parallelogramme haben folgende Eigenschaften:
 +
#Die gegeüberliegenden Seiten sind parallel zueinander.
 +
#Die gegenüberliegenden seiten sind kongruent zueinander.
 +
#Gegenüberliegende Innenwinkel sind kongruent zueinander.
 +
#Die Diagonalen halbieren jeweils einander.
 +
#Benachbarte Innenwinkel sind supplementär (ergänzen sich zu 180°).
 +
Man könnte jetzt meinen, dass es sinnvoll wäre alle dies Eigenschaften zur definition des Begriffs ''Parallelogramm'' zu verwenden. Das würde die Definition aber nur unnötig aufblähen. Aus diesem Grund wählt man die definierende Eigenschaft des zu definierenden Begriffs derart, dass sie gerade so ausreichend ist, den Begriff exakt zu definieren. Alle die Eigenschaften unseres definierten Begriffs, die aus der Definition beweisbar wären, werden in sogenannten Sätzen verwigt, jedoch nicht in der Definition aufgeführt.
 +
<br />
 +
{{Definition|1=Jedes Viereck dessen gegenüberliegende Seiten parallel zueinander sind, heißt Parallelogramm.}}
 +
Natürlich hat jedes Viereck, das nach dieser Definition als Parallelogramm zu identifizieren ist die Eigenschaft, dass seine gegenüberliegenden Seiten kongruent zueinander sind.
 +
Diese Eigenschaft schreibe wir in einem Satz auf:<br />
 +
'''Satz über die gegeüberliegenden Seiten im Parallelogramm:'''<br />
 +
:Wenn ein Viereck ein Parallelogramm ist, so sind seine gegenüberliegenden Seiten kongruent zueinander.
 +
<br />
 +
Sätze müssen bewiesen werden:<br />
 +
'''Beweis des Satzes über die gegenüberliegenden Seiten des Parallelogramms:'''<br />
 +
Es sei <math>\overline{ABCD}</math> ein Parallelogramm. Entsprechend der Definition des Begriss Parallelogramm gilt:
 +
<br />
 +
Voraussetzung 1: <math>AB || CD</math><br />
 +
Voraussetzung 2: <math>AD || BC </math><br />
 +
(I) Wegen Voraussetzung 1 und dem Wechselwinkelsatz gilt: <math>\angle CAB \tilde= \angle ACD</math><br />
 +
(II) Wegen Voraussetzung 2 und dem Wechselwinkelsatz gilt: <math>\angle ACB \tilde= \angle CAD</math><br />
 +
(III) Trivialerweise ist die Diagonale <math>\overline{AC}</math> zu sich selbst kongruent.<br />
 +
(IV) Wegen (I), (II), (III) und WSW gilt: <math>\overline{ABC} \tilde= \overline{CBA}</math><br />
 +
(V) Nach Definition sind Dreiecke dann und nur dann kongruent, wenn sie in allen Bestimmungstücken (Seiten und Winkel) übereinstimmen. Entsprechend (IV) müssem demnach die gegenüberliegenden Seiten von <math>\overline{ABCD}</math> kongruent zueinander sein.
  
 
=Genau dasselbe, nur ganz anders: Arten, Definitionen zu formulieren=
 
=Genau dasselbe, nur ganz anders: Arten, Definitionen zu formulieren=

Aktuelle Version vom 21. April 2013, 17:22 Uhr


Inhaltsverzeichnis

 [Verbergen] 

Aufgaben vorab

Definieren Sie:

  1. Kreis k mit Mittelpunkt M und Radius r
  2. Trapez
  3. Parallelogramm

Was ist eine Definition?

Rein aus der Intuition heraus

Zuordnung
Ziehen Sie mit der Maus in die nach Ihrer Meinung richtige Zeile.

passt zum Begriff Definition

passt nicht zum Begriff Definition

ist weder wahr noch falschexistiert unabhängig vom menschlichen BewußtseinNaturgesetzFalls es Gott geben sollte so hat er sie erschaffenmathematische Aussagewird durch den Menschen geschaffenist eine GesetzmäßigkeitBegriffsbeschreibungist entweder wahr oder falschFestlegungjuristisches GesetzNamensgebung

Was ist nun eine Definition

Es ist schwer den Begriff mathematische Definition sauber zu klären (zu definieren). Wir wollen unter einer Definition die Beschreibung, Festlegung eines Begriffes verstehen. Aus mathematischer Sicht sind an eine derartige Begriffsbeschreibung gewisse Forderungen zu stellen.

Was sind mathematische Definitionen?

Ein Quiz

1. Bei welchen der folgenden "Definitionen" würde einem echten Mathematiker unwohl sein?

Unter dem Gegenstand der Pädagogik versteht man die Befähigung zur Aneignung.
→ Was genau ist Aneignung, was genau ist Befähigung?
Bildung ist ein aktiver, komplexer und nie abgeschlossener Prozess, in dessen glücklichem Verlauf eine selbstständige und selbsttätige, problemlösungsfähige und lebenstüchtige Persönlichkeit entstehen kann.
→ Ein unglaublich schwieriger Begriff. Wir werden ihn wohl nie exakt und genau im mathematischen Sinne erfassen können.
Ein Punkt ist das, was nicht mehr teilbar ist.
→ Und was ist nun nicht mehr teilbar?
Ein Parallelogramm ist ein Trapez mit einem weiteren Paar paralleler Seiten.
→Hier fühlt sich der Mathematiker wohl. Vorausgesetzt Trapez, parallel, Seite etc. wurde bereits definiert.
Unter dem RGB-Farbraum versteht man die folgende Menge geordneter Tripel natürlicher Zahlen: RGB:=\{(x,y,z)|0\leq x,y,z \leq 255\}
→wiederum vorausgesetzt geordnetes Tripel, natürliche Zahl etc. wurde bereits definiert.

Punkte: 0 / 0

Fazit

Will man eine Begriffsbeschreibung effizient erstellen, so wird man sinnvollerweise auf andere Begriffe zurückgreifen. All diese Begriffe müssen ihrerseits vorab festgelegt worden sein.

undefinierte Grundbegriffe

  • Ein Quadrat ist eine Rechteck mit ...
  • Ein Rechteck ist ein Parallelogramm mit ...
  • Ein Parallelogramm ist ein Trapez mit ...
  • Ein Trapez ist ein Viereck mit ...
  • Eine Viereck ist die Vereingungsmenge von vier Strecken, wobei ...
  • Die Strecke \overline{AB} ist die Menge aller Punkte, die zwischen den Punkten A und B liegt vereinigt mit der Menge, die aus den Punkten A und B besteht.
  • Ein Punkt ist ...?

Irgendwann sind wir mit der Rückführung auf andere Begriffe am Ende. Wir müssen akzeptieren, dass wir nicht alles sauber und exakt definieren können, obwohl wir doch sehr genaue Vorstellungen von unserem Begriff haben. Der Mathematiker geht dann von sogenannten undefinierten Grundbegriffen aus:

  • Punkt
  • Gerade
  • Ebene

Wir ergänzen:

Eine mathematische Definition ist eine Begriffsbeschreibung, die nur bereits definierte Begriffe bzw. als undefiniert festgelegte Grundbegriffe verwendet.

Exaktheit und Minimalität mathematischer Definitionen

Eine Definition muss den Begriff und nur den Begriff exakt beschreiben

Ein Quiz

1. Welche der folgenden Definitionen beschreiben den zu definierenden Begriff nicht korrekt?

Ein Viereck mit vier zueinander gleichlangen Seiten heißt Quadrat.
→Nicht jede Raute ist ein Quadrat.
Rauten mit einem rechten Innenwinkel sind Quadrate.
→ Jetzt passt es.
Ein Viereck, dessen Diagonalen gleichlang sind, heißt Rechteck.
→ Symmetrische Trapeze, die keine Rechtecke sind, haben dieselbe Eigenschaft.
Ein Viereck, dessen Diagonalen einander halbieren, ist ein Rechteck.
→Was ist mit Parallelogrammen, die keine Rechtecke sind?
Ein Viereck, dessen Diagonalen senkrecht aufeinander stehen, könnte ein Rechteck sein.
→Und was ist nun ein Rechteck?
Ein Viereck, dessen Diagonalen senkrecht aufeinander stehen und sich gegenseitig halbieren, heißt Rechteck.
→ Jetzt haben wir es endlich: Das sich die Diagonalen gegenseitig halbieren und senkrecht aufeinander stehen ist sowohl notwendig als auch hinreichend dafür, dass ein Viereck ein Rechteck ist.

Punkte: 0 / 0

Beispiele

Beispiel 1

In jedem Drachenviereck sind zwei benachbarte Seiten kongruent (gleichlang) zueinander. Paul definiert: Wenn in einem Viereck zwei benachbarte Seiten kongruent zueinander sind, ist das Viereck ein Drachen. Wie man leicht sieht umfasst diese Definition jedoch auch Vierecke, die wir nicht als Drachen ansehen wollen.


Beispiel 2

Lisa will den Begriff des Rechtecks über die Eigenschaften der Diagonalen aller Rechtecke definieren:
Ein Viereck dess Diagonalen kongruent zueinander sind, sich jeweils halbieren und senkrecht aufeinander stehen heißt Rechteck.
Alle Vierecke, die Lisas Definition entsprechen sind auf jeden Fall Rechtecke. Sie sind sogar Quadrate, allerdings auch nur Quadrate. Lisas Definition umfasst kein Rechteck, das kein Quadrat ist.

Minimalität mathematischer Definitionen

Beispiele

Beispiel 1

Parallelogramme haben folgende Eigenschaften:

  1. Die gegeüberliegenden Seiten sind parallel zueinander.
  2. Die gegenüberliegenden seiten sind kongruent zueinander.
  3. Gegenüberliegende Innenwinkel sind kongruent zueinander.
  4. Die Diagonalen halbieren jeweils einander.
  5. Benachbarte Innenwinkel sind supplementär (ergänzen sich zu 180°).

Man könnte jetzt meinen, dass es sinnvoll wäre alle dies Eigenschaften zur definition des Begriffs Parallelogramm zu verwenden. Das würde die Definition aber nur unnötig aufblähen. Aus diesem Grund wählt man die definierende Eigenschaft des zu definierenden Begriffs derart, dass sie gerade so ausreichend ist, den Begriff exakt zu definieren. Alle die Eigenschaften unseres definierten Begriffs, die aus der Definition beweisbar wären, werden in sogenannten Sätzen verwigt, jedoch nicht in der Definition aufgeführt.

Definition

Jedes Viereck dessen gegenüberliegende Seiten parallel zueinander sind, heißt Parallelogramm.

Natürlich hat jedes Viereck, das nach dieser Definition als Parallelogramm zu identifizieren ist die Eigenschaft, dass seine gegenüberliegenden Seiten kongruent zueinander sind. Diese Eigenschaft schreibe wir in einem Satz auf:
Satz über die gegeüberliegenden Seiten im Parallelogramm:

Wenn ein Viereck ein Parallelogramm ist, so sind seine gegenüberliegenden Seiten kongruent zueinander.


Sätze müssen bewiesen werden:
Beweis des Satzes über die gegenüberliegenden Seiten des Parallelogramms:
Es sei \overline{ABCD} ein Parallelogramm. Entsprechend der Definition des Begriss Parallelogramm gilt:
Voraussetzung 1: AB || CD
Voraussetzung 2: AD || BC
(I) Wegen Voraussetzung 1 und dem Wechselwinkelsatz gilt: \angle CAB \tilde= \angle ACD
(II) Wegen Voraussetzung 2 und dem Wechselwinkelsatz gilt: \angle ACB \tilde= \angle CAD
(III) Trivialerweise ist die Diagonale \overline{AC} zu sich selbst kongruent.
(IV) Wegen (I), (II), (III) und WSW gilt: \overline{ABC} \tilde= \overline{CBA}
(V) Nach Definition sind Dreiecke dann und nur dann kongruent, wenn sie in allen Bestimmungstücken (Seiten und Winkel) übereinstimmen. Entsprechend (IV) müssem demnach die gegenüberliegenden Seiten von \overline{ABCD} kongruent zueinander sein.

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 a und b zwei ganze Zahlen. T sei die Menge aller Zahlen, die sowohl Teiler von a als auch von b sind. Die größte Zahl der Menge T heißt größter gemeinsamer Teiler der Zahlen a und b.

Konventionaldefinition, das Ganze in "wenn-dann"

Wenn eine Zahl g sowohl die ganze Zahl a als auch die ganze Zahl b teilt und es keine Zahl t gibt, die auch a und b teilt und dabei größer als g ist, dann ist g der größte gemeinsame Teiler von a und b.

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 a und b erhält, ist der größte gemeinsame Teiler der Zahlen a und b.

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 \overline{ABC}ein Dreieck und \ C' das Bild von \ C bei der Spiegelung an \ AB. Das Viereck \overline{AC'BC} ist ein Drachenviereck.

Ein wenig Didaktik: Definitionen auf verschiedenen Niveaustufen

Aus didaktischer Sicht lassen sich Definitionen auf verschiedenen Niveaustufen formulieren.


Das nachfolgende Skript gibt weitere Informationen:
* Definitionen

Entwicklung einer "neuen" Definition

Gärtnerkonstruktion der Ellipse

Video

Im Folgenden wollen wir versuchen, den (ihnen vermutlich wenig geläufigen) Begriff Ellipse zu definieren. Konstruktiv lässt sich eine Ellipse mit Hilfe der sogenannten Gärtnerkonstruktion, wie im folgenden Video, erzeugen.

EmbedVideo erhielt die unbrauchbare ID „PQjeTmY0cdQ&NR=1“ für „youtube“.

Bemerkung zu obigem Video: Das geht natürlich noch schöner. Ansporn für Sie?

In einer ersten intuitiven Definition können wir also sagen:
....

Applet

Das folgende Applet empfindet die Gärtnerkonstruktion nach.

Aufgaben zur Gärtnerkonstruktion

  1. Experimentieren Sie mit dem Applet und machen Sie sich dabei die mathematischen Zusammenhänge klar (Tipp: Bewegen Sie den Punkt P und beobachten Sie die Strecken a und b).
    Welche Zusammenhänge entdecken Sie?
  2. Versuchen Sie nun aus den Erkenntnissen eine formale Definition des Begriffs
    Ellipse zu entwickeln.

  3. Können Sie nun den Begriff Kreis unter Verwendung des Oberbegriffs Ellipse definieren?

Vereinbarung: Wir setzen ebene Geometrie voraus.

Definition E.1: Ellipse

Alle Punkte P (mit P liegt in der Ebene E und alle P Element k) für die gilt: Strecke AP + Strecke BP = q (q sei eine feste Zahl).--Natürliches Mineralwasser 15:02, 17. Jan. 2013 (CET)

Definition K.1: Kreis als spezielle Ellipse

...

Zurückführen auf bereits vorhanden Definitionen: Verwenden von Oberbegriffen

Das Haus der Vierecke


[ www.ph-heidelberg.de is not an authorized iframe site ]

Obige Flash-Applikation wurde von Frau Andrea Spitz im Rahmen des Seminars "Erstellen von Multimediaanwendungen für den Unterricht" generiert.


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