Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.
cos²α = 1 - sin²α
cos²α = 1 - 576/625
cos²α = 49/625, cosα= -7/25 (перед дробью знак минус, т.к. α∈(π;3π/2) , а косинус в этом промежутке отрицательный)
2. sin (3π/2 - 2x) = sinx, (3π/2 ; 5π/2)
Применяем формулы приведения, и получаем:
-cos2x = sinx |:(-1)
cos2x = -sinx
cos²x-sin²x = -sinx
cos²x-sin²x+sinx = 0
1 - sin²x - sin²x + sinx = 0
-2sin²x + sinx + 1 =0
Делаем замену: sinx=a
-2a² + a + 1 = 0
D = 9, √D = 3
a1 = 1, a2 = - 1/2
sinx = 1 sinx = -1/2
x = π/2 + 2πn x = (-1)^n arcsin(-1/2) + πn
x=(-1)^n+1 π/6 + πn
Перебираем корни:
n=0 n=1 n=2
x=π/2 - не подходит x=5π/2 - подходит x=9π/2 - не подходит
x=-π/6 - не подходит x=7π/6 - не подходит x=11π/6 - подходит
n=3
x=13π/2 - не подходит
x=19π/6 - не подходит.
Дальше корни будут больше, и не войдут в промежуток. Значит, только 2 корня
Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.