Der schwache Außenwinkelsatz: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Der letztendliche Beweis) |
(→Der letztendliche Beweis) |
||
(28 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
+ | ===== Definition VIII.1 (Außenwinkel eines Dreiecks): ===== | ||
+ | Gegeben sei ein Dreieck <math>\overline {ABC}</math>. Alle Nebenwinkel der Innenwinkel des Dreiecks <math>\overline {ABC}</math> heißen Außenwinkel des Dreiecks <math>\overline {ABC}</math>. | ||
+ | |||
+ | |||
== ''schwacher'' Außenwinkelsatz? == | == ''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: | 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: | ||
Zeile 24: | Zeile 28: | ||
===== Beweis von Satz VIII.1 ===== | ===== Beweis von Satz VIII.1 ===== | ||
====== Hilfskonstruktion ====== | ====== Hilfskonstruktion ====== | ||
− | <ggb_applet width=" | + | <ggb_applet width="1080" height="600" version="3.2" ggbBase64="UEsDBBQACAAIABNy7DwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3Vt7b9vIEf+79ykWKhDk0JjZ9y4RKwc/AlzQ6CKc07uiveJAiWuJMUXqSMqxfb4P1X6QfqbO7lLvhyW/aidBQnN3uI+Z38xvZknvf3cxSNG5Kcokz5oNEuAGMlk3j5Os12yMqtM93fju7Tf7PZP3TKeI0GleDKKq2WABbdj2UfL2mz/tl/38C4pSJ/JTYr40G6dRWpoGKoeFieKyb0w11x6NLpI0iYrLj53PpluV0w4/yPtsOIJZqmIEbd1B/CEpx7ev3YTDNKmOk/MkNgVK826zIQUsHX76yRRV0o3SZoNj30KbDbrQCU3M9vbzIrnKs8qKTwc/hRaEyuTKgEa4bdt/7Ta6b0bdNImTKLObcesAIYS+JHHVB1mq7Zgm6fVhsVpyP1w3z4v45LKszABd/MMUOSyNBIJJyVQYhiwMVdhAl3UPl0GoMFZESRIyOwgqYcWwFIkDJjFmXPEQE46VhKfW97m5zfmJqSowZomiCzNVc69I4rmb9+Vhnk6bhnmSVUfRsBoVDgmsbjqpLu10sM3C7vIg66WmbqNgqL7pnnXyixOvOuaH/nQ5dI+4BXV6R3maF6iwRhEgUF87/upk7EonUtjJYCdRj2EHnfSTkDoJd+34q5NKk8wvrd45Ge+a4PE0SYlsAwxuATzZfBp1DACigUZZUn0Y3wBwzuqtEv/AD6NBBzxnFjqTMcl9jbn/egF0+2emyEzqkZWBbUf5qETnFsJ+LreQ2HSTAdz6jlolkTXX32ABvjU2vcKMF+79zivM9eJZ9C40778eL8KuoYS1disIILCfyu7F+ncFvtVsfG+S7Oo8ysyoZ7IGiqPKdltPSs3AgJtVDhwOWxMlHTQmMSV34WEcCOr+qbqhewIEQRwO7KUGEwSTYT+CJQf1XtLoEsLF7O7ciK08nt9zlIHu3IbAaYd2AGudoTFxHSKrGtJoCEM6B5lRvdNYiS6ajT0cCEDlpQ2X4OJX/mkn5L3JRg83MatN7bVyg36Ovhb9yIBzpx4ZYH5/+jn8evQTevjgIJS76aebDwZRFqMsGsBM7Ty97OWZ00tiqRVF2PoZioiFE4qo1ZpXyaga90O8SSGgEy/W9WIRXFiz0fET1tOsMIifcKzyyVDzkbnqQwDMTFk6+qhmiWK9+WZUNWs/ItisAfGM+cgu5luPstL07N1kId3/z252BONMOKIBGftbCNnC9A9x4NqjOqBC6kX+3LAv81vmZUrPYskAErNuUk2wlFp4v88q4DTjOGKZqs6MGdoc4WP2qYiy0maYXmaGAre0SPTMLCICrGsH5zYXnP4RPh7uMRFIwtm0Qz5f63SemXXAX0LvL3sqmLWBtY8zD4V2rci0+Un7zjwntJLY0+Y8KXSWaKB1U6if5d7W1twLiWOceJIE6Y+1cLxsWlsC9fyl4y9bmvbj6WlpKmdJ5rMwup3hbXFr5WnA6ZzV1Y5JygWUv6Utrcfb/2QuKkAodDQbL34b5dWbd1AxVCa7gsIgRu+SLDajKumdGUjSIXc2JWolVWXS4Sg7q+DOP+QmmjdDBSM35qe5d0vM12K39rCyioqqbXWHrLYJD7AKpabwl4dCMm8sHoRQyJKQMKaIUELM6v5mLdM5Lf/VVylnbpfxklbtKcJJVUCGYtDB4fY6ps9GxyRQkrCQC4qZ5FRLp2MRMI0pIZwrKUNQ8lodz+mhk+epiabZXezUANOPzHz02T0Lv932p57ObWS2rss2uno0dLZwbSfdfgFoQGRzvPwxulwIlUc+MW4tRUyzOWIWMNJYC+aeOXE1zk4fDGezQVOS2ZwSezfeg2A6zmUCqbSeCvCxjZ4BW7ZXUKVZMnx7F6ps3zF4rDDq7WvYqQfVJQLlj3RCgplWjBEI8ESLMGR1xkUCorTQWmBFQ2x/vA/uZZtZoV3zQRtFo1NoGVhWiPopah3tBejFnwl+865Eg1FZop5JgbbR9VHrGjXRdat9vT1tsPu3/IPRhlAhp4xoSpSiNTZYoBSjWkN2JDQXWO9GzXzOCAcXSQ5uCP8+QByI0u3VyJ+NGnlASAjqA0hLEopwkl5yrASGLIdogula9p0PRceQMEZZ12zLRlHHyseHN+Tx2WhgiqQ7raUnjy2QOw+sU3IK26E8VExvr8Ylil0NEJhzFiG/5OemsCTxu79Hf0EvfwBV/PPoX99Ofm65n73AH+iXV+CU8N/kgelu0BbIOrxrGfNw0ErKD9En8/elPGsBcSwQkO0BtLAiRNC6/glICJEWEuqQEiqpVndCXMsjrr0Oca0b6HAN4lrtFYjjEG2EgFAEHjQ+A7lHxMGcWyGuNYO49laIsyNvgbjWA2QDj4s4SxVSSiYJl0DZokYctUZjlGgGKAwJvV2FcfqUKgzltkaI3KS1lSUG3bXEOFznYr3tS4zeo5QY/UcoMWhA2GJOaHNFGUAeMptE+npDA+tqybWkwLmc6aUXw0+33FgTcdfCoQ42R7eLuEdLEVcFVIXAH8DwoFQ+Pji7x4gr5k/BSgTCUEv03bEXOi5MYrpn6LDVfoXiqERnedYDrcFOQDPoajSYiBy0joLtc0ZxxzD7cDBfcWJDBOFcakIpr98j23pJaoiykHwJAWSoQrJb8i3n9H59UJcvh9fo5cyZ2Leu1pkpbtDLSQyr+35OsjOTWvU7mfq27UYCWZPAWF9co39gb+9FD4jx5OeT7a0ln421eGBrJBEqhZlQZGwswTTHjFFgQI0FW2+rjezXfzrsJ+xnU7Z2UWpn9rvhJfXaA7blN9PJ9uyXPAr7fX4E9vvaXhbOW999Sra6wDj0Xx4ss95///0r3YwE98XTxIxOfsGVcCAV5yEOGVQWMmSMb+9YO2LBvaNcQAMVWzreHhf1wdgmtKy0NFuwdFR0pwdnYtyYpvmXH81pai6cKe5yMJosWep4l4PR4+WoP/8V3bp3wNR/UOiuT+UbHhUwxRTRGjMuQ8rI+FRcc0hVIWmVikg8zwy7ft5zs+8cL/vOf15Ew7x8s5P/jJ9Z8CEaYE6A5ULOBGTboZYP4EMU8zURdWsfqs+WyT27EL+jC20w34E339GK0Ldb4FsZ9iQVhBIO2aUW7OHCHr6DyXid9258c/8YUW91Nq3msulj2EudB7ud/kpdtTKtXa5GvmP7DFjdMQN+uMRkuV7RUklNFQ4lJLu4DnSQGAPQBGECsmNNdn1XoOcV7Gu+cqzRq1doklxur1P9bHTKwVEEpNwUUy2oHjuD/TQCSwi5GByYEcZvV1Z8fkplhc9uuBCb9LOyrOCLu349+026++WN+rdX3v4PUEsHCOqI8YefCQAA7zIAAFBLAQIUABQACAAIABNy7DzqiPGHnwkAAO8yAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAA2QkAAAAA" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /> |
+ | <br />--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 10:12, 8. Jul. 2010 (UTC) | ||
− | --[[Benutzer:Heinzvaneugen|Heinzvaneugen]] | + | <br />Danke --[[Benutzer:*m.g.*|*m.g.*]] 19:37, 8. Jul. 2010 (UTC) |
+ | |||
+ | <br />Sollte da nicht bei Schritt 2 CM = MP stehen?? --[[Benutzer:Vankman|Vankman]] 20:38, 8. Jul. 2010 (UTC) | ||
+ | |||
+ | <br />Sie haben natürlich recht. Darunter werden die gemeinten Strecken mit ihrer Länge richtig bezeichnet <math>\overline{CM} \cong \overline{MP}</math> angegeben. Manchmal liest man nicht das was geschrieben steht, sondern das was man lesen möchte.--[[Benutzer:*m.g.*|*m.g.*]] 15:16, 11. Jul. 2010 (UTC) | ||
+ | |||
+ | <br />Jetzt in der Grafik verbessert. Danke für den Hinweis! --[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 12:30, 12. Jul. 2010 (UTC) | ||
− | |||
====== Der letztendliche Beweis ====== | ====== Der letztendliche Beweis ====== | ||
− | 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. | + | 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.<br /><br /> |
+ | --[[Benutzer:*m.g.*|*m.g.*]] 10:07, 14. Jul. 2010 (UTC) Ich hab die Applikation noch einmal vollständig überarbeitet. Ziehen Sie an dem Punkt <math>\ P</math> und versuchen Sie, den Beweis nachzuvollziehen.<br /><br /> | ||
− | <ggb_applet width=" | + | <ggb_applet width="1026" height="709" version="3.2" ggbBase64="UEsDBBQACAAIAOVb7jwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VvrcuO2Ff7dPAVG1ezkYtO4A8za6djeaZvpuuuJt0knk0mHkmCJa4rU8uJbJ//7Jv3b9hH6AHmIPkkPQFI3SrLka5SZ3dUSBMCD853Ld0Bw/3fXwwhdmjQLk/igRTzcQibuJr0w7h+0ivx8V7d+99Un+32T9E0nDdB5kg6D/KDFPNqy7UX41Se/2c8GyRUKItfl29BcHbTOgygzLZSNUhP0soEx+Ux7UFyHURikN+86H0w3zyY3ykm+jkcFPCVPC2jrDntvw6y+3HMPHEVh/ia8DHsmRVHSPWhJAaLD/741aR52g+igxXHZQg9adO4mNDF7d5Ck4W0S57b7ZPJzaEEoC28NjMS2bX/PLXTfFN0o7IVBbBfj5IBOCF2FvXwA2sNUwpwm7A9AWIVVOV03SdLe2U2WmyG6/t6kCfTkzBNCasGlYkQL0UI31R1BPYIV9rmmVEgpOSgRJAZRBPGkD90ZxVwRGAiDlt5yTzaXZybPAcoMBddmouR+GvZmLr7OjpJo0jRKwjg/DkZ5kTo7YFXTWX5jnwaKS+0aD+N+ZKo2CjANTPeik1yfOcURVk79/mbkhjiBOv3jJEpSlFpIYNH96rdT/ro+VtJxL+z6YNejmsNOOr5PfOp6uN9O+et6RWFcilatnNSrJrh+TJgh2wCTW/MdLz4KOgbMoYWKOMzf1hdgNhfVUkk54M/FsAN+M2044znJY825vzdncvsXJo1NVNpVDNgWSZGhS2vA5bOcID3TDYdwWd6oVBJYuP4CApStPdNPTS146XWlwtxdPG27c837e7UQVoYMZO3mED5gPbldi/XuHDzroDX0+l4L9YLctlr3iczQgG/lziacSY11c9gaB5LExYTa+6v7Ey3D7YX24SwpiEaDAFq8agFRcAMRYnpJbr535+eZydH1QWtXKPAjQIBO3T5JerN6CGLQp1skuPHIzm8RGxnTq4JmXpk5GsETndNMweG0mLmnYU8SzIlQQvuYC9+6CTx9l3gKY8K54EoxqrQCe74t53ZTlP5no40Ti1XGUSr0DtUevZRq67U9h2aZpyQhmismieKC+rx8OPN8yiWDuCoYUdQX8vEUe/xCisWVXp/FZCFTaZuPuMC+olQyUT4de4xKJQXoljBFGN/QYrvJcBjEPRQHQxDjNIlu+knsFBra5I8CbIMCCog1YBRQq+5Sl0Ve34eYGEHSIWW3btktgB920OqUD6weswDJ8oE1VuOpZrNHPoAgHZsscykun05my3Gf0uM08EQwB70gVT6bIE9WIj+H7XLzzEzfXo0F6b7MalbbccNSJ7ZGPUo518BlID6CwWlnatwD+5IYc19g5RNKnKFpT/mYEi6tX2PG/fnEv2Kx5mNc9snK9BsOgU92w3xsYJF1iK/jHJKxccmtmWMvjBlZcvMufp8GcWaJcdlnKnevCVOwZTBBUBW+0hJyGCcaE0lkHRMg9mKARQuKIVYIrcugQD3Nte9rLClnCtdcbxvB6mwZWAS8hzGlfSIFZD9RJWXuEV8JKFmwr5V0JQgAtSs9Cihx4ksYpQQnv2SgZlPIW5BxWf6YTxy91cnBLneMVe8JAZ+tb34lEXQjiI6XQWQ2gMhsE0RLguey2Ln7ZMFzOU7vUijggB0F0begpySdw6zXAKtYDdZlOUut6eKecM1W03ez62f3qMlj1lnbVHFdodMN0txkUOxXi8/h+tTyaGSuRzacbVCcnD5rcfKUFTNnklEojMH2KXNC2QQmPIoJ9aHckxpjofRDyo9vgpvFcem0Yernq009hZnGEeWRw1I3iXthqVPo/q7qHaJXUf4ajRF6Um/gnrbVtfK1kJJxzms2AdAAa7C1NtzXfhW6tAfYEKwk87mvmdweNrEw8B0uM4rLjeLf5TbFv2ZeYvXOisCEcB9L+KOU28p6gRi4PmzN/YOrjWC72ibYFvD7m4XFwEukretRClPbQFYppd8quxboc3TZQnsNKOJiaNKw25oMsE+CpReVAnYJ93wCIYZx+x5EAq1dX8vkbgkHUxJerSPhYF5CIjwIkcC0ARagE1rSRxUwrATsg4CDdQQMGyqkFOK1FMBrFNMcMq16gISzfjmO0w0q6VzzvOGaJ3dt301znZO1uc7mKdS+geuXP53y5xGcU3qaQD4ENglZ1Jclp9zV3JMS8ivxuSZEVwUAwx4FZwXb0QzqcozZvRhOkgf5kuILyhAPf/7ff5X7p81S7PhVMEqy15sgUg+5VzB8CpUzz2fAWwQUvExJ5VcsUnkC6L3vdA7/2pdB92eR7oXo6i3siSZnNPzzf9ZRsXuDN9bdeMycG1MPa19zpW1K9gmRdzHMVRmJ4Kari80wWCupBGl3oma/boyi5Oobcx6Za6faOX63CZ0/WsbcPqxP5z9s0y4D8aiSUkL6J1wzqqlaue9HbX/BOYXMRCGH+mp7qPrdbteE/ed//41u5Gy2/5yjYU9ZFuVLApoTAvS2vqc9rJSbrcxX++PU+1jplyRwpQn1TDdJy8q9VMQmW8Azbmxjx8P8+I59KNOA9XYjQn+7TYR+w23DJ+b0x/cow5ZuqVxshNrFNqG2aGekDMONfZRfNGiHDdCijUCLtgy0RcXz7otUzw3QmqXfsCr9bqH0i9Yp/YbN6nm+OOWPWpzGUxJerCNhvFBCyhlj1KcQ6YCvP6qESSXhECSM15EwafBuJjzsM6gvpM8pUz57VAHfm+ucVEK++lgk+ev3JsvL/7Wa4ubQvTU7dm3nWkxOnpa5Tpm9dUHf40qAHTIOetT1MTnscQ7OB1ZqNcwV4dPl2t36ozP6O4zjYDA0X6L2KfohjNHx0c7hj7vt9VVKH7jtkIzpHvrfP/6JnmEjP8zeBu/NX2eZdXXiOQPzPq9XUJ1+btVBii5ESXtMcMK43bPQBGoHhxKFUOJLrBXDUmuG9WYgsRmQvjNhhNoVNOgiiS/NNQqzHL36LcGvC0he7eMp9FB76sYsrLY5Ck0f0lfRHaD2SRvZI7KnRXyRI3uO/CxPTffCoPYPyaVJbTT/+/HpT+VAmMd2+WMQdUzHxGYskre+ubAHmsvvk6hv0iLuO2v5FRiPphgDZ2X2gCHV1QY1Z0pZL7cbkcKnS21nRtedJIlMMDnNN1bVfJCeCmIrQuGd79yeXPmTqk0o4jTjrzjtuZzTnVWnl2ZJ3emyFyKj1aRu/izUaDmrI/jx3nDOGn44q/tkhe7rjwzur/1dWh1t4wu1zxZQx0UvSBe/H93k9WhDn89/LG5htOYz0Xo+dK4dG/lLxcb7mshTRken0DfoC5C4eR69gcKbCoFPj2HE6WdoD9HJ+YpqV76JwOx2/Zu7yOES8vcUO/XEE0owzbnWdiOy2rTapZ6SHFNfUvvCBLyLb3iQf6H5igVkA4iBow+HbfTB5LeWL5y7b+S6g9D0IPnH6MyEuYkdM7C04A8mDeCGJQVtZDmGiXfczasw7U3zicOTn9qoV6TAP3qhqcaVw/oG5o/DHOb13Fj3zxvLS8r2kSMq85MNw9yNL1lKVjKZktO0j9rTMwW2az+McvT9VftTdLhztHOCPqu6jFf+wfQSkM4yoxMrTDRq8CM3YFqOo58cM7NfAoUmzdFVkfZMqYBhkWXueYc7JztHn9llRuMVHkZZ8iX6zn7El41SS8puixT9qZzpwvn4JfwFsTZgWeKBkSRdnWTc5YRebA/X0oqAA0lFGCZM1T6lIQFpXxNOMFMYL62n1mEVJ8u2ij5uxio+Pg+ruAPoJ0wVU3QBVO1DMQssWPv2CzCla2SIUNIn9sCb5qL6agnYBWPa0mXgy1Jjveoo6C+AMazk6Om63PyZyOLDiXpJFRn2l4N/d0aSs4TqFEJrEMcoDruDHDXL0MOjneMfv5jLOi6Yw0ibuOr+/TpHnRzX1XAjZm8QZuXDj1z0t6teFRAstS+AlmiIo1JW3416AtiI5jaC2oP0UiwLoXvTH8va6/qj+q/+D1BLBwjrqBPQmwsAAIY/AABQSwECFAAUAAgACADlW+4866gT0JsLAACGPwAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAANULAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "true" showAlgebraInput = "false" allowRescaling = "true" /> |
<br /><br /> | <br /><br /> | ||
− | Das offene Innere von <math>\ \beta^'</math> | + | Das offene Innere von <math>\ \beta^'</math> ist der Schnitt zweier offener Halbebenen <math>\ AB,C^- \cap \ CB,A^+</math>.<br /> |
+ | |||
+ | Der Punkt <math>\ P</math> würde gerade dann nicht im Inneren des Winkels <math>\beta^'</math> liegen,wenn er | ||
+ | # in Halbenbene <math>\ AC,B^+</math> <br />oder<br /> | ||
+ | # in der Halbebene <math>\ CB,A^-</math> <br />liegen würde. | ||
+ | |||
+ | → Wäre es nicht vielmehr AB,C+ und CB,A- ??? --[[Benutzer:Principella|Principella]] 23:29, 18. Jul. 2010 (UTC) | ||
+ | _______________________________________________________________________________________________________________________________ | ||
+ | |||
+ | <u>zu 1.</u><br /> | ||
+ | Als Punkt der Halberaden <math>\ MC^-</math> (Konstruktion von <math>\ P</math>) kann <math>\ P</math> nicht mit <math>\ C</math> auf ein und derselben Seite bezüglich <math>\ AB</math> liegen.<br /> | ||
+ | |||
+ | <u>zu 2.</u><br /> | ||
+ | <u>2.a</u><br /> | ||
+ | Annahme: <math>\ P \in CB</math> | ||
+ | In diesem Fall würde gelten: <math>\ CP \equiv CB</math>. (Begründung mittels Inzidenzaxiomen ist jetzt nicht mehr nötig.) Wir wollen uns darauf einigen die Gerade <math>\ CP \equiv \ CB</math> mit <math>\ g</math> zu bezeichnen.<br /> | ||
+ | Die Gerade <math>\ CP</math> hat mit der Geraden <math>\ AB</math> genau einen Punkt gemeinsam, den Punkt <math>\ M</math>.<br /> | ||
+ | Die Gerade <math>\ CB</math> hat mit der Geraden <math>\ AB</math> genau einen Punkt gemeinsam, den Punkt <math>\ B</math>.<br /> | ||
+ | Da die beiden Geraden <math>\ CB</math> und <math>\ CP</math> identisch sind und die nichtidentischen Geraden <math>\ g</math> und <math>\ AB</math> maximal einen Punkt gemeinsam haben können, <br />müssen die beiden Punkte <math>\ M</math> und <math>\ B</math> identisch sein.<br /> | ||
+ | Letzteres ist ein Widerspruch zur Wahl von <math>\ M</math>.<math>\ M</math> ist nämlich der Mittelpunkt von <math>\ \overline{AB}</math>.<br /><br /> | ||
+ | <u>2.b</u><br /> | ||
+ | Annahme: <math>\ P \in CB,A^-</math><br /> | ||
+ | Nach der Konstruktion des Punktes <math>\ P</math> als Punkt der Halbgeraden <math>\ MC^-</math> ist <math>\ M</math> ein Punkt der Strecke <math>\overline{CP}</math>.<br /> | ||
+ | Die Halbebene <math>\ CB,A^-</math> ist eine konvexe Punktmenge.<br /> | ||
+ | Als Punkt der Trägergeraden <math>\ CB</math> gehört <math>\ C</math> zur Halbeben <math>\ CB,A^-</math>.<br /> | ||
+ | Der Punkt <math>\ P</math> gehört nach unserer Annahme zur Halbebene <math>\ CB,A^-</math>.<br /> | ||
+ | Wegen der Konvexität von <math>\ CB,A^- </math> gehört die gesamte Strecke <math>\overline{CP}</math> zur Halbebene <math>\ CB,A^-</math> und damit natürlich auch der Punkt <math>\ M</math>. <br /> | ||
+ | Letzteres bedeutet, dass <math>\ M</math> und <math>\ A</math> in verschiedenen Halbebene bezüglich <math>\ CB</math> liegen.<br /> | ||
+ | Dieses impliziert, dass die Stecke <math>\overline{AM}</math> durch die Gerade <math>\ CB</math> geschnitten wird.<br /> | ||
+ | Der einzige gemeinsame Schnittpunkt der Geraden <math>\ AM</math> und <math>\ CB</math> ist der Punkt <math>\ B</math>.<br /> | ||
+ | Weil <math>\ B</math> ein Punkt der Strecke <math>\ \overline{AM}</math> wäre, könnte <math>\ M</math> nicht gleichzeitig der Mittelpunkt von <math>\ \overline{AB}</math> sein.<br /><br /> | ||
+ | Überprüfen Sie Ihr Verständnis: Ist Schritt 2.a wirklich nötig? Wenn ja warum?<br /><br /> | ||
+ | [[Lösung von Aufgabe 12.1]] | ||
+ | |||
+ | === Unmittelbare Folgerungen aus dem schwachen Außenwinkelsatz === | ||
+ | ===== Korollar 1 zum schwachen Außenwinkelsatz ===== | ||
+ | ::In jedem Dreieck sind mindestens zwei Innenwinkel spitze Winkel. | ||
+ | |||
+ | [[Lösung von Aufgabe 12.2]] | ||
+ | ===== Korollar 2 zum schwachen Außenwinkelsatz ===== | ||
+ | ::Die Summe der Größen zweier Innenwinkel eines Dreiecks ist stets kleiner als 180. | ||
− | + | [[Lösung von Aufgabe 12.3]] |
Aktuelle Version vom 19. Juli 2010, 01:32 Uhr
Inhaltsverzeichnis |
Definition VIII.1 (Außenwinkel eines Dreiecks):
Gegeben sei ein Dreieck . Alle Nebenwinkel der Innenwinkel des Dreiecks
heißen Außenwinkel des Dreiecks
.
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 wählen, es gilt immer
.
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
im Inneren des Winkels
liegt, dann liegt der gesamte Strahl
im Inneren des Winkels
.
- Wenn ein Punkt
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)
Sollte da nicht bei Schritt 2 CM = MP stehen?? --Vankman 20:38, 8. Jul. 2010 (UTC)
Sie haben natürlich recht. Darunter werden die gemeinten Strecken mit ihrer Länge richtig bezeichnet angegeben. Manchmal liest man nicht das was geschrieben steht, sondern das was man lesen möchte.--*m.g.* 15:16, 11. Jul. 2010 (UTC)
Jetzt in der Grafik verbessert. Danke für den Hinweis! --Heinzvaneugen 12:30, 12. Jul. 2010 (UTC)
Der letztendliche Beweis
Es bleibt zu zeigen: , wobei wir in diesem Fall das offene Innere von
meinen.
--*m.g.* 10:07, 14. Jul. 2010 (UTC) Ich hab die Applikation noch einmal vollständig überarbeitet. Ziehen Sie an dem Punkt und versuchen Sie, den Beweis nachzuvollziehen.
Das offene Innere von ist der Schnitt zweier offener Halbebenen
.
Der Punkt würde gerade dann nicht im Inneren des Winkels
liegen,wenn er
- in Halbenbene
oder
- in der Halbebene
liegen würde.
→ Wäre es nicht vielmehr AB,C+ und CB,A- ??? --Principella 23:29, 18. Jul. 2010 (UTC) _______________________________________________________________________________________________________________________________
zu 1.
Als Punkt der Halberaden (Konstruktion von
) kann
nicht mit
auf ein und derselben Seite bezüglich
liegen.
zu 2.
2.a
Annahme:
In diesem Fall würde gelten:
. (Begründung mittels Inzidenzaxiomen ist jetzt nicht mehr nötig.) Wir wollen uns darauf einigen die Gerade
mit
zu bezeichnen.
Die Gerade hat mit der Geraden
genau einen Punkt gemeinsam, den Punkt
.
Die Gerade hat mit der Geraden
genau einen Punkt gemeinsam, den Punkt
.
Da die beiden Geraden und
identisch sind und die nichtidentischen Geraden
und
maximal einen Punkt gemeinsam haben können,
müssen die beiden Punkte und
identisch sein.
Letzteres ist ein Widerspruch zur Wahl von .
ist nämlich der Mittelpunkt von
.
2.b
Annahme:
Nach der Konstruktion des Punktes als Punkt der Halbgeraden
ist
ein Punkt der Strecke
.
Die Halbebene ist eine konvexe Punktmenge.
Als Punkt der Trägergeraden gehört
zur Halbeben
.
Der Punkt gehört nach unserer Annahme zur Halbebene
.
Wegen der Konvexität von gehört die gesamte Strecke
zur Halbebene
und damit natürlich auch der Punkt
.
Letzteres bedeutet, dass und
in verschiedenen Halbebene bezüglich
liegen.
Dieses impliziert, dass die Stecke durch die Gerade
geschnitten wird.
Der einzige gemeinsame Schnittpunkt der Geraden und
ist der Punkt
.
Weil ein Punkt der Strecke
wäre, könnte
nicht gleichzeitig der Mittelpunkt von
sein.
Überprüfen Sie Ihr Verständnis: Ist Schritt 2.a wirklich nötig? Wenn ja warum?
Lösung von Aufgabe 12.1
Unmittelbare Folgerungen aus dem schwachen Außenwinkelsatz
Korollar 1 zum schwachen Außenwinkelsatz
- In jedem Dreieck sind mindestens zwei Innenwinkel spitze Winkel.
Korollar 2 zum schwachen Außenwinkelsatz
- Die Summe der Größen zweier Innenwinkel eines Dreiecks ist stets kleiner als 180.