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

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

Докажите тождество:

a) arcsin x = пи/2 - arccos х;

б) arctg х + arcctg х = пи/2.