Quod erat demonstrandum

Tiene su origen en la frase griega ὅπερ ἔδει δεῖξαι (hóper édei deĩxai), que usaban muchos matemáticos antiguos, incluidos Euclides[1]​ y Arquímedes, al final de las demostraciones o pruebas matemáticas para señalar que habían alcanzado el resultado requerido para la prueba.

En español existen alternativas a la abreviatura latina, tales como «queda entonces demostrado» (utilizando las mismas iniciales), «como queda demostrado» o «como queríamos demostrar» (c. q. d.), aunque la lectura de las dos primeras se desvía ligeramente del significado literal de la abreviatura latina original.

Hoy en día, el uso de las siglas QED al final de las demostraciones matemáticas no es tan frecuente como lo fue en siglos pasados.

A veces también se usa un cuadrado vacío (□), o dos barras de división (//).

Más aún, Unicode indica que el cuadrado relleno (∎), como símbolo matemático, significa «fin de la prueba» (en inglés ‘end of proof’) o también QED.