Известно, что cos(π/2 - a) = sin(a).
Так как cos(π/2) = 0, то sin(a) = 0 - (-1/3)cos a = 1/3
Теперь по формуле косинуса для разности углов, cos(45 - a) = cos 45 cos a + sin 45 sin a = 1/√2 (-1/3) + 1/√2 1/3 = -1/3√2 + 1/3√2 = 0.
Таким образом, cos(45 - a) = 0.
Известно, что cos(π/2 - a) = sin(a).
Так как cos(π/2) = 0, то sin(a) = 0 - (-1/3)cos a = 1/3
Теперь по формуле косинуса для разности углов, cos(45 - a) = cos 45 cos a + sin 45 sin a = 1/√2 (-1/3) + 1/√2 1/3 = -1/3√2 + 1/3√2 = 0.
Таким образом, cos(45 - a) = 0.