Εξισώσεις Δευτέρου Βαθμού με Μιγαδικούς Συντελεστές

Η γνωστή εξίσωση δευτέρου βαθμού \(ax^2 + bx + c = 0\) με \(a \neq 0\) μελετάται συνήθως όταν οι συντελεστές \(a, b, c\) είναι πραγματικοί. Τι συμβαίνει όμως όταν οι συντελεστές είναι μιγαδικοί αριθμοί;

\[ x^2 + (a+bi)x + (c+di) = 0, \qquad a,b,c,d \in \mathbb{R}. \]

Παρατηρήσεις:

• Ο κλασικός διακρίνων \(D=b^2-4ac\) δεν έχει νόημα εδώ, αφού \( (a+bi)^2 - 4(c+di) \) είναι μιγαδικός και δεν δείχνει τη φύση των ριζών.
• Με μιγαδικούς συντελεστές, οι μιγαδικές ρίζες δεν είναι απαραίτητα συζυγείς.

Θεώρημα 1 — Δύο Πραγματικές Ρίζες

Η εξίσωση \(x^2 + (a+bi)x + (c+di) = 0\) έχει δύο πραγματικές ρίζες (μαζί και την περίπτωση διπλής ρίζας) αν και μόνο αν \(b = d = 0\) και \(a^2 - 4c \ge 0\).

Αν \(b = d = 0\), η εξίσωση γίνεται \(x^2 + ax + c = 0\) με πραγματικούς συντελεστές· άρα έχει πραγματικές ρίζες όταν \(a^2 - 4c \ge 0\). Αντίστροφα, αν οι ρίζες είναι πραγματικές, τότε από το διαχωρισμό πραγματικού και φανταστικού μέρους προκύπτει ότι \(b = d = 0\).

Θεώρημα 2 — Δύο Συζυγείς Μιγαδικές Ρίζες

Η εξίσωση έχει δύο συζυγείς ρίζες \(m \pm ni\) (\(n \neq 0\)) αν και μόνο αν \(b = d = 0\) και \(a^2 - 4c < 0\).

Με πραγματικούς συντελεστές (\(b = d = 0\)) ισχύει η γνωστή θεωρία: οι μη πραγματικές ρίζες εμφανίζονται ανά ζεύγη συζυγών και \(a^2 - 4c < 0\). Αντίστροφα, αν οι ρίζες είναι \(m \pm ni\), τότε από το θεώρημα του Vieta προκύπτει \(a = -2m\), \(c = m^2 + n^2\), οπότε \(a^2 - 4c = -4n^2 < 0\).

Θεώρημα 3 — Μία Πραγματική και Μία Μιγαδική Ρίζα

Η εξίσωση έχει μία πραγματική και μία μη πραγματική ρίζα αν και μόνο αν \(b \neq 0\) και \(d^2 - abd + b^2 c = 0\).

Από τη μορφή \((x^2 + ax + c) + (bx + d)i = 0\), μια πραγματική ρίζα ικανοποιεί \(bx + d = 0 \Rightarrow x = -d/b\) (άρα \(b \neq 0\)). Υποκαθιστώντας, παίρνουμε \(d^2 - abd + b^2 c = 0\). Το αντίστροφο αποδεικνύεται με την ίδια διαδικασία.

Θεώρημα 4 — Δύο Μη Συζυγείς Μιγαδικές Ρίζες

Η εξίσωση έχει δύο μιγαδικές ρίζες που δεν είναι συζυγείς αν \(b \neq 0\) και \(d^2 - abd + b^2 c \neq 0\).

Οι προηγούμενες περιπτώσεις (Θεωρήματα 1–3) καλύπτουν όλες τις άλλες δυνατές καταστάσεις. Αν \(b \neq 0\) και η συνθήκη του Θεωρήματος 3 αποτυγχάνει, τότε καμία ρίζα δεν είναι πραγματική και δεν ισχύει η συζυγία.

---

Πίνακας Σύνοψης

Φύση των ριζών	Αναγκαίες και επαρκείς συνθήκες
Δύο πραγματικές ρίζες (ή διπλή)	\(b = d = 0\) και \(a^2 - 4c \ge 0\)
Δύο συζυγείς μιγαδικές ρίζες	\(b = d = 0\) και \(a^2 - 4c < 0\)
Μία πραγματική και μία μιγαδική ρίζα	\(b \neq 0\) και \(d^2 - abd + b^2 c = 0\)
Δύο μη συζυγείς μιγαδικές ρίζες	\(b \neq 0\) και \(d^2 - abd + b^2 c \neq 0\)

Σχόλια

• Όταν \(b = d = 0\), έχουμε εξίσωση με πραγματικούς συντελεστές και εφαρμόζεται ο κλασικός διακρίνων.
• Όταν \(b \neq 0\), η σχέση \(bx + d = 0\) δίνει την πιθανή πραγματική ρίζα· η συνθήκη \(d^2 - abd + b^2 c = 0\) καθορίζει αν αυτή υπάρχει.
• Με μιγαδικούς συντελεστές, οι ρίζες δεν είναι υποχρεωτικά συζυγείς.