Introduction to Analytic Geometry

Analytic geometry was independently invented by René Descartes and Pierre de Fermat in the 17th century. Descartes' publication of La Géométrie in 1637 formalized the Cartesian coordinate system, forever changing mathematics by providing a systematic way to translate geometric shapes into algebraic equations, and vice versa. This breakthrough paved the way for the development of calculus by Isaac Newton and Gottfried Wilhelm Leibniz.

The Cartesian Coordinate System consists of two perpendicular number lines intersecting at a point called the origin $O(0,0)$.

A directed line segment is a fundamental geometric entity that not only represents a length between two points but strictly assigns a direction from an initial "tail" point to a terminal "head" point. Unlike a standard line segment whose length is always positive, the measure of a directed line segment can be negative depending on its orientation relative to the coordinate axes. In standard Cartesian coordinates, the directed distance from a starting point A $(x_A, y_A)$ to an ending point B $(x_B, y_B)$ on a purely horizontal line is mathematically calculated simply as $x_B - x_A$. Conversely, if the line is strictly vertical, the directed distance is $y_B - y_A$. This basic concept forms the absolute foundation for higher-level mathematics, heavily influencing the rigorous definitions of vectors, parametric equations, and the fundamental calculation of slope.

The true Euclidean distance $d$ between any two arbitrary points $P_1(x_1, y_1)$ and $P_2(x_2, y_2)$ represents the absolute shortest length of the straight line segment connecting them across the 2D plane. It is derived directly and elegantly from the Pythagorean Theorem ($a^2 + b^2 = c^2$). By treating the connected segment as the hypotenuse of a right-angled triangle, the lengths of the two perpendicular legs are exactly the absolute differences in the $x$ and $y$ coordinates.

The midpoint $M$ of a line segment joining two points $P_1(x_1, y_1)$ and $P_2(x_2, y_2)$ is the point exactly halfway between them. Its coordinates are simply the average of the coordinates of the endpoints.

To find a point $P(x, y)$ that divides the directed line segment from $P_1(x_1, y_1)$ to $P_2(x_2, y_2)$ in a specific ratio $r = \frac{P_1P}{PP_2}$:

Alternatively, if the ratio is given as $m:n$ (i.e., $P_1P : PP_2 = m : n$), the formula becomes:

The slope (or gradient) $m$ of a line measures its steepness and direction. It is defined as the ratio of the "rise" (vertical change) to the "run" (horizontal change) between any two distinct points on the line.

The inclination $\theta$ of a line is the smallest positive angle measured counterclockwise from the positive x-axis to the line.

The relationship between two lines can often be quickly determined by comparing their slopes, $m_1$ and $m_2$.

When two non-perpendicular lines intersect, they form two pairs of vertical angles. The tangent of the angle $\alpha$ measured counterclockwise from line 1 (with slope $m_1$) to line 2 (with slope $m_2$) can be found using the slopes.

The locus of an equation is the geometric path or curve consisting of all points $(x,y)$—and only those points—whose coordinates satisfy the given equation. Before graphing complex curves, analyzing symmetry can drastically reduce the workload.

Analytic geometry provides a powerful, rigorous alternative method for proving classic geometric theorems, universally known as coordinate proofs (or analytic proofs). Instead of relying strictly on synthetic axioms and logical deductive chains (like in traditional Euclidean geometry), we systematically map geometric figures onto a standard coordinate plane. By doing this, abstract geometric relationships are converted directly into concrete algebraic equations. Crucial geometric properties—such as whether lines are truly parallel, if intersections form strict right angles, or if bisecting diagonals cut exactly through midpoints—can be proven conclusively by crunching the numbers using the basic distance, midpoint, and slope formulas.

Three or more points are collinear if they all lie on a single straight line. In analytic geometry, there are multiple algebraic ways to prove that three given points, $P_1(x_1, y_1)$, $P_2(x_2, y_2)$, and $P_3(x_3, y_3)$, are exactly collinear.

The area of a polygon with vertices $(x_1, y_1), \dots, (x_n, y_n)$ listed in consecutive counter-clockwise order can be calculated using the Shoelace Formula. If listed in clockwise order, the result will simply be negative.

The general equation of a conic section (circle, parabola, ellipse, or hyperbola) is a second-degree equation in $x$ and $y$:

The type of conic section can be determined by the discriminant $\Delta = B^2 - 4AC$ (assuming the conic is not degenerate):