Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.
cos(2x+π/n))≥1/2
-π/3 +2πn≤ 2x+π/n ≤π/3 +2πn; n-celoe
-π/3+2πn-π/n ≤ 2x ≤π/3+2πn-π/n
-π/6+πn-π/(2n) ≤x≤ π/6+πn-π/(2n)
-π/6 +π((2n^2 -1)/(2n)) ≤ x≤ π/6+π((2n^2-1)/(2n)); n-celoe