Apresentam-se a seguir as demonstrações das primeiras três proposições dos Elemetos de Euclides, traduzidas da versão em inglês de Thomas Heath (ed. da Dover, ver bibliografia em Geometria: temas actuais). Se clicar nos desenhos que acompanham as demonstrações das prop. I.1 e I.2, poderá aceder a um sketch interactivo feito com o auxílio do JavaSketchpad.
As demonstrações utilizam os postulados I e II e III, a definição 15 e as noções comuns (ou axiomas) 1 e 3. Para facilidade apresentamos uma tradução (adaptada à linguagem de hoje, para melhor compreensão do seu alcance) desses postulados, definição e noções comuns.
Postulado I. (É possível) construir um segmento que una um ponto qualquer com outro ponto qualquer.
Postulado II. (É possível) prolongar um segmento, continuamente, numa linha recta.
Postulado III. (É possível) descrever uma circunferência com um dado centro e passando por um dado ponto.
Definição 15. Um círculo é uma figura plana contida por uma linha tal que todos os segmentos com extremidades nessa linha e num ponto contido na figura são iguais. Este ponto chama-se centro do círculo.
Nota. Esta é a tradução mais próxima da de Heath. Para todos os efeitos práticos, nomeadamente a compreensão das demonstrações que se seguem, podemos adoptar a definição habitual de circunferência (conjunto dos pontos que distam igualmente de um ponto) como equivalente a esta muito mais complexa de Euclides. Note-se no entanto que Euclides está a dar a noção de circunferência sem ter introduzido a noção de distância, pelo que recorre à noção de igualdade (ou congruência, como diríamos hoje), sem também no entanto a explicitar. Para todas estas questões relativas à axiomática de Euclides, e para uma axiomática métrica da geometria euclidiana, ver Franco de Oliveira, Geometria Euclidiana, ed. da Universidade Aberta.
Noção comum 1. Coisas iguais a uma terceira são iguais entre si.
Noção comum 3. Se iguais são subtraídos de iguais, os restos são iguais.