Solution.
Let
[$$
\begin{aligned}
a_1 &= r_1cosalpha_1, &\qquad b_1 &= r_1sinalpha_1, \\
a_2 &= r_2cosalpha_2, &\qquad b_2 &= r_2sinalpha_2, \\
&vdotswithin{=} & &vdotswithin{=} \\
a_n &= r_ncosalpha_n, &\qquad b_n &= r_nsinalpha_n, \\
A &= R\cos \theta, &\qquad B &= R\sin \theta.
\end{aligned}
$$]
Given,
[
(a_1+ib_1)(a_2+ib_2)\cdots(a_n+ib_n)=A+iB.
]
Therefore,
[$$
\begin{aligned}
&r_1(cosalpha_1+isinalpha_1) \\
r_2(cosalpha_2+isinalpha_2) \\
\cdots \\
r_n(cosalpha_n+isinalpha_n) \\
&\qquad=R(\cos \theta+i\sin \theta).
\end{aligned}
$$]
Using De Moivre's theorem,
[$$
\begin{aligned}
&r_1r_2cdots r_n \\
\left[ \\
\cos(alpha_1+alpha_2+\cdots+alpha_n) \\
+isin(alpha_1+alpha_2+\cdots+alpha_n) \\
\right] \\
&\qquad=R(\cos \theta+i\sin \theta).
\end{aligned}
$$]
Comparing the moduli of both sides,
[
r_1r_2cdots r_n=R.
]
Hence,
[$$
\begin{aligned}
R^2 \\
&=r_1^2r_2^2cdots r_n^2 \\
&=(a_1^2+b_1^2)(a_2^2+b_2^2)\cdots(a_n^2+b_n^2).
\end{aligned}
$$]
Since
[
R^2=A^2+B^2,
]
we get
[
\boxed{
(a_1^2+b_1^2)(a_2^2+b_2^2)\cdots(a_n^2+b_n^2)
=A^2+B^2
}.
]
Also, comparing the arguments,
[
alpha_1+alpha_2+\cdots+alpha_n=\theta.
]
Therefore,
[
\boxed{
\tan^{-1}\frac{b_1}{a_1}
+\tan^{-1}\frac{b_2}{a_2}
+\cdots+
\tan^{-1}\frac{b_n}{a_n}
=
\tan^{-1}\frac{B}{A}
}
]
[
\boxed{Proved.}
]