# Equation of Circle/Cartesian

## Theorem

The equation of a circle with radius $R$ and center $\tuple {a, b}$ expressed in Cartesian coordinates is:

- $\paren {x - a}^2 + \paren {y - b}^2 = R^2$

### Corollary 1

The equation:

- $A \paren {x^2 + y^2} + B x + C y + D = 0$

is the equation of a circle with radius $R$ and center $\tuple {a, b}$, where:

- $R = \dfrac 1 {2 A} \sqrt {B^2 + C^2 - 4 A D}$
- $\tuple {a, b} = \tuple {\dfrac {-B} {2 A}, \dfrac {-C} {2 A} }$

provided:

- $A > 0$
- $B^2 + C^2 \ge 4 A D$

### Corollary 2

The equation of a circle with radius $R$ whose center is at the origin expressed in Cartesian coordinates is:

- $x^2 + y^2 = R^2$

## Proof

Let the point $\tuple {x, y}$ satisfy the equation:

- $(1): \quad \paren {x - a}^2 + \paren {y - b}^2 = R^2$

By the Distance Formula, the distance between this $\tuple {x, y}$ and $\tuple {a, b}$ is:

- $\sqrt {\paren {x - a}^2 + \paren {y - b}^2}$

But from equation $(1)$, this quantity equals $R$.

Therefore the distance between points satisfying the equation and the center is constant and equal to the radius.

Thus $\tuple {x, y}$ lies on the circumference of a circle with radius $R$ and center $\tuple {a, b}$.

Now suppose that $\tuple {x, y}$ does not satisfy the equation:

- $\paren {x - a}^2 + \paren {y - b}^2 = R^2$

Then by the same reasoning as above, the distance between $\tuple {x, y}$ and $\tuple {a, b}$ does not equal $R$.

Therefore $\tuple {x, y}$ does not lie on the circumference of a circle with radius $R$ and center $\tuple {a, b}$.

Hence it follows that the points satisfying $(1)$ are exactly those points which are the circle in question.

$\blacksquare$

## Sources

- 1968: Murray R. Spiegel:
*Mathematical Handbook of Formulas and Tables*... (previous) ... (next): $\S 10$: Formulas from Plane Analytic Geometry: $10.15$: Equation of Circle of Radius $R$, Center are $\tuple {x_0, y_0}$ - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**circle**