设 $\triangle ABC$ 的两个内角 $A$，$B$ 所对的边分别为 $a$，$b$. 若复数 $z_1$ 的模为 $a$，幅角为 $B$；复数 $z_2$ 的模为 $b$，幅角为 $-A$. 求证 $z_1+z_2$ 为实数.

解三角方程 $\cos^2x+\cos^23x=1$.