Analytic Geometry

⚡ Key Takeaways

Analytic geometry is the study of geometric figures using a coordinate system, where points become ordered pairs (or triples) of numbers and curves become equations. Its key result: every geometric problem can be translated into algebra and solved by computation. It applies anywhere shape meets number — physics, engineering, computer graphics, navigation. Founded independently by René Descartes and Pierre de Fermat around 1637.

💡 The Core Insight

A point is a pair of numbers; a curve is an equation. Once you impose a coordinate grid on the plane, geometry becomes a dictionary: "lies on the line" means "satisfies the equation," "distance" means "a formula in the coordinates," "intersection" means "solve the system." Every geometric question is now an algebraic one, and vice versa. This dictionary runs both ways and is the engine of all that follows.

DefinitionThe Cartesian Coordinate System

A rectangular (Cartesian) coordinate system in the plane consists of two perpendicular number lines, the x-axis (horizontal) and y-axis (vertical), meeting at the origin $O$ . Each point $P$ is assigned an ordered pair $(x, y)$ , where $x$ is the signed perpendicular distance from the y-axis (the abscissa) and $y$ is the signed perpendicular distance from the x-axis (the ordinate). The axes divide the plane into four quadrants, numbered I–IV counterclockwise starting from the upper right.

DefinitionDistance Formula

For points $P_1 = (x_1, y_1)$ and $P_2 = (x_2, y_2)$ :

1

\quad d(P_1, P_2) = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}

Derivation hint: form a right triangle with horizontal leg $|x_2 - x_1|$ and vertical leg $|y_2 - y_1|$ ; the distance is the hypotenuse. Here $x_1, x_2$ are abscissas, $y_1, y_2$ are ordinates, and $d \ge 0$ is the straight-line distance.

DefinitionMidpoint Formula

The midpoint $M$ of the segment from $P_1$ to $P_2$ is:

2

\quad M = \left( \frac{x_1 + x_2}{2},\ \frac{y_1 + y_2}{2} \right)

Derivation hint: the midpoint's coordinate is the arithmetic mean (average) of the endpoints' coordinates in each axis independently.

DefinitionSlope of a Line

The slope $m$ measures steepness — the ratio of vertical change to horizontal change:

3

\quad m = \frac{y_2 - y_1}{x_2 - x_1}, \qquad x_1 \ne x_2

Derivation hint: "rise over run"; choose any two distinct points on the line — the ratio is constant because of similar triangles. A vertical line has undefined slope ( $x_1 = x_2$ ); a horizontal line has slope $0$ .

TheoremEquations of a Line

A non-vertical line may be written in several equivalent forms.

Slope–intercept form, where $b$ is the y-intercept:

4

\quad y = mx + b

Derivation hint: start from the slope between $(x,y)$ and the intercept $(0,b)$ , then solve for $y$ .

Point–slope form, through $(x_1, y_1)$ with slope $m$ :

5

\quad y - y_1 = m(x - x_1)

Derivation hint: rearrange the slope formula $m = (y - y_1)/(x - x_1)$ by multiplying through.

General (standard) form, with $A, B$ not both zero:

6

\quad Ax + By + C = 0

Derivation hint: clear denominators and collect all terms on one side; this form also covers vertical lines, which slope forms cannot.

TheoremParallel and Perpendicular Lines

Two non-vertical lines with slopes $m_1$ and $m_2$ are:

Parallel if and only if $m_1 = m_2$ .
Perpendicular if and only if $m_1 m_2 = -1$ , equivalently $m_2 = -1/m_1$ .

TheoremEquation of a Circle

A circle of radius $r$ centered at $(h, k)$ is the set of all points at distance $r$ from the center:

7

\quad (x - h)^2 + (y - k)^2 = r^2

Derivation hint: apply the distance formula [1] from $(h,k)$ to a general point $(x,y)$ , set it equal to $r$ , and square both sides.

TheoremThe General Conic and Its Discriminant

Every conic section is the locus of a second-degree equation in two variables:

8

\quad Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0

Derivation hint: a conic is the intersection of a plane with a double cone; projecting this 3-D intersection onto coordinates always yields a degree-2 equation. The non-degenerate type is fixed by the discriminant $\Delta = B^2 - 4AC$ :

9

\quad \begin{cases} B^2 - 4AC < 0 & \text{ellipse (circle if } A = C,\ B = 0)\\ B^2 - 4AC = 0 & \text{parabola}\\ B^2 - 4AC > 0 & \text{hyperbola} \end{cases}

Derivation hint: the cross-term $Bxy$ corresponds to a rotation; the sign of $B^2 - 4AC$ is invariant under rotation and translation, so it classifies the curve unambiguously.

ProofThe Distance Formula from Pythagoras

We derive equation [1] rigorously. 1. Let $P_1 = (x_1, y_1)$ and $P_2 = (x_2, y_2)$ be distinct points. 2. Construct the point $Q = (x_2, y_1)$ , directly below or above $P_2$ and level with $P_1$ . Then $\triangle P_1 Q P_2$ has a right angle at $Q$ (its legs run along the axes' directions). 3. The horizontal leg $P_1 Q$ has length $|x_2 - x_1|$ ; the vertical leg $Q P_2$ has length $|y_2 - y_1|$ . 4. By the Pythagorean theorem, $d^2 = |x_2 - x_1|^2 + |y_2 - y_1|^2$ . 5. Since squaring removes the absolute values, $d^2 = (x_2 - x_1)^2 + (y_2 - y_1)^2$ . 6. Taking the non-negative square root gives [1]. $\blacksquare$

∎

ProofThe Perpendicularity Condition

m_1 m_2 = -1

We show two non-vertical lines are perpendicular iff the product of slopes is $-1$ . 1. Translate so the lines cross at the origin; slopes are unchanged by translation. 2. Line 1 passes through $(1, m_1)$ ; line 2 passes through $(1, m_2)$ . 3. The lines are perpendicular iff the origin and these two points form a right angle at the origin, i.e. iff the distance from $(1,m_1)$ to $(1,m_2)$ satisfies Pythagoras with the two radii. 4. Compute: $|O(1,m_1)|^2 + |O(1,m_2)|^2 = (1 + m_1^2) + (1 + m_2^2)$ . 5. The squared distance between the points: $(1-1)^2 + (m_2 - m_1)^2 = m_2^2 - 2m_1 m_2 + m_1^2$ . 6. Right angle requires these equal: $2 + m_1^2 + m_2^2 = m_1^2 + m_2^2 - 2 m_1 m_2$ . 7. Cancel and simplify: $2 = -2 m_1 m_2$ , hence $m_1 m_2 = -1$ . $\blacksquare$

∎

mathematician · René Descartes | 1596–1650

The French philosopher-mathematician whose 1637 La Géométrie (an appendix to the Discours de la méthode) inaugurated the systematic use of algebra to solve geometric problems. Legend holds he conceived coordinates while watching a fly crawl across his ceiling, realizing its position could be tracked by its distances from two walls. Descartes introduced the convention of using letters near the start of the alphabet for constants ( $a, b, c$ ) and near the end for variables ( $x, y, z$ ) — a notation still universal today. His name survives in the adjective Cartesian. Working at nearly the same time, Pierre de Fermat developed equivalent ideas in an unpublished manuscript, so the two share founding credit.

🧠 Intuition

Think of the coordinate plane as a city map with named streets. Every intersection has an address — "3rd Avenue and 5th Street" — exactly the ordered pair $(3, 5)$ . A line is the set of all addresses obeying a fixed rule, such as "your avenue number is twice your street number." A circle is "all addresses exactly 4 blocks from City Hall." To ask whether two roads cross is just to ask whether a single address obeys both rules at once — that's solving simultaneous equations. The deep payoff is that you never have to draw anything: questions about shapes, distances, and intersections become arithmetic you can hand to a calculator. Geometry stops being about seeing and starts being about computing.

Figure

A line of slope 2 and a circle of radius 2 in the Cartesian plane, with axes and a sample point

ExampleDistance, Midpoint, and Line Through Two Points

Given: Points $A = (1, 2)$ and $B = (7, 10)$ .

Find: (a) the distance $AB$ , (b) the midpoint $M$ , (c) the equation of line $AB$ .

(a) Distance — apply [1]:

d = \sqrt{(7-1)^2 + (10-2)^2} = \sqrt{6^2 + 8^2} = \sqrt{36 + 64} = \sqrt{100} = 10

(b) Midpoint — apply [2]:

M = \left( \frac{1+7}{2}, \frac{2+10}{2} \right) = (4, 6)

(c) Slope — apply [3]:

m = \frac{10 - 2}{7 - 1} = \frac{8}{6} = \frac{4}{3}

Now use point–slope form [5] with $A=(1,2)$ :

y - 2 = \tfrac{4}{3}(x - 1) \ \Rightarrow\ y = \tfrac{4}{3}x + \tfrac{2}{3}

Answers:

\boxed{d = 10 \text{ units}, \quad M = (4, 6), \quad y = \tfrac{4}{3}x + \tfrac{2}{3}}

ExampleIdentifying a Conic by Completing the Square

Given: The equation $x^2 + y^2 - 6x + 4y - 12 = 0$ .

Find: What curve is this, and what are its key parameters?

Step 1 — discriminant check. Here $A = 1$ , $B = 0$ , $C = 1$ , so $B^2 - 4AC = 0 - 4(1)(1) = -4 < 0$ with $A = C$ : by [9] this is a circle.

Step 2 — complete the square to reach center–radius form [7]:

(x^2 - 6x) + (y^2 + 4y) = 12

(x^2 - 6x + 9) + (y^2 + 4y + 4) = 12 + 9 + 4

(x - 3)^2 + (y + 2)^2 = 25

Step 3 — read off the parameters: center $(h, k) = (3, -2)$ and radius $r = \sqrt{25} = 5$ .

Answer:

\boxed{\text{Circle: center } (3,\,-2), \ \ \text{radius } r = 5 \text{ units}}

⚠️ Common mistake

Slope is not the angle, and "steeper" is not always "bigger number." Slope $m = \tan\theta$ , so the relationship to the inclination angle is nonlinear. A line of slope $1$ rises at $45°$ , but slope $2$ is only about $63°$ , not $90°$ — doubling slope does not double the angle. Also beware: a vertical line has undefined slope, not infinite or zero slope. Never write $y = mx + b$ for a vertical line; use $x = c$ instead.

⚠️ Common mistake

Squaring can introduce phantom solutions. When you derive the distance formula or solve $\sqrt{\,\cdots\,} = k$ by squaring, the squared equation may have solutions the original did not. Always keep the radius/distance non-negative ( $d \ge 0,\ r \ge 0$ ) and check candidate answers in the original equation.

Counterexample

"Every second-degree equation is an ellipse, parabola, or hyperbola" is false. Equation [8] can describe degenerate cases. For instance,

x^2 + y^2 = 0

has $B^2 - 4AC = -4 < 0$ (the "ellipse" sign), yet its only solution is the single point $(0,0)$ . Likewise $x^2 - y^2 = 0$ factors as $(x-y)(x+y) = 0$ , giving two intersecting lines, and $x^2 = 1$ gives two parallel lines. The discriminant classification holds only for genuine, non-degenerate conics.

connection

Analytic geometry is a hub linking many fields. It rests on Pythagorean Theorem (the distance formula) and on Linear Equations and Quadratic Equations (the algebra of lines and conics). It generalizes the synthetic figures of Euclidean Geometry into computable form, and it is the launching pad for Vectors in the Plane, which repackage points and directions as arrows. The conic sections themselves connect to Conic Sections as locus definitions, while the move to three coordinates leads into Three-Dimensional Coordinate Geometry. Most importantly, plotting a function $y = f(x)$ as a curve is precisely the analytic-geometry idea that makes Functions and Graphs visual, and ultimately makes Differential Calculus possible by giving slopes of tangent lines a coordinate meaning.

🔬 Where this appears

⏳ History

- c. 300 BCE — Euclid's Elements codifies synthetic geometry; figures are studied without coordinates or algebra.

- c. 200 BCE — Apollonius of Perga writes Conics, classifying ellipse, parabola, and hyperbola geometrically, foreshadowing later coordinate descriptions.

- c. 1000–1300 — Islamic mathematicians (Omar Khayyam, al-Tusi) solve cubic equations through intersecting conics, blending algebra and geometry.

- 1591 — François Viète introduces systematic symbolic algebra, supplying the notation that coordinate geometry would need.

- 1637 — René Descartes publishes La Géométrie; independently, Pierre de Fermat circulates Ad Locos Planos et Solidos Isagoge. The discipline is born.

- 1655–1660s — John Wallis and others popularize negative coordinates and the full four-quadrant plane.

- 1748 — Leonhard Euler's Introductio in analysin infinitorum systematizes analytic geometry of curves and surfaces, standardizing much modern notation.

- 1799–1827 — Gaspard Monge and others develop the three-dimensional and projective extensions, broadening the coordinate method.

- 19th c. — The marriage of coordinates with calculus, vectors, and linear algebra makes analytic geometry the universal language of modern mathematics and physics.

open-problem

Analytic geometry is "solved" at the introductory level, but its deeper choices reveal genuine subtlety. Coordinate systems are not unique: the same circle has different equations in Cartesian, polar, or rotated frames, and choosing the right coordinates can turn an intractable problem into a one-liner — yet there is no universal algorithm for the best choice. A second subtlety is the gap between algebra and geometry over different number systems: the "circle" $x^2 + y^2 = -1$ has no real points but is perfectly real over the complex numbers, a tension that algebraic geometry resolves by working over the complex field and projective space. Modern research in algebraic geometry continues to study when the set of solutions of polynomial equations (a "variety") is smooth, singular, or empty — questions that are computationally hard in general and connect to deep open problems about the structure of solution sets.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also