Quod erat demonstrandum é uma expressão em latim que significa "como se queria demonstrar". É usual aparecer no final de uma demonstração matemática com a abreviatura Q.E.D. ou na versão em português C.Q.D.. Frequentemente é substituído por um dos símbolos ■ ou □ (de origem grega, da matemática praticada na antiga Grécia).