Απόσταση σημείου από ευθεία — Εμβαδόν τριγώνου 🔢

📏 Απόσταση σημείου από ευθεία

Όταν ένα σημείο δεν ανήκει σε μια ευθεία, θέλουμε συχνά να μετρήσουμε «πόσο μακριά» βρίσκεται από αυτήν. Ως απόσταση ορίζουμε πάντα το μήκος του κάθετου ευθύγραμμου τμήματος από το σημείο προς την ευθεία — όχι ενός τυχαίου τμήματος. Αυτό συμβαίνει επειδή η κάθετη είναι το συντομότερο δυνατό μονοπάτι από το σημείο στην ευθεία: κάθε πλάγιο τμήμα προς άλλο σημείο της ευθείας θα ήταν μεγαλύτερο.

Ο τύπος αυτός είναι πολύ χρήσιμος επειδή δεν χρειάζεται καθόλου να βρούμε το ίχνος της κάθετης πάνω στην ευθεία· αρκεί να αντικαταστήσουμε τις συντεταγμένες του σημείου στο πολυώνυμο $Ax + By + \Gamma$ της ευθείας, να πάρουμε την απόλυτη τιμή (ώστε η απόσταση να είναι πάντα μη αρνητική, ανεξάρτητα από τη σχετική θέση του σημείου) και να διαιρέσουμε με το μέτρο $\sqrt{A^2 + B^2}$ των συντελεστών $A, B$.

📝 Απόδειξη

Από το σημείο $P(x_1, y_1)$ φέρουμε κάθετη στην ευθεία $(\varepsilon): Ax + By + \Gamma = 0$ στο σημείο $K$ και κάθετη στον άξονα των τετμημένων που τέμνει την ευθεία στο σημείο $E$.

Από το ορθογώνιο τρίγωνο $PKE$ έχουμε:

Για το $συν\theta$ ισχύει:

Το σημείο $E$ είναι το κοινό σημείο των ευθειών $x = x_1$ και $Ax + By + \Gamma = 0$, δηλαδή $E\left(x_1, \frac{-Ax_1 - \Gamma}{B}\right)$.

Για το μήκος του $(PE)$, ισχύει:

Τελικά:

Η ιδέα της απόδειξης είναι απλή: αντί να μετρήσουμε απευθείας την κάθετη απόσταση $(PK)$, μετράμε πρώτα ένα οριζόντιο τμήμα $(PE)$ —που υπολογίζεται εύκολα, αφού $P$ και $E$ έχουν την ίδια τετμημένη— και μετά το «διορθώνουμε» πολλαπλασιάζοντάς το με $συν\theta$, ώστε να περάσουμε από την πλάγια απόσταση στην κάθετη.

📌 Ειδικές περιπτώσεις

Οι δύο αυτές περιπτώσεις είναι απλώς ο γενικός τύπος εφαρμοσμένος σε ειδικές ευθείες: για $x = a$ έχουμε $A = 1$, $B = 0$, $\Gamma = -a$, οπότε ο παρονομαστής γίνεται $\sqrt{1^2+0^2}=1$ και ο τύπος απλοποιείται σε $|x_1 - a|$. Αντίστοιχα για $y = \beta$. Δεν χρειάζεται να τις απομνημονεύσεις ξεχωριστά· αν θυμάσαι τον γενικό τύπο, προκύπτουν αυτόματα.

Αν το σημείο $P(x_1, y_1)$ ανήκει στην ευθεία $(\varepsilon)$, τότε η απόσταση είναι μηδέν, αφού οι συντεταγμένες του επαληθεύουν την εξίσωση της ευθείας, δηλαδή $Ax_1 + By_1 + \Gamma = 0$, και ο αριθμητής του τύπου μηδενίζεται. Αυτό είναι λογικό: ένα σημείο πάνω στην ευθεία δεν έχει καμία απόσταση να διανύσει για να τη φτάσει.

📐 Εμβαδόν τριγώνου

Ο τύπος απόστασης σημείου από ευθεία δεν χρησιμεύει μόνο για να μετρήσουμε αποστάσεις — αποτελεί και το «κλειδί» για να υπολογίσουμε το εμβαδόν ενός τριγωνίου απευθείας από τις συντεταγμένες των κορυφών του, χωρίς να χρειαστεί να σχεδιάσουμε τίποτα ή να μετρήσουμε γωνίες.

📝 Απόδειξη

Θεωρούμε τρίγωνο $AB\Gamma$ με $A(x_1, y_1)$, $B(x_2, y_2)$, $\Gamma(x_3, y_3)$ και φέρουμε το ύψος $A\Delta$ από την κορυφή $A$ προς την απέναντι πλευρά $B\Gamma$. Το εμβαδόν κάθε τριγώνου ισούται με το μισό γινόμενο μιας πλευράς επί το αντίστοιχο ύψος της, άρα:

Η ιδέα είναι να εκφράσουμε τόσο το μήκος $(B\Gamma)$ όσο και το ύψος $(A\Delta)$ μέσω των συντεταγμένων, ώστε να μην χρειάζεται να τα υπολογίσουμε ξεχωριστά με τον τύπο απόστασης δύο σημείων. Παρατηρούμε ότι το ύψος $(A\Delta)$ δεν είναι τίποτα άλλο από την απόσταση της κορυφής $A$ από την ευθεία που ορίζει η πλευρά $B\Gamma$.

Η εξίσωση της ευθείας $B\Gamma$ είναι:

Για το μήκος του $A\Delta$, εφαρμόζοντας τον τύπο απόστασης σημείου από ευθεία με σημείο $A(x_1, y_1)$:

Ο παρονομαστής $\sqrt{(x_3 - x_2)^2 + (y_3 - y_2)^2}$ είναι ακριβώς το μήκος $(B\Gamma)$, οπότε όταν αντικαταστήσουμε στον τύπο του εμβαδού, ο παρονομαστής αυτός απλοποιείται με το $(B\Gamma)$ του πολλαπλασιασμού:

Παρατηρούμε ότι η παράσταση μέσα στην απόλυτη τιμή είναι ακριβώς το ανάπτυγμα της ορίζουσας $3 \times 3$ που σχηματίζουν οι συντεταγμένες των τριών κορυφών με μια στήλη μονάδων, άρα:

Το πλεονέκτημα αυτού του τύπου είναι ότι δεν χρειάζεται να αναγνωρίσουμε ποια πλευρά θα παίξει τον ρόλο της «βάσης» ή να υπολογίσουμε ύψη· απλώς τοποθετούμε τις τρεις συντεταγμένες σε μια ορίζουσα.

📍 Συνευθειακά σημεία

Αν στην τοποθεσία των τριών κορυφών $A$, $B$, $\Gamma$ η ορίζουσα μηδενιστεί, τότε το «τρίγωνο» που θα σχημάτιζαν δεν έχει καθόλου εμβαδόν — που σημαίνει ότι στην πραγματικότητα τα τρία σημεία δεν σχηματίζουν καν τρίγωνο, αλλά βρίσκονται όλα πάνω στην ίδια ευθεία. Αυτή η παρατήρηση οδηγεί σε ένα πολύ πρακτικό κριτήριο για να ελέγξουμε αν τρία σημεία είναι συνευθειακά, χωρίς να χρειάζεται να βρούμε την εξίσωση καμίας ευθείας.

📝 Απόδειξη

Αν τα σημεία είναι συνευθειακά με $x_1 \neq x_2 \neq x_3$, τότε οι πλευρές $AB$ και $A\Gamma$ ανήκουν στην ίδια ευθεία, άρα έχουν τον ίδιο συντελεστή διεύθυνσης: $\lambda_{AB} = \lambda_{A\Gamma}$:

Μετά από υπολογισμούς (πολλαπλασιάζοντας σταυρωτά και μεταφέροντας όλους τους όρους σε ένα μέλος), προκύπτει:

Αν $x_1 = x_2 = x_3 = \kappa$ (τα σημεία βρίσκονται σε κατακόρυφη ευθεία), τότε η πρώτη στήλη της ορίζουσας γίνεται σταθερή, οπότε η ορίζουσα ισούται με $\kappa \cdot 0 = 0$, αφού δύο γραμμές της αντίστοιχης βοηθητικής ορίζουσας ταυτίζονται.

📊 Απόσταση παράλληλων ευθειών

Ο τύπος απόστασης σημείου από ευθεία ισχύει μόνο ανάμεσα σε ένα σημείο και μια ευθεία, όμως μπορούμε να τον αξιοποιήσουμε και για να βρούμε την απόσταση ανάμεσα σε δύο παράλληλες ευθείες. Επειδή δύο παράλληλες ευθείες απέχουν την ίδια απόσταση σε όλο το μήκος τους, αρκεί να μετρήσουμε αυτή την απόσταση σε ένα μόνο σημείο.

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