Hiperciclo

Na geometria hiperbólica , um hiperciclo é uma curva formada por todos os pontos localizados na mesma distância, chamada de raio , a partir de uma linha fixa (chamada de eixo ). Os hiperciclos podem ser considerados círculos generalizados, mas também possuem certas propriedades das linhas euclidianas; no modelo de disco de Poincaré , os hiperciclos são representados por arcos de círculos.

Definição

Na geometria euclidiana, o conjunto de todos os pontos localizados a uma determinada distância de uma determinada linha é formado por dois paralelos a esta linha (é esta propriedade que Clairaut toma como a definição de paralelismo ). Ao contrário, na geometria hiperbólica, duas linhas não secantes (“paralelas” no sentido usual) aproximam-se indefinidamente (falamos de paralelas assintóticas ) ou têm uma única perpendicular comum , materializando sua distância mínima (falamos de ultraparalelas ) O conjunto de pontos equidistantes de uma linha reta, em geometria hiperbólica, é formado por duas curvas, chamadas hiperciclos  ; a linha é o eixo e a distância é o raio desses hiperciclos.

Propriedades semelhantes às das linhas.

Algumas propriedades dos hiperciclos são análogas às das linhas euclidianas:

Propriedades semelhantes a círculos

Outras propriedades dos hiperciclos são análogas às dos círculos euclidianos:

  1. Sejam A e B dois pontos de um hiperciclo. A bissetriz perpendicular de AB é perpendicular ao hiperciclo e seu eixo e intercepta o hiperciclo no meio do arco AB .
  2. O eixo de um hiperciclo é único.
  3. Dois hiperciclos têm o mesmo raio se e somente se forem congruentes .
  4. Uma linha corta um hiperciclo em, no máximo, dois pontos.
  5. Dois hiperciclos têm no máximo dois pontos em comum.
Manifestações

Seja M o ponto médio do arco AB  :

  1. Por simetria, a bissetriz perpendicular da corda AB é ortogonal ao eixo em N e passa por M; MN é, portanto, um raio.
  2. Suponha que um hiperciclo tenha dois eixos distintos. Tomando duas cadeias distintas AB e CD , e usando duas vezes o resultado anterior para cada um dos dois eixos, obtemos quatro raios distintos MN e MN ' por um lado, PQ e PQ' por outro, e por construção, a figura NN 'Q'Q é um retângulo, o que é impossível na geometria hiperbólica.
  3. Se os dois raios são iguais, aproximando os dois eixos um do outro por um deslocamento (possivelmente seguido por uma rotação de 180 °), os dois hiperciclos também coincidem. Inversamente, se sobrepormos os dois hiperciclos por um deslocamento, a singularidade dos eixos demonstrada anteriormente implica na igualdade dos raios.
  4. Sejam A e B dois pontos de intersecção da linha com o hiperciclo. A reta AB é ultraparalela ao eixo, já que MN (construída como em 1) é a perpendicular comum a essas duas linhas; MN é também a menor distância entre o eixo e AB . A distância entre as linhas está a crescer de distância a partir de H , ele não pode ser igual ao raio de um e B .
  5. Ou C 1 e C 2 duas hiperciclos cruzando-se em três pontos A, B , e C . Como anteriormente, construímos as bissetoras perpendiculares de AB e BC , que são, portanto, ortogonais aos dois eixos dos hiperciclos; como isso formaria um retângulo impossível, os dois eixos são mesclados, e C 1 e C 2 tendo o mesmo eixo e um ponto comum e, portanto, o mesmo raio, são mesclados.

Outras propriedades

Comprimento de um arco

Tomando a curvatura do plano hiperbólico igual a −1, sejam A e B dois pontos do hiperciclo, r seu raio ed a distância entre as projeções de A e B em seu eixo; o comprimento a do arco AB é dado pela fórmula a = d ch r .

Construção

No modelo do disco de Poincaré , as retas são representadas por arcos de círculos ortogonais ao círculo limite; um hiperciclo tendo como eixo uma linha d é representado por um arco de círculo passando pelos pontos de intersecção de d com o círculo limite.

Referências

  1. George E. Martin , The foundations of geometry and the non-euclidean plane , New York, Springer-Verlag,1986, 1., corr. Springer  ed. ( ISBN  3-540-90694-0 ) , p.  371
  2. AS Smogorzhevsky , geometria Lobachevskiana , Moscou, Mir,1982( leia online ) , 68

Veja também

Bibliografia

links externos