Trollformel

En trollformel är en matematisk formel som antas vara sann "a priori" bevis. Formler som ser mycket godtyckliga ut, fast som ger rätt svar, utan underliggande bevis, kan sägas vara trollformler. Trollformler antas kallas så eftersom de anses magiska och mystiska tills de bevisats.

Häxmästare och häxor sägs ha förmågan att besvärja fram trollformler, med hjälp av kopiösa mängder Hokus Pokus.