Der schwache Außenwinkelsatz: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Beweis von Satz VIII.1)
(Der letztendliche Beweis)
Zeile 30: Zeile 30:
 
Danke --[[Benutzer:*m.g.*|*m.g.*]] 19:37, 8. Jul. 2010 (UTC)
 
Danke --[[Benutzer:*m.g.*|*m.g.*]] 19:37, 8. Jul. 2010 (UTC)
 
====== Der letztendliche Beweis ======
 
====== Der letztendliche Beweis ======
Es bleibt zu zeigen: <math>\ P \in \operatorname{I} \left( \beta^' \right)</math>
+
Es bleibt zu zeigen: <math>\ P \in \operatorname{I} \left( \beta^' \right)</math>, wobei wir in diesem Fall das offene Innere von <math>\beta^'</math> meinen.
  
 
<ggb_applet width="714" height="609"  version="3.2" ggbBase64="UEsDBBQACAAIACyq6DwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VrNkuI2ED5nn0LlQyo5jLHkH0wFNsWye9iqnezUzmYPuaSELUDB2MSWGZi3Sh5knyktyTY2HhiYv12qMhePW0Lq7q+/7pag/+t6EaEVSzOexAMDm5aBWBwkIY+nAyMXkwvf+PX1q/6UJVM2TimaJOmCioFhm8SQ8py/fvVDP5slN4hGasoXzm4GxoRGGTNQtkwZDbMZY6Ihp/maR5ymm4/jv1ggsu2AXuR9vMxhF5HmIAsW4Qeela8dteEy4uItX/GQpShKgoHhuaA6/PeFpYIHNBoYjqUlBLT1SGNQiuToLEn5bRILOX27+AQkCGX8lg0MYklZv6MM7bM8iHjIaSyNUXrAJIRueChmA6OLHViS8ekMdPWsrl4tSJI0vN5kgi3Q+g+WJrAosaSjN/oN+0S+ZaAXbOjqofqbWoatrpkQAEuG6JptHTZNedh4eZ+9SaKtaJnwWIzoUuSpwtQuRNdiIzeAvVKp8DCeRqyQYXD5jAXzcbK+Vk7Atl7682apPqIUGk9HSZSkKAV7XBcmFM+xfqo5UtNqlqXmWGpGsYZctBrHPaJmqOdYP9WsiMdatcJyXFqNrXIbniEpkG6EUKyMj+iYAbQGymMuPpQvEALzranyA7/lizFwoB4E1Zr4qdbsd3bCpz9nacwiHSQxYJsneYZWMhj1XkqRkAV8Aa96oHAJlXD9DgpoacimKSsV1wzSDlOjVj0Qd8T9TqmE1CEDXQMBqQDsEdIWyVQBLBkYC3NqGiikQkolFSK2YMAToWJChVTlm6FRJYVE8btkcjG+9TIM3xkfKpJotJxRkJQUiOgG2F43Sa33cTLJmEDrgXHhQKBugDW10cskbLqBxuBOZSNQcimXl4AtGQuL/CeKKEdL2FBxpoaGcmKmNsPyg7DbBSjoG+hWf1zN0gyTuUHtbBfwa5fd47w338h5ljYGv4jzbBPyb/1PA4dN8oSeHH0jT7rKFuK8hCNd0/Y1cMT0ndN8FySLBY1DFNMFbHWVRJtpEiufcVl+EbUklRHFMigRJdKj2l25KMchk0VQKrCeFuhpFB72wBjrDYtt7gBLb1jCUS3VzPliBqk1Zlkmk1/lls5haGu+qmOLXVuh6+KiCm3BxQfB3cFvfwRmbCrfKkWCb2PN4VBtRWMjq9meCijH1OEk85zj1LlauuoYo9jfsZ6T6eLIF9C5BVxUgRTJ4H4fCyiVTJWedgWcM7aUrcfH+HNK40y2oHpOrbIeCQc9MzgcExOdTUyr26v/eQU4nklc3zlfRMZnhgjk2a4myIVnOrpaXdim6zY40upcvydAmnn/E93s5Pw3Opm3k314OKGnsFKJSPiMsDYPEv+z7A5QP4COd1fyNqrsMKrS3AoRdk6wVkytiPpsPN2PxIinQbSLxajsqnaxmB/GAo5oPKj8OH8gGM2D7P1d8CPAOM6xfMriFaiWpBlCa6vogDeW3hDdlpI11qctGMOF6BbXGl7oqFO+RsNy/rCcNSSyGJhdS14tDO1i3aEDy+kGeujKcCkZvos09OUBn4DnDyJdkXkH7LkGO2yB/VYPvLuvTa6fad7ec6bZwy3PUXjKx1g/Hk+vFznDvWvb2wzfFzS4azpV5e95zY74EQcvdfW2L1mr89S7Vuh8/fdHukyyXw6HjrolqjxVfUauBYrlhXrEhJTY6zqu7fdsi3jlwfXpDs4nna2OTBo0DbYe7pbCKEpuPrFJxNbKqzsl9digu3rRi4NnuxuwzG5xN+CczMkje8SrVmROju8RJ+fUTLim26C85ZbXLi7ZlauW0YWmktR6Dft8usd9lYxp0Cct0C9PKWGXD2LXgxP69l5OX9fa9nGA+z3Tsj3LKyEkRerHpgsvvt/E2yFmr2wfHsut0T5uTY/n1vScuIXN5gWT5ZRpqzh/Ecv0MSZnSab7y3sb6K///ElOKu1y/k5Zh+xveZbtuF1s97Dt2o8q69hq4+0eybsLr6vwfOKiL1U6ueqvlymsLGtrYfTMQCAcGOufrn42UKfl6DhfsLR26Jrd4Wf/eI7g+zXihUabIzXiuxrpcv9wlZrx+0UdzHYC+HJfisoPh60+5VWq59//CbZxNU6ASF3P9x2HEIzx9ouXHiG+DaXCIQ4wTiWt7U7HmFf7crZIUwFNBcs4jQv7Bbxfycqio+PyAagVhWXYQm11Emqrs0JNX/5syuug50dmtItMp/7NuvoxSfFrmtf/AVBLBwhGDtgKeQYAAH8jAABQSwECFAAUAAgACAAsqug8Rg7YCnkGAAB/IwAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAALMGAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "true" showAlgebraInput = "false" allowRescaling = "true" />
 
<ggb_applet width="714" height="609"  version="3.2" ggbBase64="UEsDBBQACAAIACyq6DwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VrNkuI2ED5nn0LlQyo5jLHkH0wFNsWye9iqnezUzmYPuaSELUDB2MSWGZi3Sh5knyktyTY2HhiYv12qMhePW0Lq7q+/7pag/+t6EaEVSzOexAMDm5aBWBwkIY+nAyMXkwvf+PX1q/6UJVM2TimaJOmCioFhm8SQ8py/fvVDP5slN4hGasoXzm4GxoRGGTNQtkwZDbMZY6Ihp/maR5ymm4/jv1ggsu2AXuR9vMxhF5HmIAsW4Qeela8dteEy4uItX/GQpShKgoHhuaA6/PeFpYIHNBoYjqUlBLT1SGNQiuToLEn5bRILOX27+AQkCGX8lg0MYklZv6MM7bM8iHjIaSyNUXrAJIRueChmA6OLHViS8ekMdPWsrl4tSJI0vN5kgi3Q+g+WJrAosaSjN/oN+0S+ZaAXbOjqofqbWoatrpkQAEuG6JptHTZNedh4eZ+9SaKtaJnwWIzoUuSpwtQuRNdiIzeAvVKp8DCeRqyQYXD5jAXzcbK+Vk7Atl7682apPqIUGk9HSZSkKAV7XBcmFM+xfqo5UtNqlqXmWGpGsYZctBrHPaJmqOdYP9WsiMdatcJyXFqNrXIbniEpkG6EUKyMj+iYAbQGymMuPpQvEALzranyA7/lizFwoB4E1Zr4qdbsd3bCpz9nacwiHSQxYJsneYZWMhj1XkqRkAV8Aa96oHAJlXD9DgpoacimKSsV1wzSDlOjVj0Qd8T9TqmE1CEDXQMBqQDsEdIWyVQBLBkYC3NqGiikQkolFSK2YMAToWJChVTlm6FRJYVE8btkcjG+9TIM3xkfKpJotJxRkJQUiOgG2F43Sa33cTLJmEDrgXHhQKBugDW10cskbLqBxuBOZSNQcimXl4AtGQuL/CeKKEdL2FBxpoaGcmKmNsPyg7DbBSjoG+hWf1zN0gyTuUHtbBfwa5fd47w338h5ljYGv4jzbBPyb/1PA4dN8oSeHH0jT7rKFuK8hCNd0/Y1cMT0ndN8FySLBY1DFNMFbHWVRJtpEiufcVl+EbUklRHFMigRJdKj2l25KMchk0VQKrCeFuhpFB72wBjrDYtt7gBLb1jCUS3VzPliBqk1Zlkmk1/lls5haGu+qmOLXVuh6+KiCm3BxQfB3cFvfwRmbCrfKkWCb2PN4VBtRWMjq9meCijH1OEk85zj1LlauuoYo9jfsZ6T6eLIF9C5BVxUgRTJ4H4fCyiVTJWedgWcM7aUrcfH+HNK40y2oHpOrbIeCQc9MzgcExOdTUyr26v/eQU4nklc3zlfRMZnhgjk2a4myIVnOrpaXdim6zY40upcvydAmnn/E93s5Pw3Opm3k314OKGnsFKJSPiMsDYPEv+z7A5QP4COd1fyNqrsMKrS3AoRdk6wVkytiPpsPN2PxIinQbSLxajsqnaxmB/GAo5oPKj8OH8gGM2D7P1d8CPAOM6xfMriFaiWpBlCa6vogDeW3hDdlpI11qctGMOF6BbXGl7oqFO+RsNy/rCcNSSyGJhdS14tDO1i3aEDy+kGeujKcCkZvos09OUBn4DnDyJdkXkH7LkGO2yB/VYPvLuvTa6fad7ec6bZwy3PUXjKx1g/Hk+vFznDvWvb2wzfFzS4azpV5e95zY74EQcvdfW2L1mr89S7Vuh8/fdHukyyXw6HjrolqjxVfUauBYrlhXrEhJTY6zqu7fdsi3jlwfXpDs4nna2OTBo0DbYe7pbCKEpuPrFJxNbKqzsl9digu3rRi4NnuxuwzG5xN+CczMkje8SrVmROju8RJ+fUTLim26C85ZbXLi7ZlauW0YWmktR6Dft8usd9lYxp0Cct0C9PKWGXD2LXgxP69l5OX9fa9nGA+z3Tsj3LKyEkRerHpgsvvt/E2yFmr2wfHsut0T5uTY/n1vScuIXN5gWT5ZRpqzh/Ecv0MSZnSab7y3sb6K///ElOKu1y/k5Zh+xveZbtuF1s97Dt2o8q69hq4+0eybsLr6vwfOKiL1U6ueqvlymsLGtrYfTMQCAcGOufrn42UKfl6DhfsLR26Jrd4Wf/eI7g+zXihUabIzXiuxrpcv9wlZrx+0UdzHYC+HJfisoPh60+5VWq59//CbZxNU6ASF3P9x2HEIzx9ouXHiG+DaXCIQ4wTiWt7U7HmFf7crZIUwFNBcs4jQv7Bbxfycqio+PyAagVhWXYQm11Emqrs0JNX/5syuug50dmtItMp/7NuvoxSfFrmtf/AVBLBwhGDtgKeQYAAH8jAABQSwECFAAUAAgACAAsqug8Rg7YCnkGAAB/IwAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAALMGAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "true" showAlgebraInput = "false" allowRescaling = "true" />
 +
 +
<br /><br />
 +
Das Innere v
 +
Der Punkt <math>\ P</math> würde gerade dann nicht im Inneren des Winkels <math>\beta^'</math> liegen, wenn er

Version vom 8. Juli 2010, 20:43 Uhr

Inhaltsverzeichnis

schwacher Außenwinkelsatz?

In der Vorlesung wurde angedeutet, dass es im Rahmen der absoluten Geometrie nicht möglich ist, den Satz über die Summe der Größen der Innenwinkel eines Dreiecks zu beweisen. Wenn es richtig ist, was in der Vorlesung gesagt wurde, dann dürfte es in der absoluten Geometrie auch nicht möglich sein, den sogenannten starken Außenwinkelsatz zu beweisen. Die folgende Applikation demonstriert den starken Außenwinkelsatz:





Egal, wie wir unser Dreieck \overline{ABC} wählen, es gilt immer \ | \beta '| = | \alpha | + | \gamma |.


Allgemeiner formuliert:
Für jedes Dreieck gilt: Die Größe eines jeden Außenwinkels ist immer gleich der Summe der Größen der beiden Innenwinkel des Dreiecks, die zu dem jeweiligen Außenwinkel keine Nebenwinkel sind.

Wie bereits erwähnt, gilt der starke Außenwinkelsatz im Rahmen der absoluten Geometrie nicht. Es gilt jedoch der sogenannte schwache Außenwinkelsatz. Dieser ist selbstverständlich im starken Außenwinkelsatz aufgehoben.

Satz VIII.1: (schwacher Außenwinkelsatz)
Die Größe eines jeden Außenwinkels eines Dreiecks ist jeweils größer als die Größe eines jeden Innenwinkels dieses Dreiecks, der kein Nebenwinkel zu dem gewählten Außenwinkel des Dreiecks ist.

Für den Beweis des schwachen Außenwinkelsatzes formulieren wir zunächst ein Lemma.

Lemma 2
Wenn ein Punkt \ P im Inneren des Winkels  \angle ASB liegt, dann liegt der gesamte Strahl \ SP^+ im Inneren des Winkels \angle ASB .

Hinsichtlich des Beweises von Lemma 2 verweisen wir auf das alte Skript (Geschichten aus dem Inneren).

Beweis von Satz VIII.1
Hilfskonstruktion

--Heinzvaneugen 10:12, 8. Jul. 2010 (UTC)

Danke --*m.g.* 19:37, 8. Jul. 2010 (UTC)

Der letztendliche Beweis

Es bleibt zu zeigen: \ P \in \operatorname{I} \left( \beta^' \right), wobei wir in diesem Fall das offene Innere von \beta^' meinen.



Das Innere v Der Punkt \ P würde gerade dann nicht im Inneren des Winkels \beta^' liegen, wenn er