Collinear points are points that all lie on the same straight line.
Example
The points \(A\), \(B\) and \(C\) are collinear points.
Element Relation
Definition Element Relation
The relation is a point of (or "is an element of") is used to show that a point lies on a geometric figure, such as a line or segment. It is denoted by the symbol \(\in\).
Example
\(C \in \Line{AB}\) and \(C \notin \Segment{AB}\)
In this figure, point \(C\) lies on the line through points \(A\) and \(B\), so \(C \in \Line{AB}\). However, \(C\) does not lie on the segment between \(A\) and \(B\), so \(C \notin \Segment{AB}\).
Length
Definition Length of a Line Segment
The length of a line segment is the distance between its two endpoints.
Definition Length Notation
The length of a line segment is denoted by its endpoints, written as \(AB\).
Definition Equal Lengths
Line segments are equal in length if they have the same length. We use tick marks to show they are equal.
$$\begin{aligned}AB &= AI + IB&( I \text{ is the midpoint of } \Segment{AB})\\&= AI + AI\\& = 2 \times AI\end{aligned}$$Thus, \(AB = 2 \times AI\). To find \(AI\) in terms of \(AB\), we rearrange the equation:$$AI = \frac{AB}{2}.$$
Definition Perpendicular bisector
The perpendicular bisector of a line segment is a line which meets the segment at its midpoint perpendicularly.
Method Constructing the Perpendicular Bisector of \(\Segment{AB}\)
Construct two arcs of circles with the same radius and centers at \(A\) and \(B\).
The arcs intersect at points \(E\) and \(F\).
The perpendicular bisector of \(\Segment{AB}\) is the line \(\Line{EF}\).
Properties of Parallel Lines
Proposition Properties of Parallel Lines
If line \(\Line{l_1}\) is parallel to line \(\Line{l_2}\), and line \(\Line{l_2}\) is parallel to line \(\Line{l_3}\), then line \(\Line{l_1}\) is parallel to line \(\Line{l_3}\).
If , then .
If line \(\Line{l_1}\) is perpendicular to line \(\Line{l_3}\), and line \(\Line{l_2}\) is perpendicular to line \(\Line{l_3}\), then line \(\Line{l_1}\) is parallel to line \(\Line{l_2}\).
If , then .
If line \(\Line{l_1}\) is parallel to line \(\Line{l_2}\), and line \(\Line{l_1}\) is perpendicular to line \(\Line{l_3}\), then line \(\Line{l_2}\) is perpendicular to line \(\Line{l_3}\).