Что и требовалось доказать

С латинского: Quod erat demonstrandum [квод эрат дэмонстрандум].

Этой формулой заканчивается каждое математическое рассуждение великого математика Древней Греции Эвклида (III в. до н. э.). 

В средневековых научных трактатах эту формулу писали часто в сокращенном виде: QED.