Sign In
Given a line ℓ, the Perpendicular Postulate states that there is one and only one line perpendicular to ℓ that passes through a certain point P.
The parallel postulate states that for a point, P, not on the line, ℓ, there exists exactly one line through P that is parallel to ℓ.
There exist several equivalent axioms to the parallel postulate but they all stem from the following statement.
If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.
If a plane contains two points, then it contains the line passing through the points.
This postulate is accepted without a proof.
Consider two points on a plane and the line passing through them.
If the line is not contained in the plane, then there must be a point that lies on the line but not on the plane. Planes have infinite width and length but no height, so for this to be the case, the line must curve away from the plane.
However, a line is always straight — it cannot curve away from the plane. Therefore, if a plane contains two points, it must contain the line passing through them.
Given any three noncollinear points, there exists exactly one plane that contains them all.
This postulate is accepted without a proof.
Infinitely many planes pass through two given points. Any plane that contains the two points can be rotated about the line that connects the points. This will generate new planes that contain the two points.
Adding a third point allows a single plane to be specified. If two different planes containing the three points existed, they would overlap and, therefore, be indistinguishable.
This means that there is only one plane that passes through any three noncollinear points.