Diskussion:Lösung von Aufgabe 8.1: Unterschied zwischen den Versionen
Zeile 6: | Zeile 6: | ||
− | (1) R e gQ<sup>-</sup> | + | (1) R e gQ<sup>-</sup> Begründung: n. Vss |
− | n. Vss | + | |
− | (2) Strecke RQ geschnitten g ist nicht = {} (1), n.Def. Halbebene | + | (2) Strecke RQ geschnitten g ist nicht = {} B:(1), n.Def. Halbebene |
(3) Es sei P ein Punkt e gQ<sup>-</sup> | (3) Es sei P ein Punkt e gQ<sup>-</sup> | ||
Zeile 15: | Zeile 14: | ||
(4) Fall 1: nkoll(P, Q, R) | (4) Fall 1: nkoll(P, Q, R) | ||
− | (5) Strecke PQ geschnitten g ist nicht = {} | + | (5) Strecke PQ geschnitten g ist nicht = {} B: n. Def. Halbebene, (3) |
− | (6) Strecke PR geschnitten g = {} n. Axiom III/2, (2),(4),(5) | + | (6) Strecke PR geschnitten g = {} B:n. Axiom III/2, (2),(4),(5) |
− | (7) gR<sup>+</sup>:{P/Strecke RP geschnitten mit g ={}} | + | (7) gR<sup>+</sup>:{P/Strecke RP geschnitten mit g ={}} B: n. Def. Halbebene |
− | (8) R e gR<sup>+</sup> und P e gR<sup>+</sup> (6),(7) | + | (8) R e gR<sup>+</sup> und P e gR<sup>+</sup> B:(6),(7) |
− | (9) R e gQ<sup>-</sup> und R e gR<sup>+</sup> und P e gQ<sup>-</sup> und P e gR<sup>+</sup> (1),(2),(3) | + | (9) R e gQ<sup>-</sup> und R e gR<sup>+</sup> und P e gQ<sup>-</sup> und P e gR<sup>+</sup> B:(1),(2),(3) |
− | (10) gR<sup>+</sup> = gQ<sup>-</sup> (9) | + | (10) gR<sup>+</sup> = gQ<sup>-</sup> B:(9) |
Zeile 39: | Zeile 38: | ||
-> Strecke QP ist Teilmenge von Strecke QR | -> 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 | + | -> Wenn Strecke QR geschnitten g ist nicht = {},dann auch Strecke QP geschnitten g ist nicht = {} B:n. Vss, Def. Teilmenge |
(15) zw (P,R,Q) | (15) zw (P,R,Q) | ||
Zeile 45: | Zeile 44: | ||
-> Strecke PR vereinigt mit Strecke RQ = Strecke PQ | -> 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 | + | -> Wenn Strecke RQ geschnitten mit g ist nicht = {}, dann auch Strecke QP geschnitten g ist nicht = {} B:n.Vss.,Def.Vereinungungsmenge |
− | (16) Strecke RQ geschnitten g ist nicht = {}und Strecke PQ geschnitten g ist nicht = {} n. Vss.,(14),(15) | + | (16) Strecke RQ geschnitten g ist nicht = {}und Strecke PQ geschnitten g ist nicht = {} B:n. Vss.,(14),(15) |
− | (17) P und Q liegen in derselben Halbebene (16) | + | (17) P und Q liegen in derselben Halbebene B:(16) |
− | (18) 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.,(17) | + | (18) R e gQ<sup>-</sup> und R e gR<sup>+</sup> und P e gQ<sup>-</sup> und P e gR<sup>+</sup> B:n. Vss.,(17) |
− | (19) gQ<sup>-</sup> = gR<sup>+</sup> (18) | + | (19) gQ<sup>-</sup> = gR<sup>+</sup> B:(18) |
Version vom 25. Juni 2010, 20:51 Uhr
Lösungsvorschlag:
Vss.: gQ+ , gQ- , R Element gQ- und R e gR+mit R nicht Element g
Beh.: gR+ = gQ- und gR- = gQ+
(1) R e gQ- Begründung: n. Vss
(2) Strecke RQ geschnitten g ist nicht = {} B:(1), n.Def. Halbebene
(3) Es sei P ein Punkt e gQ-
(4) Fall 1: nkoll(P, Q, R)
(5) Strecke PQ geschnitten g ist nicht = {} B: n. Def. Halbebene, (3)
(6) Strecke PR geschnitten g = {} B:n. Axiom III/2, (2),(4),(5)
(7) gR+:{P/Strecke RP geschnitten mit g ={}} B: n. Def. Halbebene
(8) R e gR+ und P e gR+ B:(6),(7)
(9) R e gQ- und R e gR+ und P e gQ- und P e gR+ B:(1),(2),(3)
(10) gR+ = gQ- B:(9)
(11) Fall 2: koll (P, Q, R)
(12) 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
(13) zw (P,Q,R) -> Widerspruch zu (3), dass P e gQ-
(14) 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 = {} B:n. Vss, Def. Teilmenge
(15) 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 = {} B:n.Vss.,Def.Vereinungungsmenge
(16) Strecke RQ geschnitten g ist nicht = {}und Strecke PQ geschnitten g ist nicht = {} B:n. Vss.,(14),(15)
(17) P und Q liegen in derselben Halbebene B:(16)
(18) R e gQ- und R e gR+ und P e gQ- und P e gR+ B:n. Vss.,(17)
(19) gQ- = gR+ B:(18)
Jetzt wäre noch zu zeigen, dass qQ+ = gR-
Stimmt das so?