v−(2f(α, v))/(f(α,α))α- u =u−(2f(α, u))/(f(α,α))α -v
<=> 2v−(2f(α, v))/(f(α,α))α =2u−(2f(α, u))/(f(α,α))α | *f(α,α)
<=> 2v*f(α,α)−2f(α, v)*α =2u*f(α,α)−2f(α, u)α
<=> 2(v-u)*f(α,α) =2f(α, v)*α−2f(α, u)α | :2
<=> (v-u)*f(α,α) =f(α, v)*α−f(α, u)α
<=> (v-u)*f(α,α) =(f(α, v)−f(α, u))α
Und nun muss man ja schauen, ob es ein α≠0 gibt,
das diese Bedingung erfüllt. Und dabei
wohl auch ||u||=||v|| benutzen, d.h. ja wohl
auch f(u,u) = f(v,v). ???