Wzór na różnicę funkcji arc cos

Wzór na różnicę funkcji arc cos ma postać:

\(arc \: cos \: x + arc \: cos \: y = \begin{cases}
\: arc \: cos \: (xy + \sqrt{1 - x^2} \sqrt{1 -y^2})\\
dla \: \: x <y\\
\\
- arc \:cos \:(xy + \sqrt{1-x^2} \sqrt {1-y^2})\\
dla \: \: x \geq y\end{cases}\)