|
|
Zeile 1: |
Zeile 1: |
− | Lösungsvorschlag:
| |
| | | |
− | Vss.: gQ<sup>+</sup> , gQ<sup>-</sup> , R Element gQ<sup>-</sup> und R e gR<sup>+</sup>mit R nicht Element g
| |
− | Beh.: gR<sup>+</sup> = gQ<sup>-</sup> und gR<sup>-</sup> = gQ<sup>+</sup>
| |
− |
| |
− |
| |
− | <ref name="">1</ref> R e gQ<sup>-</sup> n. Vss
| |
− | <ref name="">2</ref> Strecke RQ geschnitten g ist nicht = {} <ref name="">1</ref>, n.Def. Halbebene
| |
− | <ref name="">3</ref> Es sei P ein Punkt e gQ<sup>-</sup>
| |
− | <ref name="">4</ref> Fall 1: nkoll(P, Q, R)
| |
− | <ref name="">5</ref> Strecke PQ geschnitten g ist nicht = {} n. Def. Halbebene, <ref name="">3</ref>
| |
− | <ref name="">6</ref> Strecke PR geschnitten g = {} n. Axiom III/2, <ref name="">2</ref>, <ref name="">4</ref>,
| |
− | <ref name="">5</ref>
| |
− | <ref name="">7</ref> gR<sup>+</sup>:{P/Strecke RP geschnitten mit g ={}} n. Def. Halbebene
| |
− | <ref name="">8</ref> R e gR<sup>+</sup> und P e gR<sup>+</sup> <ref name="">6</ref>, <ref name="">7</ref>
| |
− | <ref name="">9</ref> R e gQ<sup>-</sup> und R e gR<sup>+</sup>
| |
− | und P e gQ<sup>-</sup> und P e gR<sup>+</sup> <ref name="">1</ref>, <ref name="">2</ref>, <ref name="">3</ref>
| |
− | <ref name="">10</ref> gR<sup>+</sup> = gQ<sup>-</sup> <ref name="">9</ref>
| |
− |
| |
− |
| |
− | <ref name="">11</ref> Fall 2: koll (P, Q, R)
| |
− | <ref name="">12</ref> Es gilt eine der drei möglcihen Zwischenrelationen:
| |
− | zw (P,Q,R) oder zw (Q,P,R) oder zw (P,R,Q) Axiom II/3, Def. Zwischenrelation
| |
− | <ref name="">13</ref> zw (P,Q,R) -> Widerspruch zu <ref name="">3</ref>, dass P e gQ<sup>-</sup>
| |
− | <ref name="">14</ref> zw (Q,P,R)
| |
− | -> Strecke QP ist Teilmenge von Strecke QR
| |
− | -> Wenn Strecke QR geschnitten g ist nicht = {},dann auch Strecke QP geschnitten g ist nicht = {} n. Vss, Def. Teilmenge
| |
− | <ref name="">15</ref> zw (P,R,Q)
| |
− | -> Strecke PR vereinigt mit Strecke RQ = Strecke PQ
| |
− | -> Wenn Strecke RQ geschnitten mit g ist nicht = {},dann auch Strecke QP geschnitten g ist nicht = {} n. Vss., Def.
| |
− | Vereinungungsmenge
| |
− | <ref name="">16</ref> Strecke RQ geschnitten g ist nicht = {}
| |
− | und Strecke PQ geschnitten g ist nicht = {} n. Vss.,<ref name="">14</ref>,<ref name="">15</ref>
| |
− | <ref name="">17</ref> P und Q liegen in derselben Halbebene <ref name="">16</ref>
| |
− | <ref name="">18</ref> R e gQ<sup>-</sup> und R e gR<sup>+</sup>
| |
− | und P e gQ<sup>-</sup> und P e gR<sup>+</sup> n. Vss., <ref name="">17</ref>
| |
− | <ref name="">19</ref> gQ<sup>-</sup> = gR<sup>+</sup> <ref name="">18</ref>
| |
− |
| |
− | Jetzt wäre noch zu zeigen, dass qQ<sup>+</sup> = gR<sup>-</sup>
| |
− |
| |
− | Stimmt das so?
| |