Γενική μορφή εξίσωσης ευθείας $Ax + By + \Gamma = 0$ 🔢

🧭 Γιατί χρειαζόμαστε μια νέα μορφή εξίσωσης

Μέχρι τώρα μια ευθεία γραφόταν συνήθως ως $y = \lambda x + \beta$, όπου $\lambda$ είναι η κλίση και $\beta$ το σημείο τομής με τον άξονα $y'y$. Αυτή η μορφή έχει όμως ένα πρόβλημα: δεν μπορεί να περιγράψει κάθε ευθεία του επιπέδου. Μια κατακόρυφη ευθεία, όπως η $x = 3$, δεν έχει καθορισμένη κλίση — δεν υπάρχει $\lambda$ που να τη γράφει στη μορφή $y = \lambda x + \beta$.

Χρειαζόμαστε λοιπόν μία ενιαία μορφή που να χωράει κάθε δυνατή ευθεία — πλάγια, οριζόντια ή κατακόρυφη — μέσα στην ίδια εξίσωση. Αυτή είναι η γενική μορφή:

με τον περιορισμό $A \neq 0$ ή $B \neq 0$ (δηλαδή τουλάχιστον ένας από τους δύο συντελεστές $A$, $B$ να μην είναι μηδέν). Η ιδέα είναι απλή: αντί να απομονώνουμε το $y$, αφήνουμε τους όρους $x$ και $y$ μαζί στο ίδιο μέλος, με ίσο "καθεστώς" — και έτσι η εξίσωση δεν χρειάζεται πια να διαιρέσει με τον συντελεστή του $y$ για να υπάρξει.

📐 Κάθε τέτοια εξίσωση παριστάνει ευθεία

Η απόδειξη εξηγεί ταυτόχρονα γιατί η κλίση παίρνει ακριβώς αυτή τη μορφή, ανάλογα με το ποιοι από τους συντελεστές $A$, $B$ είναι μηδέν.

✏️ Απόδειξη — διάκριση περιπτώσεων

Το κλειδί της απόδειξης είναι να δούμε τι συμβαίνει όταν προσπαθούμε να λύσουμε την εξίσωση ως προς $y$. Αυτό είναι δυνατό μόνο όταν ο συντελεστής του $y$, δηλαδή το $B$, είναι διάφορος του μηδενός.

Αν $B \neq 0$: μπορούμε να διαιρέσουμε με το $B$ και να απομονώσουμε το $y$. Η εξίσωση $Ax + By + \Gamma = 0$ γράφεται

η οποία έχει ακριβώς τη γνωστή μορφή $y = \lambda x + \beta$, με κλίση $\lambda = -\frac{A}{B}$. Μέσα σε αυτή την περίπτωση διακρίνουμε δύο υποπεριπτώσεις, ανάλογα με το $A$:

• Αν επιπλέον $A \neq 0$, τότε η κλίση $\lambda = -\frac{A}{B}$ είναι διάφορη του μηδενός — η ευθεία είναι πλάγια και δεν είναι παράλληλη με κανέναν από τους δύο άξονες συντεταγμένων.
• Αν $A = 0$, τότε ο όρος $Ax$ εξαφανίζεται και η εξίσωση γίνεται $y = -\frac{\Gamma}{B}$ — δηλαδή το $y$ παραμένει σταθερό ό,τι τιμή κι αν πάρει το $x$. Αυτό περιγράφει μια ευθεία παράλληλη με τον άξονα των τετμημένων, με κλίση $\lambda = 0$.

Αν $B = 0$: τότε, αφού πρέπει τουλάχιστον ένας από τους $A$, $B$ να είναι διάφορος του μηδενός, αναγκαστικά $A \neq 0$. Η εξίσωση γίνεται $Ax + \Gamma = 0$, δηλαδή

Εδώ το $x$ παραμένει σταθερό ανεξάρτητα από το $y$ — αυτό είναι ακριβώς το χαρακτηριστικό μιας ευθείας παράλληλης με τον άξονα των τεταγμένων. Δεν ορίζεται κλίση σε αυτή την περίπτωση, γιατί μια τέτοια ευθεία δεν μπορεί να γραφτεί στη μορφή $y = \lambda x + \beta$ — ακριβώς το κενό που ήρθε να καλύψει η γενική μορφή.

🔎 Πότε η εξίσωση παριστάνει πράγματι ευθεία

Ο έλεγχος αυτός είναι το πρώτο βήμα κάθε φορά που συναντάς μια εξίσωση της μορφής $Ax + By + \Gamma = 0$: πριν μιλήσεις για κλίση ή για σχήμα της ευθείας, βεβαιώσου ότι πράγματι πρόκειται για ευθεία.

🧮 Πώς αναγνωρίζουμε τη μορφή της ευθείας από τους συντελεστές

Συνοψίζοντας την απόδειξη, μπορούμε να «διαβάσουμε» τη μορφή της ευθείας απευθείας από τους συντελεστές $A$ και $B$, χωρίς καν να λύσουμε την εξίσωση:

Ο λόγος που αυτός ο πίνακας «δουλεύει» είναι ότι ο συντελεστής του $x$ (το $A$) ελέγχει αν η ευθεία «αντιδρά» στις μεταβολές του $x$, και ο συντελεστής του $y$ (το $B$) αν «αντιδρά» στις μεταβολές του $y$. Όταν λείπει ο ένας από τους δύο, η ευθεία γίνεται «αδιάφορη» ως προς την αντίστοιχη μεταβλητή — και αυτό είναι ακριβώς η παραλληλία με τον άξονα της μεταβλητής που λείπει.

📐 Συντρέχουσες ευθείες

Μέχρι εδώ εξετάσαμε μία μόνο ευθεία. Η γενική μορφή όμως φανερώνει τη δύναμή της όταν συγκρίνουμε πολλές ευθείες ταυτόχρονα — και συγκεκριμένα όταν θέλουμε να ξέρουμε αν τρεις ευθείες περνούν από το ίδιο σημείο, χωρίς να λύσουμε συστήματα εξισώσεων δύο-δύο.

Τρεις ή περισσότερες ευθείες που διέρχονται από το ίδιο σημείο ονομάζονται συντρέχουσες.

Η ιδέα πίσω από αυτό το κριτήριο είναι η εξής: αν υπάρχει ένα κοινό σημείο $(x_0, y_0)$ που ικανοποιεί και τις τρεις εξισώσεις ταυτόχρονα, τότε το σύστημα των τριών εξισώσεων με αγνώστους $x$, $y$ και τον «τεχνητό» άγνωστο $1$ έχει λύση διάφορη της μηδενικής. Αυτό είναι ακριβώς η συνθήκη που κάνει την ορίζουσα των συντελεστών να μηδενίζεται — το ίδιο κριτήριο μηδενισμού ορίζουσας που έχει ήδη συνδεθεί με την ύπαρξη λύσης σε γραμμικά συστήματα.