I read that if a parabola has no real roots, then its complex roots can be visualized by graphing the same parabola ($ax^2 + bx + c$) with $-a$ and then finding the roots of that, then using those roots as the diameter of a circle. Then, the "top" and "bottom" of the circle will be the complex roots of the parabola (in the complex plane).
I don't know if I explained that in [enough] detail, but I'm trying to prove this. I've been trying to generalize an equation for all the parabolas with no real roots, and I seem to be getting somewhere, but it seems like I'm over-complicating this.
How would you approach this? Any suggestions would be appreciated.
A proof of this construction would also be an acceptable answer. Thank you.
There is a statement along these lines, but it doesn't work to simply negate $a$ when the quadratic is in standard form. You have to start by completing the square: $$ ax^2 + bx + c \;=\; a(x-h)^2 + k. $$ Then the roots of the quadratic $$ -a(x-h)^2 + k $$ will have the properties you describe. In particular, if we write the roots of this quadratic as $h + r$ and $h - r$, then the roots of the original quadratic are $h + ri$ and $h - ri$.
By the way, observe that the auxiliary quadratic described above has the same vertex as the original quadratic, but its graph has been reflected across the horizontal line that goes through this point. This gives a nice geometric way of "picturing" the complex roots of a quadratic by looking at the graph.