Intersection of a circle and a parabola

We find where the circle x2+y2=2x^2 + y^2 = 2 meets the parabola y=x2y = x^2.

Eliminating the easy variable

When solving a system, eliminate whichever variable goes most easily. The parabola y=x2y = x^2 can be substituted straight into the circle, replacing x2x^2 by yy and leaving an equation in yy alone.

y2+y2=(y+2)(y1)=0y^2 + y - 2 = (y + 2)(y - 1) = 0

so y=2y = -2 or y=1y = 1.

Discarding the meaningless root

Here care is needed. Since y=x2y = x^2 is a square, it can never be 2-2: that root appeared along the way but carries no meaning. A solution of the algebra is not automatically a point of the figure, so always return to the original conditions and check.

RootIs y=x2y = x^2 possibleKeep it
y=2y = -2no, a square is never negativediscard
y=1y = 1yes, x=±1x = \pm 1keep

Putting y=1y = 1 back gives x=±1x = \pm 1. The intersection points are (1,1)(1, 1) and (1,1)(-1, 1); substituting into the circle confirms 1+1=21 + 1 = 2. Both curves are symmetric about the yy-axis, so the intersections appear as a mirror pair.

Eliminating the other variable

Substituting y=x2y = x^2 into the circle instead gives a quartic.

x4+x22=(x2+2)(x21)=0x^4 + x^2 - 2 = (x^2 + 2)(x^2 - 1) = 0

Since x2=2x^2 = -2 has no real solution we are left with x=±1x = \pm 1. The same answer, but at a higher degree and more work. Which variable you choose to eliminate often decides how heavy the algebra becomes.

Changing the radius

Repeating the computation for radius rr gives y2+yr2=0y^2 + y - r^2 = 0, which has exactly one positive root yy, and that single yy yields the two points x=±yx = \pm\sqrt{y}. So there are always exactly two intersections, as long as the circle is centered at the origin.

Intuitively, the parabola starts at the origin, inside the circle, and runs off to infinity, so it must cross out of the circle exactly twice.

Moving the center

Shift the center off the origin along the yy-axis and the number of intersections can rise to four: the intersections of two conics are, in general, the roots of a quartic equation1.

The large dots on the graph are the intersections, and the circle is drawn as an upper half and a lower half.

  1. Conic section, Wikipedia