.Desafio: Ali Babão e a sexta de suas 40 equações – Substituição Trigonométrica

Problema
(Indicado a partir do 1º ano do E. M.)


Determine todas as soluções reais da equação [tex]8x^3-6x-1=0[/tex].

Solução


Para resolver este problema, vamos fazer a substituição [tex]\boxed{x=cos\, \alpha}[/tex], transformando a equação dada em [tex]\boxed{8\cdot cos^3\alpha-6\cdot cos\alpha-1=0}\,.[/tex]
Mas para isso, será necessário verificar se as possíveis soluções da equação em questão podem ser valores de cossenos, ou seja, se os possíveis valores reais [tex]x[/tex] tais que [tex]8x^3-6x-1=0[/tex] satisfazem a condição [tex]-1 \leqslant x \leqslant 1.[/tex]
Se você não sabe como justificar essa afirmação, clique no botão abaixo. Caso contrário, siga com a leitura da solução.

Para justificar que os possíveis valores reais [tex]x[/tex] tais que [tex]8x^3-6x-1=0[/tex] satisfazem a condição [tex]-1 \leqslant x \leqslant 1[/tex], vamos dividir nossa discussão em dois casos:

  • [tex]x \gt 1 [/tex] e [tex]x\lt-1[/tex].

Com efeito, observe inicialmente que
[tex]\qquad 8x^3-6x-1= \left(2x\right)^3-3 \left(2x\right)-1=\left(2x\right)\left[\left(2x\right)^2-3\right]-1\,. \qquad \textcolor{#800000}{(1)}[/tex]

  • Agora, se [tex]x\gt1[/tex], então segue que
    [tex]\qquad 2x\gt 2 \qquad \textcolor{#800000}{(2)}[/tex]
    [tex]\qquad \left(2x\right)^2 \gt 2^2[/tex]
    [tex]\qquad \left(2x\right)^2 -3 \gt 4-3 [/tex]
    [tex]\qquad \left(2x\right)^2-3 \gt 1\qquad \textcolor{#800000}{(3)}[/tex]
    e, assim, de [tex]\textcolor{#800000}{(2)}[/tex] e de [tex]\textcolor{#800000}{(3)}[/tex], podemos concluir que
    [tex]\qquad \left(2x\right)\left[\left(2x\right)^2-3\right] \gt 2\cdot 1=2[/tex] (Observe que ambos os lados das desigualdades são positivos, logo podemos multiplicá-los, mantendo o sinal da desigualdade)
    [tex]\qquad \left(2x\right)\left[\left(2x\right)^2-3\right]-1 \gt 2-1[/tex]
    [tex]\qquad \left(2x\right)\left[\left(2x\right)^2-3\right]-1 \gt 1 \gt 0[/tex]
    donde, por [tex]\textcolor{#800000}{(1)} [/tex], temos [tex]\boxed{8x^3-6x-1 \gt 0 \text{, se } x \gt 1}\,.[/tex]
  • Por outro lado, se [tex]x\lt -1[/tex], então [tex]1\lt -x[/tex], donde:
    [tex]\qquad 2\lt -2x \qquad \textcolor{#800000}{(4)}[/tex]
    [tex]\qquad \left(2\right)^2 \lt \left(-2x\right)^2[/tex] (Observe que ambos os lados da desigualdade são positivos, logo podemos elevá-los ao quadrado, mantendo o sinal da desigualdade)
    [tex]\qquad 4 \lt \left(2x\right)^2[/tex]
    [tex]\qquad 4-3 \lt \left(2x\right)^2-3[/tex]
    [tex]\qquad 1 \lt \left(2x\right)^2-3 \qquad \textcolor{#800000}{(5)}[/tex]
    e, assim, de [tex]\textcolor{#800000}{(4)}[/tex] e de [tex]\textcolor{#800000}{(5)}[/tex], podemos concluir que
    [tex]\qquad 2\cdot 1 \lt \left(-2x\right)\left[\left(2x\right)^2-3\right] [/tex]
    [tex]\qquad \left(2x\right)\left[\left(2x\right)^2-3\right] \lt -2 \cdot 1=-2[/tex]
    [tex]\qquad \left(2x\right)\left[\left(2x\right)^2-3\right] -1 \lt -2 -1[/tex]
    [tex]\qquad \left(2x\right)\left[\left(2x\right)^2-3\right]-1 \lt -3 \lt 0.[/tex]
    Logo, por [tex]\textcolor{#800000}{(1)}[/tex], temos [tex]\boxed{8x^3-6x-1 \lt 0 \text{, se } x \lt -1}.[/tex]

Assim:

  • para qualquer [tex]x [/tex] real tal [tex]x\lt-1[/tex], temos [tex]8x^3-6x-1\lt 0[/tex].
  • para qualquer [tex]x [/tex] real tal [tex]x\gt 1[/tex], temos [tex]8x^3-6x-1\gt 0[/tex].

Dessa forma, se existem números reais [tex]x[/tex] tais que [tex]8x^3-6x-1=0[/tex] esses números não são menores do que [tex]-1[/tex] e nem maiores do que [tex]1[/tex] e, portanto, estão no intervalo fechado [tex]\left[-1,1\right].[/tex]
Mais especificamente, tais valores estarão no intervalo aberto [tex]\left]-1,1\right[[/tex], já que para [tex]x=-1[/tex] e [tex]x=1[/tex] a expressão [tex]8x^3-6x-1[/tex] é igual a [tex]-3[/tex] e [tex]1[/tex], respectivamente.




Partindo do fato de que

  • se existe [tex]x[/tex] real para o qual [tex]8x^3-6x-1=0[/tex], então [tex]-1\le x\le1[/tex],

podemos fazer a substituição [tex]x=cos \,\alpha[/tex], transformando a equação
[tex]\qquad \qquad 8x^3-6x-1=0 \qquad \textcolor{#800000}{(i)}[/tex]
em
[tex]\qquad \qquad 8\cdot cos^3\alpha-6\cdot cos\,\alpha-1=0\,.\qquad \textcolor{#800000}{(ii)}[/tex]
Segue de [tex]\textcolor{#800000}{(ii)}[/tex] que:
[tex]\quad 8\cdot cos^3\alpha-6\cdot cos\,\alpha=1[/tex]
[tex]\quad 2\cdot(4\cdot cos^3\alpha-3\cdot \, cos\alpha)=1[/tex]
[tex]\quad 4\cdot cos^3\alpha-3\cdot cos\, \alpha=\dfrac{1}{2}.\qquad \textcolor{#800000}{(iii)}[/tex]
Utilizando a identidade trigonométrica [tex]\boxed{cos\, 3\alpha =4\cdot cos^3\alpha-3\cdot cos \,\alpha} [/tex], concluímos de [tex]\textcolor{#800000}{(iii)}[/tex] que [tex]\boxed{cos \, 3\alpha=\dfrac{1}{2}}[/tex] e, portanto,
[tex]\quad 3\alpha=60^\circ+360^\circ\cdot k\quad [/tex] ou [tex]\quad 3\alpha=300^\circ+360^\circ\cdot k,\, (k\in \mathbb{Z}) [/tex]
ou, ainda,
[tex]\quad \alpha=20^\circ+120^\circ\cdot k\quad [/tex] ou [tex]\quad \alpha=100^\circ+120^\circ\cdot k\,\, (k\in \mathbb{Z}).[/tex]
Sendo [tex]k \in\mathbb{Z}[/tex], temos infinitos valores para [tex]\alpha[/tex]. Veja alguns deles na tabela a seguir:

[tex]\begin{array}{|c|c|c|}
\hline
\ k & \alpha=20^\circ+120^\circ\cdot k & \alpha=100^\circ+120^\circ\cdot k \\ \hline
-3 & -340^\circ & -260^\circ \\ \hline
-2 & -220^\circ & -140^\circ \\ \hline
-1 & -100^\circ & -20^\circ \\ \hline
0 & 20^\circ & 100^\circ \\ \hline
1 & 140^\circ & 220^\circ \\ \hline
2 & 260^\circ & 340^\circ \\ \hline
3 & 380^\circ & 460^\circ \\ \hline
\end{array}[/tex]

No entanto, como [tex]cos \, \theta=cos(-\theta)[/tex], [tex]cos \, \theta=cos(360^\circ-\theta)[/tex] e [tex]cos \, \theta=cos(360^\circ+\theta)[/tex], ficamos apenas com três soluções para a equação [tex]\textcolor{#800000}{(i)}[/tex]:
[tex]\qquad \fcolorbox{black}{#eee0e5}{$x_1=cos 20^\circ$} \quad [/tex] ; [tex]\quad \fcolorbox{black}{#eee0e5}{$x_2=cos 100^\circ$}\quad [/tex] ; [tex]\quad \fcolorbox{black}{#eee0e5}{$x_3=cos 140^\circ$}.[/tex]
Em radianos:
[tex]\qquad \fcolorbox{black}{#eee0e5}{$x_1=cos\dfrac{\pi}{9}$}\quad [/tex] ; [tex]\quad \fcolorbox{black}{#eee0e5}{$x_2=cos\dfrac{5\pi}{9}$}\quad [/tex] ; [tex]\quad \fcolorbox{black}{#eee0e5}{$x_3=cos\dfrac{7\pi}{9}$}.[/tex]
Utilizando uma calculadora ou consultando uma tabela trigonométrica, obtemos as seguintes aproximações para as três soluções da equação [tex]\textcolor{#800000}{(i)}[/tex]:
[tex]\qquad \fcolorbox{black}{#eee0e5}{$x_1\approx 0,94$}\quad [/tex] ; [tex]\quad \fcolorbox{black}{#eee0e5}{$x_2\approx -0,17$}\quad [/tex] ; [tex]\quad \fcolorbox{black}{#eee0e5}{$x_3 \approx -0,77$}.[/tex]


Solução elaborada pelos Moderadores do Blog.

Um gráfico para ajudar


Com o auxílio de algum software, podemos visualizar o gráfico da função [tex]f[/tex], de [tex]\mathbb{R}[/tex] em [tex]\mathbb{R}[/tex], dada por [tex]f(x)=8x^3-6x-1[/tex].

Note que o gráfico de [tex]f[/tex] intercepta o eixo horizontal nos três pontos que estão assinalados em vermelho.
Isso significa que temos três raízes de [tex]f[/tex] ([tex]f(x)=0[/tex]) e, consequentemente, três soluções reais da equação [tex]8x^3-6x-1=0[/tex]:

  • uma entre [tex]\boxed{-1}[/tex] e [tex]\boxed{-0,5}[/tex];
  • outra entre [tex]\boxed{-0,5}[/tex] e [tex]\boxed{0}[/tex];
  • e mais uma entre [tex]\boxed{0,5}[/tex] e [tex]\boxed{1}[/tex].

Link permanente para este artigo: http://clubes.obmep.org.br/blog/desafio-ali-babao-e-a-sexta-de-suas-40-equacoes-substituicao-trigonometrica-edicao/