Pessoal, Lendo o livro do Ribenboim (UTF para Amadores, pg 99), tomei conhecimento das relações descobertas por Barlow em 1810 e 1811 (que são fáceis de serem demonstradas). Basicamente, para os dois casos (n dividindo ou não z), temos o seguinte : z - x = y0^nz - y = x0^n De onde temos : y - x = y0^n - x0^n = (y0 - x0)(y0^(n-1)+....x0^(n-1))
y0^(n-1)+y0^(n-2)x0....+y0x0^(n-2) x0^(n-1) = p mdc (y-x, y0^(n-1)+....x0^(n-1)) = p y - x "=" 0 mod (p) y0^(n-1)+....x0^(n-1)"=" 0 mod (p) Apliquei, então, as relações de congruências, substituindo x0 = (z-y)^(1/n) e y0 = (z-x)^(1/n) e x "=" y mod (p). Os resultados eu coloquei no "nada" pretensioso blog abaixo : FILOSOFBEER: O Último Teorema de Fermat : As Relações de Barlow Se puderem da uma olhada. AbsFelipe | | | | | | | | | FILOSOFBEER: O Último Teorema de Fermat : As Relações de Barlow“Encontrei uma demonstração realmente maravilhosa para esta proposição, mas esta margem é muito estreita para contê-la” | | | | Visualizar em filosofbeer.blogspot.com.br | Visualizado por Yahoo | | | | | -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.
