0,25 - cos (pi/2 + x) = sinx/2 * cosx/2

0,25 - cos (пи/2 + x) = sin (x/2) * cos (x/2);

Упростим уравнение.

0.25 - (-cos x) = 1/2 * 2 * sin (x/2) * cos (x/2);

0.25 + cos x = 1/2 * sin (2 * x/2);

0.25 + cos x = 1/2 * sin x;

1/4 + cos x = 1/2 * sin x;

1/4 * 1 + 4 * cos x = 1/2 * 4 * sin x;

1 + 4 * cos x = 2 * sin x;

1 = 2 * sin x - 4 * cos x;

Возведем в квадрат.

1 = 4 * sin^2 x - 16 * sin x * cos x + 16 * cos^2 x;

4 * sin^2 x - 16 * sin x * cos x + 16 * cos^2 x - sin^2 x - cos^2 x = 0;

3 * sin^2 x - 16 * sin x * cos x + 15 * cos^2 x = 0;

3 * tg^2 x - 16 * tg x + 15 = 0;

D = 256 - 4 * 3 * 15 = 76;

1) tg x = (16 + √76) / 6 = 4.12;

x = arctg (4.12) + пи * n;

tg x = (16 - √76) / 6 = - 1.21;

x = arctg (-1.21) + пи * n.