🔢 matemática

A counterexample to the complex polynomial Koebe radius conjecture

Este artigo refuta a conjectura do raio de Koebe para polinômios de coeficientes complexos de 2018 ao construir um polinômio cúbico normalizado específico que é univalente em uma vizinhança do disco unitário, mas omite um ponto com um módulo estritamente menor que o raio conjeturado, estabelecendo assim uma separação estrita entre os raios de Koebe cúbicos reais e complexos e provando que o grau três é o grau mínimo para tal contraexemplo.

Autores originais: Aran S. Ziegler

Publicado 2026-10-26

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Aran S. Ziegler

Artigo original sob licença CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No mundo da matemática complexa, existe uma classe especial de formas criadas ao esticar e torcer um círculo simples. Imagine pegar um disco de borracha flexível e puxá-lo em várias direções sem nunca deixar o material rasgar ou dobrar sobre si mesmo. Neste campo, conhecido como análise complexa, tal transformação é chamada de "univalente", significando que ela mapeia cada ponto do círculo original para um ponto único e distinto na nova forma. Matemáticos há muito se fascinam com uma questão específica sobre essas formas: não importa como você estique o disco de borracha, desde que siga as regras, quão grande um círculo perfeito e centralizado você pode garantir que sempre caberá dentro da forma resultante? Esta zona de segurança garantida é conhecida como raio de Koebe. Ela representa um limite fundamental de segurança; se você permanecer dentro deste raio, tem a certeza de estar dentro da forma, independentemente da maneira específica como o círculo foi distorcido.

Durante décadas, pesquisadores acreditaram ter encontrado o tamanho exato desta zona de segurança para um tipo particular de distorção envolvendo polinômios, que são expressões matemáticas construídas a partir da soma de potências de uma variável. Em 2018, um grupo de matemáticos propôs uma fórmula precisa para este raio, sugerindo que o limite era o mesmo se as regras de estiramento fossem simples e reais, ou mais complicadas e complexas. Eles acreditaram que a resposta era um número específico derivado da trigonometria, aproximadamente igual a 0,382. Essa ideia parecia robusta, sustentada por provas para casos mais simples e uma extensão lógica para outros mais complexos. A comunidade matemática aceitou isso como uma verdade provável, assumindo que as regras que governam essas formas eram uniformes através de diferentes tipos de coeficientes.

No entanto, um novo estudo de Aran S. Ziegler, da Universidade Tecnológica de Auckland, destruiu essa suposição. O pesquisador construiu um exemplo específico, cuidadosamente desenhado, que prova que a fórmula proposta é incorreta quando aplicada a números complexos. O artigo não apenas sugere uma falha; ele fornece um contraexemplo concreto e inegável. Ziegler criou um polinômio específico, uma equação de três termos com coeficientes numéricos precisos, que se comporta de maneira diferente do que a teoria previa. Este polinômio é injetivo, o que significa que ele estica o círculo com sucesso sem dobrá-lo, mas falha em cobrir toda a área que a antiga teoria afirmava que ele deveria cobrir.

O cerne da descoberta reside no comportamento deste polinômio específico. O pesquisador demonstrou que esta equação é perfeitamente válida e univalente em um disco ligeiramente maior que o círculo unitário padrão. No entanto, quando o pesquisador calculou a imagem de um ponto específico na borda deste disco, o resultado foi um valor que caiu logo fora da zona de segurança prevista pela conjectura. A distância deste ponto em relação ao centro é aproximadamente 0,38125, o que é estritamente menor que o limite conjeturado de cerca de 0,38196. Como este ponto é omitido da forma criada pelo polinômio, a zona de segurança garantida para este caso específico deve ser menor do que a teoria permitia. Este exemplo único e explícito é suficiente para refutar a regra geral de que os limites complexos e reais são idênticos.

Para garantir que este resultado não fosse um erro de cálculo ou um acaso, o autor submeteu a prova a um escrutínio rigoroso e verificado por máquina. Todo o argumento foi traduzido para uma linguagem formal que um computador poderia verificar passo a passo, validando cada desigualdade e operação aritmética sem margem para erro humano. O computador confirmou que o polinômio é de fato univalente no disco exigido e que o ponto omitido realmente existe na distância calculada. O estudo também utilizou um método envolvendo números racionais para certificar que o polinômio atende a todas as condições necessárias para ser um contraexemplo válido. Este nível de verificação confere ao resultado um alto grau de certeza, movendo-o de uma hipótese para um fato comprovado dentro do campo.

As implicações desta descoberta são claras e específicas. Elas estabelecem uma separação estrita entre o comportamento de polinômios com coeficientes reais e aqueles com coeficientes complexos. Embora a teoria mais antiga fosse verdadeira para os casos mais simples de números reais, o mundo complexo opera sob restrições diferentes. O estudo confirma que o grau do polinômio importa; para os casos mais simples de um e dois termos, a antiga teoria ainda se mantém, mas no momento em que a complexidade aumenta para três termos, a regra se quebra. O pesquisador não afirmou ter encontrado o novo limite correto para o caso complexo, apenas que o antigo limite era muito alto. O novo limite exato permanece desconhecido, mas o caminho a seguir agora está claro: o cenário matemático para estas formas é mais intrincado do que se pensava anteriormente, e a zona de segurança para distorções complexas é menor do que a elegante fórmula outrora sugerida.

Resumo Técnico: Um Contraexemplo à Conjectura do Raio de Koebe para Polinômios Complexos

Enunciado do Problema
O artigo aborda a determinação do raio de Koebe $\rho(\mathcal{F})$ para a classe de polinômios univalentes (holomorfos e injetivos) $\mathcal{F}$ normalizados como $f(z) = z + \sum_{j=2}^N a_j z^j$ . O raio de Koebe é definido como o supremo dos raios $r$ tais que o disco $D_r$ está contido na imagem $f(D)$ para todo $f \in \mathcal{F}$ .

Em 2018, Dmitrishin, Smorodin e Stokolos conjecturaram que, tanto para a classe de polinômios de coeficientes reais ( $\mathcal{U}_{N,\mathbb{R}}$ ) quanto para a de coeficientes complexos ( $\mathcal{U}_N$ ), o raio de Koebe é dado pela fórmula:
$\rho(\mathcal{U}_N) = \rho(\mathcal{U}_{N,\mathbb{R}}) = \frac{1}{4 \cos^2(\pi/(N + 2))}$
Embora o caso cúbico real ( $N=3$ ) tenha sido provado satisfazer esta fórmula com um raio de $(3-\sqrt{5})/2 \approx 0,381966$ , o caso complexo permaneceu como uma conjectura em aberto. Este artigo visa refutar a igualdade $\rho(\mathcal{U}_3) = \rho(\mathcal{U}_{3,\mathbb{R}})$ construindo um polinômio cúbico complexo específico que viola o raio conjecturado.

Metodologia
O autor emprega uma abordagem construtiva combinada com verificação analítica rigorosa e prova formal:

Construção de um Contraexemplo: O autor define um polinômio cúbico normalizado específico com coeficientes racionais:
$p(z) = z + \left( \frac{9}{10} + i\frac{1}{60} \right)z^2 + \frac{2}{7}z^3$
Verificação de Univalência: Para provar que $p(z)$ $p (z)$ é univalente em um disco $D_R$ $D_{R}$ com $R = 1001/1000$ $R = 1001/1000$ , o artigo utiliza o clássico mecanismo de Brannan. Isso envolve:
- Reduzir a condição de injetividade a um problema de "exclusão de zero quadrático".
- Definir uma família de polinômios quadráticos $q_x(w) = 1 + 2axw + b(4x^2-1)w^2$ e provar que eles não possuem zeros em $|w| \le R$ para $x \in [0,1]$ .
- Aplicar um lema (Lema 2.1) que estabelece que, se $|A - cA| < 1 - c^2$ , a quadrática $1 + Aw + cw^2$ não possui zeros no disco unitário.
Certificação Racional Exata: A verificação da condição de exclusão de zeros baseia-se em aritmética exata em vez de aproximação por ponto flutuante. O autor expressa a condição de desigualdade relevante como um polinômio $H(y)$ $H (y)$ e prova que $H(y) > 0$ $H (y) > 0$ em $[0,1]$ $[0, 1]$ usando coeficientes de Bernstein.
- O intervalo $[0,1]$ é subdividido, e limites inferiores racionais exatos para os coeficientes de Bernstein de $H(y)$ são calculados.
- Como as funções de base de Bernstein são não-negativas e somam 1, limites inferiores positivos para os coeficientes garantem a positividade da função.
Verificação Formal: Toda a prova, incluindo a definição do polinômio, a normalização, a univalência no disco ampliado e os limites estritos, é verificada utilizando o provador de teoremas Lean 4 (versão 4.34.1) com a biblioteca mathlib. A prova baseia-se apenas em axiomas padrão (propext, Classical.choice, Quot.sound) sem hipóteses não provadas.
Cálculo do Valor Omitido: O autor identifica um ponto específico $\zeta = (-24 + 7i)/25$ na fronteira do disco unitário (onde $|\zeta|=1$ ). Eles calculam sua imagem $w_0 = p(\zeta)$ e provam que $|w_0|$ é estritamente menor que o raio conjecturado.

Resultados Principais

Refutação da Conjectura: O polinômio $p(z)$ é injetivo em $D_{1001/1000}$ , o que implica que é univalente no disco unitário fechado. No entanto, a imagem do disco unitário sob $p$ omite o ponto $w_0$ , onde:
$|w_0| = \sqrt{\frac{641029}{4410000}} \approx 0,3812585$
Separação Estrita de Raios: O módulo omitido calculado satisfaz:
$|w_0| < \frac{763}{2000} < \frac{3-\sqrt{5}}{2}$
Isso estabelece a desigualdade estrita:
$\rho(\mathcal{U}_3) \le \sqrt{\frac{641029}{4410000}} < \rho(\mathcal{U}_{3,\mathbb{R}})$
Assim, o raio de Koebe complexo para o grau 3 é estritamente menor que o raio de Koebe real, refutando a conjectura de que eles são iguais.
Menor Grau de Falha: O artigo verifica que, para os graus $N=1$ e $N=2$ , os raios de Koebe real e complexo são idênticos ( $\rho=1$ e $\rho=1/2$ , respectivamente). Portanto, o grau 3 é o grau mínimo no qual a conjectura falha.

Significância e Alegações
O artigo afirma fornecer o primeiro contraexemplo explícito à conjectura do raio de Koebe para polinômios complexos para $N=3$ . Sua significância reside em:

Refutação da Igualdade Complexa: Demonstra que o comportamento extremal de polinômios de coeficientes reais não se estende ao domínio complexo para polinômios cúbicos.
Estabelecimento de um Limite Superior: Fornece um limite superior concreto e rigoroso para o raio de Koebe cúbico complexo ( $\approx 0,3812585$ ), distinguindo-o do valor real ( $\approx 0,3819660$ ).
Rigor Metodológico: O trabalho destaca a utilidade de combinar a análise complexa clássica (critério de Dieudonné, princípio do argumento) com a verificação formal moderna (Lean) e aritmética racional exata (coeficientes de Bernstein) para resolver problemas envolvendo desigualdades estritas.

O autor afirma explicitamente que, embora forneça um limite superior, não determina o valor ótimo (exato) do raio de Koebe cúbico complexo, nem alega que a conjectura falha para todos os graus $N > 3$ . O resultado é específico para o caso cúbico.

Mais como este