Nas entradas
anteriores, já referimos exemplos de axiomas, definições e postulados.
Quando aceitamos os postulados, estamos a aceitar que para cada dois
pontos distintos
Depois de fixar as regras, o que fizemos foi determinar novos pontos ou figuras (conjunto de pontos) satisfazendo uma condição ou mais.
Determinámos uma circunferência de que conhecíamos o centro e cujo raio intervalo (raio) era dado por outros dois pontos. Para resolver essse problema, só precisámos de recorrer à definição de círculo e ao postulado da circunferência e concentrámo-nos em determinar um ponto de entre os pontos da figura procurada. Esse problema foi feito só com a circunferência postulada. Depois voltámos ao mesmo problema, com recurso à reta (régua) postulada e à circunferência (compasso) postulada.
Podemos resolver problemas só com circunferência, só com reta, com reta e circunferência. E sempre que encontrarmos um processo de resolução com reta e(ou) circunferência que prove a existência de uma figura relacionada com outra ficamos com uma ferramenta composta de vários passos construtivos com as primitivamente postuladas. E acrescentamo-las como ferramentas admissíveis (ou atalhos) ao nosso argumentário construtivo. Esta referência serve para lembrar que uma demonstração de existência ou construção deve poder ser reduzida a argumentos correntes (falados ou escritos) com base em axiomas, poucas regras simples, definições e cadeia de proposições (afirmações verdadeiras,....).
Claro que há muitos problemas que não se resolvem só com as postuladas reta e circunferência de dois pontos e isso, só quer dizer , que há figuras que podemos definir, mas de que não conseguimos provar a existência por construção recorrendo a ferramentas compostas a partir das inicialmente postuladas reta e circunferências por 2 pontos. Sabemos assim que há definições a que podem não corresponder construções com as regras admissíveis.... É bom termos uma imagem como prova do definido, é bom e preciso termos um discurso que substitua a imagem e é bom saber que há critérios para determinar o que pode ou não pode ser feito com as combinações das ferramentas postuladas por Euclides.
Nas próximas entradas vamos ocupar-nos de figuras planas construtíveis com as regras postuladas, isto é vamos resolver problemas de construção, muitos deles já abordados neste lugar por uma ou outra razão. Mas não seguimos as proposições (e suas demonstrações) nos "Elementos".
Varios autores sugerem com insistência uma abordagem autónoma do que habitualmente é nomeado por lugares geométricos como um método de construção e insistem na necessidade de conhecer um grande número de lugares geométricos - retas e círculos - construtíveis, a partir dos quais se podem determinar outros.
Os autores apresentam listas básicas distintas em número e, interessante também, com enunciados diferentes para os mesmos lugares geométricos.
As duas construções apresentadas nas entradas anteriores resolvem, de maneiras diferentes, o mesmo problema. Do mesmo modo, sabemos que a construção de um triângulo isósceles com base dada é a mesma da mediatriz de um segmento, da perpendicular a um segmento no seu ponto médio, do conjunto dos pontos que são equidistantes de dois pontos dados, ...
- há uma linha reta que por eles passa;
- há uma circunferência centrada num deles e a passar pelo outro
Depois de fixar as regras, o que fizemos foi determinar novos pontos ou figuras (conjunto de pontos) satisfazendo uma condição ou mais.
Determinámos uma circunferência de que conhecíamos o centro e cujo raio intervalo (raio) era dado por outros dois pontos. Para resolver essse problema, só precisámos de recorrer à definição de círculo e ao postulado da circunferência e concentrámo-nos em determinar um ponto de entre os pontos da figura procurada. Esse problema foi feito só com a circunferência postulada. Depois voltámos ao mesmo problema, com recurso à reta (régua) postulada e à circunferência (compasso) postulada.
Podemos resolver problemas só com circunferência, só com reta, com reta e circunferência. E sempre que encontrarmos um processo de resolução com reta e(ou) circunferência que prove a existência de uma figura relacionada com outra ficamos com uma ferramenta composta de vários passos construtivos com as primitivamente postuladas. E acrescentamo-las como ferramentas admissíveis (ou atalhos) ao nosso argumentário construtivo. Esta referência serve para lembrar que uma demonstração de existência ou construção deve poder ser reduzida a argumentos correntes (falados ou escritos) com base em axiomas, poucas regras simples, definições e cadeia de proposições (afirmações verdadeiras,....).
Claro que há muitos problemas que não se resolvem só com as postuladas reta e circunferência de dois pontos e isso, só quer dizer , que há figuras que podemos definir, mas de que não conseguimos provar a existência por construção recorrendo a ferramentas compostas a partir das inicialmente postuladas reta e circunferências por 2 pontos. Sabemos assim que há definições a que podem não corresponder construções com as regras admissíveis.... É bom termos uma imagem como prova do definido, é bom e preciso termos um discurso que substitua a imagem e é bom saber que há critérios para determinar o que pode ou não pode ser feito com as combinações das ferramentas postuladas por Euclides.
Nas próximas entradas vamos ocupar-nos de figuras planas construtíveis com as regras postuladas, isto é vamos resolver problemas de construção, muitos deles já abordados neste lugar por uma ou outra razão. Mas não seguimos as proposições (e suas demonstrações) nos "Elementos".
Varios autores sugerem com insistência uma abordagem autónoma do que habitualmente é nomeado por lugares geométricos como um método de construção e insistem na necessidade de conhecer um grande número de lugares geométricos - retas e círculos - construtíveis, a partir dos quais se podem determinar outros.
Os autores apresentam listas básicas distintas em número e, interessante também, com enunciados diferentes para os mesmos lugares geométricos.
As duas construções apresentadas nas entradas anteriores resolvem, de maneiras diferentes, o mesmo problema. Do mesmo modo, sabemos que a construção de um triângulo isósceles com base dada é a mesma da mediatriz de um segmento, da perpendicular a um segmento no seu ponto médio, do conjunto dos pontos que são equidistantes de dois pontos dados, ...
