Quelltext der Seite Lösung von Aufg. 12.8 SS11

Es seien <math>\overline{ABCD}</math> ein Quadrat und <math>r</math> eine positive reelle Zahl, die kleiner als die Seitenlänge von <math>\overline{ABCD}</math> ist. Ferner seien die Punkte <math> E \in \overline{AB}, F \in \overline{BC}, G \in \overline{CD}, H \in \overline{DA} </math> mit <math>\ |AE|=|BF|=|CG|=|DH|=r</math> gegeben. Man beweise: <math>\overline{EFHG}</math> ist ein Quadrat.

<br>
Was ist ein Quadrat ?--[[Benutzer:Peterpummel|Peterpummel]] 18:24, 3. Jul. 2011 (CEST)
<br>
<br><br><br>
<math>\ Definition \ Quadrat: </math><br>
<math>\ Es \ seien \ A,B,C,D \ vier \  verschiedene \ Punkte</math><br>
<math>\ Q := \overline{AB} \cup \overline{BC} \cup \overline{CD} \cup \overline{DA} \ heißt \ genau \ dann \ Quadrat \ , \ wenn \ gilt:</math><br>
<math> \ (i) \overline{AD} \equiv \overline{AB} \equiv \overline{BC} \equiv \overline{CD}</math> <br>
<math> \ (ii) \angle BAD  =  \angle CBA = \angle DCB = \angle ADC = 90</math><br>
<br><br><br>


<math> \ Beweis: </math><br><br>
<math> \ Voraussetztung: </math><br>
<math> \ (i) \ |AE|=|BF|=|CG|=|DH|=r </math> <br>
<math> \ (ii) \  \overline{AD} \equiv \overline{AB} \equiv \overline{BC}</math><br>
<math> \ (iii) \ \angle BAD  =  \angle CBA = \angle DCB = \angle ADC = 90</math><br>
<br>
<math> \ Behauptung: </math><br>
<math> \ (i) \overline{HE} \equiv \overline{EF} \equiv \overline{FG} \equiv \overline{GH}</math> <br>
<math> \ (ii) \angle FEH = 90 = \angle GFE</math><br>

<math> \ Betrachte \ Teildreieck \ \overline{AEH} \ fuer \ dieses \ gilt: </math> <br>
<math> |\overline{AE}| = r \ und \ \angle EAH\equiv 90</math><br>
<math> \ ferner \ gilt \ |\overline{AH}| = |\overline{DA}| - |\overline{AH}| =: d</math><br>
<math> \ Betrachte \ Teildreieck \ \overline{EBF} \ fuer \ dieses \ gilt: </math> <br>
<math>| \overline{FB}| = r \ und \ \angle FBE\equiv 90</math><br>
<math>\ ferner \ gilt \ |\overline{EB}| = |\overline{AB}| - |\overline{AE}| = d</math><br>
<math>\ da |\overline{AE}| = |\overline{FB}| \Rightarrow  \ n. SWS \ \  \overline{AEH} \equiv \overline{EBF}</math><br>
<math>\Rightarrow |\overline{HE}| = |\overline{EF}|</math><br>
<math>\ analoge \ Betrachtung \ von \ \overline{FCG} \ und \ \overline{GDH} \ liefert \  |\overline{FG} |=|\overline{GH} |</math><br>
<math>\ analoge \ Betrachtung \ von \ \overline{FCG} \ und \ \overline{FBE} \ liefert \  |\overline{GF} |=|\overline{EF} |</math><br>
<math>\Rightarrow \left| HE \right| =\left| GH \right| = \left|  GF \right|=  \left| FE \right|</math><math>\Leftrightarrow (i)</math><br>

Aus unserer Übung mit dem Parallelaxiom gehe ich nun von dessen Gültigkeit aus und benutze nun den Innenwinkelsummensatz vom Dreieck. Ansonsten sehe ich keine Möglichkeit die rechten Winkel im Quadrat nachzuweisen<br>
<math>\ Es \ gilt \  180 = \angle EAH + \angle HEA  + \angle AHE</math><br>
<math> \Leftrightarrow 90 = \angle HEA +\angle AHE \ </math><br>
<math> \  da\  \angle AHE \equiv \angle DGH \ und \ \angle HEA \equiv \angle GHD\Rightarrow \angle GHD +\angle AHE = 90</math>
<math> \  Sei \ m  \ die \ Senkrechte \ auf \  \overline{AD} \ durch \  H \ dann \  gilt \angle DHG + \angle m\overline {HG} = 90 </math><br>
<math>\Leftrightarrow 90 - \angle DHG = \angle m\overline{HG}</math><br>
<math>\ analog \Rightarrow \ 90 - \angle AHE = \angle m\overline{HE}</math>
<math>\ Betrachte \  \angle EHG = \angle m\overline{GH} +\angle \overline{HE}m , \ dies \ gilt \ n. \ Winkeladditionsaxiom</math>
<math>\Leftrightarrow 180 - ( \angle DHG +\angle AEH)</math><br>
<math>\ , da \ \angle DHG \equiv \angle HEA</math><br>
<math>\Rightarrow \angle EHG = 180 - (\angle HEA + \angle AHE)\Leftrightarrow \angle EHG = 180 - 90 = 90\Rightarrow  \angle EHG \ ist  \ rechter \ Winkel</math><br>
<math> \ analog \ die \ Winkel \angle FEH \ \angle GFE\ \angle HGF \  </math><br>
<math>\Rightarrow \overline{HGEF} \ ist \ ein \ Quadrat</math>

bei den Rechnungen mit den Winkeln stehen keine Betragsstriche dabei, korrekter Weise müssten sie gesetzt werden. Ich bitte das zu beachten. <br>
Vielleicht findet ja jemand eine kürzere und schönere Lösung. Die Definition des Quadrats macht mir den Beweis etwas umständlich, vielleicht einen schönere Definition vom Quadrat anbieten.
--[[Benutzer:Peterpummel|Peterpummel]] 15:41, 4. Jul. 2011 (CEST)