Упр.24.51 ГДЗ Мордковича 10 класс профильный уровень (Алгебра)

Ниже вариант решения задания из учебника Мордкович, Семенов 10 класс, Мнемозина:

Докажите равенство: arccos 1/2 + arccos (-1/7) = arccos (-13/14).