📐 Η γενική μορφή
Μια εξίσωση έβδομου βαθμού είναι μια αλγεβρική εξίσωση με μέγιστο βαθμό 7, γραμμένη γενικά ως:
Οι συντελεστές μπορούν να είναι ακέραιοι, ρητοί, πραγματικοί, μιγαδικοί, ή γενικότερα μέλη οποιουδήποτε αλγεβρικού σώματος.
📊 Το γράφημα
Ένα πολυώνυμο έβδομου βαθμού μπορεί να έχει έως 7 πραγματικές ρίζες και έως 6 κρίσιμα σημεία — αφού η παράγωγός του είναι πάντα ένα πολυώνυμο έκτου βαθμού. Ανάλογα με τον αριθμό και τη διάταξη των ακροτάτων, μια τέτοια εξίσωση μπορεί να έχει 7, 5, 3 ή 1 πραγματική ρίζα (μετρώντας πολλαπλότητες), με τον αριθμό των μιγαδικών ριζών να ισούται πάντα με 7 μείον τον αριθμό των πραγματικών.
Λόγω του περιττού βαθμού τους, οι συναρτήσεις έβδομου βαθμού μοιάζουν οπτικά με εκείνες τρίτου και πέμπτου βαθμού, με τη διαφορά ότι μπορούν να έχουν επιπλέον τοπικά ακρότατα — έως τρία τοπικά μέγιστα και τρία τοπικά ελάχιστα.
🔓 Πότε λύνονται με ριζικά
Καμία γενική εξίσωση έβδομου βαθμού δεν λύνεται με ριζικά — αυτό ισχύει ήδη από τον πέμπτο βαθμό και πάνω. Ο Évariste Galois ανέπτυξε τις μεθόδους που καθορίζουν πότε ακριβώς μια συγκεκριμένη εξίσωση είναι επιλύσιμη με ριζικά, θεμελιώνοντας τη σύγχρονη θεωρία Galois.
Μια κομψή επιλύσιμη κατηγορία εξισώσεων έβδομου βαθμού προκύπτει γενικεύοντας την ήδη επιλύσιμη εξίσωση πέμπτου βαθμού του de Moivre:
Θέτοντας x = u + v, με uv = −α και u⁷ + v⁷ = −β, οι επτά ρίζες παίρνουν τη μορφή x_k = ω^k·y₁^(1/7) + ω^(6k)·y₂^(1/7), όπου ω μια έβδομη ρίζα της μονάδας και y₁, y₂ οι ρίζες της βοηθητικής δευτεροβάθμιας εξίσωσης. Η ομάδα Galois αυτής της οικογένειας είναι η μέγιστη επιλύσιμη ομάδα τάξης 42.
Μια δεύτερη επιλύσιμη κατηγορία, με μέλη καταγεγραμμένα στη βάση δεδομένων αριθμητικών πεδίων του Klüner, έχει τη μορφή:
με διακρίνουσα Δ = −4⁴(4α³+99α²−34α+467)³, και ομάδα Galois τη διεδρική ομάδα τάξης 14.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου