Är produkten av två konjugat komplext tal alltid ett reellt tal?

Är produkten av två konjugat komplext tal alltid ett reellt tal?

Ja. Du kan kontrollera detta genom att använda en "generisk" komplext tal och multiplikation med dess konjugat:

(a + bi) (a - bi) = a2 - abi + abi + b2i2 = a2 - b2

Alternativa bevis:

Jag kommer att använda den * notation för komplexa konjugatet. Varje komplext tal w är riktiga om och endast om w = w *. Låt z är ett komplext tal. Låt w = zz *. Vi vill bevisa att w * = w. Detta är vad vi får:
w * = (zz *) *
= z * z ** (för någon u och v, (uv) * = u * v *)
= z * z
= w