Where the Formulas Come From · Medium problem

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