查看原题
证明：$\left|z_1-z_2\right|^2=\left|z_1\right|^2+\left|z_2\right|^2-2 \operatorname{Re}\left(z_1 \cdot \bar{z}_2\right)$;
                        
不再提醒