Condition for a Line to be Tangent
Line y = mx + c is tangent to x² + y² = a² iff c² = a²(1 + m²), equivalently the perpendicular distance from centre equals radius.
Derivation
Consider the circle (centre at origin, radius ) and line .
A line is tangent to a circle if and only if it meets the circle at exactly one point, which is equivalent to the perpendicular distance from the centre to the line equalling the radius.
Method 1 — Distance condition:
Rewrite the line as . Distance from :
Setting :
Method 2 — Discriminant condition:
Substitute into :
For exactly one solution, discriminant :
Both methods give the same result. The distance method is faster; the discriminant method is more algebraically transparent.