Conjectura de Beal

A conjectura de Beal é a seguinte conjectura em teoria dos números:

Se

$$A^{x}+B^{y}=C^{z},$$

e A, B, C, x, y, e z são números inteiros positivos, com x, y, z > 2, então A, B, e C possuem um fator primo em comum.

Equivalente a &,

Não existem soluções para a equação acima em que A, B, C, x, y, z sejam números inteiros positivos, A, B, e C sejam dois a dois primos entre si e x, y, z sejam todos maiores do que 2.

A conjectura foi formulada em 1993 por Andrew Beal, um banqueiro e matemático amador, enquanto investigava generalizações do último teorema de Fermat. Desde 1997, Beal oferece um prêmio em dinheiro por um contraexemplo ou uma demonstração que seja publicada em uma revista revisada por pares. O valor do prêmio aumentou várias vezes e é atualmente de US $1.000.000.

Em alguns locais, esta conjectura tem sido ocasionalmente referida como uma generalização da equação de Fermat, a conjectura de Mauldin, e a conjectura de Tijdeman-Zagier.

Exemplos relacionados

Para ilustrar, as bases da solução $3^{3}+6^{3}=3^{5}$ têm o 3 como um fator comum, a $7^{3}+7^{4}=14^{3}$ tem bases com o fator comum 7, e $2^{n}+2^{n}=2^{n+1}$ tem bases com um fator comum 2. De fato, a equação tem um número infinito de soluções, em que as bases compartilham um fator comum, incluindo generalizações dos três exemplos acima, respectivamente

$$3^{3n}+[2(3^{n})]^{3}=3^{3n+2},\quad \quad n\geq 1;$$

$$(a^{n}-1)^{kn}+(a^{n}-1)^{kn+1}=[a(a^{n}-1)^{k}]^{n},\quad \quad a\geq 2,\quad k\geq 1,\quad n\geq 3;$$

e

$$[a(a^{n}+b^{n})]^{n}+[b(a^{n}+b^{n})]^{n}=(a^{n}+b^{n})^{n+1},\quad \quad a\geq 1,\quad b\geq 1,\quad n\geq 3.$$

Além disso, para cada solução (com ou sem bases primas entre si), há um número infinito de soluções com o mesmo conjunto de expoentes e um conjunto crescente de bases não primas entre si. Isto é, para a solução

$$A_{1}^{x}+B_{1}^{y}=C_{1}^{z}$$

tem-se também

$$A_{n}^{x}+B_{n}^{y}=C_{n}^{z};\quad n\geq 2$$

em que

$$A_{n}=(A_{n-1}^{yz+1})(B_{n-1}^{yz})(C_{n-1}^{yz})$$

$$B_{n}=(A_{n-1}^{xz})(B_{n-1}^{xz+1})(C_{n-1}^{xz})$$

$$C_{n}=(A_{n-1}^{xy})(B_{n-1}^{xy})(C_{n-1}^{xy+1})$$

Todas as da conjectura de Beal envolverão necessariamente três termos que são números 3-poderosos, isto é, números, onde cujo expoente de cada fator primo é, no mínimo, três. Sabe-se que há um número infinito de tais somas envolvendo números primos entre si 3-poderosos; no entanto, tais somas são raras. O menor de dois exemplos são:

$${\begin{aligned}271^{3}+2^{3}\ 3^{5}\ 73^{3}=919^{3}&=776{,}151{,}559\\3^{4}\ 29^{3}\ 89^{3}+7^{3}\ 11^{3}\ 167^{3}=2^{7}\ 5^{4}\ 353^{3}&=3{,}518{,}958{,}160{,}000\\\end{aligned}}$$

O que distingue a conjectura de Beal é que ela requer que cada um dos três termos sejam expressos como uma única potência.

Relação com outras conjecturas

O último teorema de Fermat estabeleceu que $A^{n}+B^{n}=C^{n}$ não possui solução para n > 2 para números inteiros positivos A, B, e C. Se existisse alguma solução da equação do último teorema de Fermat, então ao dividir cada parcela pelos fatores comuns, seria obtida uma solução com A, B e C primos entre si. Assim, o último teorema de Fermat pode ser visto como um caso especial da conjectura de Beal, restrita ao caso x = y = z.

Segundo a conjectura de Fermat–Catalan, a equação $A^{x}+B^{y}=C^{z}$ só possui uma quantidade finita de soluções em que A, B, e C sejam inteiros positivos sem fatores primos em comum e x, y, e z sejam inteiros positivos satisfazendo ${\frac {1}{x}}+{\frac {1}{y}}+{\frac {1}{z}}<1.$ A conjectura de Beal pode ser reformulada como "Todas as soluções da conjectura de Fermat–Catalan terão 2 como um dos expoentes."

Se a conjetura abc se mostrar verdadeira, ela implicará que há no máximo uma quantidade finita de contraexemplos para a conjectura de Beal.

Resultados parciais

Nos casos abaixo em que 2 é um expoente, os múltiplos de 2 também estão provados, uma vez que uma potência pode ser elevada ao quadrado. Analogamente, quando n é um expoente, os múltiplos de n também estão comprovados.

• O caso em que mdc(x, y, z) > 2 é uma consequência do último teorema de Fermat.
• Pierre de Fermat demonstrou nos anos 1600s que o caso em que (x, y, z) = (2, 4, 4), bem como todas as suas permutações, não possui soluções. (Ver uma demonstração aqui para o caso em que x = 2 ou y = 2.)
• Uma classe de soluções em potencial para a equação, a saber, aquelas em que A, B, C também formam um terno pitagórico, foi considerada por L. Jesmanowicz na década de 1950. J. Jozefiak provou que há uma infinidade de ternos pitagóricos primitivos que não podem satisfazer a equação de Beal. Outros resultados são devidos a Chao Ko.
• O caso x = y = z é o último teorema de Fermat, demonstrado por Andrew Wiles em 1994.
• Os casos (x,y,z) = (2,n,n) e (3,n,n) foram provados por Darmon e Merel em 1995.
• O caso (x, y, z) = (n, 4, 4) e todas as suas permutações foi demonstrado para n ≥ 2.
• A impossibilidade do caso em que A = 1 ou B = 1 é uma consequência da conjectura de Catalan, demonstrada em 2002 por Preda Mihăilescu. (note que C não pode ser 1, ou então A ou B precisariam ser 0, o que não é permitido.)
• Para o caso (x, y, z) = (2, 3, 7), e todas as suas permutações, foi demonstrado que só existem cinco soluções, nenhuma delas envolvendo uma potência par maior do que 2, por Bjorn Poonen, Edward F. Schaefer, e Michael Stoll em 2005.
• Sabe-se que o caso (x, y, z) = (2, 3, 8) e todas as suas permutações têm apenas três soluções, nenhuma delas envolvendo uma potência par maior do que 2.
• Sabe-se que o caso (x, y, z) = (2, 3, 9) e todas as suas permutações têm apenas duas soluções, nenhuma delas envolvendo uma potência par maior do que 2.
• O caso (x, y, z) = (2, 3, 10) e todas as suas permutações foi demonstrado por David Brown em 2009.
• O caso (x, y, z) = (2, 4, n) e todas as suas permutações foi demonstrado para n ≥ 4 por Michael Bennet, Jordan Ellenberg, e Nathan Ng em 2009.
• O caso (x, y, z) = (2, 3, 15) e todas as suas permutações foi demonstrado por Samir Siksek e Michael Stoll em 2013.
• O caso (x, y, z) = (3, 3, n) e todas as suas permutações foi demonstrado para 3 ≤ n ≤ 10000 exceto n = 7, 11, e 13.
• Os casos (5, 5, 7), (5, 5, 19), e (7, 7, 5) e todas as suas permutações foram por Sander R. Dahmen e Samir Siksek em 2013.
• O teorema de Darmon–Granville utiliza o teorema de Faltings para mostrar que para qualquer escolha específica de expoentes (x, y, z), há no máximo uma quantidade finita de soluções.
• Peter Norvig, diretor de pesquisa do Google, relatou ter conduzido uma série de buscas numéricas por contraexemplos para a conjectura de Beal. Entre seus resultados, ele excluiu todas as possíveis soluções tendo tanto x, y, z ≤ 7 quanto A, B, C ≤ 250,000, bem como possíveis soluções tendo x, y, z ≤ 100 e A, B, C ≤ 10,000.
• O site interino da AMS publicou uma nota assegurando que uma possível solução foi encontrada.

Em setembro de 2019 um documento advindo da Pontifícia Universidade Católica foi listado no conselho de correção da AMS.^{[carece de fontes]}

Prêmio

Por uma demonstração ou contraexemplo publicada em um jornal revisado por pares, o banqueiro Andrew Beal ofereceu, inicialmente, um prêmio de US $5.000 em 1997, aumentando-o para $50.000 ao longo de dez anos, mas, desde então, aumentou o valor para US $1.000.000.

A American Mathematical Society (AMS) detém o prêmio de US $1 milhão em uma relação de confiança até que a conjectura de Beal seja resolvida. Ela é supervisionada pelo comitê do prêmio Beal (BPC), que é nomeado pelo presidente da AMS. Após uma atualização do site interino da AMS , uma possível solução foi proposta por um aluno de graduação em física da Pontifícia Universidade Católica. Matheus Vieira está na lista de análise para a validação do prêmio.

Erro comum em demonstrações da Conjectura de Beal

O erro mais comum em tentativas de demonstrações da Conjectura de Beal é assumir que renomear variáveis matemáticas garantem a generalização da prova. No caso da Conjectura de Beal, esse erro acontece ao assumir uma solução que já contem um fator primo comum à A, B e C. Muitas vezes o autor nem está consciente dessa condição inicial. Entretanto, para a Conjectura de Beal ser realmente verdadeira, deve-se garantir que não existe um contra-exemplo.

Exemplo de tentativa de demonstração da Conjectura de Beal por TM, STM e TGM

• TM Dado duas equações $Eq_{1}:c^{z}=b^{y}+a^{x}$ e $Eq_{2}:c^{m}=c^{m}$ com soluções inteiras positivas e tem como base comum c ≠ 0 , com c, b, a, z, y, x e m ∈ ℕ, m > z é possível determinar uma nova equação $Eq_{3}$ que possua tanto o formato de $Eq_{1}$ assim como $Eq_{2}$. Isso quer dizer se $Eq_{3}$ não satisfazer a $Eq_{1}$ então a $Eq_{1}$ não possui soluções nos inteiros positivos.

Exemplo Geral do TM , $Eq_{1}:c^{z}=b^{y}+a^{x}$ se possui soluções inteiras então $c=(b^{y}+a^{x})^{z}$ (I) é valido, assim como $1=c^{-z}.(b^{y}+a^{x})$ (II) elemento neutro da multiplicação, seja $Eq_{2}:c^{m}=c^{m}$ (III) já possui soluções inteiras pois c ≠ 0 e m > z, isso tem a seguinte sequência $c^{2},c^{3},c^{4},c^{5},...$, dito isso possamos usar os seguintes passos. Note que $c^{m}=c^{m}$ ⇔ $c^{m}=c^{m}.1$, substituindo (II) em (III) temos $c^{m}=c^{m}.c^{-z}.(b^{y}+a^{x})$ ⇔ $c^{m}=c^{m-z}.b^{y}+c^{m-z}.a^{x}$, note que c é um fator comum ao substituir (I) resulta em $(b^{y}+a^{x})^{\frac {m}{z}}=b^{y}.(b^{y}+a^{x})^{\frac {m-z}{z}}+a^{x}.(b^{y}+a^{x})^{\frac {m-z}{z}}$, por teoria dos números possamos usar as seguintes propriedades

$(b^{y}+a^{x})^{\frac {m}{z}}=[b.(b^{y}+a^{x})^{\frac {m-z}{y.z}}]^{y}+[a.(b^{y}+a^{x})^{\frac {m-z}{x.z}}]^{x}$, para que ${\frac {m-z}{y.z}}$,${\frac {m-z}{x.z}}$ ∈ ℕ, basta m - z ser múltiplo de xyz isso é ∃ k ∈ ℕ tal que m - z = xyz.k, com isso chegamos na $Eq_{3}$ que é; $(b^{y}+a^{x})^{xy.k+1}=[b.(b^{y}+a^{x})^{xk}]^{y}+[a.(b^{y}+a^{x})^{yk}]^{x}$ ⇔ $Eq_{3}:C^{xy.k+1}=B^{y}+A^{x}$ ⇔ $C^{Z}=B^{y}+A^{x}$, mesmo formato de $Eq_{1}$.

Dados:

Seja $Eq_{1}:c^{z}=b^{y}+a^{x}$ e $Eq_{2}:c^{m}=c^{m}$ então gerou $Eq_{3}:C^{Z}=B^{y}+A^{x}$, com $C=a^{x}+b^{y}$, $Z=xy.k+1$, $B=b.(b^{y}+a^{x})^{x.k}$ e $A=a.(b^{y}+a^{x})^{y.k}$

Exemplo 1 Teorema de Pitágoras $c^{2}=b^{2}+a^{2}$ por TM temos os seguintes dados $Eq_{1}:c^{2}=b^{2}+a^{2}$ e $Eq_{2}:c^{m}=c^{m}$, onde m>2, queremos chegar em uma $Eq_{3}$ se $Eq_{3}$ possuir o mesmo formato de $Eq_{1}$ então exite soluções nos inteiros positivos. Então pelos métodos de TM temos $c^{m}=c^{m}$ ⇒ $c^{m}=c^{m}.1$ ⇒ $c^{m}=c^{m-2}.(b^{2}+a^{2})$ ⇒ $c^{m}=c^{m-2}.b^{2}+c^{m-2}.a^{2}$ ⇒ $c^{m}=b^{2}.c^{m-2}+a^{2}.c^{m-2}$ ⇒ $(b^{2}+a^{2})^{\frac {m}{2}}=b^{2}.(b^{2}+a^{2})^{\frac {m-2}{2}}+a^{2}.(b^{2}+a^{2})^{\frac {m-2}{2}}$ ⇒ $(b^{2}+a^{2})^{\frac {m}{2}}=[b.(b^{2}+a^{2})^{\frac {m-2}{4}}]^{2}+[a.(b^{2}+a^{2})^{\frac {m-2}{4}}]^{2}$, para que ${\frac {m-2}{4}}$ ∈ ℕ, ∃ k ∈ ℕ tal que m-2 = 4.k ↔ m = 4k + 2 = 2(2k + 1), substituindo temos o $Eq_{3}$;

$Eq_{3}:(b^{2}+a^{2})^{2k+1}=[b.(b^{2}+a^{2})^{k}]^{2}+[a.(b^{2}+a^{2})^{k}]^{2}$ de cara nota que o expoente 2k + 1 é um impa então $Eq_{3}$ em primeira instancia não tem o mesmo formato de $Eq_{1}$, porém se $(b^{2}+a^{2})^{2k+1}=(c^{2k+1})^{2}$ também é valida aí sim $Eq_{3}$ é equivalente a $Eq_{1}$, note que pelas Triplas Pitagóricas temos que $c=2t^{2}+2k+1$, $b=2t^{2}+2t$ e $a=2t+1$, com t≥1, t ∈ ℕ, fazendo os cálculos temos que $b^{2}+a^{2}=(2t^{2}+2t+1)^{2}$, então $Eq_{3}:(b^{2}+a^{2})^{2k+1}=[b.(b^{2}+a^{2})^{k}]^{2}+[a.(b^{2}+a^{2})^{k}]^{2}$ ⇒ $Eq_{3}:((2t^{2}+2t+1)^{2})^{2k+1}=[b.((2t^{2}+2t+1)^{2})^{k}]^{2}+[a.((2t^{2}+2t+1)^{2})^{k}]^{2}$ ⇒ $Eq_{3}:((2t^{2}+2t+1)^{2k+1})^{2}=[b.(2t^{2}+2t+1)^{2k}]^{2}+[a.(2t^{2}+2t+1)^{2k}]^{2}$, o mesmo formato de $Eq_{1}$ logo teorema de Pitágoras tem soluções nos inteiros positivos por TM. se fosse fazer a volta; $((2t^{2}+2t+1)^{2k+1})^{2}=[b.(2t^{2}+2t+1)^{2k}]^{2}+[a.(2t^{2}+2t+1)^{2k}]^{2}$ ⇒ $((c)^{2k+1})^{2}=[b.(c)^{2k}]^{2}+[a.(c)^{2k}]^{2}$ ⇒ $(c^{2})^{2k+1}=b^{2}.(c)^{4k}+a^{2}.(c)^{4k}$ ⇒ $(c^{2})^{2k+1}=(b^{2}+a^{2}).(c)^{4k}$ ⇒ $c^{4k+2}=(c^{2}).(c)^{4k}$ ⇒ $c^{4k+2}=c^{4k+2}$, portanto satisfez a $Eq_{2}$ também.

Exemplo 2 Teorema de Sebá seja x=y e z≠x, $c^{z}=b^{x}+a^{x}$, com mdc(z,y)=mdc(z,x)=1, por TM temos os seguintes dados $Eq_{1}:c^{z}=b^{x}+a^{x}$ e $Eq_{2}:c^{m}=c^{m}$, onde m>z, queremos chegar em uma $Eq_{3}$ se $Eq_{3}$ possuir o mesmo formato de $Eq_{1}$ então exite soluções nos inteiros positivos.

Então pelos métodos de TM temos $c^{m}=c^{m}$ ⇒ $c^{m}=c^{m}.1$ ⇒ $c^{m}=c^{m-z}.(b^{x}+a^{x})$ ⇒ $c^{m}=c^{m-z}.b^{x}+c^{m-z}.a^{x}$ ⇒ $c^{m}=b^{x}.c^{m-z}+a^{x}.c^{m-z}$ ⇒ $(b^{x}+a^{x})^{\frac {m}{z}}=b^{x}.(b^{x}+a^{x})^{\frac {m-z}{z}}+a^{x}.(b^{x}+a^{x})^{\frac {m-z}{z}}$ ⇒ $(b^{x}+a^{x})^{\frac {m}{z}}=[b.(b^{x}+a^{x})^{\frac {m-z}{xz}}]^{x}+[a.(b^{x}+a^{x})^{\frac {m-x}{xz}}]^{x}$, para que ${\frac {m-z}{xz}}$ ∈ ℕ, ∃ k ∈ ℕ tal que m-z = xz.k ↔ m = xz.k + z = z(xk + 1), substituindo temos o $Eq_{3}$; $(b^{x}+a^{x})^{xk+1}=[b.(b^{x}+a^{x})^{k}]^{x}+[a.(b^{x}+a^{x})^{k}]^{x}$, mdc(xk+1,x)=1, Note que de imediato já está no mesmo formato de $Eq_{1}$, basta $C=b^{x}+a^{x}$, $Z=xk+1$, $B=b.(b^{x}+a^{x})^{k}$ e $A=a.(b^{x}+a^{x})^{k}$, isso é $C^{Z}=B^{x}+A^{x}$, caso tivesse optado pelo $Eq_{1}:c^{z}=b^{y}+a^{x}$ o $Eq_{3}$ seria $C^{Z}=B^{y}+A^{y}$, ao fazer a volta chegará em $Eq_{2}$.

Exemplo 3 O ultimo Teorema de Fermat , seja z = x = x ≥ 3, $c^{z}=b^{z}+a^{z}$ por TM temos os seguintes dados $Eq_{1}:c^{z}=b^{z}+a^{z}$ e $Eq_{2}:c^{m}=c^{m}$, onde m>z, queremos chegar em uma $Eq_{3}$ se $Eq_{3}$ possuir o mesmo formato de $Eq_{1}$ então exite soluções nos inteiros positivos. Então pelos métodos de TM temos $c^{m}=c^{m}$ ⇒ $c^{m}=c^{m}.1$ ⇒ $c^{m}=c^{m-z}.(b^{z}+a^{z})$ ⇒ $c^{m}=c^{m-z}.b^{z}+c^{m-z}.a^{z}$ ⇒ $c^{m}=b^{z}.c^{m-z}+a^{z}.c^{m-z}$ ⇒ $(b^{z}+a^{z})^{\frac {m}{z}}=b^{z}.(b^{z}+a^{z})^{\frac {m-z}{z}}+a^{z}.(b^{z}+a^{z})^{\frac {m-z}{z}}$ ⇒ $(b^{z}+a^{z})^{\frac {m}{z}}=[b.(b^{z}+a^{z})^{\frac {m-z}{z^{2}}}]^{z}+[a.(b^{z}+a^{z})^{\frac {m-z}{z^{2}}}]^{z}$, para que ${\frac {m-z}{z^{2}}}$ ∈ ℕ, ∃ k ∈ ℕ tal que $m-z=z^{2}.k$ ↔ $m=k.z^{2}+z$ ↔ $k.z^{2}+z-m=0$, uma equação do 2ª grau então $z={\frac {-1\pm {\sqrt {1+4km}}}{2k}}$ só intereça a parte positiva logo $z={\frac {-1+{\sqrt {1+4km}}}{2k}}$, o único valor para que z ∈ ℕ, é se $m=k.t^{2}+t$, com t ∈ ℕ, então z vale;

$z={\frac {-1+{\sqrt {1+4k(k.t^{2}+t)}}}{2k}}={\frac {-1+{\sqrt {4(kt)^{2}+4kt+1}}}{2k}}={\frac {-1+{\sqrt {(2kt+1)^{2}}}}{2k}}={\frac {-1+2kt+1}{2k}}=t$, então temos $z=t$ e $m=kt^{2}+t$, substituindo esses valores resulta na $Eq_{3}$;

$(b^{z}+a^{z})^{\frac {m}{z}}=[b.(b^{z}+a^{z})^{\frac {m-z}{z^{2}}}]^{z}+[a.(b^{z}+a^{z})^{\frac {m-z}{z^{2}}}]^{z}$⇒$(b^{t}+a^{t})^{\frac {kt^{2}+t}{t}}=[b.(b^{t}+a^{t})^{\frac {k.t^{2}+t-t}{t^{2}}}]^{t}+[a.(b^{t}+a^{t})^{\frac {k.t^{2}+t-t}{t^{2}}}]^{t}$⇒$(b^{t}+a^{t})^{kt+1}=[b.(b^{t}+a^{t})^{k}]^{t}+[a.(b^{t}+a^{t})^{k}]^{t}$, note que $kt+1$ não é múltiplo de t ou z , então temos que verificar se $b^{t}+a^{t}$ é uma potência do tipo $C^{t}$ assim como ocorreu para o teorema de Pitágoras , porém como t=z≥3 é impossível segundo a demonstração do matemático ANDREW WILES então $Eq_{3}$ não possui o formato de $Eq_{1}$ sendo assim $Eq_{1}$ não possui soluções nos inteiros positivos para z≥3.

Variantes

Os contraexemplos $7^{3}+13^{2}=2^{9}$ e $1^{m}+2^{3}=3^{2}$ mostram que a conjectura seria falsa se fosse permitido que um dos expoentes fosse 2. A conjectura de Fermat–Catalan é um problema em aberto que lida com tais casos.

Uma variação da conjectura, que afirma que x, y, z (em vez de A, B, C) deve ter um fator primo em comum, não é verdade. Um contra-exemplo é $27^{4}+162^{3}=9^{7},$ em que 4, 3, e 7 não têm nenhum fator primo em comum. (Na verdade, o maior fator primo comum dos expoentes que é válido é 2; um fator comum maior do que 2 seria um contra-exemplo para o último teorema de Fermat.)

A conjectura não é válida no domínio maior dos inteiros de Gauss. Depois de um prêmio de US $50 ser oferecido em troca de um contraexemplo, Fred W. Helenius forneceu $(-2+i)^{3}+(-2-i)^{3}=(1+i)^{4}.$

Demonstração da Conjectura de Beal

Esta demonstração toma como base as três equações algébricas do terno pitagórico obtidas a partir da Geometria , com os lados $A,B,C$ do triângulo retângulo, sendo, ${\textstyle c>a>b}$ , que elevados ao quadrado representa sempre a soma de dois números.

Obtenção das fórmulas algébricas do terno pitagórico a partir da geometria

geometria

Se tomarmos um quadrado de lado ${\textstyle b}$ que somado a um quadrado de lado ${\textstyle a}$ seja igual a um quadrado de lado ${\textstyle c}$ com ${\textstyle c>a>b}$ , ao colocarmos o quadrado de lado $a$ dentro do quadrado de lado $c$ no canto inferior esquerdo, coincidindo os lados do quadrado de lado $a$ com parte dos lados de $c$ pois $c$ é maior que $a$, chamaremos a diferença ${\textstyle c-a=t}$ , ou ${\textstyle c=a+t}$ e observamos que na figura ficará uma área do quadrado de lado $c$ não coberta pelo quadrado de lado $a$ , e esta área não coberta é uma figura que tem a forma de uma letra L de cabeça para baixo.

Esta figura pode ser dividida em três partes sendo a primeira parte um retângulo exatamente em cima do quadrado de lado $a$, tendo como base o valor $a$ e como altura o valor $t$ , a segunda figura será um retângulo ao lado direito do quadrado de lado $a$ , tendo como base o valor $t$ e como altura o valor $a$ , a terceira figura será um quadrado de lado $t$ e altura $t$. Está claro que o quadrado de lado $b$ , somado com o quadrado de lado $a$ é igual ao quadrado de lado $c$ , e que o quadrado de lado $b$ obrigatoriamente tem a mesma área que a soma das três figuras citadas.

álgebra

O quadrado de lado $b$ tem sua área expressa por ${\textstyle b^{2}}$ , a primeira figura tem sua área expressa por ${\textstyle a.t}$, a segunda figura tem sua área expressa por $t.a$ , e a terceira figura tem sua área expressa por $t^{2}$. Então ${\textstyle b^{2}=a.t+t.a+t^{2}}$ ou seja ${\textstyle b^{2}=2.a.t+t^{2}}$ , consequentemente ${\textstyle b={\sqrt {2.a.t+t^{2}}}}$ .

Para termos raiz quadrada em todas as condições devemos transformar a expressão ${\textstyle 2.a.t+t^{2}}$ num produto notável da forma ${\textstyle (x+y)^{2}=x^{2}+2.x.y+y^{2}}$ . Isto implica transformar o valor de $a$ em duas parcelas pois temos como terceira parcela o valor ${\textstyle t^{2}}$ .

Logo teremos ${\textstyle b={\sqrt {2(+)t+t^{2}}}}$ . Se no primeiro espaço colocarmos $2.t$, e no segundo espaço colocarmos também $2.t$ teremos ${\textstyle b={\sqrt {2^{2}t^{2}+2(2t)t+t^{2}}}}$ , porém ao obtermos os lados $a,c$ , nós conseguiremos apenas o primeiro terno pitagórico e seus multíplos.

Então está faltando algo para completar o valor de $b$ . A solução é introduzir o parâmetro $m$ ficando: ${\textstyle b={\sqrt {2(2.m^{2}.t+2.m.t)t+t^{2}}}}$ , então vemos que ${\textstyle a=2m^{2}t+2mt}$ e temos ${\textstyle b={\sqrt {2^{2}.m^{2}t^{2}+2(2mt)t+t^{2}}}}$ que fatorando nos dá ${\textstyle b={\sqrt {(2mt+t)^{2}}}}$ e finalmente temos

$b=2mt+t$ ou ${\textstyle b=t(2m+1)}$ então ${\textstyle b^{2}=t^{2}(2m+1)^{2}}$ e temos que

${\textstyle a=2.m^{2}.t+2mt}$ ou ${\textstyle a=t(2m^{2}+2m)}$ então ${\textstyle a^{2}=t^{2}(2.m^{2}+2m)^{2}}$ e temos

${\textstyle c=a+t}$ ou seja ${\textstyle c=2m^{2}t+2mt+t}$ ou ${\textstyle c=t(2m^{2}+2m+1)}$ então ${\textstyle c^{2}=t^{2}.(2.m^{2}+2m+1)^{2}}$

Determinação de $m$ , temos que ${\textstyle 2mt+t=b}$ logo ${\textstyle m=(b-t)/2t}$ ou seja ${\textstyle m=(b-(c-a))/2(c-a)}$

Que podemos escrever ${\textstyle m=(a+b-c)/2(c-a)}$

Então os lados são expressos por ${\textstyle b=t(2m+1),a=t(2m^{2}+2m),c=t(2m^{2}+2m+1)}$ onde ${\textstyle t=c-a,m=(a+b-c)/2(c-a)}$

A conjectura de Beal afirma que não há solução para a equação ${\textstyle A^{x}+B^{y}=C^{z}}$ com ${\textstyle A,B,C,x,y,z}$ sendo númeors inteiros positivos com ${\textstyle A,B,C}$ dois a dois primos entre si, e ${\textstyle x,y,z>2}$ .

Sabemos que:

${\textstyle A^{x}=a_{2}^{2}=a_{3}^{3}=.....a_{n}^{n}}$ onde ${\textstyle a_{2}={\sqrt {A^{x}}},a_{3}={\sqrt[{3}]{A^{x}}},......,a_{n}={\sqrt[{n}]{A^{x}}}}$

${\textstyle B^{y}=b_{2}^{2}=b_{3}^{3}=....b_{n}^{n}}$ onde ${\textstyle b_{2}={\sqrt {B^{y}}},b_{3}={\sqrt[{3}]{B^{y}}}=.......=b_{n}={\sqrt[{n}]{B^{y}}}}$

${\textstyle C^{z}=c_{2}^{2}=c_{3}^{3}=....=c_{n}^{n}}$ onde ${\textstyle c_{2}={\sqrt {C^{z}}},c_{3}={\sqrt[{3}]{C^{z}}},....,c_{n}={\sqrt[{n}]{C^{z}}}}$

Sabemos agora que: ${\textstyle A^{x}=a_{2}^{2}=t^{2}(2m^{2}+2m)^{2}}$ então ${\textstyle t^{2}=A^{x}/(2m^{2}+2m)^{2}}$ equação E

Sabemos que : ${\textstyle B^{y}=b_{2}^{2}=t^{2}(2m+1)^{2}}$ então ${\textstyle t^{2}=B^{y}/(2m+1)^{2}}$ equação F

Sabemos que: ${\textstyle C^{z}=c_{2}^{2}=a_{2}^{2}+b_{2}^{2}}$ então ${\textstyle C^{z}=t^{2}(2m^{2}+2m)^{2}+t^{2}(2m+1)^{2}}$

Então temos que ${\textstyle C^{z}=t^{2}((2m^{2}+2m)^{2}+(2m+1)^{2})}$ tomando o valor ${\textstyle t^{2}}$ na equação E temos

${\textstyle C^{z}=A^{x}(m^{2}(2m+2)^{2})/m^{2}(2m+2)^{2}+(2m+1)^{2})/m^{2}(2m+2)^{2})}$ então temos que

${\textstyle C={\sqrt[{z}]{A^{x}}}.{\sqrt[{z}]{((2m+1)^{2}/m^{2}(2m+2)^{2})+1}}}$ equação g

Observações sobre a expressão que está dentro do radical na equação g

Nesta expressão temos a divisão dos números consecutivos ${\textstyle (2m+1)/(2m+2)}$ e como dois números consecutivos são primos entre si, esta expressão não terá um número inteiro como resposta.

Para qualquer valor numérico desta expressão e qualquer valor inteiro do índice da raiz o resultado será um número irracional, pois temos uma expressão elevada a um expoente mais uma unidade.

Então esta provado que ${\textstyle C\neq inteiro}$ .

Temos que ${\textstyle C^{z}=t^{2}((2m^{2}+2m)^{2}+(2m+1)^{2})}$ onde tomando se o valor de ${\textstyle t^{2}}$ na equação F temos

${\textstyle C^{z}=B^{Y}((2m^{2}+2m)^{2})/(2m+1)^{2}+(2m+1)^{2}/(2m+1)^{2})}$ então temos que

${\textstyle C={\sqrt[{z}]{B^{y}}}.{\sqrt[{z}]{(2m^{2}+2m)^{2}/(2m+1)^{2}+(2m+1)^{2}/(2m+1)^{2}}}}$ logo

${\textstyle C={\sqrt[{z}]{B^{y}}}.{\sqrt[{z}]{m^{2}(2m+2)^{2}/(2m+1)^{2}+1}}}$ equação h

Observações sobre a expressão que está dentro do radical na equação h

Nesta expressão temos a divisão de dois números consecutivos ${\textstyle (2m+2)/(2m+1)}$ e como números consecutivos são primos entre si, esta expressão não terá um número inteiro como resposta.

Para qualquer valor numérico desta expressão e qualquer valor inteiro para oíindice da raiz, o resultado será um número irracional, pois temos uma expressão elevada a um expoente mais uma unidade.

Então esta provado que $C\neq inteiro$

Vemos que o valor de $C$ é obtido pela equação g e pela equação h e em ambas fica provado que não ocorre a expressão ${\textstyle A^{x}+B^{y}=C^{z}}$ para ${\textstyle A,B,C}$ inteiros positivos com um fator primo em comum, e $x,y,z$ inteiros positivos $>2$ .

Ver também

• Conjectura de Euler da soma de potências
• Equação de Jacobi–Madden
• Problema de Prouhet–Esperai–Escott
• Número de táxi
• Quádruplas pitagóricas
• Soma de potências, uma lista de conjecturas e teoremas relacionados
• Computação distribuída
• BOINC

Ligações externas

• Página oficial do prêmio Beal
• Bealconjecture.com
• Math.unt.edu
• Beal Conjecture no PlanetMath.org.
• Mathoverflow.net mathoverflow.net a discussão sobre o nome e a data de origem do teorema