PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: High
[parent] pencil of lines (Theorem)

Let

$\displaystyle A_ix+B_iy+C_i = 0$ (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

$\displaystyle k_1L_1+k_2L_2 = 0$ (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

$\displaystyle k_1L_1+k_2L_2+k_3L_3 \equiv 0$ (3)

is satisfied identically by all real values of $x$ and $y$ . This means that the group of homogeneous linear equations
\begin{align*}\begin{cases}k_1A_1+k_2A_2+k_3A_3 = 0,\\ k_1B_1+k_2B_2+k_3B_3 = 0,\\ k_1C_1+k_2C_2+k_3C_3 = 0 \end{cases}\end{align*}    

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.

Bibliography

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)

View style:

See Also: line in plane, determinant, homogeneous linear problem, pencil


This object's parent.
Log in to rate this entry.
(view current ratings)

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 MSC51N20 (Geometry :: Analytic and descriptive geometry :: Euclidean analytic geometry)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)