Maths Olympiad Prep

Library / Russian Mathematical Olympiad /61 of 141

Russian Mathematical Olympiad

Number theory Difficulty 6.2 National Olympiad Prove it Russia

A function
f(x)=cos⁡x⋅cos⁡x2⋅cos⁡x3⋯cos⁡x2009 f(x) = \cos x \cdot \cos \frac{x}{2} \cdot \cos \frac{x}{3} \cdots \cos \frac{x}{2009}
is defined on the segment [0,2009π2][0, \frac{2009\pi}{2}]. Find the number of points at which this function changes its sign. (B. Trushin)

Solution

Ответ. 75 раз.
Обозначим n=2009n = 2009. Рассмотрим функцию cos⁡xk\cos \frac{x}{k}. Она меняет знак при
x=k(πm+π2)=k(2m+1)π2, x = k \left( \pi m + \frac{\pi}{2} \right) = \frac{k(2m + 1)\pi}{2},
где mm — произвольное целое число. Значит, нулями функции f(x)f(x) могут являться только точки xi=πi2x_i = \frac{\pi i}{2}, где 1≤i≤n1 \le i \le n. Тогда менять знак она может лишь в точках xix_i при i=1,2,...,n−1i = 1, 2, ..., n-1.
Функция cos⁡xk\cos \frac{x}{k} меняет знак в точке xix_i, если i=k(2m+1)i = k(2m+1) при целом mm. Значит, количество косинусов, которые меняют знак в точке xix_i, совпадает с количеством нечетных делителей числа ii. Поэтому функция f(x)f(x) будет менять знак в тех и только тех
точках xix_i, для которых у числа ii нечетное количество нечетных делителей. Представим i=2ℓji = 2^\ell j, где ℓ\ell целое, а jj нечетно. Тогда количество нечетных делителей у чисел ii и jj совпадает. Но у нечетного числа jj количество делителей нечетно тогда и только тогда, когда jj — это точный квадрат (действительно, если jj — не квадрат, то все его делители разбиваются на пары aa и ia\frac{i}{a}; если же j=s2j = s^2, то число ss — единственное оставшееся без пары).
В итоге получаем, что функция f(x)f(x) меняет знак в точке xix_i, если число ii — либо квадрат, либо удвоенный квадрат (в зависимости от четности числа ℓ\ell). Но среди чисел от 1 до (n−1)(n-1) есть [n−1][\sqrt{n-1}] квадратов, и [n−12][\sqrt{\frac{n-1}{2}}] удвоенных квадратов. Значит, искомое количество равно [n−1]+[n−12]=44+31=75[\sqrt{n-1}] + [\sqrt{\frac{n-1}{2}}] = 44+31 = 75.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.