a x 2 + b x + c = 0
Das muss man nun formal nach x auflösen. Zunächst Division durch a:
<=> x 2 + ( b / a ) x + ( c / a ) = 0
Quadratische Ergänzung bestimmen: ( b / ( 2 a ) ) 2 und hinter dem linearen Glied addieren und gleich wieder subtrahieren:
<=> x 2 + ( b / a ) x + ( b / ( 2 a ) ) 2 - ( b / ( 2 a ) ) 2 + ( c / a ) = 0
Die ersten drei Summanden mit Hilfe der ersten binomischen Formel zusammenfassen:
<=> ( x + ( b / ( 2 a ) ) ) 2 - ( b / ( 2 a ) ) 2 + ( c / a ) = 0
Den Term - ( b / ( 2 a ) ) 2 + ( c / a ) auf die andere Seite bringen:
<=> ( x + ( b / ( 2 a ) ) ) 2 = ( b / ( 2 a ) ) 2 - ( c / a )
Wurzel ziehen:
<=> x + ( b / ( 2 a ) ) = ± √ ( ( b / ( 2 a ) ) 2 - ( c / a ) )
Den Term ( b / ( 2 a ) ) von der linken auf die rechte Seite bringen:
<=> x = - ( b / ( 2 a ) ) ± √ ( ( b / ( 2 a ) ) 2 - ( c / a ) )
Den Radikanden in der Wurzel noch ein wenig umformen:
<=> x = - ( b / ( 2 a ) ) ± √ ( ( b 2 / ( 4 a ) 2 ) - ( 4 a c / ( 4 a 2 ) ) )
<=> x = - ( b / ( 2 a ) ) ± √ ( ( b 2 - 4 a c ) / ( 4 a ) 2 )
Den Nenner 4 a 2 als 2 a aus dem Radikanden herausziehen:
<=> x = - ( b / ( 2 a ) ) ± √ ( b 2 - 4 a c ) / ( 2 a )
Die beiden Summanden auf den gemeinsamen Nenner 2 a schreiben:
<=> x = ( - b ± √ ( b 2 - 4 a c ) ) / ( 2 a )
und das ist die Mitternachtsformel.