The "decide" what are the real and imaginary parts of a number from thedefinition: If x= a+ bi then the real part of x is a and the imaginary part is b.

They are also using the "linearity" of the inner product,

<au+ bv, w>= a<u, w>+ b<v, w>. and the fact that so that .