GLOBAL KNOWLEDGE ARK

Mathematics · Article

Conic sections and coordinate geometry

Start with a five-unit circle, then discover how fixed distance sums, absolute differences and focus-to-line distances describe ellipses, hyperbolas and parabolas. Read their coordinate equations and features while retaining the conditions that make each curve valid.

Back to Mathematics

After reading, you can

  • Describe each conic as a set of points satisfying a distance condition, and establish both directions between that condition and its coordinate equation.
  • Read translated axis-aligned equations to find centres or vertices, orientations, foci, directrices, axis lengths and asymptotes with the correct signs and positive denominators.
  • Explain eccentricity as a guarded focus-to-directrix distance ratio, including the distinction between a circle's limiting eccentricity and a finite directrix construction.
  • Classify degenerate and excluded data honestly, and distinguish the complete locus and exact membership checks from a sampled or clipped drawing.
01

Prepare to connect distances and equations

You will use signed coordinates, the Pythagorean distance formula and completing the square. Revisit the preparation links if plotting a point, finding a distance or rewriting x² + 8x as (x + 4)² − 16 is unfamiliar.

On a first reading, follow the four distance definitions, their adjacent diagrams and the feature tables, then try the worked examples. Read the first paragraph of each ellipse and hyperbola proof to learn its defining condition; you can return to the remaining algebraic paragraphs afterward. The eccentricity classification and complete parameterisations are a return path once you can read the standard equations.

02

A conic is a complete set of points, not a handful of marks

Fix O = (−4, 3) and ask for every point exactly 5 units away. P = (−1, 7) qualifies because its horizontal and vertical displacements are 3 and 4, and √(3² + 4²) = 5. The centre O does not qualify: its distance from itself is zero. The qualifying points form a circle, including all positions around O rather than only the marked point.

A translated circumference or its boundary locusAn equal-unit coordinate diagram of the circle centred at O = (−4, 3) with radius 5. Its boundary point P₁ = (−1, 7) is joined to O by a solid radius segment. The centre is a reference point inside the circle, not on its boundary.rOP₁
The solid segment measures one radius. The full circumference is the locus; the shaded canvas does not mean its disk is included.
Exact distances represented by the segments
FromToDistance
P₁ = (−1, 7)O = (−4, 3)5 units

√(3² + 4²) = 5; (x + 4)² + (y − 3)² = 25

A locus is the set of every point satisfying a stated condition. Conic sections can arise from plane sections of a double cone; here we study their plane distance definitions and coordinate equations. Our ordinary circles, ellipses, hyperbolas and parabolas are nondegenerate curves. Some boundary data instead describe a point, segment, line, pair of rays or empty set, and a formula with a zero denominator is not a defined equation.

Use a Euclidean coordinate plane with perpendicular axes and the same length unit on both axes. The distance from P = (x, y) to F = (f, g) is √((x − f)² + (y − g)²). The distance from P to a vertical line x = d is |x − d|, and to a horizontal line y = d is |y − d|. These line distances are perpendicular distances; a chosen sloping segment to another point on the line is generally longer.

For a translated centre or vertex (h, k), write X = x − h and Y = y − k. Translation preserves all lengths and perpendicular directions. This lesson's standard forms have their principal or symmetry axes parallel to the coordinate axes. A general quadratic containing an xy term can require rotated axes; it must not be forced into the axis-aligned forms merely by ignoring that term.

To prove that a distance definition and an equation describe the same locus, prove both implications. Squaring nonnegative distances preserves an equality, but after isolating or squaring a signed expression we must check its sign before reversing the calculation. An exact test of a few points demonstrates membership for those points; it does not establish the full locus.

Distance conditions and hypotheses for ordinary conics
ConicDefining conditionRequired data
CircleDistance to a centre equals rr > 0
Noncircular ellipseSum of distances to two foci equals 2aFocus separation 2c; 0 < c < a
HyperbolaAbsolute difference of distances to two foci equals 2aFocus separation 2c; 0 < a < c
ParabolaDistance to a focus equals distance to a directrixFocus not on the directrix
03

A circle has one positive radius and a fixed centre

A circle of centre (h, k) and radius r > 0 consists exactly of the points with √(X² + Y²) = r. Both sides are nonnegative, so this is equivalent to X² + Y² = r². Conversely, the squared equation implies the original distance equals the positive root r. The four coordinate-direction endpoints are (h ± r, k) and (h, k ± r), and the full curve is symmetric about every line through its centre.

For an equation x² + y² + Dx + Ey + F = 0, completing both squares gives (x + D/2)² + (y + E/2)² = (D² + E²)/4 − F. Thus the candidate centre is (−D/2, −E/2). Call the right side R. A positive R gives an ordinary circle of radius √R, R = 0 gives only the centre point, and R < 0 gives no real point because a sum of squares cannot be negative.

The input 'radius −2' is outside the original distance definition: a nonnegative distance cannot equal −2. Squaring that input to obtain 4 would replace the original impossible distance condition with a different one. A supplied radius zero likewise gives a point rather than an ordinary positive-radius circle; retain the distinction instead of drawing an arbitrary positive circle.

Equal coefficients of x² and y² can identify a circle after dividing by their common nonzero coefficient and completing squares, provided no xy term remains. The resulting right side still needs its sign check. The centre of a positive-radius circle is not on its boundary, and points inside its disk should not be confused with points on the circle.

04

An ellipse keeps the sum of two focus distances constant

Place two distinct foci at (h − c, k) and (h + c, k), with c > 0. For P, let d₋ = √((X + c)² + Y²) and d₊ = √((X − c)² + Y²). The noncircular ellipse is defined by d₋ + d₊ = 2a with a > c. The sum must strictly exceed the focus separation 2c: equality would place P on the segment between the foci rather than on an ordinary ellipse.

A complete sum-distance locusAn equal-unit coordinate diagram of the ellipse centred at (1, 2), with semiaxes 5 and 4 and foci F₋ = (−2, 2) and F₊ = (4, 2). Solid and dotted segments join P₁ = (4, 26/5) to the two foci. Their distances are 34/5 and 16/5, whose sum is 10.d₋d₊OF₋F₊P₁
Follow the solid and dotted segments from one boundary point to its two foci. Their sum, rather than either distance alone, defines this ellipse.
Exact distances represented by the segments
FromToDistance
P₁ = (4, 26/5)F₋ = (−2, 2)34/5 units
P₁ = (4, 26/5)F₊ = (4, 2)16/5 units

34/5 + 16/5 = 10; (x − 1)²/25 + (y − 2)²/16 = 1

The squared-distance difference is d₋² − d₊² = 4cX. If their sum is 2a, their difference is 2cX/a, so d₋ = a + cX/a and d₊ = a − cX/a. Substituting either squared distance and simplifying gives X²/a² + Y²/(a² − c²) = 1. Put b² = a² − c² > 0. Then a > b > 0 and the standard horizontal equation is X²/a² + Y²/b² = 1.

The reverse implication needs the signs. The standard equation implies |X| ≤ a. Since c < a, both a + cX/a and a − cX/a are strictly positive. Substituting Y² = b²(1 − X²/a²) into the two distance squares gives d₋² = (a + cX/a)² and d₊² = (a − cX/a)². Taking their nonnegative square roots therefore gives d₋ + d₊ = 2a. This proves the entire locus in both directions, without assuming that a sketch settles the unsquaring step.

The relation c² = a² − b² places each focus inside the corresponding vertex: 0 < c < a. If the two foci coincide, c = 0, their distance sum 2a with a > 0 reduces to distance a from the common focus. The equation then has a = b and is a circle, the circular special case of an ellipse. There is no distinguished longer axis in that equal-axis case.

05

The larger ellipse denominator marks the major-axis direction

For a noncircular ellipse, a denotes the positive major semiaxis and b the positive minor semiaxis, so a > b > 0. In X²/a² + Y²/b² = 1, the major axis is horizontal; in X²/b² + Y²/a² = 1, it is vertical. The denominators are squares of semiaxis lengths, not the lengths themselves. The full major and minor axis lengths are 2a and 2b.

For the horizontal form, the vertices are (h ± a, k), the minor-axis endpoints are (h, k ± b), and the foci are (h ± c, k) where c = √(a² − b²) > 0. For the vertical form, exchange the X and Y roles: vertices (h, k ± a), minor endpoints (h ± b, k), and foci (h, k ± c). Each axis of symmetry passes through the centre (h, k).

Setting one translated coordinate to zero finds the corresponding axis endpoints. The full horizontal locus has h − a ≤ x ≤ h + a and k − b ≤ y ≤ k + b; each bound is attained. These statements follow from the two nonnegative terms in the equation and the actual endpoints. On a vertical ellipse the bounds instead use b horizontally and a vertically.

Do not declare X²/4 + Y²/9 = 1 invalid merely because the denominator under X is smaller. It is a valid vertical ellipse, with a = 3 and b = 2. Assign the symbols from the major-axis direction after reading the equation. A centre shown at (h, k) and two foci shown inside the curve are reference features, not additional points of the boundary.

Features of a noncircular ellipse with a > b > 0 and c² = a² − b²
FeatureHorizontal major axisVertical major axis
EquationX²/a² + Y²/b² = 1X²/b² + Y²/a² = 1
Vertices(h ± a, k)(h, k ± a)
Minor-axis endpoints(h, k ± b)(h ± b, k)
Foci(h ± c, k)(h, k ± c)
Full axis lengthsMajor 2a; minor 2bMajor 2a; minor 2b
06

A hyperbola retains both signs of a distance difference

Use distinct foci (h − c, k) and (h + c, k) with c > 0, and the same distance names d₋ and d₊. A nondegenerate hyperbola is the locus |d₋ − d₊| = 2a with 0 < a < c. The absolute value includes both branches. The equation d₋ − d₊ = 2a by itself selects the right branch, while the opposite signed difference selects the left branch.

Both difference-distance branches or their boundary locusAn equal-unit coordinate diagram showing both branches of the hyperbola centred at (1, −2), with transverse semiaxis 4 and other semiaxis 3. Solid and dotted segments join right-branch point P₁ = (6, 1/4) to F₋ = (−4, −2) and F₊ = (6, −2). The reflected point P₂ = (−4, −17/4) is on the left branch. Their signed distance differences are 8 and −8, with absolute difference 8 at both points. The curves continue beyond the viewing window.d₋d₊OF₋F₊P₁P₂H₋H₊
The solid and dotted segments measure distances from P₁. P₂ is its reflection in the centre. Compare both original checks below: taking an absolute difference retains both branches. Dashed asymptotes are reference lines, and the curve arrows mean continuation.
Exact distances represented by the segments
FromToDistance
P₁ = (6, 1/4)F₋ = (−4, −2)41/4 units
P₁ = (6, 1/4)F₊ = (6, −2)9/4 units

P₁: 41/4 − 9/4 = 8; P₂: 9/4 − 41/4 = −8; |d₋ − d₊| = 8

Let δ = d₋ − d₊. Since δ(d₋ + d₊) = 4cX and d₋ + d₊ > 0, δ has the same sign as X. Under |δ| = 2a, it is nonzero. Thus d₋ + d₊ = 2c|X|/a. Combining this sum with the signed difference and substituting either squared distance yields X²/a² − Y²/(c² − a²) = 1. Define b² = c² − a² > 0, giving the horizontal form X²/a² − Y²/b² = 1.

Conversely, that equation implies |X| ≥ a. Substitute Y² = b²(X²/a² − 1) into the distance squares to obtain d₋ = |cX/a + a| and d₊ = |cX/a − a|. Here |cX/a| ≥ c > a. If X is positive their difference is 2a; if X is negative it is −2a. The absolute difference is therefore 2a on both branches. These sign checks recover the original locus after squaring.

The vertices are (h ± a, k), the foci (h ± c, k), and c² = a² + b². The semiaxis a names the transverse, or opening, direction; unlike the ellipse, a need not exceed b. Exchanging the axes gives the vertical form Y²/a² − X²/b² = 1, with vertices (h, k ± a) and foci (h, k ± c). The positive squared term identifies the opening direction after the right side has been normalised to 1.

07

Hyperbola asymptotes guide a graph but are not part of it

For the horizontal form X²/a² − Y²/b² = 1, the asymptotes are Y = ±(b/a)X, or y − k = ±(b/a)(x − h). For the vertical form Y²/a² − X²/b² = 1, they are Y = ±(a/b)X. These lines pass through the centre. The auxiliary rectangle with half-width a and half-height b in the horizontal case supplies their slopes, but its corners and minor-direction endpoints are not on the hyperbola.

The horizontal equation gives Y = ±(b/a)√(X² − a²) for |X| ≥ a. As |X| increases without bound, the nonnegative gap |X| − √(X² − a²) equals a²/(|X| + √(X² − a²)) and tends to zero. For X tending to positive infinity, the square-root signs approach the two lines Y = ±(b/a)X with matching signs; for X tending to negative infinity, the signs are exchanged. This algebraic argument establishes both asymptotes; a few distant points do not prove the limiting behaviour.

Substituting either asymptote into the standard equation makes the left side zero, so no point on those lines satisfies the right side 1. This hyperbola never crosses its own asymptotes. The assertion follows from this particular equation, rather than a universal claim that every graph must avoid every asymptote.

The full horizontal locus has x ≤ h − a or x ≥ h + a and every real y occurs; the centre and the gap between the vertices are excluded. The vertical locus has y ≤ k − a or y ≥ k + a and every real x occurs. A finite viewing window clips these unbounded branches; the intersections with the window boundary are not endpoints of the mathematical curve.

Features of an ordinary hyperbola with a > 0, b > 0 and c² = a² + b²
FeatureHorizontal openingVertical opening
EquationX²/a² − Y²/b² = 1Y²/a² − X²/b² = 1
Vertices(h ± a, k)(h, k ± a)
Foci(h ± c, k)(h, k ± c)
AsymptotesY = ±(b/a)XY = ±(a/b)X
Transverse axis length2a2a
08

A parabola uses equal focus and perpendicular line distances

A parabola is the locus of points equally distant from a focus and a directrix line, with the focus not on the line. For a vertical axis, use vertex (h, k), focus (h, k + p) and directrix y = k − p, with p ≠ 0. The focus offset p is signed: its distance from the vertex is |p|. The vertex is halfway between the focus and its perpendicular foot on the directrix.

The defining equality is √(X² + (Y − p)²) = |Y + p|. Both sides are nonnegative, so squaring is reversible and gives X² + (Y − p)² = (Y + p)², hence X² = 4pY. Conversely, this polynomial equality makes the two squared distances equal; their nonnegative square roots recover the original equality. The absolute line distance handles both signs of p correctly.

A signed focus-and-directrix locusAn equal-unit coordinate diagram of the left-opening parabola with vertex V = (1, 3), focus F = (−2, 3), directrix x = 4 and signed focus offset p = −3. The focus-level chord endpoint C₊ = (−2, 9) is joined to F and to perpendicular foot H = (4, 9) on the directrix. Both segments have length 6; a right-angle mark distinguishes the perpendicular line distance. The curve continues beyond the viewing window.HPFPLVFC₊L
The dotted segment ends at H on the directrix and meets it at a right angle. Its length is the perpendicular line distance. The negative offset p determines the opening direction; the two measured distances are positive.
Exact distances represented by the segments
FromToDistance
C₊ = (−2, 9)F = (−2, 3)6 units
C₊ = (−2, 9)H = (4, 9)6 units

|C₊F| = 6 = dist(C₊, x = 4); (y − 3)² = −12(x − 1)

H is the perpendicular foot on the directrix.

If p > 0, the vertical parabola opens upward with y ≥ k; if p < 0 it opens downward with y ≤ k. Its axis is x = h. For a horizontal axis, the analogous equation is Y² = 4pX, with focus (h + p, k), directrix x = h − p and axis y = k. It opens right for p > 0 and left for p < 0. The number 4p in the equation is not the focus offset p.

A parabola has a vertex, not a centre of reflection symmetry. In a vertical parabola, setting Y = p finds the focus-level chord endpoints (h ± 2|p|, k + p); its length is 4|p|. For a horizontal parabola the corresponding endpoints are (h + p, k ± 2|p|). These endpoints lie on the curve, whereas the focus itself does not: substituting it into the defining distances gives zero to the focus but a positive distance 2|p| to the directrix.

At p = 0 the focus would lie on the directrix, violating the ordinary-parabola hypothesis. The remaining distance equality has a line as its locus: X² = 0 in the vertical orientation or Y² = 0 in the horizontal orientation. Calling that line an ordinary parabola would hide the missing focus/directrix separation.

09

Eccentricity compares distances under a nonzero line-distance guard

For a focus F not on a directrix line L and e > 0, consider PF = e·dist(P, L). On this locus the line distance cannot be zero: otherwise PF would also be zero, placing F on L. Thus the equivalent ratio PF/dist(P, L) = e is defined. The distance to L is perpendicular and nonnegative, so a signed coordinate difference must not replace it.

For the horizontal noncircular ellipse or hyperbola, e = c/a. Pair the right focus (h + c, k) with the directrix x = h + a²/c. The locus calculations above give PF = |a − cX/a| = (c/a)|X − a²/c|, so the ratio is e. Pair the left focus with x = h − a²/c in the same way. For vertical forms exchange the coordinate roles; their directrices are y = k ± a²/c. Ellipses have 0 < e < 1 and hyperbolas e > 1, while a parabola's original equal-distance definition gives e = 1.

The ratio also proves the classification in a suitable axis-aligned frame. Put F = (f, 0), L: u = d, with f ≠ d. Squaring √((u − f)² + v²) = e|u − d| is reversible. For e ≠ 1, completing the square gives (1 − e²)(u − H)² + v² = e²(f − d)²/(1 − e²), where H = (f − e²d)/(1 − e²). If 0 < e < 1, both quadratic coefficients and the right side are positive, giving an ellipse after division. If e > 1, multiply by −1 to obtain a positive u-square minus a positive v-square with a positive right side, giving a hyperbola. At e = 1 the equation instead becomes v² = 2(f − d)(u − (f + d)/2), an ordinary parabola because f − d ≠ 0.

A circle has coincident foci c = 0 in the equal-axis ellipse case, so its conventional eccentricity is e = c/a = 0 for a > 0. The directrix formula a²/c is then undefined. A circle of positive radius is not obtained by setting e = 0 with a fixed finite directrix in PF = e·dist(P, L); that equation gives only the focus point. The circular eccentricity is the limiting convention as the two foci coincide, rather than a finite directrix construction.

10

Classify boundary data before using a standard form

Distance inequalities explain the exclusions. For two foci separated by 2c > 0, the distance sum is at least 2c, with equality exactly on their connecting segment. Thus sum 2a < 2c gives an empty set, equality gives the segment, and 2a > 2c gives the ordinary ellipse. For the absolute distance difference, the reverse triangle inequality gives |d₋ − d₊| ≤ 2c.

A difference constant strictly between 0 and 2c gives an ordinary hyperbola. A zero difference gives the perpendicular bisector of the focus segment. A difference of exactly 2c gives the two exterior rays on the focus line, including their focus endpoints; a larger constant gives an empty set. The equality cases follow from equality in the triangle inequality, which requires the relevant points to be collinear in the appropriate order.

If the foci coincide, their distance sum is twice the distance to their common point. A positive sum gives a circle and zero sum gives just that point; a negative sum is impossible. Their absolute distance difference is zero at every point in the plane. Thus a zero difference constant gives the entire plane, while any nonzero constant gives an empty set. These cases are excluded by the distinct-focus hypotheses of an ordinary noncircular ellipse or hyperbola.

A normalised polynomial equation and an original parameter description need separate checks. For example, X² + Y² = R gives a circle, point or empty set according to R's sign. In contrast, a claimed positive-radius construction with nonpositive radius fails its original hypothesis. Likewise, X²/a² + Y²/b² = 1 with a = 0 or b = 0 contains division by zero. Clearing the denominators does not make that original expression defined: a limiting equation may even include points outside the original distance-defined boundary case.

Complete squares and normalise the nonzero right side before reading signs and denominators. For example, −X²/9 + Y²/4 = −1 becomes X²/9 − Y²/4 = 1, a horizontal hyperbola. With right side zero, X²/9 − Y²/4 = 0 instead factors into the two lines Y = ±(2/3)X. A zero or negative normalising constant can therefore change the classification; it is not merely a cosmetic scaling choice.

Boundary and excluded cases require their own locus interpretation
Data or equationActual interpretation
X² + Y² = R, R > 0Circle with radius √R
X² + Y² = 0One point: the centre
X² + Y² = R, R < 0Empty real locus
Distinct foci; sum equals their separationClosed segment joining the foci
Distinct foci; absolute difference is zeroPerpendicular bisector line
Distinct foci; absolute difference equals separationTwo exterior rays, including the foci
Focus on a proposed parabola directrixPerpendicular line through the focus; ordinary parabola excluded
A zero denominator in a standard formUndefined expression; re-examine the original data
11

Exact parameterisations explain what a drawing leaves out

A circle can be parameterised by x = h + r cos t, y = k + r sin t for every real t. A horizontal ellipse similarly uses x = h + a cos t, y = k + b sin t; exchange a and b for a vertical ellipse. Substitution verifies every such point. Conversely, dividing a point's translated coordinates by the positive semiaxes gives a unit-circle point, which has some real angle t. This proves that the parameterisation reaches the full locus, rather than only selected special angles.

For the horizontal hyperbola, a complete two-branch parameterisation is X = σa(1 + t²)/(1 − t²), Y = 2bt/(1 − t²), with σ either 1 or −1 and −1 < t < 1. The denominator is positive on this open interval. Substitution gives the standard equation. Conversely, put w = |X|/a ≥ 1 and z = Y/b; then w² − z² = 1. The inverse t = z/(w + 1) lies in (−1, 1) and returns those coordinates with σ = sign X. Both signs are needed for both branches; t = ±1 is excluded and does not represent a finite endpoint.

For a vertical parabola, x = h + t, y = k + t²/(4p), with p ≠ 0 and every real t, reaches every point because t is exactly X. Exchange the coordinate roles for the horizontal form. This also gives the exact coordinate range in the opening direction and its unbounded extent. A parameter restricted to a small interval displays only part of the curve.

Read centres, foci, directrices and asymptotes as labelled reference objects, not as boundary points unless an exact substitution proves otherwise. A screen can distort a circle into an apparent ellipse when its axes have different scales. Equal units and exact feature tables let you interpret the geometry consistently. Connecting a few valid points with straight segments creates a different set; a smooth sampled curve is a visual approximation, and clipped hyperbola or parabola pieces continue beyond the window.

12

Compare exact loci, their features and guarded point checks

Start with the translated five-unit circle. Predict whether the centre belongs, then compare its zero distance with the boundary point’s distance 5. Change to the completed-square point and empty cases: what does a radius square of zero or a negative value allow? Finally choose the negative original distance target and explain why a point can satisfy its squared consequence while failing the original condition.

In the horizontal five–four ellipse, compare the two distances from P₁ to the foci. Their sum is fixed even though the distances differ. Predict what happens when the required sum shrinks to the focus separation, then switch to that boundary case and test an interior point of the resulting segment. A still smaller sum has no solution. Coincident foci with a positive sum give a circle; coincident foci with zero sum give one point.

For the horizontal four–three hyperbola, compare P₁ on the right branch with P₂ on the left. Which signed distance difference changes, and which absolute difference stays the same? Then select a case where b > a to test whether the transverse semiaxis must be the larger one. The maximal, excessive and zero-difference cases let you compare two exterior rays, an empty locus, the perpendicular bisector of distinct foci and the entire plane for coincident foci.

For the left-opening parabola, follow the perpendicular segment from P₁ to the directrix rather than a sloping line to another point on it. Predict the opening direction after changing the sign of p. In a zero-offset boundary case, inspect the focus/directrix intersection: both distances are zero, so the equality holds, but their ratio is undefined. The separate focus (2, 0) and directrix x = 8 case has vertex (5, 0) and p = −3.

The panel uses u for the translated axial coordinate and v for the perpendicular coordinate: u = x − h, v = y − k for a horizontal axis, and u = y − k, v = x − h for a vertical axis. Exact tables retain reference features, nonnegative distances, guarded ratios and point membership, alongside the complete x-domain, y-range and parameter scope. The equal-unit frame shows analytic bounded circles and ellipses, closed segments and point loci, or clipped approximate traces with continuation arrows for unbounded curves, lines and rays. Empty and entire-plane cases have explicit symbolic classifications; their visible reference objects do not become locus boundaries.

An exact point check answers whether the selected point belongs to the stated locus. Complete distance identities and the parameter arguments establish the full curve. Finite displayed cases and plotting windows illustrate those proofs; they do not replace the general implications, denominator guards or continuation of unbounded branches.

Conic sections and coordinate geometry

Compare the complete distance-defined locus with its guarded coordinate equation. Check exact points, features and distances, then distinguish a full bounded curve from an unbounded curve clipped by the viewing window. Boundary data retain their original meaning even when a standard-form denominator is zero.

Choose a conic investigation
Choose defining data

O = (−4, 3); r = 5.

Original distance target: Ordinary circle. The ordinary-curve hypotheses hold.

A translated circumference or its boundary locusAn analytic circle shows the full circumference with exact reference and checked points. Point and empty cases retain their separate classifications; the non-equivalent squared circle for a negative distance target is not drawn. Translated five-unit circle. |PO| = 5. Ordinary circle. The bounded boundary is shown completely. O = (−4, 3); Centre reference; Exactly checked point; O; P₂. A₋ = (−9, 3); Axis or chord reference point; A₋. A₊ = (1, 3); Axis or chord reference point; A₊. B₋ = (−4, −2); Axis or chord reference point; B₋. B₊ = (−4, 8); Axis or chord reference point; B₊. P₁ = (−1, 7); Exactly checked point; P₁. .OA₋A₊B₋B₊P₁
A circle or ellipse uses its full analytic boundary. Unbounded curves use approximate traces with continuation. Foci, directrices, asymptotes and off-locus checked points are reference objects rather than extra parts of the locus.

The bounded boundary is shown completely

The square Cartesian frame uses equal units on both axes.

The viewing frame includes the labelled features and checked points. Unbounded traces reach its edge and continue; the frame does not restrict the complete coordinate domains.

  • Original locus boundary
  • Exactly checked point
Coincident plotted roles
RoleExact coordinatesPoint meaningsCoincident roles
O(−4, 3) unitsCentre reference; Exactly checked pointO; P₂
A₋(−9, 3) unitsAxis or chord reference pointA₋
A₊(1, 3) unitsAxis or chord reference pointA₊
B₋(−4, −2) unitsAxis or chord reference pointB₋
B₊(−4, 8) unitsAxis or chord reference pointB₊
P₁(−1, 7) unitsExactly checked pointP₁

Coincident roles share their actual exact coordinate. The table retains every binding without moving a focus, vertex or checked point.

Retain the original distance or polynomial

Original defining condition

|PO| = 5.

Original ordinary-curve and denominator conditions
ConditionExact valueResult
Nonnegative distance target or completed radius squarer = 5 ≥ 0Passes
Original radius or completed radius square is strictly positiver = 5 > 0Passes
Original data and guarded derived quantities
QuantityExact valueUnit
Horizontal centre or vertex coordinate−4units
Vertical centre or vertex coordinate3units
Completed or squared target R25square units
Original radius-distance target r5units
Guarded coordinate expression

(x − (−4))² + (y − (3))² = 25.

This coordinate expression is defined. Equivalent to the original condition under the retained hypotheses.

Exact reference features
RolePoint meaningsExact coordinates
OCentre reference(−4, 3) units
A₋Axis or chord reference point(−9, 3) units
A₊Axis or chord reference point(1, 3) units
B₋Axis or chord reference point(−4, −2) units
B₊Axis or chord reference point(−4, 8) units
Eccentricity and its construction

e = 0 dimensionless.

The circle has conventional eccentricity zero. Coincident foci provide no finite directrix from a²/c; a fixed finite directrix with ratio zero would select only the focus point.

Complete locus and parameter scope

All horizontal coordinates in the locus: [−9, 1].

All vertical coordinates in the locus: [−2, 8].

Complete parameter description: x = −4 + (5) cos t; y = 3 + (5) sin t; t ∈ ℝ.

For a horizontal axis, u=x−h and v=y−k; for a vertical axis, u=y−k and v=x−h. Here (h,k) is the centre or vertex. A parameter interval describes the full locus; it is separate from the finite drawing window.

Exact checks of selected points
Original-condition point checks
RoleExact coordinatesOriginal-locus membershipStandard-equation residual
P₁(−1, 7) unitsBelongs to the original locus0
P₂(−4, 3) unitsOutside the original locus−25
P₁: (−1, 7)

Retained original equality: |PO| = 5; r = 5. Belongs to the original locus.

Exact nonnegative distances for this point: P₁
QuantityExact valueUnit
Distance to the centre5units
Squared distance to the centre25square units

The residual is the left side minus the right side of the stated coordinate equation. Zero proves that equation for this point; original-locus membership still uses the original condition and its equivalence guards.

This case has no ordinary finite-directrix ratio construction. A circular eccentricity is a limiting convention, and degenerate two-focus boundaries retain their original sum or difference definition.

Exact equations and retained bounds: P₁
Exact value
|PO|² = 25 = (5)²
P₂: (−4, 3)

Retained original equality: |PO| = 0; r = 5. Outside the original locus.

Exact nonnegative distances for this point: P₂
QuantityExact valueUnit
Distance to the centre0units
Squared distance to the centre0square units

The residual is the left side minus the right side of the stated coordinate equation. Zero proves that equation for this point; original-locus membership still uses the original condition and its equivalence guards.

This case has no ordinary finite-directrix ratio construction. A circular eccentricity is a limiting convention, and degenerate two-focus boundaries retain their original sum or difference definition.

Exact equations and retained bounds: P₂
Exact value
|PO|² = 0 = (0)²
Exact equations and retained bounds
Exact value
(x − (−4))² + (y − (3))² ≥ 0
r = 5; r² = 25

A radius-distance equation may be squared reversibly only when its target is nonnegative. Completing a polynomial square is an algebraic equivalence and its resulting sign determines the real locus.

For r≥0, |PO|=r if and only if |PO|²=r², because both sides have the unique nonnegative square root. A positive r gives the circumference; zero gives only O. A negative original target has no solution and its squared equation is not equivalent. A completed equation X²+Y²=R has a circle when R>0, one point when R=0 and no real point when R<0. For r>0, (X/r,Y/r) is a unit-circle point if and only if X²+Y²=r²; the all-real sine/cosine parameterisation therefore reaches every boundary point.

The circle is the circumference, not its filled disk. The checked centre is outside this positive-radius locus.

Translated five-unit circle. |PO| = 5. Ordinary circle. The ordinary-curve hypotheses hold. The bounded boundary is shown completely.

Normalized fractions and radical sums determine hypotheses, distances, equivalence and membership exactly. Numerical plotting positions and smooth trace segments are drawing approximations of those results.

Finite cases and point checks illustrate the complete two-direction proofs. They do not prove a general locus by sampling or turn an undefined standard expression into a valid construction.

Worked examples

Recover an ellipse and verify an exact focus-distance ratio

The foci are (−2, 2) and (4, 2), and the sum of distances to them is 10 length units. Find the ellipse equation, vertices, minor-axis endpoints, eccentricity and directrices. Verify that P = (4, 26/5) belongs to the original locus.

  1. The centre is the focus midpoint (h, k) = (1, 2). Their separation is 6, so c = 3. The distance sum is 2a = 10, giving a = 5 > c. These data define an ordinary horizontal ellipse. Its minor semiaxis satisfies b² = a² − c² = 25 − 9 = 16, so b = 4.
  2. The equation is (x − 1)²/25 + (y − 2)²/16 = 1. The vertices are (−4, 2) and (6, 2), and the minor-axis endpoints are (1, −2) and (1, 6). The full axis lengths are 10 and 8, not the denominators 25 and 16.
  3. Its eccentricity is e = c/a = 3/5. The paired directrices are x = 1 ± 25/3, namely x = −22/3 and x = 28/3. Each pairs with the focus on the same side of the centre.
  4. At P, X = 3 and Y = 16/5. Substitution gives 9/25 + (256/25)/16 = 9/25 + 16/25 = 1. Its distances to the left and right foci are √(36 + 256/25) = 34/5 and 16/5, so their sum is 10 as required.
  5. For the right focus (4, 2), PF = 16/5. The perpendicular distance to x = 28/3 is |4 − 28/3| = 16/3, hence PF/dist(P, L) = (16/5)/(16/3) = 3/5. This verifies membership and the paired ratio for this point; the general two-direction proof establishes the full ellipse.

Ellipse (x − 1)²/25 + (y − 2)²/16 = 1; vertices (−4, 2), (6, 2); minor endpoints (1, −2), (1, 6); e = 3/5; directrices x = −22/3 and x = 28/3. P has focus distances 34/5 and 16/5, with sum 10.

Normalise a hyperbola and retain both branches

For 9x² − 16y² − 18x − 64y − 199 = 0, find the centre, opening direction, vertices, foci, asymptotes and eccentricity. Verify the original distance difference at P = (6, 1/4).

  1. Group and complete squares: 9(x² − 2x) − 16(y² + 4y) = 199 becomes 9(x − 1)² − 16(y + 2)² = 199 + 9 − 64 = 144. Divide by the positive 144 to obtain (x − 1)²/16 − (y + 2)²/9 = 1.
  2. The centre is (1, −2), a = 4 and b = 3. The positive X-square gives horizontal opening. The vertices are (−3, −2) and (5, −2). Since c² = a² + b² = 25, the foci are (−4, −2) and (6, −2), and e = c/a = 5/4.
  3. The asymptotes are y + 2 = ±(3/4)(x − 1). They pass through the centre, but substituting them in the normalised equation gives 0 rather than 1. They are reference lines that the unbounded branches approach, not parts of the locus.
  4. At P, X = 5 and Y = 9/4. The standard equation gives 25/16 − (81/16)/9 = 25/16 − 9/16 = 1. Its distances to the left and right foci are √(100 + 81/16) = 41/4 and 9/4. The absolute difference is 32/4 = 8 = 2a.
  5. The paired right directrix is x = 1 + a²/c = 21/5. Its distance from P is |6 − 21/5| = 9/5, and (9/4)/(9/5) = 5/4. The reflected left branch reverses the signed focus-distance difference but retains its absolute value 8; omitting that branch would change the original locus.

Horizontal hyperbola (x − 1)²/16 − (y + 2)²/9 = 1; centre (1, −2); vertices (−3, −2), (5, −2); foci (−4, −2), (6, −2); asymptotes y + 2 = ±(3/4)(x − 1); e = 5/4. At P the distances 41/4 and 9/4 have absolute difference 8.

Use a negative focus offset without a negative distance

A parabola has focus (−2, 3) and directrix x = 4. Find its vertex, signed p, equation, opening direction and focus-level chord endpoints. Check P = (−2, 9) using perpendicular distances.

  1. The focus's perpendicular foot on the directrix is (4, 3). Their midpoint is the vertex (1, 3), so the symmetry axis is y = 3. The horizontal offset from the vertex to the focus is p = −2 − 1 = −3. The focus is not on the line, as required.
  2. The horizontal standard form is (y − 3)² = 4p(x − 1) = −12(x − 1). It opens left because p < 0, and every point satisfies x ≤ 1. The focus distance from the vertex is |p| = 3, not the negative number p.
  3. At the focus's horizontal coordinate x = −2, the equation gives (y − 3)² = 36. The chord endpoints are (−2, −3) and (−2, 9), and the chord length is 12 = 4|p|.
  4. For P = (−2, 9), the focus distance is |9 − 3| = 6. Its perpendicular foot on x = 4 is (4, 9), so the line distance is |−2 − 4| = 6. The two distances are equal and positive. The signed coordinate difference −6 is not itself a distance.
  5. The full locus is obtained from √((x + 2)² + (y − 3)²) = |x − 4|. Squaring its nonnegative sides gives exactly the standard equation, and taking nonnegative square roots reverses that step. This validates the whole left-opening parabola, rather than only the selected chord point.

Vertex (1, 3), p = −3, equation (y − 3)² = −12(x − 1), opening left. Focus-level endpoints (−2, −3) and (−2, 9), with chord length 12. P is 6 units from both the focus and the directrix.

Try it yourself

  1. Complete squares in x² + y² + 8x − 6y = 0. Find the centre and radius, and test whether P = (−1, 7) and the centre itself are on the circle.

    Show the answer and reasoning

    The equation is (x + 4)² + (y − 3)² = 25, with centre (−4, 3) and radius 5. P is on the circle; the centre is inside its disk and is not on the circle.

    Add 16 and 9 to both sides while completing the squares. At P the translated coordinates are 3 and 4, giving 3² + 4² = 25. At the centre they are both zero, giving 0 rather than 25. The positive right side gives an ordinary circle, and the radius is its positive square root.

  2. For (x + 2)²/9 + (y − 1)²/25 = 1, identify the centre, major direction, vertices, minor-axis endpoints, foci, eccentricity and directrices.

    Show the answer and reasoning

    Centre (−2, 1); vertical major axis; vertices (−2, −4), (−2, 6); minor endpoints (−5, 1), (1, 1); foci (−2, −3), (−2, 5); e = 4/5; directrices y = −21/4 and y = 29/4.

    The larger denominator 25 is under the Y-square, so a = 5 and b = 3. Then c² = 25 − 9 = 16 and c = 4. Translate the positive and negative vertical offsets from the centre for vertices and foci, and the horizontal minor offsets for the other endpoints. The paired directrices are y = k ± a²/c = 1 ± 25/4. The denominator values are squared semiaxes.

  3. For x²/4 − y²/25 = 1, find its vertices, foci, eccentricity and asymptotes. Is it invalid because the negative-term denominator is larger, and are (0, ±5) on the curve?

    Show the answer and reasoning

    Vertices (±2, 0); foci (±√29, 0); e = √29/2; asymptotes y = ±(5/2)x. The hyperbola is valid with a = 2 and b = 5. The reference points (0, ±5) are not on it.

    A hyperbola requires a > 0 and b > 0, not a > b. Its positive X-square fixes the opening direction and a = 2. Use c² = a² + b² = 29, then e = c/a > 1 and slopes ±b/a. At (0, ±5), the left side is −1 rather than 1; those auxiliary-rectangle reference points are not boundary points.

  4. Find the equation for focus (2, −1) and directrix y = 3. Give the vertex, p and opening direction, then check P = (6, −1) using the original distances.

    Show the answer and reasoning

    Vertex (2, 1), p = −2, equation (x − 2)² = −8(y − 1), opening downward. P belongs because its distances to the focus and the directrix are both 4.

    The perpendicular focus foot on the directrix is (2, 3), whose midpoint with the focus is (2, 1). Hence p = −1 − 1 = −2 and 4p = −8. At P, the focus distance is 4 horizontally and the directrix distance is |−1 − 3| = 4. Substitution also gives 16 = −8(−2), and the curve satisfies y ≤ 1.

  5. For focus F = (2, 0), directrix x = 8 and eccentricity e = 1/2, derive the locus equation and its centre and semiaxes. Check the ratio at P = (4, 0).

    Show the answer and reasoning

    The locus is x²/16 + y²/12 = 1, with centre (0, 0), major semiaxis 4 and minor semiaxis 2√3. At P, PF = 2 and dist(P, L) = 4, so the ratio is 1/2.

    The original equality is √((x − 2)² + y²) = |x − 8|/2. Squaring and expanding gives (3/4)x² + y² = 12; the linear terms cancel. Divide by 12 to obtain the equation. The focus is not on the line and both sides of the equality are nonnegative, so the squared equation is equivalent. The semiaxes are positive square roots of 16 and 12, and c² = 16 − 12 = 4 agrees with the given focus offset 2.

  6. Two distinct foci are (−3, 0) and (3, 0). Classify distance sums 6 and 4, and absolute distance differences 0, 6 and 8. Also classify x² + y² = 0, x² + y² = −1 and y² = 0 without calling them ordinary conics.

    Show the answer and reasoning

    Sum 6: the closed segment from (−3, 0) to (3, 0); sum 4: empty. Difference 0: line x = 0; difference 6: rays y = 0 with x ≤ −3 or x ≥ 3; difference 8: empty. The final equations describe respectively the point (0, 0), an empty real set and the line y = 0.

    The focus separation is 6. Triangle inequality forces the sum to be at least 6, with equality precisely between the foci. Reverse triangle inequality bounds the absolute difference by 6, with equality on the two exterior rays; equal focus distances instead give the perpendicular bisector. A sum of two squares is zero only when both are zero and cannot be negative. The single equation y² = 0 is equivalent to y = 0 and leaves x unrestricted.

  7. For x²/9 + y²/4 = 1, give a complete trigonometric parameterisation and an additional exact point besides the four axis endpoints. Does joining those four endpoints by straight segments reproduce the ellipse? Why are a hyperbola's viewing-window intersections not endpoints?

    Show the answer and reasoning

    Use x = 3cos t, y = 2sin t for all real t. One further point is (9/5, 8/5). Straight joining segments do not reproduce the ellipse. A finite window clips a hyperbola whose exact branches continue without bound.

    Substitution and cos² t + sin² t = 1 put every parameter value on the ellipse; conversely, every ellipse point normalises to a unit-circle point and hence has some angle t. At (9/5, 8/5), the equation gives 9/25 + 16/25 = 1. The midpoint (3/2, 1) of the straight chord between (3, 0) and (0, 2) gives 1/4 + 1/4 = 1/2, so that chord is not the locus. The hyperbola's exact coordinate equation and its parameterisation with unbounded coordinate values, rather than a screen edge, determine its extent.

What to carry forward

  • A conic locus includes every point satisfying its definition. Exact point checks illustrate membership; complete two-direction implications and parameter arguments establish the whole set.
  • A circle has positive radius and equation (x − h)² + (y − k)² = r². Completing squares requires a positive resulting radius square for an ordinary circle; zero gives a point and a negative value an empty real set.
  • A noncircular ellipse has distance sum 2a greater than focus separation 2c, with a > b > 0 and c² = a² − b². Its larger denominator marks the major-axis direction, and full axis lengths are twice the semiaxes.
  • A hyperbola uses the absolute distance difference 2a, with 0 < a < c and c² = a² + b². Both branches are required; its positive normalised square marks the opening direction, and a need not exceed b.
  • A parabola has a focus off its directrix. A signed nonzero p determines its orientation and focus offset, while distances use |p| and absolute perpendicular line differences; its vertex is not a centre.
  • Eccentricity is a positive focus-to-directrix distance ratio for the noncircular finite-directrix construction: ellipse e < 1, parabola e = 1, hyperbola e > 1. A circle's conventional e = 0 is the coincident-focus limit, with no finite directrix from a²/c.
  • Retain original hypotheses and nonzero denominators when classifying boundary data. Degenerate segments, lines, rays, points and empty sets differ from ordinary curves, while sampled or clipped drawings differ from the full exact loci.

References

Sources for the concepts and teaching approaches in this article.

  1. OpenStax, Rice University2 sources
    1. 11.1 Distance and Midpoint Formulas; CirclesOpenStax, Rice UniversityTextbook chapteropenstax.orgRead source
    2. Precalculus 2eOpenStax, Rice UniversityTextbook chapter10.1 The Ellipse10.2 The Hyperbola10.3 The Parabola10.5 Conic Sections in Polar Coordinatesopenstax.org