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

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

a) Известно, что tg х = 1/7, sin у = корень10 / 10, 0 < x < пи/2; 0 < y < пи/2. Докажите, что x + 2у = пи/4.

б) Известно, что sin x = 7/25, cos у = 7/25, cos z = 3/5, 0 < x < пи/2, 0 < y < пи/2, 0 < z < пи/2. Докажите, что х + y/2 = z