De Un Diccionario Integral de Matemáticas por Roger Thompson: "quod erat demonstrandum" (Latín) -- Esto se deriva de la tendencia habitual de los traductores medievales de traducir el griego que significa "esto debía ser demostrado" a la frase latina anterior. Esto aparecía originalmente al final de muchas de las proposiciones de Euclides, significando que él había demostrado lo que se propuso probar.
Hoy en día, muchas personas no terminan sus demostraciones con quod erat demonstrandum o Q.E.D. sino con $\Box$ o $\blacksquare$; también hay otras variantes, por supuesto, pero el significado general es significar finalmente el fin de una demostración.
De Enciclopedia de Matemáticas por James Tanton [suplementario]: Las iniciales QEF, por quod erat faciendum (que debía ser hecho), a veces se agregan después de la finalización de una construcción geométrica, y QEI, por quod erat inveniendum (que debía ser encontrado), después de la finalización de un cálculo.
De Orígenes de Palabras Matemáticas - Un Diccionario Integral de Raíces Latinas, Griegas y Árabes por Anthony Lo Bello: