X ist genau dann eine Gerade durch p, wenn die Menge X −p := {x−p | x ∈ X}
ein Untervektorraum von R 2 der Dimension 1 ist.
"==>" Sei X eine Gerade durch p. Vermutlich habt ihr ja schonmal sowas
bewiesen wie: Jede Gerade durch p enthält auch noch mindestens einen
von p verschiedenen Punkt aus ℝ2 . Sei also q∈X mit q≠p.
Mit dem Korollar folgt: X=Gp,q-p . Das heißt ja wohl :
Gerade durch p mit Richtungsvektor q-p bzw. mit zugehörigem
Untervektorraum,der durch q-p erzeugt wird.
Also gilt für alle x∈X : ∃t∈ℝ mit x=p+t*(q-p), also x-p = t*(q-p) und
auch umgekehrt: Für jedes x∈ℝ ist x=p+t*(q-p) ∈ X.
Also ist die Menge X −p := {x−p | x ∈ X} der durch q-p ( ≠0 wegen p≠q)
erzeugte 1-dim Untervektorraum von ℝ2.
"<==" Sei X⊂ℝ2 und p∈X und die Menge U:= X −p = {x−p | x ∈ X} ein
Untervektorraum von ℝ2 der Dimension 1. Dann ist X = p+U wobei
U ein 1-dim Untervektorraum von ℝ2 ist, also ist X eine Gerade durch p.