Capítulo 1: Fundamentos de Corpos 4

Capítulo 2: Conceitos Básicos de Extensões 8

Capítulo 3: Elementos Algébricos e Transcendentes 12

Capítulo 4: Grau de Extensões 16

Capítulo 5: Extensões Simples e Finitamente Geradas 22

Capítulo 6: Polinômios e Construções Algébricas 28

Capítulo 7: Corpo de Decomposição 34

Capítulo 8: Extensões Normais e Separáveis 40

Capítulo 9: Aplicações e Conexões com o Ensino Médio 46

Capítulo 10: Perspectivas e Desenvolvimentos Futuros 52

Referências Bibliográficas 54

A teoria de extensões de corpos representa um dos pilares fundamentais da álgebra moderna, oferecendo ferramentas essenciais para compreender estruturas algébricas avançadas e suas interconexões. Este campo matemático, desenvolvido ao longo dos séculos XIX e XX, proporciona base teórica sólida para diversos aspectos da matemática contemporânea, incluindo teoria de números, geometria algébrica e criptografia.

Um corpo é uma estrutura algébrica que generaliza as propriedades familiares dos números racionais e reais. Formalmente, um corpo F é um conjunto não vazio munido de duas operações binárias - adição e multiplicação - que satisfazem axiomas específicos: comutatividade, associatividade, existência de elementos neutros, existência de elementos inversos e distributividade da multiplicação sobre a adição.

No contexto educacional brasileiro, especialmente considerando as diretrizes da Base Nacional Comum Curricular, o estudo de extensões de corpos conecta-se naturalmente com conceitos do ensino médio como sistemas numéricos, polinômios e equações algébricas. Esta abordagem permite desenvolver competências relacionadas ao raciocínio lógico-matemático e à abstração, fundamentais para a formação científica dos estudantes.

As propriedades fundamentais dos corpos emergem naturalmente dos axiomas que definem essa estrutura algébrica. A primeira propriedade essencial estabelece que todo corpo é um domínio de integridade, isto é, não possui divisores de zero. Esta característica garante que o produto de dois elementos não nulos seja sempre não nulo, proporcionando base sólida para operações algébricas.

A segunda propriedade fundamental relaciona-se com a existência de inversos multiplicativos para todos os elementos não nulos. Esta característica distingue os corpos de outras estruturas algébricas e permite resolver equações lineares de forma única. Em termos práticos, isso significa que divisão por elementos não nulos está sempre bem definida.

A terceira propriedade essencial é a característica do corpo, definida como o menor inteiro positivo n tal que n vezes o elemento unidade seja igual ao elemento zero. Se não existe tal inteiro, a característica é zero. Esta propriedade determina aspectos fundamentais da aritmética dentro do corpo e influencia profundamente suas extensões.

Os exemplos clássicos de corpos proporcionam fundamento concreto para compreensão dos conceitos abstratos. O corpo dos números racionais Q representa o exemplo mais familiar, construído a partir do anel dos números inteiros através do processo de localização. Esta construção ilustra como corpos podem emergir naturalmente de estruturas algébricas mais simples.

O corpo dos números reais R estende Q através da completude métrica, incluindo elementos que são limites de sequências de números racionais. Esta extensão resolve problemas fundamentais como a inexistência de raízes para certas equações polinomiais em Q, demonstrando a necessidade de expandir o sistema numérico para aplicações práticas.

O corpo dos números complexos C representa extensão ainda mais ampla, obtida adjuntando-se a R uma raiz da equação x²+1=0. Esta extensão ilustra princípio fundamental: extensões de corpos frequentemente surgem da necessidade de resolver equações polinomiais que não possuem soluções no corpo original.

Um subcorpo de um corpo F é um subconjunto K ⊆ F que é fechado sob as operações de F e forma um corpo com essas operações restritas. A caracterização de subcorpos é fundamental para compreender a estrutura interna dos corpos e suas inter-relações. Todo subcorpo deve conter os elementos neutros de F e ser fechado sob adição, multiplicação e operações inversas.

Homomorfismos de corpos são funções que preservam as operações algébricas. Um homomorfismo φ: F → K entre corpos satisfaz φ(a+b) = φ(a)+φ(b) e φ(ab) = φ(a)φ(b) para todos os elementos a,b ∈ F. Uma propriedade fundamental estabelece que todo homomorfismo de corpos é injetivo, consequência direta da inexistência de divisores de zero em corpos.

O conceito de corpo primo é essencial para classificação de corpos. Todo corpo contém um único subcorpo primo, que é isomorfo a Q (se a característica é zero) ou a Fp para algum primo p (se a característica é p). Esta propriedade estabelece fundamento universal para todos os corpos.

Uma extensão de corpos é uma inclusão K ⊆ F onde K e F são corpos. Esta relação estabelece que K é subcorpo de F, ou equivalentemente, que F é uma extensão de K. A notação F/K (lida "F sobre K") indica esta relação de extensão. Este conceito fundamental permite estudar como corpos podem ser ampliados sistematicamente para incluir novos elementos.

Toda extensão F/K pode ser vista como um espaço vetorial, onde F é um espaço vetorial sobre o corpo K. Esta perspectiva é fundamental porque permite aplicar ferramentas da álgebra linear para estudar extensões de corpos. A adição vetorial é a adição em F, e a multiplicação por escalar é a multiplicação de elementos de K por elementos de F.

O conceito de elemento primitivo é central na teoria de extensões. Um elemento α ∈ F é primitivo para a extensão F/K se F = K(α), isto é, se F é gerado por α sobre K. Nem todas as extensões possuem elemento primitivo, mas aquelas que possuem - chamadas extensões simples - têm propriedades especialmente tratáveis.

Existem diversos métodos para construir extensões de corpos, cada um adequado para diferentes propósitos teóricos ou práticos. O método mais direto consiste em adjuntar um elemento específico ao corpo base. Se K é um corpo e α é um elemento algébrico sobre K, então K(α) denota a menor extensão de K que contém α.

A construção através de quocientes de anéis de polinômios oferece abordagem mais formal e geral. Se p(x) é um polinômio irredutível sobre K, então K[x]/(p(x)) é um corpo que estende K. Esta construção é particularmente útil porque garante a existência de raízes para qualquer polinômio irredutível.

Extensões podem também ser construídas através de processos iterativos, adjuntando sucessivamente múltiplos elementos. Se α₁, α₂, ..., αₙ são elementos, então K(α₁, α₂, ..., αₙ) denota a menor extensão de K contendo todos esses elementos. Esta abordagem é fundamental para estudar extensões finitamente geradas.

As extensões de corpos satisfazem diversas propriedades fundamentais que governam sua estrutura e comportamento. A primeira propriedade essencial é a transitividade: se K ⊆ L ⊆ F são corpos, então F/K é extensão, e esta pode ser decomposta como composição F/L e L/K. Esta propriedade permite estudar extensões complexas através de etapas intermediárias mais simples.

A propriedade de minimalidade estabelece que K(α) é a menor extensão de K contendo α. Isto significa que qualquer extensão de K que contenha α deve necessariamente conter K(α) como subcorpo. Esta característica é fundamental para compreender a estrutura hierárquica das extensões.

O princípio da universalidade garante que homomorfismos de corpos podem ser estendidos através de extensões sob certas condições. Se φ: K → L é homomorfismo de corpos e α é algébrico sobre K, então φ pode ser estendido a K(α) de forma única, respeitando as relações algébricas que α satisfaz.

As extensões de corpos classificam-se fundamentalmente em finitas e infinitas, conforme a dimensão do espaço vetorial F sobre K seja finita ou infinita. Esta classificação é fundamental porque extensões finitas possuem propriedades muito mais restritivas e tratáveis que extensões infinitas, permitindo aplicação de ferramentas específicas da álgebra linear.

Uma extensão F/K é finita se [F:K] < ∞, onde [F:K] denota a dimensão de F como espaço vetorial sobre K. Extensões finitas têm a propriedade notável de que todo elemento é algébrico sobre o corpo base, isto é, satisfaz alguma equação polinomial com coeficientes no corpo base. Esta característica conecta aspectos algébricos e dimensionais das extensões.

Extensões infinitas surgem naturalmente quando adjuntamos elementos transcendentes. Por exemplo, se t é transcendente sobre K, então K(t) é isomorfo ao corpo de funções racionais K(x), que tem dimensão infinita sobre K. Tais extensões requerem técnicas mais sofisticadas para seu estudo e análise.

A distinção entre elementos algébricos e transcendentes constitui uma das dicotomias mais fundamentais na teoria de extensões de corpos. Um elemento α de uma extensão F/K é algébrico sobre K se existe um polinômio não nulo p(x) ∈ K[x] tal que p(α) = 0. Caso contrário, α é transcendente sobre K. Esta classificação determina profundamente a natureza da extensão gerada pelo elemento.

Elementos algébricos possuem a propriedade notável de gerar extensões finitas. Se α é algébrico sobre K, então [K(α):K] é finito e igual ao grau do polinômio mínimo de α sobre K. Esta relação estabelece conexão direta entre propriedades algébricas do elemento e aspectos dimensionais da extensão resultante.

Elementos transcendentes, por contraste, geram extensões infinitas isomorfas ao corpo de funções racionais. Se t é transcendente sobre K, então K(t) ≅ K(x), onde K(x) denota o corpo de quocientes do anel de polinômios K[x]. Esta isomorfismo revela a estrutura fundamental das extensões transcendentes.

O polinômio mínimo de um elemento algébrico α sobre K é o único polinômio mônico irredutível em K[x] que tem α como raiz. Este polinômio encapsula toda a informação algébrica sobre α relativamente a K e determina completamente a estrutura da extensão K(α). A unicidade segue do fato de que K[x] é domínio de ideais principais.

O grau do polinômio mínimo coincide com a dimensão de K(α) como espaço vetorial sobre K. Se minₖ(α) tem grau n, então {1, α, α², ..., αⁿ⁻¹} forma base de K(α) sobre K. Esta propriedade estabelece correspondência biunívoca entre aspectos algébricos e lineares da extensão.

O polinômio mínimo determina também as relações de dependência linear entre potências de α. A relação minₖ(α) = 0 pode ser usada para expressar αⁿ como combinação linear de potências menores, permitindo cálculos explícitos em K(α). Esta propriedade é fundamental para operações práticas na extensão.

O fechamento algébrico de um corpo K, denotado K̄, é a extensão algébrica maximal de K, contendo raízes de todos os polinômios em K[x]. Esta construção é fundamental porque proporciona contexto universal para estudar elementos algébricos. Todo elemento de K̄ é algébrico sobre K, e K̄ é algebricamente fechado no sentido de que todo polinômio não constante em K̄[x] possui raiz em K̄.

A existência do fechamento algébrico é garantida pelo axioma da escolha ou, equivalentemente, pelo lema de Zorn. Embora a construção não seja explícita em geral, o fechamento algébrico tem propriedades universais que permitem estudar suas características sem construção explícita. Para corpos específicos, como Q, o fechamento algébrico pode ser caracterizado mais concretamente.

Elementos transcendentes residem "fora" do fechamento algébrico do corpo base. Por exemplo, π e e são transcendentes sobre Q, logo não pertencem a Q̄. A distinção entre algébrico e transcendente é absoluta relativamente ao corpo base: um elemento não pode ser simultaneamente algébrico e transcendente sobre o mesmo corpo.

A distinção entre elementos algébricos e transcendentes conecta-se naturalmente com conceitos familiares do ensino médio. Números irracionais algébricos, como √2 ou ∛5, são soluções de equações polinomiais com coeficientes inteiros. Esta observação proporciona interpretação concreta para o conceito abstrato de elemento algébrico.

O estudo de equações quadráticas no ensino médio pode ser reinterpretado como construção de extensões quadráticas. Quando uma equação ax² + bx + c = 0 não possui soluções racionais, suas raízes geram extensão quadrática de Q. Esta perspectiva unifica aspectos aparentemente distintos: resolução de equações e teoria de extensões.

Construções geométricas clássicas relacionam-se intimamente com extensões de corpos. Problemas de construibilidade com régua e compasso conectam-se com extensões obtidas por radicais quadráticos sucessivos. Esta conexão ilustra como questões geométricas antigas motivam desenvolvimentos algébricos modernos.

O grau de uma extensão F/K, denotado [F:K], é a dimensão de F como espaço vetorial sobre K. Este conceito fundamental quantifica o "tamanho" da extensão e proporciona medida algébrica precisa de quão distante F está de K. Quando [F:K] é finito, a extensão é finita; caso contrário, é infinita.

O grau possui propriedade multiplicativa fundamental: se K ⊆ L ⊆ F são corpos, então [F:K] = [F:L] · [L:K]. Esta propriedade, conhecida como multiplicatividade de graus, é essencial para cálculos práticos e demonstrações teóricas. Permite decompor extensões complexas em etapas menores e mais manejáveis.

Para extensões simples F = K(α) onde α é algébrico sobre K, o grau [K(α):K] coincide com o grau do polinômio mínimo de α sobre K. Esta relação estabelece conexão direta entre aspectos polinomiais e dimensionais das extensões, proporcionando método efetivo para calcular graus.

A propriedade multiplicativa dos graus constitui ferramenta fundamental para análise de extensões compostas. Esta propriedade estabelece que o grau de uma extensão composta F/K pode ser calculado como produto dos graus das extensões intermediárias em qualquer torre K ⊆ L ⊆ F. A demonstração baseia-se em propriedades de bases de espaços vetoriais.

Uma consequência importante da multiplicatividade é que o grau de qualquer extensão finita divide o grau de qualquer extensão que a contenha. Se K ⊆ L ⊆ F e [F:K] é finito, então [L:K] divide [F:K]. Esta propriedade de divisibilidade impõe restrições severas sobre possíveis extensões intermediárias.

A multiplicatividade também implica que se [F:K] é primo, então não existem corpos intermediários próprios entre K e F. Esta observação é útil para determinar a simplicidade de certas extensões e para estabelecer a inexistência de extensões intermediárias em casos específicos.

As extensões de grau pequeno possuem estruturas particularmente simples e bem compreendidas. Extensões de grau 1 são triviais - correspondem ao caso K = F. Extensões de grau 2 são geradas por elementos que satisfazem equações quadráticas irredutíveis, e toda extensão quadrática tem a forma K(√d) onde d ∈ K não é quadrado perfeito.

Extensões de grau 3 são geradas por raízes de polinômios cúbicos irredutíveis. Como 3 é primo, extensões cúbicas não possuem subcorpos intermediários próprios. Exemplos típicos incluem Q(∛a) onde a não é cubo perfeito em Q. A estrutura dessas extensões é completamente determinada pelo elemento cúbico primitivo.

Extensões de grau 4 apresentam maior complexidade estrutural. Podem ser simples (geradas por raiz de polinômio quártico irredutível) ou compostas (como biquadráticas K(√a, √b)). A distinção entre esses casos influencia profundamente as propriedades da extensão e a existência de subcorpos intermediários.

Toda extensão finita F/K possui base como espaço vetorial sobre K. Uma base é um conjunto linearmente independente que gera F sobre K. O número de elementos em qualquer base é [F:K], estabelecendo conexão precisa entre conceitos algébricos e lineares. A escolha de base apropriada simplifica significativamente cálculos na extensão.

Para extensões simples K(α), onde α tem polinômio mínimo de grau n, o conjunto {1, α, α², ..., αⁿ⁻¹} sempre forma base. Esta base canônica é particularmente útil porque expressa todo elemento de K(α) como polinômio em α de grau menor que n. A aritmética na extensão reduz-se a aritmética polinomial com redução módulo o polinômio mínimo.

Em extensões compostas, construção de bases requer mais cuidado. Se F = K(α₁, α₂, ..., αᵣ), uma base pode ser obtida considerando produtos de potências dos geradores, mas nem todos esses produtos são necessariamente linearmente independentes. Técnicas sistemáticas existem para construir bases em casos gerais.

O conceito de grau de extensão possui aplicações fundamentais em diversos contextos matemáticos. Na teoria de números algébricos, o grau determina a complexidade aritmética dos elementos algébricos. Números algébricos de grau 2 são chamados quadráticos, de grau 3 são cúbicos, e assim sucessivamente. Esta classificação influencia profundamente suas propriedades arítméticas.

Em geometria algébrica, o grau de extensões relaciona-se com dimensões de variedades algébricas. Coordenadas de pontos algébricos geram extensões cujos graus proporcionam informação sobre a complexidade geométrica dos objetos estudados. Esta conexão ilustra como álgebra abstrata informa compreensão geométrica.

Na criptografia moderna, extensões de corpos finitos de graus específicos são fundamentais para construção de sistemas criptográficos. O grau da extensão determina o tamanho do espaço de chaves e influencia diretamente a segurança do sistema. Compreensão precisa de graus é essencial para aplicações práticas.

A resolução sistemática de exercícios envolvendo graus de extensões desenvolve intuição fundamental para trabalhar com estruturas algébricas abstratas. Problemas típicos envolvem cálculo de graus, determinação de bases, e análise de propriedades estruturais de extensões específicas.

Exercícios avançados frequentemente combinam múltiplas técnicas: uso da propriedade multiplicativa para decompor extensões complexas, aplicação de critérios de irredutibilidade para verificar graus de polinômios mínimos, e construção explícita de bases para extensões compostas. Esta síntese desenvolve competências integradas essenciais.

Problemas de classificação requerem análise estrutural profunda. Determinar se duas extensões são isomorfas, identificar todos os subcorpos intermediários, ou calcular o número de embeddings são questões que exigem compreensão sólida dos conceitos fundamentais e suas interrelações.

O Teorema do Elemento Primitivo constitui resultado fundamental na teoria de extensões de corpos, estabelecendo que toda extensão finita admite gerador único. Especificamente, se F/K é extensão finita, então existe α ∈ F tal que F = K(α). Este resultado notável mostra que aparente complexidade de extensões geradas por múltiplos elementos pode sempre ser reduzida a forma simples.

A demonstração do teorema utiliza argumento de contagem engenhoso. Para corpos infinitos, o conjunto de combinações lineares dos geradores originais é infinito, enquanto o conjunto de elementos que não geram a extensão é finito. Logo, deve existir combinação linear que gera toda a extensão. Para corpos finitos, argumentação direta baseada na estrutura multiplicativa estabelece o resultado.

O elemento primitivo não é único em geral. Dada extensão F = K(α), frequentemente existem muitos outros elementos β tais que F = K(β). A caracterização de todos os elementos primitivos de uma extensão é problema interessante que conecta teoria de extensões com teoria de Galois.

Embora o Teorema do Elemento Primitivo garanta existência, a construção explícita de elementos primitivos requer técnicas específicas. O método mais direto consiste em considerar combinações lineares dos geradores originais. Se F = K(α₁, α₂, ..., αₙ), então elementos da forma c₁α₁ + c₂α₂ + ... + cₙαₙ frequentemente servem como elementos primitivos para escolhas apropriadas dos coeficientes cᵢ.

Para extensões binárias F = K(α, β), a combinação α + cβ é elemento primitivo para quase todos os valores de c. A exceção ocorre apenas para finitos valores específicos de c que dependem das relações algébricas entre α e β. Este método proporciona algoritmo efetivo para encontrar elementos primitivos em casos práticos.

Métodos mais sofisticados utilizam teoria de resultantes para caracterizar precisamente quais combinações lineares geram a extensão completa. Embora tecnicamente mais complexos, esses métodos proporcionam critérios sistemáticos e são adequados para implementação computacional.

Uma extensão F/K é finitamente gerada se existe conjunto finito {α₁, α₂, ..., αₙ} ⊆ F tal que F = K(α₁, α₂, ..., αₙ). Esta classe inclui todas as extensões finitas, mas também muitas extensões infinitas importantes. A estrutura dessas extensões pode ser analisada através da decomposição em partes algébrica e transcendente.

Toda extensão finitamente gerada pode ser escrita na forma F = K(t₁, t₂, ..., tᵣ, α₁, α₂, ..., αₛ) onde os tᵢ são algebricamente independentes sobre K (base de transcendência) e os αⱼ são algébricos sobre K(t₁, t₂, ..., tᵣ). Esta decomposição revela estrutura fundamental: extensão transcendente pura seguida de extensão algébrica.

O grau de transcendência de F sobre K é o número r na decomposição acima. Este invariante é bem definido e mede a "dimensão transcendente" da extensão. Para extensões finitas, o grau de transcendência é zero; para o corpo de funções racionais K(x), é um.

O Teorema do Elemento Primitivo possui aplicações diretas em problemas clássicos de álgebra e geometria. Na resolução de sistemas de equações polinomiais, o teorema permite reduzir problemas aparentemente complexos a análise de polinômios univariados. Esta simplificação é fundamental para métodos algorítmicos em álgebra computacional.

Em teoria de números algébricos, elementos primitivos facilitam o estudo de propriedades aritméticas de corpos numéricos. A representação de todos os elementos do corpo como polinômios em um elemento primitivo permite análise sistemática de normas, traços, e outras funções aritméticas fundamentais.

Problemas de construibilidade geométrica beneficiam-se da teoria de elementos primitivos. A caracterização de números construtíveis como elementos de extensões obtidas por radicais quadráticos sucessivos conecta-se naturalmente com análise de elementos primitivos de tais extensões.

Embora o Teorema do Elemento Primitivo seja resultado fundamental, possui limitações importantes. O teorema aplica-se apenas a extensões finitas; extensões infinitas podem não admitir gerador único. Por exemplo, o fechamento algébrico Q̄ não pode ser gerado por elemento único sobre Q, requerendo infinitos geradores.

A construção efetiva de elementos primitivos pode ser computacionalmente complexa. Embora a existência seja garantida, encontrar representação explícita em casos específicos pode requerer cálculos extensos. Esta limitação é relevante para aplicações práticas em álgebra computacional.

Extensões da teoria consideram conceitos como elementos primitivos parciais, que geram subcorpos intermediários específicos, e elementos primitivos condicionais, que são primitivos sob certas hipóteses adicionais. Estas refinamentos proporcionam ferramentas mais flexíveis para problemas especializados.

O domínio da teoria de elementos primitivos requer prática sistemática com problemas de complexidade crescente. Exercícios básicos envolvem construção explícita de elementos primitivos para extensões pequenas e verificação de suas propriedades. Problemas intermediários requerem análise de famílias de extensões e caracterização de propriedades gerais.

Problemas avançados conectam teoria de elementos primitivos com outras áreas da matemática. Questões sobre distribuição de elementos primitivos, caracterização algorítmica de primitivos ótimos, e aplicações em criptografia representam fronteiras ativas de pesquisa que combinam teoria pura com aplicações práticas.

Projetos de investigação podem explorar conexões com teoria computacional da complexidade. A determinação eficiente de elementos primitivos relaciona-se com problemas fundamentais em álgebra computacional e teoria da complexidade. Estas investigações ilustram como questões teóricas abstratas conectam-se com desafios computacionais concretos.

O anel de polinômios K[x] desempenha papel central na construção de extensões de corpos. Este anel possui estrutura rica que permite construir extensões sistematicamente através de quocientes por ideais principais. A teoria dos polinômios sobre corpos proporciona ferramentas fundamentais para compreender como extensões emergem naturalmente de equações algébricas.

Quando p(x) é polinômio irredutível em K[x], o quociente K[x]/(p(x)) forma um corpo que estende K. Esta construção é fundamental porque garante que toda equação polinomial irredutível possui solução em alguma extensão. O isomorfismo K[x]/(p(x)) ≅ K(α), onde α é raiz de p(x), estabelece conexão entre construções abstratas e geradores concretos.

A irredutibilidade de polinômios é conceito central que determina quando quocientes produzem corpos versus apenas anéis. Critérios como o de Eisenstein, análise de raízes, e técnicas de redução módulo primos proporcionam ferramentas práticas para verificar irredutibilidade em casos específicos.

A determinação da irredutibilidade de polinômios é problema fundamental com implicações diretas para construção de extensões. O critério de Eisenstein proporciona teste eficaz: um polinômio f(x) = aₙxⁿ + ... + a₁x + a₀ com coeficientes inteiros é irredutível sobre Q se existe primo p tal que p divide todos os aᵢ para i < n, p não divide aₙ, e p² não divide a₀.

Para polinômios de grau baixo, a ausência de raízes no corpo base garante irredutibilidade. Polinômios quadráticos e cúbicos sem raízes são automaticamente irredutíveis. Esta observação simplifica significativamente a análise de casos específicos e proporciona método direto para muitas situações práticas.

Técnicas de redução módulo primos estendem o alcance dos métodos de irredutibilidade. Se um polinômio permanece irredutível após redução módulo um primo (onde não possui fatores múltiplos), então é irredutível sobre os inteiros. Esta técnica é especialmente útil quando outros critérios não se aplicam diretamente.

Certas construções algébricas aparecem repetidamente na teoria de extensões devido à sua importância fundamental. As extensões ciclotômicas Q(ζₙ), onde ζₙ é raiz n-ésima primitiva da unidade, possuem propriedades especiais que as tornam centrais em teoria de números algébricos. Estas extensões têm grau φ(n) sobre Q, onde φ é a função de Euler.

Extensões quadráticas Q(√d) formam classe especialmente tratável, com estrutura completamente determinada pelo discriminante d. Estas extensões são fundamentais para compreender formas quadráticas, equações de Pell, e outros problemas clássicos de teoria de números. Sua simplicidade as torna ideais para ilustrar conceitos gerais.

Corpos finitos Fₚₙ proporcionam exemplos concretos onde todas as construções podem ser realizadas explicitamente. Estes corpos são únicos a menos de isomorfismo para cada par (p,n), e podem ser construídos como quocientes Fₚ[x]/(f(x)) onde f(x) é polinômio irredutível de grau n sobre Fₚ.

A teoria de extensões de corpos revolucionou a compreensão de problemas geométricos clássicos. Números construtíveis com régua e compasso correspondem precisamente a elementos de extensões de Q obtidas por radicais quadráticos sucessivos. Esta caracterização algébrica permitiu resolver definitivamente problemas milenares da geometria grega.

A impossibilidade da trissecção do ângulo segue do fato de que cos(20°) satisfaz equação cúbica irredutível sobre Q. Como [Q(cos(20°)):Q] = 3, e 3 não é potência de 2, cos(20°) não pertence a extensão construível. Argumentação similar resolve os problemas da duplicação do cubo e quadratura do círculo.

Polígonos regulares construtíveis correspondem àqueles com número de lados da forma 2ᵏp₁p₂...pᵣ onde os pᵢ são primos de Fermat distintos. Esta caracterização, devida a Gauss, conecta profundamente teoria de números com geometria euclidiana através da teoria de corpos ciclotômicos.

A implementação computacional de construções algébricas requer algoritmos eficientes para operações fundamentais: teste de irredutibilidade, fatoração de polinômios, e aritmética em extensões. Estes algoritmos são essenciais para aplicações práticas em criptografia, teoria de códigos, e álgebra computacional.

O algoritmo de Berlekamp proporciona método eficiente para fatorar polinômios sobre corpos finitos. Este algoritmo é fundamental para construção de corpos finitos e possui aplicações diretas em criptografia de chave pública. Sua complexidade polinomial torna viável o processamento de polinômios de grau moderado.

Aritmética em extensões pode ser implementada através de representação polinomial com redução módulo o polinômio mínimo. Esta abordagem permite operações eficientes e é a base para implementações práticas de corpos finitos em sistemas criptográficos modernos.

A consolidação dos conceitos de construções algébricas requer prática sistemática com problemas de complexidade variada. Exercícios básicos envolvem verificação de irredutibilidade, construção de quocientes, e cálculo de graus. Problemas intermediários requerem análise de famílias de polinômios e caracterização de propriedades estruturais.

Aplicações avançadas conectam construções polinomiais com problemas de outras áreas. Questões sobre distribuição de polinômios irredutíveis, caracterização de elementos primitivos através de polinômios, e otimização de representações para aplicações específicas representam direções ativas de pesquisa.

Projetos computacionais podem explorar implementação eficiente de algoritmos fundamentais. Desenvolvimento de bibliotecas para aritmética em extensões, otimização de algoritmos de fatoração, e aplicação a problemas criptográficos proporcionam experiência valiosa que conecta teoria com prática.

O corpo de decomposição de um polinômio f(x) sobre um corpo K é a menor extensão de K na qual f(x) decompõe-se completamente em fatores lineares. Esta construção é fundamental porque proporciona contexto universal para estudar todas as raízes de uma equação polinomial simultaneamente. O corpo de decomposição encapsula toda a informação algébrica sobre o polinômio e suas raízes.

Formalmente, se f(x) ∈ K[x] tem raízes α₁, α₂, ..., αₙ (contadas com multiplicidade) em alguma extensão de K, então o corpo de decomposição é K(α₁, α₂, ..., αₙ). Esta definição garante que o corpo contém todas as raízes e é minimal com esta propriedade. A minimalidade é crucial para unicidade a menos de isomorfismo.

A existência do corpo de decomposição pode ser estabelecida construtivamente adjuntando raízes sucessivamente. Começando com K, adjuntamos uma raiz de f(x), depois raízes dos fatores irredutíveis sobre esta primeira extensão, e assim sucessivamente até que f(x) decomponha-se completamente. Este processo termina em número finito de passos.

O corpo de decomposição é único a menos de isomorfismo que preserva o corpo base. Esta unicidade é consequência da propriedade universal: qualquer homomorfismo de corpos que preserva K e mapeia raízes de f(x) em raízes de f(x) pode ser estendido univocamente ao corpo de decomposição. Esta propriedade estabelece o corpo de decomposição como objeto canônico associado ao polinômio.

A demonstração da unicidade utiliza indução sobre o grau da extensão. Se dois corpos L₁ e L₂ são corpos de decomposição do mesmo polinômio sobre K, então existe isomorfismo L₁ ≅ L₂ que fixa K pointwise. Este isomorfismo pode ser construído explicitamente através das correspondências entre raízes do polinômio.

Propriedades universais do corpo de decomposição implicam que ele é o menor corpo algebricamente fechado contendo K que inclui todas as raízes de f(x). Esta caracterização conecta corpos de decomposição com fechamentos algébricos e proporciona perspectiva unificadora para diversos conceitos da teoria.

A construção sistemática de corpos de decomposição requer estratégia organizada para adjuntar raízes sucessivamente. O algoritmo básico procede por etapas: identificar fatores irredutíveis do polinômio sobre o corpo atual, adjuntar raízes desses fatores, e repetir até decomposição completa. Este processo é sempre finito para polinômios sobre corpos.

Técnicas de otimização podem reduzir o número de extensões necessárias. Quando possível, adjuntar elementos que fornecem múltiplas raízes simultaneamente acelera a construção. Por exemplo, em característica diferente de 2, adjuntar uma raiz quadrada frequentemente fornece automaticamente seu negativo.

A análise da torre de extensões Q = K₀ ⊆ K₁ ⊆ ... ⊆ Kₙ = L, onde L é o corpo de decomposição, proporciona informação estrutural valiosa. Os graus [Kᵢ₊₁:Kᵢ] determinam propriedades importantes do polinômio original e conectam-se com teoria de grupos através da correspondência de Galois.

Corpos de decomposição possuem propriedades estruturais notáveis que os distinguem de extensões gerais. Uma propriedade fundamental é que são extensões normais: todo polinômio irredutível sobre o corpo base que possui uma raiz no corpo de decomposição decompõe-se completamente nesse corpo. Esta propriedade caracteriza corpos de decomposição entre todas as extensões.

O grau [L:K] do corpo de decomposição L de um polinômio de grau n sobre K é limitado por n!. Esta limitação superior reflete o fato de que o grupo de permutações das raízes tem ordem máxima n!. Em muitos casos, o grau real é significativamente menor devido a relações especiais entre as raízes.

Corpos de decomposição são fechados sob conjugação: se σ é automorfismo de uma extensão maior que fixa K, então σ mapeia o corpo de decomposição em si mesmo. Esta propriedade é fundamental para teoria de Galois e reflete simetrias intrínsecas da estrutura algébrica.

Corpos de decomposição encontram aplicações fundamentais em diversos contextos matemáticos. Na teoria de equações algébricas, proporcionam framework natural para estudar resolubilidade por radicais. O corpo de decomposição contém toda a informação necessária para determinar se uma equação pode ser resolvida através de operações algébricas básicas.

Em teoria de números algébricos, corpos de decomposição de polinômios com coeficientes inteiros geram corpos numéricos com propriedades aritméticas especiais. Estes corpos são fundamentais para compreender distribuição de números primos, formas quadráticas, e outros problemas centrais da teoria de números.

Aplicações em criptografia utilizam corpos de decomposição de polinômios sobre corpos finitos. A estrutura desses corpos determina propriedades de segurança de diversos sistemas criptográficos, incluindo esquemas baseados em curvas elípticas e criptografia pós-quântica.

O domínio da teoria de corpos de decomposição requer prática sistemática com problemas de complexidade crescente. Exercícios fundamentais envolvem construção explícita de corpos de decomposição para polinômios específicos, cálculo de graus, e identificação de subcorpos intermediários. Estes problemas desenvolvem competências básicas essenciais.

Problemas avançados exploram conexões com outras áreas da matemática. Questões sobre distribuição de graus de corpos de decomposição, caracterização de polinômios com propriedades especiais, e otimização de algoritmos de construção representam direções ativas de pesquisa que combinam teoria pura com aplicações práticas.

Projetos de investigação podem explorar aspectos computacionais da teoria. Desenvolvimento de algoritmos eficientes para construção de corpos de decomposição, análise de complexidade de métodos alternativos, e aplicação a problemas específicos em criptografia proporcionam experiência valiosa em pesquisa aplicada.

Uma extensão L/K é normal se todo polinômio irredutível em K[x] que possui raiz em L decompõe-se completamente em L[x]. Esta propriedade caracteriza extensões que são "fechadas" relativamente a operações algébricas: se um polinômio irredutível tem uma raiz na extensão, então todas as suas raízes estão presentes. A normalidade é conceito fundamental que conecta propriedades locais (raízes individuais) com estrutura global da extensão.

Equivalentemente, L/K é normal se e somente se L é corpo de decomposição de alguma família de polinômios sobre K. Esta caracterização proporciona método construtivo para verificar normalidade e estabelece conexão direta com conceitos estudados no capítulo anterior. Toda extensão normal finita é corpo de decomposição de um único polinômio.

A normalidade possui propriedades transitivas específicas: se K ⊆ L ⊆ M são corpos e M/K é normal, então M/L também é normal. No entanto, a normalidade não é transitiva em geral - L/K pode não ser normal mesmo quando M/K e M/L são normais. Esta sutileza requer cuidado ao analisar torres de extensões.

Um elemento α algébrico sobre K é separável se seu polinômio mínimo sobre K não possui raízes múltiplas. Equivalentemente, α é separável se seu polinômio mínimo possui derivada não nula. Esta condição garante que todas as raízes do polinômio mínimo são distintas, evitando complicações técnicas que surgem na presença de multiplicidades.

Uma extensão L/K é separável se todo elemento de L é separável sobre K. Esta propriedade é fundamental para desenvolvimento da teoria de Galois clássica, pois garante que grupos de Galois têm as propriedades esperadas. Em característica zero, toda extensão algébrica é automaticamente separável, simplificando significativamente a teoria.

Em característica positiva p, a separabilidade pode falhar quando polinômios mínimos têm a forma f(xᵖ) onde f(x) é irredutível. Estes polinômios inseparáveis surgem naturalmente em geometria algébrica sobre corpos finitos e requerem técnicas especializadas para seu estudo. A compreensão da inseparabilidade é essencial para aplicações modernas.

Uma extensão L/K é de Galois se é simultaneamente normal e separável. Estas extensões possuem propriedades excepcionais que as tornam centrais na álgebra moderna. O grupo de Galois Gal(L/K) consiste em todos os automorfismos de L que fixam K pointwise. Para extensões de Galois finitas, este grupo tem ordem [L:K].

O Teorema Fundamental da Teoria de Galois estabelece correspondência biunívoca entre subcorpos intermediários de L/K e subgrupos de Gal(L/K). Esta correspondência inverte inclusões: subcorpos maiores correspondem a subgrupos menores. Esta correspondência é fundamental para compreender estrutura de extensões através de teoria de grupos.

Aplicações da correspondência de Galois incluem demonstrações da impossibilidade de resolução por radicais de equações de grau ≥ 5, caracterização de números construtíveis, e análise de problemas clássicos da álgebra. A teoria proporciona ferramentas poderosas que unificam álgebra e teoria de grupos de forma elegante.

A teoria de extensões normais e separáveis proporciona ferramentas fundamentais para estudar resolubilidade de equações polinomiais por radicais. Uma equação é resolúvel por radicais se suas raízes podem ser expressas através de fórmulas envolvendo apenas operações racionais e extrações de raízes dos coeficientes. Esta questão, central na álgebra desde a antiguidade, foi resolvida definitivamente através da teoria de Galois.

O critério de resolubilidade estabelece que uma equação polinomial é resolúvel por radicais se e somente se o grupo de Galois de sua extensão de decomposição é resolúvel. Grupos resolúveis são aqueles que possuem série normal com quocientes abelianos. Esta caracterização converte problema analítico (existência de fórmulas) em problema de teoria de grupos (resolubilidade de grupos).

Para graus ≤ 4, os grupos de Galois possíveis são sempre resolúveis, explicando a existência de fórmulas clássicas (quadráticas, cúbicas de Cardano, quárticas de Ferrari). Para grau 5, grupos de Galois podem ser S₅ ou A₅, que são não resolúveis, demonstrando impossibilidade de fórmula geral. Esta descoberta revolucionou a compreensão da álgebra.

O desenvolvimento de algoritmos eficientes para verificar normalidade e separabilidade é fundamental para aplicações práticas da teoria. Algoritmos para testar normalidade tipicamente verificam se a extensão é corpo de decomposição de algum polinômio, enquanto testes de separabilidade analisam derivadas de polinômios mínimos. Estes algoritmos são essenciais para sistemas de álgebra computacional.

O cálculo de grupos de Galois representa desafio computacional significativo. Algoritmos modernos combinam técnicas de teoria de números, álgebra linear, e teoria de grupos para determinar grupos de Galois de polinômios específicos. Esta computação é fundamental para verificar resolubilidade e analisar estrutura de extensões.

Implementações eficientes de aritmética em extensões de Galois são cruciais para aplicações em criptografia. Corpos finitos usados em sistemas criptográficos são frequentemente extensões de Galois de corpos primos, e operações eficientes nesses corpos determinam viabilidade prática de esquemas criptográficos baseados em problemas algébricos.

A consolidação dos conceitos de normalidade e separabilidade requer prática sistemática com problemas de complexidade variada. Exercícios fundamentais envolvem verificação de propriedades para extensões específicas, construção de exemplos e contraexemplos, e cálculo de grupos de Galois pequenos. Estes problemas desenvolvem intuição essencial para conceitos abstratos.

Problemas avançados exploram conexões com outras áreas da matemática. Questões sobre classificação de extensões com propriedades especiais, caracterização de grupos que ocorrem como grupos de Galois, e aplicações a problemas de teoria de números representam direções ativas de pesquisa que combinam álgebra abstrata com aplicações concretas.

Projetos de investigação podem explorar aspectos computacionais e aplicações modernas. Desenvolvimento de algoritmos para problemas específicos, análise de complexidade de métodos alternativos, e aplicação a questões em criptografia e teoria de códigos proporcionam experiência valiosa em pesquisa aplicada e conexões interdisciplinares.

A teoria de extensões de corpos, embora abstrata, conecta-se fundamentalmente com conceitos do ensino médio brasileiro, especialmente aqueles estabelecidos pela Base Nacional Comum Curricular. Esta conexão não é superficial - os conceitos avançados iluminam e unificam tópicos aparentemente díspares do currículo básico, proporcionando perspectiva mais profunda sobre a estrutura matemática subjacente.

No estudo de sistemas numéricos, a progressão N ⊆ Z ⊆ Q ⊆ R ⊆ C pode ser reinterpretada como sequência de extensões de corpos, onde cada extensão resolve limitações do sistema anterior. Esta perspectiva unifica tópicos tradicionalmente ensinados separadamente e demonstra como a matemática progride através de generalizações sistemáticas.

As competências da BNCC relacionadas ao raciocínio lógico-matemático e à abstração são desenvolvidas naturalmente através do estudo de extensões. A capacidade de reconhecer padrões, estabelecer conexões entre conceitos, e trabalhar com estruturas abstratas - todas habilidades centrais na formação científica - emergem organicamente do estudo sistemático da teoria de corpos.

O estudo de equações algébricas no ensino médio concentra-se principalmente em equações quadráticas e suas fórmulas de resolução. A teoria de extensões proporciona framework para compreender por que essas fórmulas existem e funcionam. Toda equação quadrática ax² + bx + c = 0 tem discriminante Δ = b² - 4ac, e suas raízes pertencem à extensão Q(√Δ).

Esta perspectiva ilumina questões naturais que emergem no ensino médio: por que algumas equações têm soluções "simples" enquanto outras requerem expressões complexas? A teoria de extensões responde através dos conceitos de grau e estrutura da extensão gerada pelas raízes. Equações com raízes em extensões de grau baixo admitem representações mais simples.

A impossibilidade de fórmulas gerais para equações de grau ≥ 5, estabelecida através da teoria de Galois, pode ser apresentada como extensão natural das limitações encontradas no ensino médio. Esta conexão mostra como questões elementares motivam desenvolvimentos matemáticos profundos e sofisticados.

A geometria euclidiana do ensino médio inclui construções com régua e compasso que podem ser reinterpretadas através da teoria de extensões. Números construtíveis correspondem precisamente a elementos de extensões de Q obtidas por radicais quadráticos sucessivos. Esta caracterização algébrica resolve definitivamente questões geométricas milenares.

Problemas clássicos como trissecção do ângulo, duplicação do cubo, e quadratura do círculo podem ser apresentados como questões sobre construtibilidade de números específicos. A análise através de extensões de corpos demonstra impossibilidade de forma rigorosa e elegante, conectando álgebra abstrata com geometria concreta.

A construção de polígonos regulares conecta-se com teoria de corpos ciclotômicos. A caracterização de Gauss dos polígonos construtíveis através de primos de Fermat pode ser compreendida como resultado sobre graus de extensões ciclotômicas. Esta conexão ilustra como problemas geométricos motivam desenvolvimentos algébricos profundos.

As aplicações modernas da teoria de extensões de corpos em tecnologia proporcionam motivação contemporânea para o estudo de conceitos abstratos. Criptografia de chave pública, usado em transações eletrônicas e comunicações seguras, baseia-se fundamentalmente em propriedades de extensões de corpos finitos. Esta conexão direta entre teoria pura e aplicações práticas ilustra relevância da matemática abstrata.

Sistemas de correção de erros, essenciais para comunicações digitais e armazenamento de dados, utilizam códigos baseados em extensões de corpos finitos. A teoria proporciona ferramentas para construir códigos com propriedades específicas de correção, demonstrando como conceitos algébricos resolvem problemas de engenharia moderna.

Criptografia pós-quântica, área emergente motivada pela ameaça de computadores quânticos, explora extensões de corpos para construir sistemas resistentes a ataques quânticos. Esta aplicação mostra como teoria matemática fundamental adapta-se para enfrentar desafios tecnológicos futuros.

O desenvolvimento de atividades pedagógicas que conectem teoria de extensões com o ensino médio requer equilíbrio cuidadoso entre rigor matemático e acessibilidade conceitual. Projetos investigativos podem explorar padrões numéricos que emergem naturalmente da teoria, como propriedades de números construtíveis ou comportamento de sequências definidas por relações de recorrência quadráticas.

Atividades computacionais utilizando software de álgebra simbólica permitem exploração experimental de conceitos avançados. Estudantes podem investigar propriedades de extensões específicas, verificar resultados teóricos em casos particulares, e desenvolver intuição para abstrações através de exemplos concretos calculados numericamente.

Projetos interdisciplinares podem conectar teoria de corpos com história da matemática, mostrando como problemas clássicos motivaram desenvolvimentos teóricos. Esta abordagem desenvolve apreciação pela continuidade do empreendimento matemático e demonstra como questões práticas históricas continuam influenciando pesquisa contemporânea.

A avaliação da compreensão de conceitos relacionados a extensões de corpos no contexto do ensino médio requer instrumentos que capturem tanto conhecimento conceitual quanto habilidades de aplicação. Questões que conectem conceitos abstratos com problemas concretos permitem avaliar compreensão profunda versus memorização superficial.

Rubricas de avaliação podem focar em competências específicas: capacidade de reconhecer padrões algébricos, habilidade para conectar conceitos aparentemente distintos, e competência para aplicar princípios gerais a situações específicas. Estas competências alinham-se com objetivos da BNCC relacionados ao desenvolvimento do pensamento científico.

Perspectivas futuras para integração de conceitos avançados no ensino médio incluem desenvolvimento de recursos digitais interativos, formação continuada de professores, e criação de materiais didáticos que tornem abstrações acessíveis. O objetivo é enriquecer a formação matemática sem sobrecarregar o currículo.

A teoria de extensões de corpos continua sendo área vibrante de pesquisa matemática, com desenvolvimentos contemporâneos que expandem aplicações e aprofundam compreensão teórica. Pesquisas atuais exploram conexões com geometria algébrica computacional, teoria de números algébricos, e criptografia avançada. Estas direções ilustram como fundamentos sólidos proporcionam base para inovações contínuas.

O desenvolvimento de algoritmos eficientes para problemas fundamentais em teoria de corpos representa fronteira ativa entre matemática pura e ciência da computação. Questões sobre complexidade computacional de construção de extensões, otimização de representações para aplicações específicas, e paralelização de cálculos algébricos conectam teoria abstrata com desafios práticos modernos.

Aplicações emergentes em criptografia pós-quântica e computação quântica proporcionam motivação renovada para estudar extensões de corpos. A resistência de certos problemas algébricos a ataques quânticos faz da teoria de corpos ferramenta essencial para segurança de informação no futuro. Esta relevância prática garante investimento contínuo em pesquisa fundamental.

Este volume apresentou desenvolvimento sistemático da teoria de extensões de corpos, desde conceitos fundamentais até aplicações avançadas e conexões pedagógicas. A progressão cuidadosa desde definições básicas até teoremas profundos reflete a estrutura hierárquica natural do conhecimento matemático e demonstra como abstrações emergem organicamente de problemas concretos.

A integração de rigor teórico com aplicações práticas ilustra a natureza dual da matemática como empreendimento intelectual e ferramenta para resolver problemas reais. Esta perspectiva é especialmente relevante no contexto educacional brasileiro, onde formação científica sólida deve equilibrar compreensão conceitual profunda com preparação para aplicações práticas.

As conexões estabelecidas entre teoria avançada e conceitos do ensino médio demonstram continuidade fundamental do desenvolvimento matemático. Conceitos aparentemente díspares revelam-se aspectos de estruturas unificadoras mais profundas, proporcionando perspectiva que enriquece compreensão em todos os níveis de estudo.

Bibliografia Fundamental

ARTIN, Michael. Algebra. 2ª ed. Boston: Pearson, 2010.

DUMMIT, David S.; FOOTE, Richard M. Abstract Algebra. 3ª ed. Hoboken: John Wiley & Sons, 2003.

HUNGERFORD, Thomas W. Algebra. 8ª ed. New York: Springer-Verlag, 2003.

JACOBSON, Nathan. Basic Algebra I. 2ª ed. New York: Dover Publications, 2009.

LANG, Serge. Algebra. 3ª ed. Reading: Addison-Wesley, 1993.

ROTMAN, Joseph J. Advanced Modern Algebra. 2ª ed. Providence: American Mathematical Society, 2010.

Bibliografia Complementar

BRASIL. Ministério da Educação. Base Nacional Comum Curricular: Ensino Médio. Brasília: MEC, 2018.

CLARK, David A. Elementary Number Theory. 2ª ed. New York: Dover Publications, 2018.

FRALEIGH, John B. A First Course in Abstract Algebra. 7ª ed. Boston: Pearson, 2002.

GALLIAN, Joseph A. Contemporary Abstract Algebra. 9ª ed. Boston: Cengage Learning, 2016.

HERSTEIN, I. N. Topics in Algebra. 2ª ed. New York: John Wiley & Sons, 1975.

STEWART, Ian. Galois Theory. 4ª ed. Boca Raton: Chapman and Hall/CRC, 2015.

Bibliografia Especializada

COX, David A. Galois Theory. 2ª ed. Hoboken: John Wiley & Sons, 2012.

EDWARDS, Harold M. Galois Theory. New York: Springer-Verlag, 1984.

LIDL, Rudolf; NIEDERREITER, Harald. Finite Fields. 2ª ed. Cambridge: Cambridge University Press, 1997.

WASHINGTON, Lawrence C. Introduction to Cyclotomic Fields. 2ª ed. New York: Springer-Verlag, 1997.

Recursos Pedagógicos

ALLENBY, R. B. J. T. Rings, Fields and Groups: An Introduction to Abstract Algebra. 2ª ed. Oxford: Butterworth-Heinemann, 1991.

NICHOLSON, W. Keith. Introduction to Abstract Algebra. 4ª ed. Hoboken: John Wiley & Sons, 2012.

SARACINO, Dan. Abstract Algebra: A First Course. 2ª ed. Long Grove: Waveland Press, 2008.

Recursos Eletrônicos

MILNE, James S. Fields and Galois Theory. Disponível em: https://www.jmilne.org/math/. Acesso em: jan. 2025.

STACKS PROJECT AUTHORS. The Stacks Project. Disponível em: https://stacks.math.columbia.edu. Acesso em: jan. 2025.

WOLFRAM RESEARCH. Wolfram MathWorld: Field Theory. Disponível em: https://mathworld.wolfram.com. Acesso em: jan. 2025.