On the Curved Patterns Seen in the Graph of PPTs

Resumo Técnico: Sobre os Padrões Curvos nos Gráficos de TPPs

Enunciado do Problema
O artigo aborda os padrões visuais observados em gráficos discretos de Triplas Pitagóricas Primitivas (TPPs). Especificamente, investiga o gráfico "surpreendente" construído por R. Knott, que plota todas as TPPs $(a, b, c)$ com catetos $a, b < 10.000$ no primeiro quadrante. Embora o gráfico revele estruturas curvas distintas que se assemelham a seções cônicas, o artigo busca caracterizar matematicamente essas curvas, determinar suas equações exatas e explicar os fundamentos numérico-teóricos que governam a distribuição das TPPs ao longo desses caminhos.

Metodologia
O autor emprega uma combinação de análise geométrica e teoria dos números. A metodologia envolve:

1. Mapeamento Geométrico: Representar cada TPP $(a, b, c)$ como um par ordenado $(a, b)$ no plano cartesiano, onde $a < b < c$.
2. Derivação Paramétrica: Analisar a relação entre os catetos e a hipotenusa definindo a diferença $d = c - b$ e $d' = c - a$. O artigo deriva as equações das curvas que contêm pontos que compartilham uma diferença constante $d$.
3. Classificação Parabólica: Identificar que os pontos residem em famílias específicas de parábolas. O autor distingue entre parábolas que abrem em direção aos eixos positivos (derivadas de $d = c - b$) e aquelas que abrem em direção aos eixos negativos (derivadas de propriedades de divisibilidade específicas das coordenadas).
4. Análise de Interseção e Ortogonalidade: Examinar os pontos de interseção dessas parábolas para verificar que as TPPs ocorrem nas interseções de curvas específicas e provar que as curvas que se interceptam são ortogonais (perpendiculares) nos pontos das TPPs.
5. Verificação de Sequência: Correlacionar os valores de $d$ permitidos que geram TPPs com a sequência OEIS A096033.

Principais Contribuições e Resultados

• Equações Parabólicas para TPPs: O artigo estabelece que as TPPs com uma diferença fixa $d = c - b$ residem na parábola definida por $y = \frac{x^2 - d^2}{2d}$. Da mesma forma, as TPPs com uma diferença fixa $d' = c - a$ residem no reflexo $x = \frac{y^2 - d'^2}{2d'}$.

  • Para $d=1$ (onde $c=b+1$), a equação é $y = \frac{x^2 - 1}{2}$.
  • Para $d=2$ (onde $c=b+2$), a equação é $y = \frac{x^2 - 4}{4}$.
  • O artigo generaliza isso para quaisquer valores de $d$ permitidos, mostrando que as curvas são parábolas com seu foco na origem $(0,0)$.

• Valores Permitidos de $d$: O artigo identifica que nem todos os valores inteiros de $d$ geram TPPs. Ele prova que, para uma TPP existir em uma curva com diferença $d$, $d$ deve pertencer ao conjunto de "valores permitidos" encontrados na sequência OEIS A096033. Esses valores são:

  • Quadrados de inteiros positivos ímpares ($1, 9, 25, 49, \dots$).
  • O dobro dos quadrados de inteiros positivos ($2, 8, 18, 32, 50, \dots$).
  • O artigo demonstra que, se $d$ não se enquadrar nessas formas, qualquer tripla resultante $(a, b, c)$ compartilhará um fator comum, falhando assim na condição de "primitiva".

• Parábolas Secundárias (Eixos Negativos): O artigo identifica um segundo conjunto de curvas parabólicas que abrem em direção aos eixos $x$ e $y$ negativos. Essas curvas são determinadas por um ponto TPP único $(a, b)$ e estão relacionadas à TPP "base" $(a_1, b_1)$ na parábola $d=1$ (ou $d=2/8$). As equações assumem a forma $y = -\frac{x^2}{2a_1^2/d} + \frac{a_1^2}{2d}$. Essas curvas também têm seus focos na origem.

• Ortogonalidade: Um resultado significativo é a Proposição 3, que afirma que, em qualquer ponto de plotagem de TPP $(a, b)$, a parábola que abre em direção ao eixo positivo e a parábola que abre em direção ao eixo negativo se interceptam em ângulos retos. O produto de suas inclinações no ponto de interseção é $-1$.

• Padrões Circulares e de Estrela (Starburst): O artigo analisa os padrões "circulares" e de "estrela" visíveis no gráfico principal. Ele esclarece que estes não são círculos perfeitos, mas sim compostos por pontos discretos situados em conjuntos de curvas parabólicas que se interceptam.

  • Estrelas (Starbursts): Ocorrem perto de pontos onde múltiplas parábolas (tanto de abertura positiva quanto negativa) se interceptam. Os "raios" da estrela são segmentos dessas parábolas.
  • Agrupamentos Circulares: O artigo observa que agrupamentos de 8 pontos frequentemente parecem formar círculos. No entanto, fornece prova geométrica (via mediatrizes) de que esses pontos não residem em um único círculo perfeito. Em vez disso, a aparência "circular" surge porque os pontos residem na interseção de múltiplas famílias parabólicas com restrições de espaçamento específicas (ex: $a \equiv s \pmod{2s}$).

Significância
O artigo afirma que os padrões curvos observados no gráfico de R. Knott não são meros artefatos visuais, mas são intrínsecos à matemática das Triplas Pitagóricas. A principal significância reside em:

1. Explicação Matemática: Fornecer as equações parabólicas exatas que governam a distribuição das TPPs, movendo-se da observação para a derivação rigorosa.
2. Estrutura Geométrica: Revelar que o gráfico das TPPs é uma rede de parábolas ortogonais que se interceptam, todas compartilhando um foco comum na origem.
3. Utilidade de Construção: Demonstrar que essas propriedades parabólicas podem ser usadas para construir o gráfico das TPPs sistematicamente.
4. Esclarecimento de Padrões: Distinguir entre círculos geométricos verdadeiros e os padrões "pseudo-circulares" formados pela interseção discreta de famílias parabólicas, desmistificando assim a complexidade visual do gráfico das TPPs.

O artigo conclui que esses resultados são consistentes com o conhecimento histórico (referenciando Proclus e os Pitagóricos em relação a formas específicas de triplas), mas estende isso a um arcabouço geométrico abrangente para todas as TPPs.