보충 질문 : 켤레 복소수

본 자료는 인공지능을 활용하지 않고 작성되었음을 알립니다.

복소수(complex number) $z=a+bi$가 있을 때,

$z$의 켤레복소수(complex conjugate) $z^\star$를 아래와 같이 정의한다.

\[z^*=a-bi\]

이때, $zz^*$는 항상 양의 실수(positive real number)일까?