Lösung von Aufgabe 7.5 S (SoSe 12)

--KeinKurpfälzer 17:29, 11. Jun. 2012 (CEST) Idee von Wurzel

--Tchu Tcha Tcha 19:14, 12. Jun. 2012 (CEST)

Lösungsvorschlag Nemo81

Vor: koll(A,B,C) und A,B,C $\in ̸$g, $\overline{AB}$ $\cap$ g $\ne$ $\mathrm{\varnothing }$ und $\overline{BC}\cap g=\mathrm{\varnothing }$

Beh: $\overline{AC}\cap g\ne \mathrm{\varnothing }$

Bew:

1. koll(A,B,C) und A,B,C $\in ̸$ g laut Vor:

2. |AB| + |BC| = |AC| laut Ax II/3 Dreiecks ungl.

• Dieser Schritt stimmt so nicht, da eine der drei Gleichungen gilt und nicht genau diese. Hier muss man die Fälle unterscheiden.--Tutor Andreas 17:04, 21. Jun. 2012 (CEST)

3. $\overline{AB}\cap g=\{S\}$ laut Vor.

4. Zw(A,S,B) laut 3. und trivial

5. |AS| + |SB| = |AB| laut Ax II/3 und 4

6. |AS| + |SB| + |BC| = |AC| laut Rechnen in R, 5. und 2.

7. |AS| + |SC| = |AC| laut Rechnen in R und 6.

• Ist dieser Schritt so gemeint, dass |SB| + |BC| = |SC| ist und das dann eingesetzt? Dafür müsste man aber eigentlich wissen, dass Zw(S,B,C) gilt.--Tutor Andreas 17:33, 1. Jul. 2012 (CEST)

8. Zw(A,S,C) laut 7 und Ax II/3

9. Unmittelbar folgt $\overline{AC}\cap g\ne \mathrm{\varnothing }$ weil $\overline{AC}\cap g=\{S\}$ laut 8. und trivial q.e.d --Nemo81 18:55, 14. Jun. 2012 (CEST)