Solution (source code)

= Solution

Write $z_1=a+ib$ and $z_2=c+id$ with real $a,b,c,d$. By the definition of <complex conjugation>,
$$
(z_1+z_2)^*=[(a+c)+i(b+d)]^*=(a+c)-i(b+d)=(a-ib)+(c-id)=\boxed{z_1^*+z_2^*.}
$$