Where the Formulas Come From · Medium problem

For $x^{2} - 7 x + 10 = 0$, compute the discriminant and find both roots (enter the smaller root first; if the root is repeated, enter it twice).