Co było do dowiedzenia
- Co było do dowiedzenia.
- Quod erat demonstrandum. (łac.)
- Autor: Euklides
Przetłumaczone z języka greckiego na łaciński w 1500 roku przez Zambertiego. - Zastosowanie: była to jedna z dwóch formuł (obok Quod est absurdum, czyli: Co jest absurdem) jaką umieszczał Euklides w Elementach geometrii (ok. 325 p.n.e.) po zakończeniu dowodów matematycznych. Euklides zalecał, aby każdy dowód matematyczny podsumowywać w ten sposób. Formuła do dziś jest stosowana w matematyce.
- Wersje alternatywne:
- Co było do udowodnienia.
- Czego należało dowieść.
- Co było do okazania.
Zobacz też: