Τρεις συντρέχουσες ευθείες
ε
1
,
ε
2
,
ε
3
{\displaystyle \varepsilon _{1},\varepsilon _{2},\varepsilon _{3}}
, που αποτελούν μία δέσμη ευθειών με κέντρο το σημείο τομής τους
O
{\displaystyle {\rm {O}}}
.
Στην γεωμετρία , συντρέχουσες ονομάζονται δύο ή περισσότερες ευθείες που τέμνονται σε (ακριβώς) ένα σημείο .[ 1]
Ένα σύνολο των ευθειών που συντρέχουν λέγονται δέσμη ευθειών και το σημείο τομής τους λέγεται το κέντρο της.
Έστω δύο παράλληλες ευθείες
δ
1
,
δ
2
{\displaystyle \delta _{1},\delta _{2}}
και τρεις ευθείες
ε
1
,
ε
2
,
ε
3
{\displaystyle \varepsilon _{1},\varepsilon _{2},\varepsilon _{3}}
που τέμνουν αυτές τις ευθείες στα σημεία
A
1
,
B
1
,
A
2
,
B
2
,
A
3
,
B
3
{\displaystyle {\rm {A_{1},B_{1},A_{2},B_{2},A_{3},B_{3}}}}
αντίστοιχα. Οι
ε
1
,
ε
2
,
ε
3
{\displaystyle \varepsilon _{1},\varepsilon _{2},\varepsilon _{3}}
αποτελούν δέσμη, αν και μόνο αν
A
1
A
2
B
1
B
2
=
A
2
A
3
B
2
B
3
=
A
3
A
1
B
3
B
1
{\displaystyle {\rm {{\frac {A_{1}A_{2}}{B_{1}B_{2}}}={\frac {A_{2}A_{3}}{B_{2}B_{3}}}={\frac {A_{3}A_{1}}{B_{3}B_{1}}}}}}
,
δηλαδή τα τμήματα που αποκόπτουν από τις παράλληλες είναι ανάλογα μεταξύ τους.
Απόδειξη
Σχήμα απόδειξης.
Τα τρίγωνα
O
A
1
A
2
{\displaystyle {\rm {OA_{1}A_{2}}}}
και
O
B
1
B
2
{\displaystyle {\rm {OB_{1}B_{2}}}}
είναι όμοια καθώς
A
1
O
A
2
^
=
B
1
O
B
2
^
{\displaystyle {\widehat {\rm {A_{1}OA_{2}}}}={\widehat {\rm {B_{1}OB_{2}}}}}
είναι κοινή, και
O
A
1
A
2
^
=
O
B
1
B
2
^
{\displaystyle {\widehat {\rm {OA_{1}A_{2}}}}={\widehat {\rm {OB_{1}B_{2}}}}}
ως εντός εκτός και επί ταυτά γωνίες που σχηματίζονται από τις παράλληλες
δ
1
,
δ
2
{\displaystyle \delta _{1},\delta _{2}}
και την τέμνουσα
ε
1
{\displaystyle \varepsilon _{1}}
.
Επομένως,
A
1
A
2
B
1
B
2
=
O
A
2
O
B
2
{\displaystyle {\rm {{\frac {A_{1}A_{2}}{B_{1}B_{2}}}={\frac {OA_{2}}{OB_{2}}}}}}
.
(1 )
Αντίστοιχα, από τα όμοια τρίγωνα
O
A
2
A
3
{\displaystyle {\rm {OA_{2}A_{3}}}}
και
O
B
2
B
3
{\displaystyle {\rm {OB_{2}B_{3}}}}
, έχουμε ότι
A
2
A
3
B
2
B
3
=
O
A
2
O
B
2
{\displaystyle {\rm {{\frac {A_{2}A_{3}}{B_{2}B_{3}}}={\frac {OA_{2}}{OB_{2}}}}}}
.
(2 )
Συνδυάζοντας τις (1 ) και (2 ), λαμβάνουμε ότι
A
1
A
2
B
1
B
2
=
A
2
A
3
B
2
B
3
{\displaystyle {\rm {{\frac {A_{1}A_{2}}{B_{1}B_{2}}}={\frac {A_{2}A_{3}}{B_{2}B_{3}}}}}}
.
Τέλος, από την ιδιότητα των κλασμάτων
α
β
=
γ
δ
=
α
+
γ
β
+
δ
{\displaystyle {\frac {\alpha }{\beta }}={\frac {\gamma }{\delta }}={\frac {\alpha +\gamma }{\beta +\delta }}}
λαμβάνουμε την ζητούμενη.
Η εξίσωση της δέσμης ευθειών είναι η
κ
(
α
1
x
+
β
1
y
+
γ
1
)
+
λ
(
α
2
x
+
β
2
y
+
γ
2
)
=
0
{\displaystyle \kappa \left({{\alpha }_{1}}x+{{\beta }_{1}}y+{{\gamma }_{1}}\right)+\lambda \left({{\alpha }_{2}}x+{{\beta }_{2}}y+{{\gamma }_{2}}\right)=0}
:
(
1
)
{\displaystyle :(1)}
Οι συντεταγμένες του κέντρου βρίσκονται από την επίλυση του συστήματος
(
Σ
)
:
{
α
1
x
+
β
1
y
+
γ
1
=
0
α
2
x
+
β
2
y
+
γ
2
=
0
{\displaystyle \left(\Sigma \right):\left\{{\begin{matrix}{{\alpha }_{1}}x+{{\beta }_{1}}y+{{\gamma }_{1}}=0\\{{\alpha }_{2}}x+{{\beta }_{2}}y+{{\gamma }_{2}}=0\\\end{matrix}}\right.}
Αν
κ
=
1
{\displaystyle \kappa =1}
τότε έχουμε
(
α
1
x
+
β
1
y
+
γ
1
)
+
λ
(
α
2
x
+
β
2
y
+
γ
2
)
=
0
{\displaystyle \left({{\alpha }_{1}}x+{{\beta }_{1}}y+{{\gamma }_{1}}\right)+\lambda \left({{\alpha }_{2}}x+{{\beta }_{2}}y+{{\gamma }_{2}}\right)=0}
:
(
2
)
{\displaystyle :(2)}
μια μονοπαραμετρική οικογένεια ευθειών. Η μονοπαραμετρική οικογένεια ευθειών
(
2
)
{\displaystyle (2)}
μαζί με την ευθεία
α
2
x
+
β
2
y
+
γ
2
=
0
{\displaystyle {{\alpha }_{2}}x+{{\beta }_{2}}y+{{\gamma }_{2}}=0}
αποτελούν την δέσμη ευθειών
(
1
)
{\displaystyle (1)}
. Η ίδια δέσμη ορίζεται και για
λ
=
1
{\displaystyle \lambda =1}
μαζί με την ευθεία
α
1
x
+
β
1
y
+
γ
1
=
0
{\displaystyle {{\alpha }_{1}}x+{{\beta }_{1}}y+{{\gamma }_{1}}=0}
Αν
P
(
x
0
,
y
0
)
{\displaystyle \mathrm {P} \left({{x}_{0}},{{y}_{0}}\right)}
το κέντρο της δέσμης
(
1
)
{\displaystyle \left(1\right)}
, τότε είναι και το κέντρο της μονοπαραμετρικής οικογένειας ευθειών
(
2
)
{\displaystyle \left(2\right)}
. Η δέσμη ευθειών που διέρχονται από το
P
(
x
0
,
y
0
)
{\displaystyle \mathrm {P} \left({{x}_{0}},{{y}_{0}}\right)}
καλύπτει όλο το επίπεδο, δηλαδή η δέσμη ευθειών με κέντρο το
P
(
x
0
,
y
0
)
{\displaystyle \mathrm {P} \left({{x}_{0}},{{y}_{0}}\right)}
περιέχει όλες τις ευθείες του επιπέδου που διέρχονται από αυτό ενώ δεν ισχύει το ίδιο για την μονοπαραμετρική οικογένεια ευθειών .
Για παράδειγμα το σύνολο των ευθειών της δέσμης
κ
(
x
+
2
y
+
1
)
+
λ
(
x
+
y
)
=
0
,
|
κ
|
+
|
λ
|
≠
0
{\displaystyle \kappa \left(x+2y+1\right)+\lambda \left(x+y\right)=0,\left|\kappa \right|+\left|\lambda \right|\neq 0}
είναι το σύνολο των ευθειών της μονοπαραμετρικής οικογένειας ευθειών
(
x
+
2
y
+
1
)
+
λ
(
x
+
y
)
=
0
{\displaystyle \left(x+2y+1\right)+\lambda \left(x+y\right)=0}
μαζί με την ευθεία
x
+
y
=
0
{\displaystyle x+y=0}
.
Στο παραπάνω παράδειγμα η δέσμη ευθειών
κ
(
x
+
2
y
+
1
)
+
λ
(
x
+
y
)
=
0
{\displaystyle \kappa \left(x+2y+1\right)+\lambda \left(x+y\right)=0}
έχει κέντρο το
P
(
1
,
−
1
)
{\displaystyle \mathrm {P} \left(1,-1\right)}
. Παρατηρούμε ότι η ευθεία με εξίσωση
x
+
y
=
0
{\displaystyle x+y=0}
διέρχεται από το
P
(
1
,
−
1
)
{\displaystyle \mathrm {P} \left(1,-1\right)}
και ανήκει στην δέσμη ευθειών αφού παράγεται από αυτήν για
κ
=
0
{\displaystyle \kappa =0}
και
λ
=
1
{\displaystyle \lambda =1}
ενώ η μονοπαραμετρική οικογένεια ευθειών
(
x
+
2
y
+
1
)
+
λ
(
x
+
y
)
=
0
{\displaystyle \left(x+2y+1\right)+\lambda \left(x+y\right)=0}
δεν μπορεί να την παράγει αφού δεν υπάρχει τιμή του πραγματικού αριθμού
λ
{\displaystyle \lambda }
ώστε
1
+
λ
2
+
λ
=
1
{\displaystyle {\frac {1+\lambda }{2+\lambda }}=1}
και
1
2
+
λ
=
0
{\displaystyle {\frac {1}{2+\lambda }}=0}
.
Αν είναι γνωστό το κέντρο
P
(
x
0
,
y
0
)
{\displaystyle \mathrm {P} \left({{x}_{0}},{{y}_{0}}\right)}
της δέσμης ευθειών τότε οι εξισώσεις των ευθειών της είναι η οικογένεια
y
−
y
0
=
λ
(
x
−
x
0
)
{\displaystyle y-{{y}_{0}}=\lambda \left(x-{{x}_{0}}\right)}
μαζί με την ευθεία
x
=
x
0
{\displaystyle x={{x}_{0}}}
↑ Στεργίου, Μπάμπης (2003). Ολυμπιάδες Μαθηματικών: Μαθηματικοί Διαγωνισμοί Α'Λυκείου . Σαββάλας. σελίδες 156–157.