Provar por redução ao absurdo que:
Não existem soluções racionais para a equação

Inicialmente, eu supus que axiste um número racional, escrito como uma fração irredutível

Dessa forma:



Dessa maneira:
ou 
Para
, temos que
, o que é um absurdo, pois, dessa maneira,
não é uma fração indivisível.O problema é mostrar que para
, a fração
também não é divisível, para que eu consiga terminar a demonstração.Agradeço desde já!




![\frac{-1+\sqrt[]{3}i}{2} \frac{-1+\sqrt[]{3}i}{2}](/latexrender/pictures/28d3de65fcc3a73a9267a43aab30d253.png)
![\frac{-1-\sqrt[]{3}i}{2} \frac{-1-\sqrt[]{3}i}{2}](/latexrender/pictures/e4ca798620e2a52a39222f758df6ec3d.png)
![\frac{p}{q}=\sqrt[]{\frac{-1-\sqrt[]{3}i}{2}} \frac{p}{q}=\sqrt[]{\frac{-1-\sqrt[]{3}i}{2}}](/latexrender/pictures/30370c95ca68544b520ae4ad5637a583.png)
![\frac{p}{q}=\sqrt[]{\frac{-1+\sqrt[]{3}i}{2}} \frac{p}{q}=\sqrt[]{\frac{-1+\sqrt[]{3}i}{2}}](/latexrender/pictures/339256ba4af6e16c6f100669ad925f02.png)

![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}} \frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png)
e elevar ao quadrado os dois lados)