Then substitute the expression in that is equal to for in the circle equation:
Simplify, collect like terms, and factor the resulting quadratic. The roots will be the -coordinates of the two points of intersection. The -coordinates can be easily determined by substitution in