Register to reply 
Does there exist a pair of interesecting lines that arent coplanar 
Share this thread: 
#1
Oct312, 11:37 PM

P: 783

Suppose you have two lines that intersect at the point O. Let's say the lines are OP and OQ. Could you construct a plane that contains both these lines?
I can visually imagine this happening in the 3space, but I may be wrong. I was just wondering, because this allows one to define an angle between two lines in 3space if I remember correctly. What about in an nspace? Must two lines form a plane in an nspace? I imagine that in the same way two points define a line in nspace, two lines can define a plane in nspace, but because of my limited knowledge of linear algebra, I can't prove this. But I'm hoping to learn, perhaps someone can offer me their insights. BiP 


#2
Oct412, 12:19 AM

Mentor
P: 18,036

Yes, this is indeed true. Let's prove it. But to prove that, we need to know what a line is. What would you think the definition of a line is in ndimensional space? Let's work with lines through the origin since it's easier.



#3
Oct812, 06:21 PM

P: 5,462

Have you given up on this?
For n dimensions a straight line is represented by a set of (n1) simultaneous equations. It is only represented by a single equation in 2D. In general [tex]\frac{{x  {x_1}}}{{{x_2}  {x_1}}} = \frac{{y  {y_1}}}{{{y_2}  {y_1}}} = \frac{{z  {z_1}}}{{{z_2}  {z_1}}} = ...........[/tex] Which is complete for n=3 (2 equations) and continued by the dots. 


#4
Oct1012, 09:14 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,339

Does there exist a pair of interesecting lines that arent coplanar
Another way of looking at it, in three space, is this: given two intersecting lines we can define a vector in the direction of each line. The cross product of the two vectors is perpendicular to both and the plane defined by that perpendicular vector and the point of intersection of the two lines contains both lines.
For example, we can always set up a coordinate system so that the origin is at the point of intersection and the xaxis extends along one of the lines. Parametric coordinates for that line, in that coordinate system, are x= t, y= 0, z= 0. We can take x= as, y= bs, z= ds as parametric equations for the other line. <1, 0, 0> is a vector in the direction of the first vector and <a, b, c> is a vector in the direction of the other line. Their cross product, <0, c, b> is perpendicular to both and the plane cy+ bz= 0 contains both lines. As for defining an angle in nspace, most commonly we define it by exending the formula for dot product in two and three dimensional spaces: [itex]u\cdot v= uvcos(\theta)[/itex] where u and v are the lengths of vectors u and v and [itex]\theta[/itex] is the angle between them. As I say, we can prove that is true in two and three dimensions and then use it as definition of "angle" between two lines in higher dimensions. 


#5
Oct1012, 10:32 AM

P: 783

If one or more of the vectors is a zero vector, then any plane containing the other vector must necessarily contain the first vector. The vectors, whether parallel or not, must intersect because they can translated to have their terminal points at the origin. If the vectors intersect, the terminal points of each vector along with the point of intersection form a triangle. Since a triangle lies on a plane, the vectors must be coplanar. If the vectors are identical, then any plane containing a line which in turn contains either vector must contain both vectors. We know that there exists a plane containing any line in nspace and that there exists a line containing any vector in nspace. (is this true?) Is this reasoning correct? In nspace also? BiP 


#6
Oct1012, 10:43 AM

P: 5,462

I wish HOI hadn't introduced vectors, I find they confuse things.
Any single line in space sweeps out a plane. A plane divides n (n>2) space into two halves. Consequently if you have two lines the planes they sweep out either intersect or are parallel. Two planes intersect in a line. Two lines may neither intersect nor be parallel in any space of dimension greater than or equal to 3. These are called skew lines. 


#7
Oct1012, 08:20 PM

P: 4,572

Following on from what Studiot said, you can find these intersections using normal matrix rowreduction and you can determine skewlines by seeing if you get an inconsistent solution to your set of equations.



#8
Oct1112, 09:59 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,339

It is a fundamental theorem of three dimensional Euclidean geometry that two intersecting lines lie in a unique plane. It is also true that two parallel lines lie in a unique plane. Two lines that are not parallel and do not intersect, "skew" lines, do not lie in a plane.



#9
Dec312, 03:36 AM

P: 18




#10
Dec312, 05:53 AM

P: 5,462

Each part goes from the point to 'infinity' Formally we call these parts intervals. The 'infinite' end is open. We can include the whole line by including the point in one interval or other, but not both. 


#11
Dec312, 10:21 AM

P: 18

right, that is pretty intuitive isn't it. Could a line segment divide a number line into uneven parts? Considering the line segment is finite



#12
Dec712, 10:51 AM

Sci Advisor
P: 1,716

As I remember it is actually a postulate of Euclidean geometry that two intersecting lines determine a plane, not a theorem.
The Cartesian coordinate system is set up to be a model of Euclid's postulates. One can see this from distance measurement along Cartesian straight lines because it obeys the Pythagorean theorem. Once you know this all else follows. 


#13
Dec1212, 08:07 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,339




#14
Dec1212, 10:20 AM

P: 5,462

Thank you Halls of Ivy for tightening up on my terminology I really should have said hyperplane, dimension (n1), and reserved 'plane' for dimension n=2.



Register to reply 
Related Discussions  
Circle becomes a pair of parallel lines  Differential Geometry  9  
Two coplanar lines and finding the equation  Precalculus Mathematics Homework  9  
Two coplanar lines and finding the equation  Precalculus Mathematics Homework  1  
Do electrons exist within a Cooper Pair?  Atomic, Solid State, Comp. Physics  20  
Intersection of Two Coplanar Lines in 3 Dimensions  Calculus & Beyond Homework  5 