4. Analytic Geometry¶
Analytic geometry is the combination of basic algebra using a coordinate system together with geometric definitions and constructions.
Example: Analytic geometry theorem
Given two lines with slopes \(m_1\) and \(m_2\), they are parallel if and only if \(m_1=m_2\) and perpendicular if and only if
Of course we use the Cartesion coordinate plane whenever we construct one ourselves. The process is simple and can be launched any time we have two distinct points.
Constructing the Cartesian Coordinate Plane¶
Two distinct, intersecting lines uniquely determine a plane. Say the points are \(P\) and \(Q\). We can create a coordinate system where \(\overline{PQ}\) is the \(x\)-axis and the unit interval is distance \(PQ\). The \(y\)-axis is the unique line through \(P\) perpendicular to \(\overline{AB}\).
Proof
Let two points \(P\) and \(Q\) be arbitrary. Let \(P\) be called the origin, and let \(PQ=1\) (Distance Postulate). By Axiom 1 (Line Uniqueness), call \(\overleftrightarrow{PQ}\) the \(x\)-axis. Utilize Axiom 3 (Ruler Postulate) to mark off units on \(x\)-axis. Construct the unique perpendicular to \(x\)-axis through the origin \(P\) (Neutral Geometry Theorem 2.2.18). Call it the \(y\)-axis and mark off units (Axiom 3).
Remember that the origin of our coordinate system is completely arbitrary. We can choose any two points. This flexibility can be quite helpful when proving and solving problems in analytic geometry.