Ευθεία

Πρότυπο:Multiple image Στην γεωμετρία, ευθεία είναι γραμμή, απείρου μήκους και μηδενικού πάχους, χωρίς αρχή και τέλος και απολύτως ίσια.

Πιο αυστηρά, μία ευθεία στο επίπεδο είναι το σύνολο των σημείων με συντεταγμένες $(x,y)$ που ικανοποιούν την γραμμική εξίσωση

$Ax+By+\mathrm{\Gamma }=0$,

όπου $A,B,\mathrm{\Gamma }$ είναι πραγματικοί αριθμοί, και τουλάχιστον ένας από τους $A$ και $B$ δεν είναι $0$.

Ευθεία με εξίσωση $y=\lambda x+\beta$, όπου $\lambda =\tan \phi$.

Αν η ευθεία δεν είναι παράλληλη στο άξονα $\mathrm{O}y$ τότε μπορεί να πάρει την μορφή

$y=\lambda x+\beta$.

Το $\lambda$ λέγεται συντελεστής διεύθυνσης της ευθείας και είναι ίσος με την εφαπτομένη της γωνίας της ευθείας με τον άξονα $\mathrm{O}y$. Το $(0,\beta )$ είναι το σημείο τομής της ευθείας με τον $\mathrm{O}y$.

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

Σχετικές θέσεις δύο ευθειών στο επίπεδο

Δύο ευθείες του ίδιου επιπέδου μπορεί να έχουν:

1. Ένα κοινό σημείο, δηλαδή να τέμνονται. Υποχρεωτικά ανήκουν στο ίδιο επίπεδο.
2. Δύο ή περισσότερα κοινά σημεία, όποτε υποχρεωτικά ταυτίζονται.
3. Κανένα κοινό σημείο. Αν ανήκουν στο ίδιο επίπεδο, τότε λέγονται παράλληλες.

Εξίσωση ευθείας στο επίπεδο

Γραμμική εξίσωση

Μία ευθεία $\epsilon$ είναι το σύνολο των σημείων του επιπέδου με συντεταγμένες $(x,y)$ που ικανοποιούν την εξίσωση

$Ax+By+\mathrm{\Gamma }=0$,

όπου $A,B,\mathrm{\Gamma }$ είναι πραγματικοί αριθμοί. Επιπλέον ένα από τα $A,B$ πρέπει να είναι διάφορο του μηδενός.

Σημείωση 1: Όταν $A,B\ne 0$, τότε η εξίσωση μπορεί να γραφτεί ως

$\frac{x}{a}+\frac{y}{b}=1$,

όπου $(a,0)$ και $(0,b)$ είναι τα σημεία τομής της ευθείας με τους άξονες $\mathrm{O}x$ και $\mathrm{O}y$ αντίστοιχα.

Σημείωση 2: Η παραπάνω εξίσωση της ευθείας δίνει την διανυσματική ερμηνεία, ως ο γεωμετρικός τόπος των σημείων $\overrightarrow{x}$ που έχουν σταθερό εσωτερικό γινόμενο (ίσο με $\mathrm{\Gamma }$) με ένα σταθερό διάνυσμα $\overrightarrow{n}=(A,B)$, δηλαδή

$\epsilon =\{\overrightarrow{x}\in {ℝ}^2:\overrightarrow{n}\cdot \overrightarrow{x}=\mathrm{\Gamma }\}$.

Παραμετρική εξίσωση

Τα σημεία της ευθείας $\epsilon$ που διέρχεται από το σημείο $\overrightarrow{x}=(x_0,y_0)$ με διεύθυνση $\overrightarrow{d}=(d_x,d_y)$ έχουν συντεταγμένες

$x=x_0+t\cdot d_x$ και $y=y_0+t\cdot d_y$,

για κάθε πραγματική τιμή της παραμέτρου $t$.

Με την μορφή διανυσμάτων μπορεί να γραφτεί και ως

$\epsilon =\{\overrightarrow{x}\in {ℝ}^2:\overrightarrow{x}+t\cdot \overrightarrow{d}\}$.

Ευθεία μεταξύ δύο σημείων

Υπολογισμός συντελεστή διεύθυνσης της ευθείας μεταξύ των $\mathrm{K}$ και $\mathrm{\Lambda }$, όπου
$\tan \phi =\frac{{\mathrm{\Lambda }}_y-{\mathrm{K}}_y}{{\mathrm{\Lambda }}_x-{\mathrm{K}}_x}$.

Έστω δύο διακριτά σημεία $({\mathrm{K}}_x,{\mathrm{K}}_y)$ και $({\mathrm{\Lambda }}_x,{\mathrm{\Lambda }}_y)$. Διακρίνουμε τις εξής δύο περιπτώσεις για την εξίσωση της ευθείας:

• Περίπτωση 1^η: Ισχύει ότι ${\mathrm{K}}_x={\mathrm{\Lambda }}_x$. Η ευθεία είναι κάθετη στον άξονα $\mathrm{O}x$ και έχει εξίσωση

$x={\mathrm{K}}_x$.

• Περίπτωση 2^η: Ισχύει ότι ${\mathrm{K}}_x\ne {\mathrm{\Lambda }}_x$. Η ευθεία έχει κλίση

$\lambda =\frac{{\mathrm{\Lambda }}_y-{\mathrm{K}}_y}{{\mathrm{\Lambda }}_x-{\mathrm{K}}_x}$,

και καθώς διέρχεται από το $({\mathrm{K}}_x,{\mathrm{K}}_y)$, θα έχει εξίσωση

$y-{\mathrm{K}}_y=\lambda \cdot (x-{\mathrm{K}}_x)$.

Κανονική μορφή

Η κανονική μορφή (ή μορφή Hesse) της εξίσωσης της ευθείας $Ax+By+\mathrm{\Gamma }=0$ είναι η εξίσωση

$\frac{A}{\sqrt{A^2+B^2}}\cdot x+\frac{B}{\sqrt{A^2+B^2}}\cdot y+\frac{\mathrm{\Gamma }}{\sqrt{A^2+B^2}}=0$.

Η εξίσωση μπορεί επίσης να γραφτεί ως

$(\cos \omega )\cdot x+(\sin \omega )\cdot y+d=0$,

όπου $\omega$ είναι η προσημασμένη γωνία της ευθείας που συνδέει την αρχή των αξόνων με το κοντινότερο σημείο της ευθείας και $d$ είναι η (προσημασμένη) απόσταση της αρχής των αξόνων από την ευθεία. Πρότυπο:Μαθηματική απόδειξη

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

Η απόσταση ενός σημείου $\mathrm{P}=({\mathrm{P}}_x,{\mathrm{P}}_y)$ από μία ευθεία $\epsilon$ με εξίσωση $Ax+By+\mathrm{\Gamma }=0$ δίνεται από τον τύπο

$d=\frac{|A\cdot {\mathrm{P}}_x+B\cdot {\mathrm{P}}_y+\mathrm{\Gamma }|}{\sqrt{A^2+B^2}}$.

Από τον παραπάνω τύπο προκύπτει ότι δύο παράλληλες ευθείες με εξισώσεις

$Ax+By+{\mathrm{\Gamma }}_1=0({\epsilon }_1)$,

$Ax+By+{\mathrm{\Gamma }}_2=0({\epsilon }_2)$,

έχουν απόσταση

$d=\frac{|{\mathrm{\Gamma }}_2-{\mathrm{\Gamma }}_1|}{\sqrt{A^2+B^2}}$.

Γωνία μεταξύ ευθειών

Πρότυπο:Multiple image Δύο ευθείες με διευθύνσεις ${\overrightarrow{d}}_1$ και ${\overrightarrow{d}}_2$ έχουν μεταξύ τους γωνία $\vartheta$ με

$\cos \vartheta =\frac{|{\overrightarrow{d}}_1\cdot {\overrightarrow{d}}_2|}{|{\overrightarrow{d}}_1|\cdot |{\overrightarrow{d}}_2|}$,

όπου ${\overrightarrow{d}}_1\cdot {\overrightarrow{d}}_2$ είναι το εσωτερικό τους γινόμενο και $|{\overrightarrow{d}}_1|,|{\overrightarrow{d}}_2|$ τα μέτρα τους.

Στην ειδική περίπτωση που $\cos \vartheta =0$, δηλαδή οι ευθείες σχηματίζουν τέσσερις ορθές γωνίες, λέμε ότι οι ευθείες είναι κάθετες. Πρότυπο:Clear

Σημείο τομής δύο ευθειών

Η εύρεση του σημείου τομής δύο ευθειών ανάγεται στην επίλυση ενός συστήματος δύο εξισώσεων με δύο αγνώστους (τα $x,y$):

$A_{1}x+B_{1}y=-{\mathrm{\Gamma }}_1$,

$A_{2}x+B_{2}y=-{\mathrm{\Gamma }}_2$,

για το οποίο υπάρχουν διάφοροι τρόποι, όπως η μέθοδος της αντικατάστασης, η μέθοδος των αντίθετων συντελεστών, ο κανόνας του Κράμερ, η Γκαουσιανή απαλοιφή, κ.λπ.

Σχετικές έννοιες

• Ευθύγραμμο τμήμα: Το τμήμα μίας ευθείας μεταξύ των δύο σημείων της ευθείας. Πιο αυστηρά, το σύνολο των σημείων του ευθυγράμμου τμήματος μεταξύ των σημείων $\overrightarrow{a}$ και $\overrightarrow{b}$ είναι

$\{t\cdot \overrightarrow{a}+(1-t)\cdot \overrightarrow{b}:t\in [0,1]\}$.

• Ημιευθεία: Το τμήμα μιας ευθείας που έχει αρχή ένα σημείο αυτής και εκτείνεται προς τη μια κατεύθυνση αυτής. Το σύνολο των σημείων των δύο ημιευθειών της ευθείας με κατεύθυνση $\overrightarrow{d}$ στο σημείο ${𝐱}_0$ είναι αντίστοιχα

$\{{𝐱}_0+t\cdot \overrightarrow{d}:t\ge 0\}$ και $\{{𝐱}_0+t\cdot \overrightarrow{d}:t\le 0\}$.

• Ημιεπίπεδο: Τα δύο ημιεπίπεδα που ορίζει μία ευθεία με εξίσωση $Ax+By+\mathrm{\Gamma }=0$ είναι τα σύνολα των σημείων που ικανοποιούν τις ανισότητες

$\{(x,y)\in {ℝ}^2:Ax+By+\mathrm{\Gamma }>0\}$,

ή αντίστοιχα

$\{(x,y)\in {ℝ}^2:Ax+By+\mathrm{\Gamma }<0\}$.

Σε ένα τρίγωνο

Σε ένα τρίγωνο υπάρχουν αρκετές αξιοσημείωτες ευθείες, οι οποίες είτε συντρέχουν σε συγκεκριμένα σημεία, είτε περιλαμβάνουν άλλα αξιοσημείωτα σημεία.

Ενδεικτικά, οι μεσοκάθετοι διέρχονται από το περίκεντρο, τα ύψη διέρχονται από το ορθόκεντρο, οι διχοτόμοι των γωνιών του διέρχονται από το έγκεντρο, οι διάμεσοι από το βαρύκεντρο, οι συμμετροδιάμεσοι από το σημείο Λεμουάν, κ.λπ. Αξιοσημείωτες ευθείες είναι η ευθεία Όιλερ, ευθεία Σίμσον-Γουάλας, ευθεία Στάινερ, κ.λπ.

Κατασκευές με κανόνα και διαβήτη

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

Σε πάνω από δύο διαστάσεις

Τρεις διαστάσεις

Σε τρεις διαστάσεις μία ευθεία $\epsilon$ ορίζεται ως το σύνολο στων σημείων του χώρου $(x,y,z)$ που ικανοποιεί την γραμμική εξίσωση

$Ax+By+\mathrm{\Gamma }z+\mathrm{\Delta }=0$,

για πραγματικούς αριθμούς $A,B,\mathrm{\Gamma },\mathrm{\Delta }$ όπου δεν είναι όλοι οι $A,B,\mathrm{\Gamma }$ μηδέν.

Παραμετρικές εξισώσεις

Τα σημεία της ευθείας $\epsilon$ που διέρχεται από το σημείο $\overrightarrow{x}=(x_0,y_0,z_0)$ με διεύθυνση $\overrightarrow{d}=(d_x,d_y,d_z)$ έχουν συντεταγμένες

$x=x_0+t\cdot d_x$,

$y=y_0+t\cdot d_y$, και

$z=z_0+t\cdot d_z$,

για κάθε πραγματική τιμή της παραμέτρου $t$.

Σημείωση: Με την μορφή διανυσμάτων μπορεί να γραφτεί ως το σύνολο σημείων

$\epsilon =\{\overrightarrow{x}\in {ℝ}^3:\overrightarrow{x}+t\cdot \overrightarrow{d}\}$.

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

Η απόσταση ενός σημείου $\overrightarrow{x}=(x,y,z)$ από μία ευθεία που διέρχεται από το σημείο ${\overrightarrow{x}}_0$ και έχει διεύθυνση $\overrightarrow{d}$, δίνεται από τον τύπο

$d=|(\overrightarrow{x}-{\overrightarrow{x}}_0)\times \hat{d}|$,

όπου $\hat{d}=d/|d|$.

Σημείωση: Η παραπάνω εξίσωση μπορεί να γραφτεί και με το εξωτερικό γινόμενο, ως το σύνολο των σημείων

$\epsilon =\{\overrightarrow{x}\in {ℝ}^3:(\overrightarrow{x}-{\overrightarrow{x}}_0)\times \overrightarrow{d}=0\}$.

Ελάχιστη απόσταση μεταξύ δύο ευθειών

Η ελάχιστη απόσταση μεταξύ δύο ευθειών με εξισώσεις ${\overrightarrow{r}}_1={\overrightarrow{x}}_1+t\cdot {\overrightarrow{d}}_1$ και ${\overrightarrow{r}}_2={\overrightarrow{x}}_2+t\cdot {\overrightarrow{d}}_2$ δίνεται από τον τύποΠρότυπο:R

$d=({\overrightarrow{x}}_2-{\overrightarrow{x}}_1)\cdot \hat{n}$,

όπου $\overrightarrow{n}={\overrightarrow{d}}_1\times {\overrightarrow{d}}_2$ και $\hat{n}=\frac{\overrightarrow{n}}{|\overrightarrow{n}|}$

Πάνω από τρεις διαστάσεις

Σε $n$ διαστάσεις μία ευθεία ορίζεται ως το σύνολο στων σημείων του χώρου $(x_1,x_2,\dots ,x_n)$ που ικανοποιεί την γραμμική εξίσωση

$A_1{x}_1+A_2{x}_2+\dots A_n{x}_n+A_{n+1}=0$,

για πραγματικούς αριθμούς $A_1,A_2,\dots ,A_n,A_{n+1}$ όπου δεν είναι όλοι οι $A_1,A_2,\dots ,A_n$ μηδέν.

Δείτε επίσης

• Ευθύγραμμο τμήμα
• Ημιευθεία
• Άξονας συμμετρίας

Περαιτέρω ανάγνωση

Εξωτερικοί σύνδεσμοι

• MathWorld Encyclopedia
• Εξισώσεις της ευθείας γραμμής στο cut-the-knot.

Παραπομπές

Πρότυπο:Ευθεία