Geradenspiegelungen (2015 16): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FED7D7; align:left;"> {|width=90%| style="backgro…“)
 
(Satz 2.2)
 
(16 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt)
Zeile 27: Zeile 27:
 
--[[Benutzer:*m.g.*|*m.g.*]] 13:04, 27. Okt. 2011 (CEST)
 
--[[Benutzer:*m.g.*|*m.g.*]] 13:04, 27. Okt. 2011 (CEST)
  
==Konstruktion des Bildes eines Punktes <math>\ P</math> bei einer Spiegelung an der Geraden <math>\ g</math>==
+
==Konstruktion des Bildes eines Punktes <math> P</math> bei einer Spiegelung an der Geraden <math> g</math>==
  
 
<ggb_applet width="536" height="453"  version="3.2" ggbBase64="UEsDBBQACAAIABy0Wj0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VhNk+I2ED1nf4XKh9zw+NumArMFs1WpqUx2qCLZQy4pYQujYFuOJDMwvz4tyQYDGwYmmxyyhzVqtbql16+frRl93JYF2hAuKKvGlms7FiJVyjJa5WOrkctBYn28/zDKCcvJgmO0ZLzEcmz5tmcpe0PvP3w3Eiv2gnChXb5Q8jK2lrgQxEKi5gRnYkWIPLLjZksLivnuefEHSaU4TJggj1XdQBbJG7ClZfZERTe80wnrgspPdEMzwlHB0rEVhbB1+PWFcElTXIytwDEWb2x5J5Ng8tXsinH6yiqp3A/Bl2BBSNBXAohExpaySsw4kw+saMpKIJSywtlvkBVu77fX++3vTwaDoD8I+ym78AwmUCMIpGFcdHEUvM9VsZsCmOua0eoA2NHqz3hDcyyhlFPM9aouQl3g3bSRUhX5YPlE4L+26jWsP/ZQUeeS1GMrVmlGd7rYI9KkBc0orlRBdS0AKIReaCZXYyv0I4CV0HwF9Qpct9sg49l8JyQp0fY3whkkTRKVdmdGfuypkYDaAOiho6f6Ix2GbOZESqCmQHhLDqTJOc2OBo9iyoqDSUP2gGvZcM1rvzXN5U4lgFxcbXhS5QVpbR6cf0XS9YJt54YIvgn9y67WS/SGFrkuFOKKYiE4tM+FeWoftdO9l6N9HO3RxlBB9/Pu0NMe+rkwT+1V0MpsrT25253adbo0VCBlcKy28u3hC7wgQG8LNRWVT90A2mDdHtU1Cz435YLsOXcc0/1WMUd3J/QZrQmvSNGyGGrbsEagjWrIHsEzktIShmaihQSrcv0KGzDWjOScdBs3KmIA07NOn4gn5tFdtwndSbDXVPUQnEeqs/xkbGtty4hAU1qoB4GSCDRrqrVUT7QgVNs4mteU5KRoqhxhtYSjHwnHGalQrqRPguyMrdLObQtlWEIKJaWkICUB4ZGaYJqfe6An1l5lmRbM00r0sAKHr9JNExMX9QqDpeso6H/YXR8hHfBnlh3jhivAXwMgtCI4tqpwTUjWyods20Lrim6yI30C1AXaKl9Yt1OvDz+x0KtZrH1MQyop0Xn9li0GlDfgmf5f4IG3qqfxcewkug2flJUlrjJU4RIyPQEPNShUvUgRdhSHEHYVVgaGRnYTuQnVBjiDWinPHsjcOhYjuYKehzYQWjFlXxuPymHeKG2Qg8D8XTGcq0vxvFwKIhV2YaSRC+NLhTpA7dmhgdqzXU9DPRjaQz+OTvX2whHJn5XxEUb1aAmfJSmVt3B3ds7dG8G6hbkHuAaxacSLcH0rXg8cOzblce3Y+yfEfuagnjmrcPEVis8MxfMziuMbKI6voLgbvsXxKxTnepKf1WWx/xA05v6H5B5zQ+xdR3XF8NAeBuFVDO9OeC3Fj6v0WEl47QMqJwXKTYHwWYGefp9dLtFx0yj397RNFGj81WNhHjf3jesYHvvXyYzr2YGfOIlptsh2QifyAtMBIPJBkDj7f+57GuKB8rQ4bQSFj0Z6doZ0ehln+ACi6R7F9JpeeFPv/91euG53cCMh1Qb2BtcqhLZOq187x2REr51l62q5UnNua3p1e3IFesjpFk06/0nnNYFrX2S7YeQEXuxFQRQPE7gzTPw2wwRufwP4/gmioRsF0IdwO4o8kO4J3AQH8EHkBZ7v+n4UxXGQdF162n8gvild0vR9/Zd2/YewuhV3Z+rRY/Y9rpn44ZZm7Jb8pw15oeV8aDI/8b1hMnQSz1cQQ+8F9tBLgsiLYt8Pg2EMAnfTa+iufzXQt+H2TyL3fwFQSwcI4fslMCoFAABEEQAAUEsBAhQAFAAIAAgAHLRaPeH7JTAqBQAARBEAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAABkBQAAAAA=" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
 
<ggb_applet width="536" height="453"  version="3.2" ggbBase64="UEsDBBQACAAIABy0Wj0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VhNk+I2ED1nf4XKh9zw+NumArMFs1WpqUx2qCLZQy4pYQujYFuOJDMwvz4tyQYDGwYmmxyyhzVqtbql16+frRl93JYF2hAuKKvGlms7FiJVyjJa5WOrkctBYn28/zDKCcvJgmO0ZLzEcmz5tmcpe0PvP3w3Eiv2gnChXb5Q8jK2lrgQxEKi5gRnYkWIPLLjZksLivnuefEHSaU4TJggj1XdQBbJG7ClZfZERTe80wnrgspPdEMzwlHB0rEVhbB1+PWFcElTXIytwDEWb2x5J5Ng8tXsinH6yiqp3A/Bl2BBSNBXAohExpaySsw4kw+saMpKIJSywtlvkBVu77fX++3vTwaDoD8I+ym78AwmUCMIpGFcdHEUvM9VsZsCmOua0eoA2NHqz3hDcyyhlFPM9aouQl3g3bSRUhX5YPlE4L+26jWsP/ZQUeeS1GMrVmlGd7rYI9KkBc0orlRBdS0AKIReaCZXYyv0I4CV0HwF9Qpct9sg49l8JyQp0fY3whkkTRKVdmdGfuypkYDaAOiho6f6Ix2GbOZESqCmQHhLDqTJOc2OBo9iyoqDSUP2gGvZcM1rvzXN5U4lgFxcbXhS5QVpbR6cf0XS9YJt54YIvgn9y67WS/SGFrkuFOKKYiE4tM+FeWoftdO9l6N9HO3RxlBB9/Pu0NMe+rkwT+1V0MpsrT25253adbo0VCBlcKy28u3hC7wgQG8LNRWVT90A2mDdHtU1Cz435YLsOXcc0/1WMUd3J/QZrQmvSNGyGGrbsEagjWrIHsEzktIShmaihQSrcv0KGzDWjOScdBs3KmIA07NOn4gn5tFdtwndSbDXVPUQnEeqs/xkbGtty4hAU1qoB4GSCDRrqrVUT7QgVNs4mteU5KRoqhxhtYSjHwnHGalQrqRPguyMrdLObQtlWEIKJaWkICUB4ZGaYJqfe6An1l5lmRbM00r0sAKHr9JNExMX9QqDpeso6H/YXR8hHfBnlh3jhivAXwMgtCI4tqpwTUjWyods20Lrim6yI30C1AXaKl9Yt1OvDz+x0KtZrH1MQyop0Xn9li0GlDfgmf5f4IG3qqfxcewkug2flJUlrjJU4RIyPQEPNShUvUgRdhSHEHYVVgaGRnYTuQnVBjiDWinPHsjcOhYjuYKehzYQWjFlXxuPymHeKG2Qg8D8XTGcq0vxvFwKIhV2YaSRC+NLhTpA7dmhgdqzXU9DPRjaQz+OTvX2whHJn5XxEUb1aAmfJSmVt3B3ds7dG8G6hbkHuAaxacSLcH0rXg8cOzblce3Y+yfEfuagnjmrcPEVis8MxfMziuMbKI6voLgbvsXxKxTnepKf1WWx/xA05v6H5B5zQ+xdR3XF8NAeBuFVDO9OeC3Fj6v0WEl47QMqJwXKTYHwWYGefp9dLtFx0yj397RNFGj81WNhHjf3jesYHvvXyYzr2YGfOIlptsh2QifyAtMBIPJBkDj7f+57GuKB8rQ4bQSFj0Z6doZ0ehln+ACi6R7F9JpeeFPv/91euG53cCMh1Qb2BtcqhLZOq187x2REr51l62q5UnNua3p1e3IFesjpFk06/0nnNYFrX2S7YeQEXuxFQRQPE7gzTPw2wwRufwP4/gmioRsF0IdwO4o8kO4J3AQH8EHkBZ7v+n4UxXGQdF162n8gvild0vR9/Zd2/YewuhV3Z+rRY/Y9rpn44ZZm7Jb8pw15oeV8aDI/8b1hMnQSz1cQQ+8F9tBLgsiLYt8Pg2EMAnfTa+iufzXQt+H2TyL3fwFQSwcI4fslMCoFAABEEQAAUEsBAhQAFAAIAAgAHLRaPeH7JTAqBQAARBEAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAABkBQAAAAA=" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
Zeile 36: Zeile 36:
 
====Übungsaufgabe:====
 
====Übungsaufgabe:====
  
Es sei <math>\ P</math> ein Punkt der Ebene der nicht zur Geraden <math>\ g</math> dieser Ebene gehört.
+
Es sei <math>P</math> ein Punkt der Ebene der nicht zur Geraden <math>g</math> dieser Ebene gehört.
Erstellen Sie eine Konstruktionsbeschreibung für die Konstruktion des Bildes von <math>\ P</math> bei der Spiegelung an <math>\ g</math>. Begründen Sie jeweils die Korrektheit eines jeden Ihrer Konstruktionsschritte.
+
Erstellen Sie eine Konstruktionsbeschreibung für die Konstruktion des Bildes von <math>P</math> bei der Spiegelung an <math>g</math>. Begründen Sie jeweils die Korrektheit eines jeden Ihrer Konstruktionsschritte.
  
  
 
{| class="wikitable center"
 
{| class="wikitable center"
|+ Konstruktion des Bildes eines Punktes <math>\ P</math> bei der Spiegelung an einer Geraden <math>\ g</math>,  
+
|+ Konstruktion des Bildes eines Punktes <math>P</math> bei der Spiegelung an einer Geraden <math>g</math>,  
 
<math>(P \notin g) </math>  
 
<math>(P \notin g) </math>  
 
|- style="background: #DDFFDD;"
 
|- style="background: #DDFFDD;"
Zeile 50: Zeile 50:
 
|-
 
|-
 
| 1.
 
| 1.
| Lotgerade von P auf g
+
| Lotgerade von <math>P</math> auf <math>g</math>
| Fällen des Lotes von P auf die Gerade g
+
| Fällen des Lotes von <math>P</math> auf die Gerade <math>g</math>.
| Existenz und Eindeutigkeit des Lotes--[[Benutzer:Beveggie|Beveggie]] 17:06, 10. Nov. 2012 (CET)
+
| Existenz und Eindeutigkeit des Lotes
 
|-
 
|-
 
| 2.
 
| 2.
| Lotfußpunkt L
+
| Lotfußpunkt <math>L</math>
| Einzeichnen des Lotfußpunktes L als Schnittpunkt der Geraden g mit der Lotgeraden von P auf g
+
| Einzeichnen des Lotfußpunktes <math>L</math> als Schnittpunkt der Geraden <math>g</math> mit der Lotgeraden von <math>P</math> auf <math>g</math>.
| Existenz und Eindeutigkeit des Lotes, des Lotfußpunktes--[[Benutzer:Beveggie|Beveggie]] 17:06, 10. Nov. 2012 (CET)
+
| ...
 
|-
 
|-
 
| 3.
 
| 3.
| IPLI auf LP- abtragen, Erhalten von P'
+
| <math>|PL|</math> auf <math>LP^-</math> abtragen, Erhalten <math>P'</math>
| Die Strecke IPLI wird auf dem Strahl LP- abgetragen, dadurch erhält man das Bild von P bei Spiegelung an g nämlich P'
+
| Die Strecke <math> \overline{PL}</math> wird auf dem Strahl <math>LP^-</math> abgetragen, dadurch erhält man das Bild von <math>P</math> bei Spiegelung an <math>g</math> nämlich <math>P'</math>
|Axiom vom Lineal, Abstandsaxiom--[[Benutzer:Beveggie|Beveggie]] 17:06, 10. Nov. 2012 (CET)
+
| ...
 
|}
 
|}
 
   
 
   
Zeile 68: Zeile 68:
  
 
==Definition des Begriffs==
 
==Definition des Begriffs==
=====Definition 2.1: (Spiegelung an der Geraden <math>\ g</math>)=====
+
=====Definition 2.1: (Spiegelung an der Geraden <math> g</math>)=====
::Es sei <math>\ g</math> eine Gerade. Unter der Spiegelung <math>\ S_g</math> an der Geraden <math>g</math> versteht man eine Abbildung der Ebene auf sich, für die gilt: <math>\forall P\ \not\in  g: g \operatorname{ist Mittelsenkrechte von} \overline{PS_g(P)}</math>.
+
::Es sei <math>g</math> eine Gerade. Unter der Spiegelung <math> S_g</math> an der Geraden <math>g</math> versteht man eine Abbildung der Ebene auf sich, die jeden Punkt <math>P</math> der Ebene wie folgt auf sein Bild <math>P'</math> abbildet:
 
+
# <math>P \equiv P'</math>, falls <math> P \in g </math>  
Und für alle <math>Q \in g</math>: Q=Q'.
+
# <math>g</math> ist die Mittelsenkrechte von <math> \overline{PP'}</math>, sonst.
 
+
 
+
======Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 14:46, 13. Nov. 2012 (CET)======
+
<math>P \in g</math> müssen wir in der Definition berücksichtigen.
+
  
 
==Geradenspiegelungen als Bewegungen==
 
==Geradenspiegelungen als Bewegungen==
 
====Satz 2.1====
 
====Satz 2.1====
Jede Geradenspiegelung ist eine Bewegung.
+
Jede Geradenspiegelung ist eine Bewegung mit genau einer Fixpunktgeraden.
 +
 
 
====Beweis von Satz 2.1:====
 
====Beweis von Satz 2.1:====
 +
Es sind zwei Dinge zu zeigen:<br />
 +
{| class="wikitable"
 +
|-
 +
| (I) || Jede Geradenspiegelung hat genau eine Fixpunktgerade.
 +
|-
 +
| (II)|| Jede Geradenspiegelung ist abstandserhaltend.
 +
|}
 +
Es seien <math> A</math>, <math> B</math> zwei Punkte, die an der Geraden <math> g</math> auf ihre Bilder <math> A'</math> und <math> B'</math> durch die Spiegelung an <math>g</math> abgebildet werden.
  
Es seien <math>\ A</math>, <math>\ B</math> zwei Punkte, die an einer  Geraden <math>\ g</math> auf ihre Bilder <math>\ A'</math> und <math>\ B'</math> gespiegelt werden.
+
Wir unterscheiden drei Fälle:<br />
 
+
Wir unterscheiden drei Fälle:
+
 
+
=====Bemerkung von Jessy=====
+
[[Benutzer:Jessy*|Jessy*]] 09:02, 7. Nov. 2012 (CET): Müsste man nicht jedesmal noch unterscheiden ob koll(B,A,B') oder nkoll(B,A,B') gilt?
+
 
+
 
+
Sie haben Recht, die Beweise verlaufen anders , wenn <math>AB \perp g</math>. Sollte jedoch nicht das ganz große Problem darstellen.
+
=====Fall 1=====
+
::<math>\ A, B</math> <math>\in</math> <math>\ g</math>
+
'''Beweis:''' <br />
+
 
+
Nach der Def.(Geradenspiegelung) gilt: A ≡ A‘ ∧ B ≡ B‘ ⟹ |AB|=|A’B‘| q.e.d.
+
 
+
--[[Benutzer:Jessy*|Jessy*]] 09:53, 16. Nov. 2012 (CET)
+
 
+
=====Fall 2=====
+
::<math>\ A</math> <math>\in</math> <math>\ g</math>, <math>\ B</math> <math>\notin</math> <math>\ g</math><br />
+
'''Beweis:'''
+
 
+
[[Bild:Fall_2.JPG|600px]]
+
 
+
In diesem Fall macht es bei der Beweisführung keinen Unterschied, ob A zwischen B und B' liegt oder nicht, da A zur Mittelsenkrechten gehört.
+
 
+
--[[Benutzer:Jessy*|Jessy*]] 10:04, 16. Nov. 2012 (CET)
+
 
+
=====Fall 3=====
+
 
+
::<math>\ A, B</math> <math>\notin</math> <math>\ g</math>, <math>A</math> und <math>B</math> liegen in derselben Halbebene bezüglich <math>g</math><br />
+
 
+
'''Beweis:'''
+
 
+
Fall 3.a: A liegt nicht zwischen B und B'
+
 
+
[[Bild:Fall_3.JPG|800]]
+
 
+
--[[Benutzer:Jessy*|Jessy*]] 09:35, 7. Nov. 2012 (CET)
+
 
+
 
+
Fall 3.b: A liegt zwischen B und B'
+
 
+
[[Bild:Fall_3.b.JPG|1000px]]
+
 
+
--[[Benutzer:Jessy*|Jessy*]] 10:35, 14. Nov. 2012 (CET)
+
 
+
=====Fall 4=====
+
::<math>\ A, B</math> <math>\notin</math> <math>\ g</math>, <math>A</math> und <math>B</math> liegen in verschiedenen Halbebenen bezüglich <math>g</math><br />
+
 
+
 
+
[[Bild:Unbenannt.JPG]]
+
 
+
Wenn A zwischen B und B' liegt verläuft der Beweis analog zum Beweis von Fall 3b
+
  
--[[Benutzer:Jessy*|Jessy*]] 09:19, 7. Nov. 2012 (CET)
+
Fall 1:<br />
 +
Fall 2:<br />
 +
Fall 3:
 +
====Satz 2.2====
 +
Jede Bewegung mit genau einer Fixpunktgeraden ist eine Geradenspiegelung entsprechend Definition 2.1.
  
 
== Eindeutige Bestimmtheit von Geradenspiegelungen ==
 
== Eindeutige Bestimmtheit von Geradenspiegelungen ==
Zeile 149: Zeile 106:
  
 
==== Satz 2.3 ====
 
==== Satz 2.3 ====
:: Eine Geradenspiegelung <math>\ S</math> ist durch die Angabe eines Punktes <math>\ P</math> und dem Bild von <math>\ S(P)</math> eindeutig bestimmt, falls  <math>\ P \not= S(P)</math> gilt.
+
:: Eine Geradenspiegelung <math> S_g</math> ist durch die Angabe eines Punktes <math> P</math> und dem Bild von <math> S(P)</math> eindeutig bestimmt, falls  <math> P \not= S_g(P)</math> gilt.
 
<br />
 
<br />
  
 
'''Beweis'''
 
'''Beweis'''
  
[[Bild:Eindeutigkeit_durch_Spiegelbild.JPG|700px]]
 
  
--[[Benutzer:Jessy*|Jessy*]] 10:14, 16. Nov. 2012 (CET)
 
  
  

Aktuelle Version vom 16. November 2015, 13:59 Uhr


Inhaltsverzeichnis

Ideen zur Heranführung an die Geradenspiegelung

Idee der Symmetrie



Die Applikation wurde im WS 2010/11 von tutorin Anne generiert.

Verwendung eines halbdurchlässigen Spiegels

Spiegelung 01.JPG Spiegelung 02.JPG Spiegelung 03.JPG
Spiegelung 04.JPG Spiegelung 05.JPG Spiegelung 06.JPG
Spiegelung 07.JPG Spiegelung 09.JPG Spiegelung 10.JPG
Spiegelung 11.JPG Spiegelung 12.JPG

Falten

Leider sind meine Bilder von der Qualität her zu schlecht geworden, als dass sie hier veröffentlicht werden könnten. Wer hilft? --*m.g.* 13:04, 27. Okt. 2011 (CEST)

Konstruktion des Bildes eines Punktes  P bei einer Spiegelung an der Geraden  g


Reduktion der großen Idee Geradenspiegelung auf: Konstruktion des Bildes eines Punktes bei einer Geradenspiegelung

Übungsaufgabe:

Es sei P ein Punkt der Ebene der nicht zur Geraden g dieser Ebene gehört. Erstellen Sie eine Konstruktionsbeschreibung für die Konstruktion des Bildes von P bei der Spiegelung an g. Begründen Sie jeweils die Korrektheit eines jeden Ihrer Konstruktionsschritte.


Konstruktion des Bildes eines Punktes P bei der Spiegelung an einer Geraden g, (P \notin g)
Nr. Beschreibung des Schrittes Genauere Beschreibung Begründung der Korrektheit des Schrittes
1. Lotgerade von P auf g Fällen des Lotes von P auf die Gerade g. Existenz und Eindeutigkeit des Lotes
2. Lotfußpunkt L Einzeichnen des Lotfußpunktes L als Schnittpunkt der Geraden g mit der Lotgeraden von P auf g. ...
3. |PL| auf LP^- abtragen, Erhalten P' Die Strecke  \overline{PL} wird auf dem Strahl LP^- abgetragen, dadurch erhält man das Bild von P bei Spiegelung an g nämlich P' ...

Bemerkung zum Nachweis der Korrektheit des jeweiligen Schrittes: Gemeint ist eine Begründung, aus der hervorgeht, dass der jeweilige Schritt (ggf. eindeutig) ausführbar ist.

Definition des Begriffs

Definition 2.1: (Spiegelung an der Geraden  g)
Es sei g eine Gerade. Unter der Spiegelung  S_g an der Geraden g versteht man eine Abbildung der Ebene auf sich, die jeden Punkt P der Ebene wie folgt auf sein Bild P' abbildet:
  1. P \equiv P', falls  P \in g
  2. g ist die Mittelsenkrechte von  \overline{PP'}, sonst.

Geradenspiegelungen als Bewegungen

Satz 2.1

Jede Geradenspiegelung ist eine Bewegung mit genau einer Fixpunktgeraden.

Beweis von Satz 2.1:

Es sind zwei Dinge zu zeigen:

(I) Jede Geradenspiegelung hat genau eine Fixpunktgerade.
(II) Jede Geradenspiegelung ist abstandserhaltend.

Es seien  A,  B zwei Punkte, die an der Geraden  g auf ihre Bilder  A' und  B' durch die Spiegelung an g abgebildet werden.

Wir unterscheiden drei Fälle:

Fall 1:
Fall 2:
Fall 3:

Satz 2.2

Jede Bewegung mit genau einer Fixpunktgeraden ist eine Geradenspiegelung entsprechend Definition 2.1.

Eindeutige Bestimmtheit von Geradenspiegelungen

Bestimmung über die Spiegelgerade

Unmittelbar einsichtig ist der folgende Satz:

Satz 2.2

Jede Geradenspiegelung ist durch die Angabe ihrer Spiegelachse eindeutig bestimmt.

Beweis


Satz 2.3

Eine Geradenspiegelung  S_g ist durch die Angabe eines Punktes  P und dem Bild von  S(P) eindeutig bestimmt, falls  P \not= S_g(P) gilt.


Beweis