If you have a function in the form of

ax^2+bx+c=0, we know that the if we want to solve for x, we use the quadratic equation:

(-b(+/-)Sqrt(b^2 - 4ac))/2a

How was this discovered?