Show that any map which preserves the inner product of , i.e., for which for all , is linear:
for all , and
Hint: Show that the vector has vanishing (squared) length
So first of course I used the hint, and the length squared is:
Now I want that to be zero, but I can't see how...