m.g. am 26. Juni 2017 um 08:12 Uhr

2017-06-26T08:12:34Z

← Nächstältere Version		Version vom 26. Juni 2017, 08:12 Uhr
Zeile 1:		Zeile 1:
			<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFF99; align:left;">
			{\|width=90%\| style="background-color:#FFFF99; padding:1em"
			\| valign="top" \|

	== Mittelsenkrechte und Winkelhalbierende ==		== Mittelsenkrechte und Winkelhalbierende ==
	=== Mittelsenkrechte ===		=== Mittelsenkrechte ===
Zeile 69:		Zeile 73:
	===== Beweis von Satz VI.2 =====		===== Beweis von Satz VI.2 =====
	Übungsaufgabe		Übungsaufgabe
	[[Kategorie:~~Einführung_Geometrie~~]]		<!--- Was hier drunter steht muss stehen bleiben --->
			\|}
			</div>
			[[Kategorie:Einführung_S]]

m.g.: /* Beweis der Existenzbehauptung: */

2017-06-26T08:10:20Z

Beweis der Existenzbehauptung:

← Nächstältere Version		Version vom 26. Juni 2017, 08:10 Uhr
Zeile 43:		Zeile 43:
	\| <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math>		\| <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math>
	\| ....		\| ....
			\|}
	Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.5 die Existenz der Mittelsenkrechten von <math>\overline{AB}</math> gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.5 steht momentan jedoch noch als Übungsaufgabe aus.		Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.5 die Existenz der Mittelsenkrechten von <math>\overline{AB}</math> gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.5 steht momentan jedoch noch als Übungsaufgabe aus.

m.g.: /* Beweis der Existenzbehauptung: */

2017-06-26T08:09:24Z

Beweis der Existenzbehauptung:

← Nächstältere Version		Version vom 26. Juni 2017, 08:09 Uhr
Zeile 34:		Zeile 34:
	\| (i)		\| (i)
	\| <math>\exist M \in\overline{AB}: \|AM\| = \|MB\|</math>		\| <math>\exist M \in\overline{AB}: \|AM\| = \|MB\|</math>
	\| ~~''Existenz des Mittelpunkts einer Strecke''~~		\| ...
	\|-		\|-
	\| (ii)		\| (ii)
	\| <math>\exist MQ^+ : \|\angle QMB \| = 90</math>		\| <math>\exist MQ^+ : \|\angle QMB \| = 90</math>
	\| (i); ~~''Winkelkonstruktionsaxiom''~~		\| (i); ...
	\|-		\|-
	\| (iii)		\| (iii)
	\| <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math>		\| <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math>
	\| ~~''(i); (ii); Definition Mittelsenkrechte, ''erarbeitet in der Vorlesung 19~~.12.~~--[[Benutzer:Schnirch\|Schnirch]] 14:50, 19~~. ~~Dez~~. ~~2011 (CET)~~		\| ....
	\|}

	Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.5 die Existenz der Mittelsenkrechten von <math>\overline{AB}</math> gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.5 steht momentan jedoch noch als Übungsaufgabe aus.		Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.5 die Existenz der Mittelsenkrechten von <math>\overline{AB}</math> gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.5 steht momentan jedoch noch als Übungsaufgabe aus.

m.g.: Die Seite wurde neu angelegt: „== Mittelsenkrechte und Winkelhalbierende == === Mittelsenkrechte === Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt: eine Gerade, die eine Str…“

2017-06-26T08:07:47Z

Die Seite wurde neu angelegt: „== Mittelsenkrechte und Winkelhalbierende == === Mittelsenkrechte === Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt: eine Gerade, die eine Str…“

Neue Seite

== Mittelsenkrechte und Winkelhalbierende ==
=== Mittelsenkrechte ===
Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt:
eine Gerade, die eine Strecke halbiert und senkrecht auf ihr steht.

<ggb_applet width="569" height="439" version="3.2" ggbBase64="UEsDBBQACAAIAEy90TwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1svVZNU9swED2XX6HRHcd2CIWZGKalF2ZoOYRy6E2xN46KLLmSDAm/vquVnRho6bTTlovQ7no/3u5bZX6+aRS7B+uk0QXPkpQz0KWppK4L3vnV4Qk/PzuY12BqWFrBVsY2whd8muQ8yDt5dvBm7tbmgQlFJrcSHgq+EsoBZ661ICq3BvBP5KLbSCWF3V4vv0Lp3V4RnVzqtsMo3nYoK5vqSrrhOqGArZL+g7yXFVimTFnw4xmmjv/dgvWyFKrgR2mU5AXPnylRNA3atbHy0WgfzPfOVyhhzMlHwC/TIJtPqNA5dKWSlRQ6FEN5oBFjD7Ly64LPjk/RJch6HQA6Oo7eSmNstdg6Dw3bfAFr0Gk2C0Bv420abw7zwoCzlFTjG7mB+wV4j21xTGxgD1htZfXkcuneG7UXtUZqfyFa31nq6bQXLfw2BMBYNiT8TtcKelmGkK+hvFuazYJAyKbR9c22pU8ooWV9YZSxzAZ4Z2jQn8t4kk3IdGeVkk1KFr2P4HSnz05zsqBzGU+yUlLH1PrKs6HqLB3CSMeCIMCIo7grXoklYGs567T0V8MFR+BuX2r44FPXLJED4yHY+cz+ls/55Nn4zO/AalBxSDT2tjOdY/dhGGMsSqSCUjZ4jYqszy606zMmEKUV1BaGxCODImCkTceD+Ew8nwxJhBwc5lp6XAVYjw+1BKZ6ZEnBm6ROOKuED9JABQUNIE88zQSN1A6bd3y3FAzxe2Byr9+jjOofzgdNklDtWqBkoIASW2T7uCTyd71aOfBsU/DDHAm4xV0w0n401VMYhEY4qUakZBvch4a1AFW//3w/5azFgMSZUTcIRBeDJfkRhcsSPB/j12QUCRZWAwWe9t2PiP0Cu/f/Fbt/hk6evM0JHHwoTn4PndI0jdAV06LBSAuog5xQkeFVYCINE8ZEFsCKSHR+UIjorffxAmvXexvQFPzpgvFr5LEGh7TN97VOXm/JCICf9ST9846MJi5LTk4I1KPk9Dgd/WWE8GGWJdls9mJrvlIUfNPRxsXdJRt8WEvpd7iq0ONL7XGTAW2GlwvqDqANL8O1vrFCu/ALIdqMFt+uuZPxlqGHtf9lcfYdUEsHCKHQKG82AwAAiwgAAFBLAQIUABQACAAIAEy90Tyh0ChvNgMAAIsIAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAcAMAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "true" showToolBarHelp = "true" showAlgebraInput = "true" allowRescaling = "true" />
===== Definition VI.1: (Mittelsenkrechte) =====
::Es sei <math>\ m</math> eine Gerade und <math>\overline{AB}</math> eine Strecke, die durch <math>\ m</math> im Punkt <math>\ M</math> geschnitten wird. <math>\ m</math> ist die Mittelsenkrechte von <math>\overline{AB}</math>, wenn

::# <math>m \perp AB</math>
::# <math>\left| AM \right| = \left| MB \right|</math>

===== Satz VI.1: (Existenz und Eindeutigkeit der Mittelsenkrechten) =====
:: Jede Strecke hat in jeder Ebene, zu der die Strecke vollständig gehört, genau eine Mittelsenkrechte.

===== Beweis von Satz VI.1 =====
Es sei <math>\overline{AB}</math> eine Strecke, die vollständig zur Ebene <math>\ \varepsilon</math> gehören möge.

====== Behauptungen: ======

# Es gibt in <math>\ \varepsilon</math> Gerade <math>\ m</math>, die die Mittelsenkrechte von <math>\overline{AB}</math> ist.
# Es gibt in <math>\ \varepsilon</math> nicht mehr als eine Gerade <math>\ m</math>, die die Mittelsenkrechte von <math>\overline{AB}</math> ist.

====== Beweis der Existenzbehauptung: ======

Aus Gründen der effizienten Bezeichnung führen wir den Punkt <math>\ Q</math> ein, der zur Ebene <math>\ \varepsilon</math> aber nicht zur Geraden <math>\ AB</math> gehören möge.

{| class="wikitable center"
|- style="background: #DDFFDD;"
! Nr.
! Beweisschritt
! Begründung
|-
| (i)
| <math>\exist M \in\overline{AB}: |AM| = |MB|</math>
| ''Existenz des Mittelpunkts einer Strecke''
|-
| (ii)
| <math>\exist MQ^+ : |\angle QMB | = 90</math>
| (i); ''Winkelkonstruktionsaxiom''
|-
| (iii)
| <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math>
| ''(i); (ii); Definition Mittelsenkrechte, ''erarbeitet in der Vorlesung 19.12.--[[Benutzer:Schnirch|Schnirch]] 14:50, 19. Dez. 2011 (CET)
|}

Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.5 die Existenz der Mittelsenkrechten von <math>\overline{AB}</math> gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.5 steht momentan jedoch noch als Übungsaufgabe aus.

====== Beweis der Eindeutigkeitsbehauptung ======
Die Eindeutigkeit des Mittelpunktes einer Strecke wurde bereits bewiesen (Satz III.1).
Die Eindeutigkeit der Senkrechten in einem Punkt einer Geraden zu dieser Geraden wird/wurde mit Satz V.5 bewiesen.

=== Winkelhalbierende ===
Ein Winkel ist ein Paar von Halbgeraden, die einen gemeinsamen Anfangspunkt haben. Eine Winkelhalbierende teilt einen Winkel in zwei Teilwinkel, die jeweils dieselbe Größe haben. Die Teilwinkel werden dadurch gebildet, dass jeder Schenkel des ursprünglichen Winkels jeweils mit der Winkelhalbierenden zu einem neuen Winkel zusammengefasst wird. Es ist also sinnvoll, die Winkelhalbierende eines Winkels als eine besondere Halbgerade zu definieren.

<ggb_applet width="517" height="512" version="3.2" ggbBase64="UEsDBBQACAAIAHS62DwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1szVfNbts4ED5vn4LQ3bIoxX+AlSJtLwG6G6Du9rA3Shrb3FCkSlKJnbfaF+kzdUhKthy3abct2uaicGY4P9/80cvnu1qQO9CGK5lHNE4iArJUFZebPGrtejSPnl8+W25AbaDQjKyVrpnNoyxOI0dv+eWzP5Zmq+4JE17kHYf7PFozYSAiptHAKrMFsCd01u644Ezvb4p/obTmyAhKrmXTohWrW6SVdfWam/449gYbwe0rfscr0ESoMo+mE3Qd/3sH2vKSiTy6SAIlzaP0ERNJmeNuleYPSlonflS+Rgohhj8A3kwcbTn2gS6hLQWvOJMuGO8HChFyzyu7zaMJnaFK4Jst+npBF0FbqZSuVntjoSa7f0ArhHk2cUDvwylN5+5k0C80OEk8a3jyauBuBdZiWgxhOzgCttG8OjlcmxdKHEmN4tK+ZI1ttc9p1pFWdu8MoC3tHL6SGwEdLUXIt1DeFmq38iDQLKh+u2/8Fe9QsXmphNJEO3gnKNB9i/D1Ms7Tg1TiZRIv0elwSg98uki9hP8W4eulBJfBtS5y2kdNk94MN8QRHIxYiofgBSsAUxuRVnL7uj9gCdx2odJw4a+2LrAHhkVw0El/lM7l+FH5LG9BSxChSCTmtlWtIXeuGIMt70gFJa/xGBgdJMyl6290IFAr2GjoHQ8dFADz3GRYiI/Iy3HvhPPBoK+lxVGA8VgXi+tUi12SR3W8iSNSMeuorhUE1IB9Yn1N+JI6YHMVHYaC8v3dd3LHP6KM7E/Wh68kJpotQ0rfAoLtsduHIXl9N+u1AUt2eTRyDbjH3psO2H+q6hQHJhFPHyT2ZOP0u4w1AFU3AG1X5qRBi75pBunwKBpnjcZTHDGDP+qNj9IY7ZOHoMzfCQ3nRoX3I+uqISD4BSxXvwrLLPPh0OxnYImghdSNaDy5+HHovfhllTjvwqE/A74knnhzSTz9n6VXqrpmsiKS1WjIbwEPGXcLmLDENTNh1NUhYakDNKDV2p7/4b+gs9N0lhA/qg6Ao7S7j860PRTxnFI6m04n6XSxmM8w/eNvTxpN+gVzTFr2ZNKOSelTdVg3dotTXYIxfifa4fZjujyiuuiJQqj7N7AWsPNIBu5g/n8G9jds/wj0VQD9HG32NNgaNfUwseiro/meBkm+pT1CuY6yxVPdcTIeUn/DPTtdfeOYSGg6HL5nb4UnwoX3MsiYsLF5jc/JktsD2sL12rW0uL/B78PztXwL0Lj30I18q5k07l383em+Okt38fXpLn7jdNOLkL1P991ZupN4QRcnf2Gtx1lYDYuYTmfT3znh4+Fjyv9+6H5AXX4EUEsHCGfkVtveAwAAcg0AAFBLAQIUABQACAAIAHS62Dxn5Fbb3gMAAHINAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAGAQAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "true" showToolBarHelp = "true" showAlgebraInput = "true" allowRescaling = "true" />

===== Definition VI.2 =====
:: Es seien <math>\ p</math>,<math>\ w</math> und <math>\ q</math> drei Halbgeraden ein und derselben Ebene mit dem gemeinsamen Anfangspunkt <math>\ S</math>. Die Halbgerade <math>\ w</math> ist Winkelhalbierende des Winkels <math>\angle pq</math>, wenn <math>\ w</math> im Inneren von <math>\angle pq</math> liegt und die beiden Winkel <math>\angle pw</math> und <math>\angle wq</math> dieselbe Größe haben.

===== Satz VI.<math> 1 \frac{1}{2}</math> =====
:: Es sei <math>\ SW^+</math> die Winkelhalbierende des Winkels <math>\angle ASB</math>. Dann gilt <math>| \angle ASW | = | \angle WSB | = \frac{1}{2} | \angle ASB |</math>.

===== Beweis von Satz VI.<math> 1 \frac{1}{2}</math> =====
Übungsaufgabe

===== Satz VI.2 (Existenz und Eindeutigkeit der Winkelhalbierenden)=====
::Zu jedem Winkel gibt es genau eine Winkelhalbierende.

===== Beweis von Satz VI.2 =====
Übungsaufgabe
[[Kategorie:Einführung_Geometrie]]

Mittelsenkrechte und Winkelhalbierende SoSe 2017 - Versionsgeschichte

*m.g.* am 26. Juni 2017 um 08:12 Uhr

*m.g.*: /* Beweis der Existenzbehauptung: */

*m.g.*: /* Beweis der Existenzbehauptung: */

*m.g.*: Die Seite wurde neu angelegt: „== Mittelsenkrechte und Winkelhalbierende == === Mittelsenkrechte === Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt: eine Gerade, die eine Str…“

m.g. am 26. Juni 2017 um 08:12 Uhr

m.g.: /* Beweis der Existenzbehauptung: */

m.g.: /* Beweis der Existenzbehauptung: */

m.g.: Die Seite wurde neu angelegt: „== Mittelsenkrechte und Winkelhalbierende == === Mittelsenkrechte === Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt: eine Gerade, die eine Str…“