cot(5*x)<=1 (неравенство)

Учитель очень удивится увидев твоё верное решение 😼

В неравенстве неизвестная

    Укажите решение неравенства: cot(5*x)<=1 (множество решений неравенства)

    Решение

    Вы ввели [src]
    cot(5*x) <= 1
    cot(5x)1\cot{\left (5 x \right )} \leq 1
    Подробное решение
    Дано неравенство:
    cot(5x)1\cot{\left (5 x \right )} \leq 1
    Чтобы решить это нер-во - надо сначала решить соотвествующее ур-ние:
    cot(5x)=1\cot{\left (5 x \right )} = 1
    Решаем:
    Дано уравнение
    cot(5x)=1\cot{\left (5 x \right )} = 1
    преобразуем
    cot(5x)1=0\cot{\left (5 x \right )} - 1 = 0
    cot(5x)1=0\cot{\left (5 x \right )} - 1 = 0
    Сделаем замену
    w=cot(5x)w = \cot{\left (5 x \right )}
    Переносим свободные слагаемые (без w)
    из левой части в правую, получим:
    w=1w = 1
    Получим ответ: w = 1
    делаем обратную замену
    cot(5x)=w\cot{\left (5 x \right )} = w
    подставляем w:
    x1=π20x_{1} = \frac{\pi}{20}
    x1=π20x_{1} = \frac{\pi}{20}
    Данные корни
    x1=π20x_{1} = \frac{\pi}{20}
    являются точками смены знака неравенства в решениях.
    Сначала определимся со знаком до крайней левой точки:
    x0x1x_{0} \leq x_{1}
    Возьмём например точку
    x0=x1110x_{0} = x_{1} - \frac{1}{10}
    =
    110+π20- \frac{1}{10} + \frac{\pi}{20}
    =
    110+π20- \frac{1}{10} + \frac{\pi}{20}
    подставляем в выражение
    cot(5x)1\cot{\left (5 x \right )} \leq 1
    cot(5(110+π20))1\cot{\left (5 \left(- \frac{1}{10} + \frac{\pi}{20}\right) \right )} \leq 1
       /1   pi\     
    tan|- + --| <= 1
       \2   4 /     

    но
       /1   pi\     
    tan|- + --| >= 1
       \2   4 /     

    Тогда
    xπ20x \leq \frac{\pi}{20}
    не выполняется
    значит решение неравенства будет при:
    xπ20x \geq \frac{\pi}{20}
             _____  
            /
    -------•-------
           x1
    Быстрый ответ [src]
       /pi             \
    And|-- <= x, x < oo|
       \20             /
    π20xx<\frac{\pi}{20} \leq x \wedge x < \infty
    Быстрый ответ 2 [src]
     pi     
    [--, oo)
     20     
    x[π20,)x \in \left[\frac{\pi}{20}, \infty\right)