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:

(because )

Now I want that to be zero, but I can't see how...