Abels sætning om uløseligheden af ​​ligninger i radikaler

Abel-Ruffini-sætningen siger, at en generel algebraisk gradsligning er uløselig i radikaler [1] .

Detaljer

Galois-teorien beskriver permutationsgruppen af ​​polynomiers rødder . Det moderne bevis for sætningen er baseret på følgende to fakta:

Det er let at se, at en væsentlig del af beviset er "gemt" i Galois-teorien.

Abel-Ruffini-sætningen siger ikke, at den generelle ligning for th grad ved ikke har nogen løsning. Hvis komplekse løsninger tillades , garanterer algebraens grundlæggende teorem eksistensen af ​​løsninger. Essensen af ​​Abel-Ruffini-sætningen bunder i det faktum, at det for vilkårlige ligninger af grad større end den fjerde er umuligt at angive en eksplicit formel for løsninger, det vil sige en formel, der definerer alle mulige løsninger og kun indeholder aritmetiske operationer og rødder af vilkårlig grad.

Løsninger til sådanne ligninger kan opnås med enhver ønsket nøjagtighed ved hjælp af numeriske metoder såsom Newtons metode .

Derudover kan rødderne til nogle ligninger af højere grader udtrykkes i radikaler. For eksempel har ligningen en rod .

Selvom en kvintisk ligning er uløselig i radikaler, er der formler for dens rødder ved hjælp af theta-funktioner .

Eksplicitte formler for potenser mindre end 5

For ligninger med en grad mindre end den femte kan du angive en eksplicit løsningsformel. Dette faktum kan betragtes som den "anden del" eller som den "omvendte" Abel-Ruffini-sætning. Selvom dette udsagn ikke følger af Abel-Ruffini-sætningen, er det sandt: se Cardanos formler (for ligninger af tredje grad) og Ferrari (for fjerde grad) [4] .

Historie

Det første bevis på teoremet blev offentliggjort i 1799 af Ruffini . Der var flere unøjagtigheder i beviset. I 1824 udgav Abel et fuldstændigt bevis .

Deres beviser var baseret på Lagranges ideer om at forvandle rødderne til en ligning. Senere blev disse ideer udviklet i Galois-teorien , som tillod formuleringen af ​​den moderne beviserklæring og tjente som udgangspunkt i udviklingen af ​​abstrakt algebra .

Opløselige ligningstyper

Selvom sætningen siger, at ligningerne ikke har en generel formel at løse, tillader nogle typer ligninger i høj grad nøjagtige løsninger. Blandt dem:

Se også

Noter

  1. Alekseev, 2001 , s. 112.
  2. Alekseev, 2001 , s. 187.
  3. Alekseev, 2001 , s. halvtreds.
  4. Alekseev, 2001 , s. 9-12.

Litteratur

Links