How do I prove this identity for complex numbers? I stumbled upon following identity I'm having a hard time proving: if the complex numbers $a,b,c,d$ lie on the unit circle in that order and no half-circle contains all of them, the following identity should hold:
$$
|a+d||b+c| + |a+b||c+d| = |a-d||b-c| + |a-b||c-d|
$$
Any idea on how I should approach this / is there some known theorem I'm unaware of?


we use geometry and trigonometry of course.
$|A+D|=2r\sin{\theta_{1}}$, $|A+B|=2r\sin{\theta_{2}}$, $|B+C|=2r\sin{\theta_{3}}$, $|A+D|=2r\sin{\theta_{4}}$
$|A-D|=2r\cos{\theta_{1}}$, $|A-B|=2r\cos{\theta_{2}}$, $|B-C|=2r\cos{\theta_{3}}$, $|C-D|=2r\cos{\theta_{4}}$
We also know that $\theta_{1}+\theta_{2}+\theta_{3}+\theta_{4}=\pi$
$$
\begin{aligned}
\cos{(\theta_{1}+\theta_{3})}+\cos{(\theta_{2}+\theta_{4})}&=0\\
\cos{\theta_{1}}\cos{\theta_{3}}-\sin{\theta_{1}}\sin{\theta_{3}}+\cos{\theta_{2}}\cos{\theta_{4}}-\sin{\theta_{2}}\sin{\theta_{4}}&=0
\end{aligned}
$$
multiply by $4r^{2}$ to get
$$
|A-D||B-C|-|A+D||B+C|+|A-B||C-D|-|A+B||C+D|=0
$$
note
"no half circle contains all 4 points" requirement is required to have the origin inside the cyclic quadrilateral
