From: Roman B. Binder on
Hi,
Could You imagine how to break up the TAB ideal
parameters of FLT ?
When beginning with n=3 also with equation:
X^3 + Y^3 = Z^3.................................(1)
for X;Y;Z as natural numbers and of gcd=1;
where it could be seen easy: Z>X and Z>Y and then
after TAB input: X=T+B; Y=T+A; Z=T+A+B;
eq.(1) will be: T^3 = 3AB(2T+A+B)...............(2)
where T;A;B should be also some natural numbers
and Z-X=A; Z-Y=B; X+Y=2T+A+B; etc.
and once (Z-X);(Z^2+ZX+X^2);(Z-Y);(Z^2+ZY+Y^2);
(X+Y);(X^2-XY+Y^2) should be of gcd=1
so there could be introduced such a;b;t natural
numbers where a;b;t;3 are of gcd=1 and with the
help of some natural u=>2(*) that:
A = 3^(3u-1) a^3; B = b^3; 2T+A+B = t^3;.......(I)
or: A = a^3; B = b^3; 2T+A+B = 3^(3u-1) t^3;...(II)
Such developments are so called as Abel formulae
and where known much earlier as some Abel's
publication...
and then eq.(2) will be extracted to:
t^3 = 2*3^u abt +3^(3u-1) a^3 + b^3 ..........(2.I)
or to 3^(3u-1) t^3 = 2*3^u abt +a^3 +b^3 .....(2.II)
Now such appropriate a;b;t;u numbers could exist
until we'll be able to find eq.(2.1) or (2.2) false.
It is here not so easy, does we not overlooked
something more simple ?
let see X^3 - B^3 + Y^3 = Z^3 - B^3 .............(3)
once Z^3 -B^3 =(Z-B)(Z^2+ZB+B^2)
and where Z-B = T+A+B-B = T+A = Y so RHS/Y
then X^3 -B^3 should be divided by Y
(T+B)^3 - B^3 = T^3 +3T^2 B + 3TB^2 +B^3 -B^3 =
= T(T^2 +3TB +3B^2).............................(4)
now using parameters from (I):
eq.(4) = 3^u abt[(3^u abt)^2 +3^(u+1) abt b^3 +3b^6 =
= 3^(u+1) ab^3 t[3^(2u-1) a^2 t^2 + 3^u ab^2 t +b^4]
and should be divided by Y = 3^u abt + 3^(3u-1) a^3 =
3^u a(bt + 3^(2u-1) a^2) = 3^u a *y .............(5)
We can see as some part of eq.(4) also 3^u a will
de divided and so on extract but it will remain:
3b^3 t[3^(2u-1) a^2 t^2 + 3^u ab^2 t + b^4]
once y is some factor of Y and Y is of gcd=1 to Z and X
so also to b and t as factors of X and Z are gcd=1 to y.
Therefore only 3^(2u-1) a^2 t^2 + 3^u ab^2 t =b^4....(6)
could provide some factor = y = bt + 3^(2u-1) a^2....(7)
but once b;a;3 are of gcd=1 polynomial (6) can not be
substituted once using polynomial (7):
P(6) # P(7) * P
where P should be some appropriate polynomial with
natural coefficients.................................(8)
However when it will be taken:
X^3 - B^3 = T^3 +3T^2 B + 3TB^2 +B^3 - B^3
so T^3 +3T^2B +3TB^2 = (T+A)*C
only after input T^3 = 3AB(2T+A+B)
once C = 3B(A+B) + 3BT
What finally show to us, that eq.(2) also
T^3 = 3AB(2T+A+B) supposed with natural numbers
is not true once especially analyzed with
(I) division of parameters a;b;t;u to results (8)
and similar there will be that same polynomial (6)
once for (II) division of parameters a;b;t;u
y = (3^u bt + a^2).............................(9)
You can see as in this certain point FLT for n=3
holds. Q.E.D
With some similar developments of TAB for
optional big and prime n value and for similar point
once it is taken B value and B=b^n we'll come
to similar result.
( I'll introduce it in the next post)

With The Best Regards
Ro-Bin
From: Roman B. Binder on
> Hi,
> Could You imagine how to break up the TAB ideal
> parameters of FLT ?
> When beginning with n=3 also with equation:
> X^3 + Y^3 = Z^3.................................(1)
> for X;Y;Z as natural numbers and of gcd=1;
> where it could be seen easy: Z>X and Z>Y and then
> after TAB input: X=T+B; Y=T+A; Z=T+A+B;
> eq.(1) will be: T^3 = 3AB(2T+A+B)...............(2)
> where T;A;B should be also some natural numbers
> and Z-X=A; Z-Y=B; X+Y=2T+A+B; etc.
> and once (Z-X);(Z^2+ZX+X^2);(Z-Y);(Z^2+ZY+Y^2);
> (X+Y);(X^2-XY+Y^2) should be of gcd=1
> so there could be introduced such a;b;t natural
> numbers where a;b;t;3 are of gcd=1 and with the
> help of some natural u=>2(*) that:
> A = 3^(3u-1) a^3; B = b^3; 2T+A+B = t^3;.......(I)
> or: A = a^3; B = b^3; 2T+A+B = 3^(3u-1) t^3;...(II)
> Such developments are so called as Abel formulae
> and where known much earlier as some Abel's
> publication...
> and then eq.(2) will be extracted to:
> t^3 = 2*3^u abt +3^(3u-1) a^3 + b^3 ..........(2.I)
> or to 3^(3u-1) t^3 = 2*3^u abt +a^3 +b^3 .....(2.II)
> Now such appropriate a;b;t;u numbers could exist
> until we'll be able to find eq.(2.1) or (2.2) false.
> It is here not so easy, does we not overlooked
> something more simple ?
> let see X^3 - B^3 + Y^3 = Z^3 - B^3 .............(3)
> once Z^3 -B^3 =(Z-B)(Z^2+ZB+B^2)
> and where Z-B = T+A+B-B = T+A = Y so RHS/Y
> then X^3 -B^3 should be divided by Y
> (T+B)^3 - B^3 = T^3 +3T^2 B + 3TB^2 +B^3 -B^3 =
> = T(T^2 +3TB +3B^2).............................(4)
> )
> now using parameters from (I):
> eq.(4) = 3^u abt[(3^u abt)^2 +3^(u+1) abt b^3 +3b^6
> =
> = 3^(u+1) ab^3 t[3^(2u-1) a^2 t^2 + 3^u ab^2 t +b^4]
> and should be divided by Y = 3^u abt + 3^(3u-1) a^3
> =
> 3^u a(bt + 3^(2u-1) a^2) = 3^u a *y .............(5)
> We can see as some part of eq.(4) also 3^u a will
> de divided and so on extract but it will remain:
> 3b^3 t[3^(2u-1) a^2 t^2 + 3^u ab^2 t + b^4]
> once y is some factor of Y and Y is of gcd=1 to Z and
> X
> so also to b and t as factors of X and Z are gcd=1 to
> y.
> Therefore only 3^(2u-1) a^2 t^2 + 3^u ab^2 t
> =b^4....(6)
> could provide some factor = y = bt + 3^(2u-1)
> a^2....(7)
> but once b;a;3 are of gcd=1 polynomial (6) can not
> be
> substituted once using polynomial (7):
> P(6) # P(7) * P
> where P should be some appropriate polynomial with
> natural
> coefficients.................................(8)
> However when it will be taken:
> X^3 - B^3 = T^3 +3T^2 B + 3TB^2 +B^3 - B^3
> so T^3 +3T^2B +3TB^2 = (T+A)*C
> only after input T^3 = 3AB(2T+A+B)
> once C = 3B(A+B) + 3BT
> What finally show to us, that eq.(2) also
> T^3 = 3AB(2T+A+B) supposed with natural numbers
> is not true once especially analyzed with
> (I) division of parameters a;b;t;u to results (8)
> and similar there will be that same polynomial (6)
> once for (II) division of parameters a;b;t;u
> y = (3^u bt + a^2).............................(9)
> You can see as in this certain point FLT for n=3
> holds. Q.E.D
> With some similar developments of TAB for
> optional big and prime n value and for similar point
> once it is taken B value and B=b^n we'll come
> to similar result.
> ( I'll introduce it in the next post)
>
> With The Best Regards
> Ro-Bin

Hi,
Continuing my thread for some optional and extremely
big n and prime number lets rewrite:
Lhs = X^n - B^n + Y^n = Z^n - B^n = Rhs.............(10)
once Rhs = (Z-B)*Ext = Y*Ext
so reminds only X^n - B^n to be divided by Y at Lhs
.......................till k=n
X^n - B^n = (X-B){Sum from k=1 X^(n-k) B^(k-1)}
where X-B = T = n^u abtp
then the {Sum} could be substituted with X-B=T and XB terms and the T^(n-1)=Oldst will be the oldest term once taking t as changing value and a;b;p;u; as parameters
where once n(XB)^(n-1)/2 will be the smallest term so on Absolute.term expressed with b value will be:
for X=T+B Abst = nB^(n-1) =nb^(n-1)n;
Thorough all these terms in {Sum} You can see possibility
of extraction of common nb^(n-1) and so on after extr.:
Oldst = n^[(n-1u-1] (abp)^(n-1)
Abst = b^(n-1)(n-1)
Once Y=T+A where T=n^u abtp and A=a^n or A=n^(nu-1) a^b
so Y = a[ n^u btp +a^(n-1)] = a*y
or Y = n^u a{btp +n^[(n-1)u -1] a^n} = n^u a*y
Now once X^n - B^n can be rewritten as:
T*{Sum} = nb^(n-1) T*{Sum'} = n^(u+1) ab^n tp*(Sum'}
so a or n^u a factors of Y will be completed but once
a;b;t;p;y; are of gcd=1 so {Sum'} should be divided by y
once y=n^u bpt +a^(n-1) or y=bpt + n^[(n-1)u-1] a^(n-1)
but here at least b and a terms of gcd=1 will disturb
to construct the proper division of X^n - B^n / Y
until we again input here the full form of T^n:
T^n = nAB(2T+A+B)*Ext...............................(11)
where once 2T+A+B = t^n so Ext = n^(nu-1) p^n
or once 2T+A+B = n^(nu-1) t^n so Ext = p^n
What show to us, that such ideal form (11) is not true:
one of taken ideal and natural numbers a;b;t;p;
should be irrational.
Q.E.D. (in Brief)

Best Regards
Ro-Bin

P.S. With some short of time I was able to close this
my thread only so briefly as above. Some concerns could
come here in some areas of polynomials and their real
properties: it looks so for so called primitive
polynomials, am I mistaken ?
From: Roman B. Binder on
Hi,
When using some imagination, such result is not
only because of irreducibility of this one of
polynomials we'd like to factorize: the two of
these polynomials we like to divide have not enough
common factors: in the very end we'll find at least
one of them irreducible after extracting the common
factors or two of them will contain completely
different factors also different prime numbers
spectrum...

Best Regards
Ro-Bin