Irgendwie schüttelt's mich bei der Vorstellung, Formeln anzuschreiben und Schüler rechnen zu lassen. Viele Schüler machen irgendwelche syntaktischen Umformungen und wissen wirklich überhaupt nicht, was sie da tun, und dann frage ich mich schon, wie ihr bisherige Matheunterricht abgelaufen ist.
Ich mache meinen Schülern die Formeln grundsätzlich plausibel - in welcher Gründlichkeit, hängt von der Situation ab. Die binomischen Formeln zum Beispiel kann man sehr schön an Quadraten zeigen, und außerdem kann man sie ja auch einfach nachrechnen.
Natürlich muss man auch üben. Aber die eigentlichen Schwierigkeiten entstehen, wenn Probleme in mathematische Formulierungen gegossen werden sollen.
Sollte der Hintergrund deiner Frage sein, dass du dich mit dem Beweisen schwer tust, dann frage ich mich, warum du Mathe studierst...