Quod erat demonstrandum
Quod erat demonstrandum és una locució llatina que significa ‘que era lo que es volia demostrar’ i s'abrevia QED. Té el seu orige en la frase grega ὅπερ ἔδει δεῖξαι (hóper édei deĩxai), que usaven molts matemàtics antics, inclosos Euclides[1] i Arquímedes, al final de les demostracions o proves matemàtiques per a senyalar que havien alcançat el resultat requerit per a la prova.
En espanyol existixen alternatives a l'abreviatura llatina, tals com «queda llavors demostrat» (utilisant les mateixes inicials), «com queda demostrat» o «com volíem demostrar» (c. q. d.), encara que la llectura de les dos primeres es desvia llaugerament del significat lliteral de l'abreviatura llatina original. Ademés, existix l'acrònim LQQD («lo que volíem demostrar»), o inclús s'escriu en ocasions simplement la paraula «demostrat».
Hui en dia, l'us de les sigles QED al final de les demostracions matemàtiques no és tan freqüent com lo va ser en sigles passats. Actualment, i en especial en els documents escrits en computadora, és freqüent l'us de símbols com la quadrada farcidura (∎) cridat per alguns el «símbol de Halmos» en honor de Paul Halmos, que va ser pioner en la seua utilisació. A voltes també s'usa un quadrat buit (□), o dos barres de divisió (//).
Unicode proporciona els caràcters O+220I (&x220I;), O+25A0 (■) i O+25A1 (□). Més encara, Unicode indica que la quadrada farcidura (∎), com a símbol matemàtic, significa «fi de la prova» (en anglés ‘end of proof’) o també QED.[2]
Vore també
[editar | editar còdic]Notes
[editar | editar còdic]- ↑ En el llibre de Euclides Elements 2.5 (edició J. L. Heiberg), revisat el 16 de juliol de 2005.
- ↑ Buscar 220I en Símbols matemàtics unicode.
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Quod erat demonstrandum» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.