Does there exist a pair of interesecting lines that arent coplanar

  • Thread starter Bipolarity
  • Start date
  • Tags
    Lines Pair
In summary, in n-dimensional space, two intersecting lines can define a plane that contains both lines. This can be proven through the use of vectors and the cross product, and the definition of an angle in higher dimensions can be extended from two and three dimensions. Additionally, two parallel lines also lie in a unique plane in n-dimensional space. If one or more of the vectors is a zero vector, then any plane containing the other vector must also contain the first vector. In the case of identical vectors, any plane containing a line which in turn contains either vector must contain both vectors. However, in spaces with dimensions greater than or equal to 3, two lines may neither intersect nor be parallel, and these are known as skew lines.
  • #1
Bipolarity
776
2
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 3-space, but I may be wrong. I was just wondering, because this allows one to define an angle between two lines in 3-space if I remember correctly.

What about in an n-space? Must two lines form a plane in an n-space?

I imagine that in the same way two points define a line in n-space, two lines can define a plane in n-space, 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
 
Physics news on Phys.org
  • #2
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 n-dimensional space? Let's work with lines through the origin since it's easier.
 
  • #3
Have you given up on this?

For n dimensions a straight line is represented by a set of (n-1) 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
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 x-axis 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 n-space, most commonly we define it by exending the formula for dot product in two and three dimensional spaces:
[itex]u\cdot v= |u||v|cos(\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
HallsofIvy said:
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 x-axis 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 n-space, most commonly we define it by exending the formula for dot product in two and three dimensional spaces:
[itex]u\cdot v= |u||v|cos(\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.

Thank you for that comprehensive reply! Therefore, am I correct in concluding that for any two vectors there exsits a plane on which they both lie?

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 n-space and that there exists a line containing any vector in n-space. (is this true?)

Is this reasoning correct? In n-space also?

BiP
 
  • #6
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.
 
Last edited:
  • #7
Following on from what Studiot said, you can find these intersections using normal matrix row-reduction and you can determine skew-lines by seeing if you get an inconsistent solution to your set of equations.
 
  • #8
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
Studiot said:
A plane divides n (n>2) space into two halves.

Is this really true? So am I correct in guessing one could prove that the amount of space on one side of a plane is equally as infinite as on the other side??
 
  • #10
Is this really true? So am I correct in guessing one could prove that the amount of space on one side of a plane is equally as infinite as on the other side??

A point divides a line into two parts.
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
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
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
Studiot said:
A plane divides n (n>2) space into two halves.

boings said:
Is this really true? So am I correct in guessing one could prove that the amount of space on one side of a plane is equally as infinite as on the other side??
That depends upon what you mean by "plane". Some texts use the term "plane" to mean a "flat" subset of [itex]R^n[/itex] of dimension 2 no matter what n is and use the term "hyper-plane" to mean a "flat" subset of dimension n-1. Other texts use the term "plane" to mean a "flat" subspace of dimension n-1.
 
  • #14
Thank you Halls of Ivy for tightening up on my terminology I really should have said hyperplane, dimension (n-1), and reserved 'plane' for dimension n=2.
 

1. What does it mean for lines to be coplanar?

Two lines are coplanar if they both lie on the same plane. This means that they do not intersect and can be drawn on a flat surface without crossing each other.

2. Can intersecting lines ever be coplanar?

No, intersecting lines cannot be coplanar. If two lines intersect, they must do so at a single point, and it is impossible for them to both lie on the same plane without intersecting again.

3. Are all intersecting lines coplanar?

Yes, all intersecting lines are coplanar. This is because they must intersect at a single point, and therefore lie on the same plane.

4. How can you determine if two lines are coplanar?

To determine if two lines are coplanar, you can try to draw them on a flat surface and see if they intersect. Alternatively, you can use a geometric formula to calculate their distance from each other to see if they lie on the same plane.

5. Is it possible for intersecting lines to not be coplanar?

Yes, it is possible for intersecting lines to not be coplanar. This occurs when the lines intersect at a point, but one or both of the lines is at an angle or is not parallel to the other lines in the same plane.

Similar threads

Replies
19
Views
2K
  • Differential Geometry
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
13
Views
377
  • Classical Physics
Replies
18
Views
1K
  • Precalculus Mathematics Homework Help
Replies
17
Views
905
Replies
6
Views
3K
Replies
4
Views
523
  • Differential Geometry
Replies
27
Views
5K
Replies
10
Views
2K
  • Differential Geometry
Replies
4
Views
2K
Back
Top