Aufgabe 9.7
In der Ebene $ \varepsilon $ seien eine Gerade $ g $ und ein Punkt $ P $ mit $ P\in g $ gegeben.
Beweisen Sie:
- $ \exists s\subset \varepsilon :P\in s\wedge s\perp g $
- $ s_{1}\subset \varepsilon \wedge P\in s_{1}\wedge s\perp g\Rightarrow \neg \exists s_{2}:s_{2}\subset \varepsilon \wedge P\in s_{2}\wedge s_{2}\perp g\wedge s_{2}\not \equiv s_{1} $
Tippfehler:
$ s_{1}\subset \varepsilon \wedge P\in s_{1}\wedge s_{1}\perp g\Rightarrow \neg \exists s_{2}:s_{2}\subset \varepsilon \wedge P\in s_{2}\wedge s_{2}\perp g\wedge s_{2}\not \equiv s_{1} $
Lösung von User ...
Lautet die Voraussetzung: Existenz ebene und g Element der ebene und p Element g
Lautet die Behauptung : P Element s und s orthogonal zu g
--Hauleri 14:36, 25. Jan. 2013 (CET)
Bemerkung --*m.g.* 13:25, 26. Jan. 2013 (CET)
Das steht so nirgends:
Voraussetzung:
In der Ebene $ \varepsilon $ seien eine Gerade $ g $ und ein Punkt $ P $ mit $ P\in g $ gegeben.
Wir gehen also von einer Ebene $ \varepsilon $ aus. Ob die Existiert schert uns wenig. In $ \varepsilon $ möge eine Gerade $ g $ gelegen sein und auf dieser Geraden ein Punkt $ P $. Sollte eine derartige Konstellation vorliegen, wissen wir Folgendes:
Behauptung 1
- $ \exists s\subset \varepsilon :P\in s\wedge s\perp g $
Wir übersetzen:
| Mathe |
Deutsch
|
| $ \exists s $ |
Es existiert eine Gerade $ s $,
|
| $ \subset \varepsilon $ |
die zu der Ebene $ \varepsilon $ gehört
|
| : |
und die folgenden Eigenschaften hat:,
|
| $ P\in s $ |
der Punkt $ P $ gehört zu $ s $ bzw. anders ausgedrückt $ s $ geht durch $ P $
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \wedge
|
und
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s \perp g
|
Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s
steht senkrecht auf Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g
|
Noch mal neu:
- Zu jeder Geraden Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): p
und jedem Punkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P
auf dieser Geraden Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g
gibt es in jeder Ebene, die Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g
enthält eine zu Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g
senkrechte Gerade $ s $, die durch Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P
geht.
Oder:
- In jeder Ebene, die eine Gerade enthält, gibt es in jedem Punkt dieser Geraden eine Senkrechte zu der Geraden.
Behauptung 2
- Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_1 \subset \varepsilon \wedge P \in s_1 \wedge s_1 \perp g \Rightarrow \neg \exist s_2: s_2 \subset \varepsilon \wedge P \in s_2 \wedge s_2 \perp g \wedge s_2 \not \equiv s_1
Wir sehen den Implikationspfeil und setzen vor alles, was vor dem Pfeil steht ein Wenn:
Wenn
| Mathe |
Deutsch
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_1 \subset \varepsilon
|
die Gerade Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_1
zur Ebene Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \varepsilon
gehört
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \wedge
|
und
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P \in s_1
|
durch den Punkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P
geht
|
| $ \wedge $ |
und
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_1 \perp g
|
senkrecht auf Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g
steht
|
Jetzt kommt der Implikationspfeil Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \Rightarrow
Wir übersetzen ihn mit
Dann:
| Mathe |
Deutsch
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \neg \exist s_2
|
existiert keine Gerade Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_2
,
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): :
|
die die folgenden Eigenschaften hat:
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_2 \subset \varepsilon
|
sie gehört (auch) zur Ebene Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \varepsilon
|
| $ \wedge $ |
und
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P \in s_2
|
geht (auch) durch den Punkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \wedge
|
und
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_2 \perp g
|
steht (auch) senkrecht auf Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): g
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \wedge
|
und
|
| Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_2 \not \equiv s_1
|
sie ist von der Geraden Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): s_1
verschieden.
|
Kurzübersetzung:
Es kann nur eine geben.
Hinweis: Sie sollten für die Klausur in der Lage sein, sowas in angemessener Zeit korrekt zu übersetzen.
--*m.g.* 14:23, 26. Jan. 2013 (CET)
Bezug zur Schule:
Das Ganze entspricht in gewisser Weise dem Erkennen und Übersetzen der Struktur von Termen in den Klassen 8 aufwärts.
Lösung von User ...
|