My Math Forum A new approach to Fermat's last theorem

 Number Theory Number Theory Math Forum

 August 10th, 2014, 10:15 PM #131 Banned Camp   Joined: Dec 2012 Posts: 1,028 Thanks: 24 An elegant proof is for sure more direct. Algebraic division can solve, but is still not clear to 99% of readers... Once again: is just question to linearize and transfrom in 2 triangles: One of area: A^2 The other of area: B^2 = C^2- A^2 If you correctly linearize the problem you'll see that the 2 triangle are not similar for the conditions A,B,C integers and coprimes, hence the proof. But the most elegant point is that from n>=3 the derivate is a curve, for so no way to square in the integers... or (for n=3): $A^3= C^3-B^3$ can be rewritten for sure for $A \in N$ $\int_{0}^{C}{\left(\right) 3*x^2 } dx - \int_{0}^{B}{\left(\right) 3*x^2 } dx= \int_{B}^{C}{\left(\right) 3*x^2 } dx$ sorry is trivial now... BUT IF WE WRITE LIKE FERMAT is asking himself : is possible that what rest is again a (same) power of another integer ? But to do that without make mistake we can just write: $A \in R$ and $C,B \in N$ so: $\int_{0}^{A}{\left(\right) 3*x^2 } dx= \int_{0}^{C}{\left(\right) 3*x^2 } dx - \int_{0}^{B}{\left(\right) 3*x^2 } dx$ This is for sure always true. BUT if we wanna rest in the integers we can just correctly re-write (and ask): (1) ${\sum_{x=1}^{A}{3x^2 -3x ^2+1 }} =? {\sum_{x =1}^{C}{3x^2 -3x ^2+1 }} - { \sum_{x =1}^{B}{3x^2 -3x ^2+1 }}$ I have to remember once again that this is a play between sum and integrals. now we well know that the one become the other passing to the limit. Probably this is also well clear to Fermat, that also very well know ALSO the properties of the numbers so that is also possible to have again a power using a sum like this: A^3 = 1+7+19+... 3x^2-3x+1 or the most general case a STEP SUM like this: A^3 = 1/k + 3x^2/k -3x/k^2+1/k^3 if we jump in x with step 1/k, so x1=1/k, x2= 2/k etc.. SO the (1) IS NO LONGER A CONTINUE FUNCTION SINCE YOU'VE A GAP IN CASE YOU LOOK TO THE AREA BELLOW THE DERIVATE (that viceversa is continue) FROM "A" AND "B+1". Since we knoe the properties of Sum and Integrals, this is enought to say; NO SOLUTION, but to prove we can still ask (and correctly write a sum step 1 in the integers, or a step sum that is more precise, as precise as we want (1/k), till the limit k->infinite) So can be possible to find a solution in the integers for n>=3 ? $A^3= {\sum_{x =1}^{A}{3x^2 -3x ^2+1 }} =? { \sum_{x =B+1}^{C}{3x^2 -3x ^2+1 }}$ But this GEAR can't work, or has no solution if A,B,C are integers and coprimes since under a continue derivate curve y'= 3x^2 (in this case) we can continue to make littlest and littlest columns, (or triangles) but we can't find the solution since the gear teeth of C^n-B^n are not similar to the one of A^n and C^n (or the two area coverted in two triangleas, are not similar): $A^3= {\sum_{x =1/k}^{A}{3x^2/k -3x^2/k^2+1/k^3 }} = { \sum_{x =B+1}^{C}{3x^2/k -3x^2/k^2+1/k^3 }}$ (I remember I use a mine special "Step sum", if you don't like pls trasnfrom in a normal sum with changeing the variable in the sum so have the sum from 1 to.... and not from 1/k step 1/k as I wrote here when you see lower limit 1/k) So rising K in N we found no solution since A,B,C coprimes... so If you've to understood what I mean for step sum we cannot complete (or square in "N" or "Q") the area bellow the curve till we go to the limit or we write: $A^3= \lim_{k\to\infty} { \sum_{x =B+1/k}^{C}{3x^2/k-3x/k^2+1/k^3}} = \int_{B}^{C}{\left(\right) 3*x^2 } dx$ so we have to accept 2 integers and one (A in this case) NON integer. This is the Dedekind section definition for an irrational. Ciao Stefano here what we can do with a linear derivate: and what we cannot (if we won't use the limit so we rest in N or in Q): Last edited by complicatemodulus; August 10th, 2014 at 10:52 PM.
 October 8th, 2014, 12:00 PM #132 Senior Member   Joined: May 2013 Posts: 118 Thanks: 10 PART THREE Once more,all numbers involved are natural What we already know $\displaystyle X^N+Y^N=Z^N$ (1), N┼XYZ, X=NA+a, Y=NB+b, Z=NC+c (a,b,c are the remainders of divisions X/N, Y/N and Z/N respectively).Of course N┼abc a+b=c (2), $\displaystyle N^2|aY-bX$, $\displaystyle N^2|aZ-cX$, $\displaystyle N^2|bZ-cY$ (relationships (3)) Sentences used: Sentence I:$\displaystyle N^m|D-E \rightarrow N^{m+1}|D^N-E^N$ and $\displaystyle N^m|D+E \rightarrow N^{m+1}|D^N+E^N$ Sentence II: $\displaystyle N|a_1a_2…a_m\rightarrow N|a_1$ or $\displaystyle N|a_2$ or …or $\displaystyle N|a_m$ Sentence III: If $\displaystyle N^kK=N^mM+N^pP$ with k>m, k>p and N┼MP, then m=p. The proof is rather simple, assuming e.g. m
 January 15th, 2015, 09:21 AM #133 Senior Member   Joined: May 2013 Posts: 118 Thanks: 10 While I’m banging my head on the wall to help ideas come about the first case of FLT, I thought we might say some words about the second case, when N|XYZ in $\displaystyle X^N+Y^N=Z^N$ In the text, symbol ┼ means “does not divide” and rel.means relationship Sentences to use: Sentence I: If N is a prime and N|ab, then N|a or N|b. It holds for more than two factors a and b Sentence II: With E,D and F any natural numbers E┼D-F & $\displaystyle (E,D^6+F^6)=1$, then $\displaystyle E ┼ D^{6Μ-5}-D^{6Μ-6}F+D^{6Μ-11}F^6-D^{6Μ-12}F^7+…+D^7F^{6Μ-12}-D^6F^{6Μ-12}+DF^{6Μ-6}-F^{6Μ-5}$ The proof lies in #125 post of this thread (theorem II there) So,assume N|Z with no loss of generality.Of course N doesn’t divide X or Y, or X,Y,Z wouldn’t be pairwise prime Then it is known that $\displaystyle N^2|X^{N-1}-1$, $\displaystyle N^2|Y^{N-1}-1$, $\displaystyle N^2|X+Y$ (1), If N=6q+1 the first two of the rel.above lead to: $\displaystyle N^2|(X^4+X^2Y^2+Y^4)(X^{N-6}-X^{N-7}Y+X^{N-12}Y^6-X^{Ν-13}Y^7+…+X^7Y^{Ν-13}-X^6Y^{Ν-12}+XY^{N-7}-Y^{N-6)}$ (2) For details on how this long rel.is achived,see #125 post again On the other hand,due to (1),it’s elementary to show: $\displaystyle N|X^K+Y^K$ (3) for every odd K If (3) held for some even K,we would have: $\displaystyle N|X^K+Y^K =Nm$ and as K+1 is odd, $\displaystyle N|X^{K+1}+Y^{K+1}=XX^K+Y^{K+1}= X(Nm-Y^K)+Y^{K+1} \rightarrow N| -XY^K+Y^{K+1} = Y^k(Y-X)$ and since N┼Y we imply $\displaystyle N\dagger Y^K$ ,therefore sentence I commands: N| Y-X absurd, because then,due to (1) N|Y & N|X So $\displaystyle N\dagger X^6+Y^6$ and as N is a prime $\displaystyle (N,X^6+Y^6)=1$ Given that and since N-6=6q-5, after sentence II we conclude: $\displaystyle N┼ X^{N-6}-X^{N-7}Y+X^{N-12}Y^6-X^{Ν-13}Y^7+…+X^7Y^{Ν-13}-X^6Y^{Ν-12}+XY^{N-7}-Y^{N-6}$ Then (2) and sentence I result to: $\displaystyle N^2| X^4+X^2Y^2+Y^4 = (X^2+XY+Y^2)(X^2-XY+Y^2) \rightarrow (sentence I) N| X^2+XY+Y^2$ or $\displaystyle N|X^2-XY+Y^2$ So if $\displaystyle N|X^2+XY+Y^2 = (X+Y)^2-XY$ and due to (1):N|XY → N|Y or N|X, absurd On the other hand if $\displaystyle N|X^2-XY+Y^2 = (X+Y)^2-3XY$ and again N|3XY and as N≠3 sentence I leads us to the same absurdity Conclusion: All 6q+1 primes satisfy 2nd case of FLT,as they do with the 1st one Or I'm wrong.In which case I'll change my name to crankshaft
 January 20th, 2015, 12:49 AM #134 Banned Camp   Joined: Dec 2012 Posts: 1,028 Thanks: 24 Sorry for borken link in the previous post (probably nobody care of it...): Here one of the way to transform powers of integers in trapezoid, and what happen in FLT trick (I still believe in graph visualization to show immediately what we are doing, still if it's a very hard work...): Sorry there is some erro on the lower picture: the height of the bigger trapezoid is of course C (not A that is the height of the littlest one ). Also the eight of the new trapezoid Taonc must be expressed in term of C and Tan(Gamma) where Gamma is the angle.... Is easy to have the abscissa X, or the eight X of the new trapezoid Taonc, with a simple identity: Exceding area over X = Missing Upper Area between 0 and X This two areas are not proportional for FLT request, so no way to tessellate with a common non infimus triangle. And this is true for any n>=3 All the 2th degree equation that solve X (just parameters will change) gives back an irrational, so Tb cannot be an integer area, so no way for B to be an integer. Nothing change if we decide to strech all the trapezoides in the abscissa x multiply it by an integer K... (more concerning are necessary). Last edited by complicatemodulus; January 20th, 2015 at 01:00 AM.
 March 7th, 2015, 10:14 PM #135 Senior Member   Joined: May 2013 Posts: 118 Thanks: 10 For a number of reasons this thread has run its course.We'll share some new thoughts we have in a very short while
 March 8th, 2015, 10:37 AM #136 Banned Camp   Joined: Dec 2012 Posts: 1,028 Thanks: 24 Where is the error now: I fond that to respect the rule of the sum that gives powers: (example for n=3) Fermat ask if: (1) $A^3= {\sum_{x =1}^{A}{(3x^2 -3x +1) }} =? {\sum_{x =1}^{C}{(3x^2 -3x +1) }} - { \sum_{x =1}^{B}{(3x^2 -3x +1) }} ={ \sum_{x =B+1}^{C}{(3x^2 -3x+1) }}$ so he ask if: (2) $A^3=?{ \sum_{x =B+1}^{C}{(3x^2 -3x+1) }}$ But we know that : $C^3= { \sum_{x =1}^{C}{(3x^2 -3x+1) }} = {\sum_{x =1}^{A}{(3x^2 -3x+1) }} + {\sum_{x =A+1}^{C}{(3x^2 -3x +1) }}$ and that for (my ;-P) rule of the sum we can lower both the limits of the second sum without changeing the result from A+1 to 1 with this trick: (3) $C^3= { \sum_{x =1}^{C}{(3x^2 -3x +1) }} = {\sum_{x =1}^{A}{(3x^2 -3x+1) }} + {\sum_{x =1}^{C-A}{[3(x+A)^2 -3(x+A)+1 ]}}$ So since the (3) is for sure right the (2) will be wrong or: $C^3-A^3={ \sum_{x =1}^{C-A}{[3(x+A)^2 -3(x+A)+1 ] }}$ while Fermat ask if (applying on the (2) the same rule as in the (3)): $C^3-A^3=? { \sum_{x =1}^{C-B}{[3(x+B)^2 -3(x+B)+1 ] }}$ Cvd... since A

 Tags approach, fermat, theorem

,

,

,

,

,

,

,

,

,

# who is inveted the theorem 6

Click on a term to search for related topics.
 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post mente oscura Number Theory 10 June 6th, 2013 08:33 PM bruno59 Number Theory 0 May 30th, 2013 10:57 AM McPogor Number Theory 15 May 31st, 2011 07:31 AM smslca Number Theory 4 September 14th, 2010 08:00 PM xfaisalx Number Theory 2 July 25th, 2010 04:59 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top