(sqrt(2)+1)^((6*x-6)/(x+1))<=(sqrt(2)-1)^(-x) (неравенство)

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

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

    Укажите решение неравенства: (sqrt(2)+1)^((6*x-6)/(x+1))<=(sqrt(2)-1)^(-x) (множество решений неравенства)

    Решение

    Вы ввели [src]
               6*x - 6                 
               -------                 
                x + 1                -x
    /  ___    \           /  ___    \  
    \\/ 2  + 1/        <= \\/ 2  - 1/  
    (1+2)6x6x+1(1+2)x\left(1 + \sqrt{2}\right)^{\frac{6 x - 6}{x + 1}} \leq \left(-1 + \sqrt{2}\right)^{- x}
    Подробное решение
    Дано неравенство:
    (1+2)6x6x+1(1+2)x\left(1 + \sqrt{2}\right)^{\frac{6 x - 6}{x + 1}} \leq \left(-1 + \sqrt{2}\right)^{- x}
    Чтобы решить это нер-во - надо сначала решить соотвествующее ур-ние:
    (1+2)6x6x+1=(1+2)x\left(1 + \sqrt{2}\right)^{\frac{6 x - 6}{x + 1}} = \left(-1 + \sqrt{2}\right)^{- x}
    Решаем:
    x1=12log(1+2)(log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2)+log((1+2)6(2+1)))x_{1} = - \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(\sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}} + \log{\left (- \left(1 + \sqrt{2}\right)^{6} \left(- \sqrt{2} + 1\right) \right )}\right)
    x2=12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))x_{2} = \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)
    x1=12log(1+2)(log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2)+log((1+2)6(2+1)))x_{1} = - \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(\sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}} + \log{\left (- \left(1 + \sqrt{2}\right)^{6} \left(- \sqrt{2} + 1\right) \right )}\right)
    x2=12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))x_{2} = \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)
    Данные корни
    x2=12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))x_{2} = \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)
    x1=12log(1+2)(log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2)+log((1+2)6(2+1)))x_{1} = - \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(\sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}} + \log{\left (- \left(1 + \sqrt{2}\right)^{6} \left(- \sqrt{2} + 1\right) \right )}\right)
    являются точками смены знака неравенства в решениях.
    Сначала определимся со знаком до крайней левой точки:
    x0x2x_{0} \leq x_{2}
    Возьмём например точку
    x0=x2110x_{0} = x_{2} - \frac{1}{10}
    =
          _____________________________________________________________________________                                      
         /                                            /               /           36\\                                       
        /                                             |               |/      ___\  ||                                       
       /                                              |            log\\1 + \/ 2 /  /|       /           6             \     
      /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|     
    \/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //   1 
    -------------------------------------------------------------------------------------------------------------------- - --
                                                          1/       ___\                                                    10
                                                     2*log \-1 + \/ 2 /                                                      

    =
    110+12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))- \frac{1}{10} + \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)
    подставляем в выражение
    (1+2)6x6x+1(1+2)x\left(1 + \sqrt{2}\right)^{\frac{6 x - 6}{x + 1}} \leq \left(-1 + \sqrt{2}\right)^{- x}
                 /      _____________________________________________________________________________                                      \                                                                                                                                               
                 |     /                                            /               /           36\\                                       |                                                                                                                                               
                 |    /                                             |               |/      ___\  ||                                       |                                                                                                                                               
                 |   /                                              |            log\\1 + \/ 2 /  /|       /           6             \     |                                                                                                                                               
                 |  /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|     |                                                                                                                                               
                 |\/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //   1 |                                                                                                                                               
               6*|-------------------------------------------------------------------------------------------------------------------- - --| - 6                                                                                                                                           
                 |                                                      1/       ___\                                                    10|                                                                                                                                               
                 \                                                 2*log \-1 + \/ 2 /                                                      /                                                                                                                                               
               ---------------------------------------------------------------------------------------------------------------------------------                                                                                                                                           
                                                                                                                                               1                                                                                                                                           
                /      _____________________________________________________________________________                                          \                 /      _____________________________________________________________________________                                      \
                |     /                                            /               /           36\\                                           |                 |     /                                            /               /           36\\                                       |
                |    /                                             |               |/      ___\  ||                                           |                 |    /                                             |               |/      ___\  ||                                       |
                |   /                                              |            log\\1 + \/ 2 /  /|       /           6             \         |                 |   /                                              |            log\\1 + \/ 2 /  /|       /           6             \     |
                |  /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|         |                 |  /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|     |
                |\/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //   1     |                 |\/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //   1 |
                |-------------------------------------------------------------------------------------------------------------------- - -- + 1|                -|-------------------------------------------------------------------------------------------------------------------- - --|
                |                                                      1/       ___\                                                    10    |                 |                                                      1/       ___\                                                    10|
                \                                                 2*log \-1 + \/ 2 /                                                          /                 \                                                 2*log \-1 + \/ 2 /                                                      /
    /  ___    \                                                                                                                                     /  ___    \                                                                                                                            
    \\/ 2  + 1/                                                                                                                                  <= \\/ 2  - 1/                                                                                                                            

                        /      _____________________________________________________________________________                                 \                                                                                                                                         
                        |     /                                            /               /           36\\                                  |                                                                                                                                         
                        |    /                                             |               |/      ___\  ||                                  |                                                                                                                                         
                        |   /                                              |            log\\1 + \/ 2 /  /|       /           6             \|                                                                                                                                         
                        |  /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\||                                                                                                                                         
                 33   3*\\/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 ///                           _____________________________________________________________________________                                 
               - -- + ------------------------------------------------------------------------------------------------------------------------                          /                                            /               /           36\\                                  
                 5                                                           /       ___\                                                                              /                                             |               |/      ___\  ||                                  
                                                                          log\-1 + \/ 2 /                                                                             /                                              |            log\\1 + \/ 2 /  /|       /           6             \
               -------------------------------------------------------------------------------------------------------------------------------                       /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|
                             _____________________________________________________________________________                                     <=             1    \/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //
                            /                                            /               /           36\\                                                     -- - --------------------------------------------------------------------------------------------------------------------
                           /                                             |               |/      ___\  ||                                                     10                                                         /       ___\                                                  
                          /                                              |            log\\1 + \/ 2 /  /|       /           6             \                                                                         2*log\-1 + \/ 2 /                                                  
                         /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|       /       ___\                                                                                                                         
                  9    \/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //       \-1 + \/ 2 /                                                                                                                         
                  -- + --------------------------------------------------------------------------------------------------------------------                                                                                                                                            
                  10                                                         /       ___\                                                                                                                                                                                              
                                                                        2*log\-1 + \/ 2 /                                                                                                                                                                                              
    /      ___\                                                                                                                                                                                                                                                                        
    \1 + \/ 2 /                                                                                                                                                                                                                                                                        

    значит одно из решений нашего неравенства будет при:
    x12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))x \leq \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)
     _____           _____          
          \         /
    -------•-------•-------
           x2      x1

    Другие решения неравенства будем получать переходом на следующий полюс
    и т.д.
    Ответ:
    x12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))x \leq \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)
    x12log(1+2)(log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2)+log((1+2)6(2+1)))x \geq - \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(\sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}} + \log{\left (- \left(1 + \sqrt{2}\right)^{6} \left(- \sqrt{2} + 1\right) \right )}\right)
    Решение неравенства на графике
    01234567-5-4-3-2-102000
    Быстрый ответ [src]
      /   /           _____________________________________________________________________________                                         \     / /      _____________________________________________________________________________                                 \              \\
      |   |          /                                            /               /           36\\                                          |     | |     /                                            /               /           36\\                                  |              ||
      |   |         /                                             |               |/      ___\  ||                                          |     | |    /                                             |               |/      ___\  ||                                  |              ||
      |   |        /                                              |            log\\1 + \/ 2 /  /|       /           6             \        |     | |   /                                              |            log\\1 + \/ 2 /  /|       /            6            \|              ||
      |   |       /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|        |     | |  /       2/       ___\         2/      ___\      |/       ___\                  |       | /      ___\  /      ___\||              ||
      |   |     \/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //        |     |-\\/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  + log\-\1 + \/ 2 / *\1 - \/ 2 ///              ||
    Or|And|x <= --------------------------------------------------------------------------------------------------------------------, -1 < x|, And|------------------------------------------------------------------------------------------------------------------------ <= x, x < oo||
      |   |                                                           /       ___\                                                          |     |                                                        /       ___\                                                                 ||
      \   \                                                      2*log\-1 + \/ 2 /                                                          /     \                                                   2*log\-1 + \/ 2 /                                                                 //
    (x12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))1<x)(12log(1+2)(log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2)+log((1+2)6(2+1)))xx<)\left(x \leq \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right) \wedge -1 < x\right) \vee \left(- \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(\sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}} + \log{\left (- \left(1 + \sqrt{2}\right)^{6} \left(- \sqrt{2} + 1\right) \right )}\right) \leq x \wedge x < \infty\right)
    Быстрый ответ 2 [src]
               _____________________________________________________________________________                                       /      _____________________________________________________________________________                                 \      
              /                                            /               /           36\\                                        |     /                                            /               /           36\\                                  |      
             /                                             |               |/      ___\  ||                                        |    /                                             |               |/      ___\  ||                                  |      
            /                                              |            log\\1 + \/ 2 /  /|       /           6             \      |   /                                              |            log\\1 + \/ 2 /  /|       /            6            \|      
           /       2/       ___\         2/      ___\      |/       ___\                  |       |/      ___\  /       ___\|      |  /       2/       ___\         2/      ___\      |/       ___\                  |       | /      ___\  /      ___\||      
         \/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  - log\\1 + \/ 2 / *\-1 + \/ 2 //     -\\/     log \-1 + \/ 2 / + 36*log \1 + \/ 2 / + log\\-1 + \/ 2 /                  /  + log\-\1 + \/ 2 / *\1 - \/ 2 ///      
    (-1, --------------------------------------------------------------------------------------------------------------------] U [------------------------------------------------------------------------------------------------------------------------, oo)
                                                               /       ___\                                                                                                               /       ___\                                                         
                                                          2*log\-1 + \/ 2 /                                                                                                          2*log\-1 + \/ 2 /                                                         
    x(1,12log(1+2)(log((1+2)(1+2)6)+log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2))][12log(1+2)(log((1+2)log((1+2)36))+log2(1+2)+36log2(1+2)+log((1+2)6(2+1))),)x \in \left(-1, \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(- \log{\left (\left(-1 + \sqrt{2}\right) \left(1 + \sqrt{2}\right)^{6} \right )} + \sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}}\right)\right] \cup \left[- \frac{1}{2 \log{\left (-1 + \sqrt{2} \right )}} \left(\sqrt{\log{\left (\left(-1 + \sqrt{2}\right)^{\log{\left (\left(1 + \sqrt{2}\right)^{36} \right )}} \right )} + \log^{2}{\left (-1 + \sqrt{2} \right )} + 36 \log^{2}{\left (1 + \sqrt{2} \right )}} + \log{\left (- \left(1 + \sqrt{2}\right)^{6} \left(- \sqrt{2} + 1\right) \right )}\right), \infty\right)