Teorema de Abel-Ruffini
Origem: Wikipédia, a enciclopédia livre.
O Teorema de Abel-Ruffini é um teorema criado pelos matemáticos Paolo Ruffini (demonstração em 1799, contendo um pequeno erro) e Niels Henrik Abel (demonstração final em 1824).
O teorema afirma que não há uma solução geral através de radicais para as equações polinomiais de grau cinco ou superior. Note-se que o teorema não afirma que as equações polinomiais de ordem cinco ou superior não têm solução. Na verdade, se o polinómio tiver coeficiente reais ou complexos, e se se permitirem soluções complexas, então todos as equações polinomiais têm solução. Essa é aliás a proposição do teorema fundamental da álgebra. Ainda que essas soluções não possam ser calculadas com rigor, podem ser obtidas com um grau de precisão requerido usando métodos numéricos tais como o métodos de Newton-Raphson ou o de Laguerre.
O teorema refere-se simplesmente à forma que a solução pode ter. Assim, a solução de uma equação de grau cinco ou superior não pode ser sempre expressa a partir dos coeficentes e usando simplesmente as operações de adição, subtracção, multiplicação, divisão e potenciação (incluindo-se nesta última a extracção de raízes).
Tomemos como exemplo, a solução das equações polinomiais de segundo grau, usando a habitual equação quadrática: As raízes de ax2 + bx + c = 0 são :
Fórmulas deste tipo existem também para as equações de terceira e quarta ordem.
O teorema afirma portanto que certas equações de quinta ordem não pode ser expressas por fórmulas daquele tipo. A equação x5 - x + 1 = 0 é disso um exemplo. Algumas equações de quinto grau podem ser resolvidas por radicais. Um exemplo: x5 - x4 - x + 1 = 0. Os critérios de distinção entre um caso e o outro foram decobertos por Évariste Galois.
