|
|
|
|
pencil of lines
|
(Theorem)
|
|
|
Let
 |
(1) |
be equations of some lines. Use the short notations $A_ix+B_iy+C_i \,:=\, L_i$ .
If the lines $L_1 = 0$ and $L_2 = 0$ have an intersection point $P$ , then, by the parent entry, the equation
 |
(2) |
with various real values of $k_1$ and $k_2$ can represent any line passing through the point $P$ ; this set of lines is called a pencil of lines.
Theorem. A necessary and sufficient condition in order to three lines $$L_1 = 0, \quad L_2 = 0, \quad L_3 = 0$$ pass through a same point, is that the determinant formed by the coefficients of their equations (1) vanishes: $$ \left|\begin{matrix} A_1 & B_1 & C_1\\ A_2 & B_2 & C_2\\ A_3 & B_3 & C_3 \end{matrix}\right| =
\left|\begin{matrix} A_1 & A_2 & A_3\\ B_1 & B_2 & B_3\\ C_1 & C_2 & C_3 \end{matrix}\right| = 0. $$
Proof. If the line $L_3 = 0$ belongs to the fan of lines determined by the lines $L_1 = 0$ and $L_2 = 0$ , i.e. all the three lines have a common point, there must be the identity $$L_3 \equiv L_1+L_2,$$ i.e. there exist three real numbers $k_1$ , $k_2$ , $k_3$ , which are not all zeroes, such that the equation
 |
(3) |
is satisfied identically by all real values of $x$ and $y$ . This means that the group of homogeneous linear equations
has nontrivial solutions $k_1,\,k_2,\,k_3$ . By linear algebra, it follows that the determinant of this group of equations has to vanish.
Suppose conversely that the determinant vanishes. This implies that the above group of equations has a nontrivial solution $k_1,\,k_2,\,k_3$ . Thus we can write the identic equation (3). Let e.g. $k_1 \neq 0$ . Solving (3) for $L_1$ yields $$L_1 \equiv -\frac{k_2L_2+k_3L_3}{k_1},$$ which shows that the line $L_1 = 0$ belongs to the fan determined by the lines $L_2 = 0$ and $L_3 = 0$ ; so the lines pass through a common point.
- 1
- LAURI PIMIÄ: Analyyttinen geometria. Werner Söderström Osakeyhtiö, Porvoo and Helsinki (1958).
|
Anyone with an account can edit this entry. Please help improve it!
"pencil of lines" is owned by pahio. [ full author list (2) ]
|
|
(view preamble | get metadata)
Cross-references: identic equation, implies, conversely, linear algebra, solutions, linear equations, homogeneous, group, identity, proof, vanishes, coefficients, determinant, pass through, necessary and sufficient, theorem, passing through, real, point, intersection, lines, equations
There is 1 reference to this entry.
This is version 5 of pencil of lines, born on 2008-06-16, modified 2009-03-08.
Object id is 10707, canonical name is FanOfLines.
Accessed 720 times total.
Classification:
| AMS MSC: | 51N20 (Geometry :: Analytic and descriptive geometry :: Euclidean analytic geometry) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|