Almost:
Lengths are usually reals, and in this case the diagram we can use assume that A is the origin wlog (badly drawn vectors without a direction)
Next we convert the vectors into lengths using the abs function (root of conjugate multiplication). This gives us lengths of 1 for both.
Finally, we can just use a Euclidean metric to get out other length √2.
Squaring isn’t multiplication by complex conjugate, that’s just mapping a vector to a scalar (the complex | x | function).
diaphanous@feddit.org 3 weeks ago
I think you’re thinking of taking the absolute value squared, |z|^2 = z z*
candybrie@lemmy.world 3 weeks ago
Considering we’re trying to find lengths, shouldn’t we be doing absolute value squared?