CTK Exchange
CTK Wiki Math
Front Page
Movie shortcuts
Personal info
Awards
Terms of use
Privacy Policy

Interactive Activities

Cut The Knot!
MSET99 Talk
Games & Puzzles
Arithmetic/Algebra
Geometry
Probability
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
My Logo
Math Poll
Other Math sit's
Guest book
News sit's

Recommend this site

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Products to download and subscription Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

CTK Exchange

Subject: "Sophie Germain and Fermat's Last Theorem"     Previous Topic | Next Topic
Printer-friendly copy     Email this topic to a friend    
Conferences The CTK Exchange This and that Topic #912
Reading Topic #912
neat_maths
Member since Aug-22-03
Oct-12-09, 10:00 AM (EST)
Click to EMail neat_maths Click to send private message to neat_maths Click to view user profileClick to add this user to your buddy list  
"Sophie Germain and Fermat's Last Theorem"
 
   i) I can prove that all the prime factors of (x^n + y^n) / (x+y), where x, y, (x+y) and n are mutually prime and n is a prime >2
are of the form p = 1+ 2*n*k where k is some positive integer

ii) I can prove that (x+y) is mutually prime to (x^n + y^n) / (x+y) with x, y and n as defined above
which means that (x+y) is mutually prime to all p and (-x/y) mod(p) cannot equal 1 mod(p)

iii) In the equation x^n + y^n + z^n = 0, where x, y, z and n are mutually prime and n is any prime > 2,
I can prove that (-x/y)^n = 1 mod(p) where p is any (or every) prime factor of z not contained in (x+y)
This means that (-x/y) is the nth root of 1 in mod(p) or (-x/y)^n mod(p) = (a^2k)^n = 1 for all integers a from 1 to (p-1)

iv) as z = 0 mod(p), I can prove that (-x/y) must be an nth power in mod(p) because x and y must be nth powers in mod(p)

Therefore we have 3 statements
1) (-x/y) cannot be 1 in mod(p)
2) (-x/y) = a^(2k) in mod(p) where a is some integer from 1 to (p-1) and (-x/y) is an nth root of 1 mod(p)
3) (-x/y) = b^n in mod(p) where b is some integer from 1 to (p-1) and (-x/y) is an nth power in mod(p)

It is clear that the only integer that can be an nth power mod(p) and an nth root of 1 mod(p) at the same time is 1 mod(p)
Statements 1, 2 and 3 cannot be true at the same time.
This is due to the very nature of a prime number that a^(p-1) = 1 = a^(2nk) in mod(p) where 2nk = (p-1)

This appears to prove Case I of Fermat's last theorem that x^n + y^n + z^n = 0 is impossible, where x, y, z and n are mutually prime, n prime>2
It is along the ideas of Sophie Germain with her definition of an "auxiliary" prime modified to include all the prime factors of x, y and z not included in (x+y), (y+z) or (x+z)


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top

  Subject     Author     Message Date     ID  
  RE: Sophie Germain and Fermat's Last Theorem alexbadmin Oct-12-09 1
     RE: Sophie Germain and Fermat's Last Theorem neat_maths Oct-12-09 2
         RE: Sophie Germain and Fermat's Last Theorem alexbadmin Oct-12-09 3
             Sophie Germain and Fermat's Last Theorem neat_maths Oct-15-09 4
                 RE: Sophie Germain and Fermat's Last Theorem alexbadmin Oct-16-09 5
                     RE: Sophie Germain and Fermat's Last Theorem neat_maths Oct-17-09 6
                         RE: Sophie Germain and Fermat's Last Theorem alexbadmin Oct-17-09 7
                     Sophie Germain and Fermat's Last Theorem neat_maths Nov-03-09 8
                         RE: Sophie Germain and Fermat's Last Theorem alexbadmin Nov-03-09 9

Conferences | Forums | Topics | Previous Topic | Next Topic
alexbadmin
Charter Member
2455 posts
Oct-12-09, 10:23 AM (EST)
Click to EMail alexb Click to send private message to alexb Click to view user profileClick to add this user to your buddy list  
1. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #0
 
   I'll look into this at first opportunity. Perhaps somebody else will, too.

Meanwhile, seeing your interest in FLT, could you check the proof in the attache file.

Thank you.

Attachments
https://www.cut-the-knot.org/htdocs/dcforum/User_files/4ad3496001bf30c1.zip

  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
neat_maths
guest
Oct-12-09, 03:19 PM (EST)
 
2. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #1
 
   Sorry but the zipped file attached seems to have a problem


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
alexbadmin
Charter Member
2455 posts
Oct-12-09, 03:52 PM (EST)
Click to EMail alexb Click to send private message to alexb Click to view user profileClick to add this user to your buddy list  
3. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #2
 
   Please try this.

Attachments
https://www.cut-the-knot.org/htdocs/dcforum/User_files/4ad396f4661e64c0.zip

  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
neat_maths
Member since Aug-22-03
Oct-15-09, 06:39 AM (EST)
Click to EMail neat_maths Click to send private message to neat_maths Click to view user profileClick to add this user to your buddy list  
4. "Sophie Germain and Fermat's Last Theorem"
In response to message #3
 
   If n is any prime > 2 and p = 1 + 2*n*k where k is every integer from 1 to infinity which makes p prime,

It is clear that the only integer that can be an nth power mod(p) and an nth root of 1 in mod(p) at the same time is 1 mod(p)

And 1 mod(p) is precisely the only excluded value.

This is so neat I am certain that it is worthy of

"cuius rei demonstrationem mirabilem sane detexi"

please consider


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
alexbadmin
Charter Member
2455 posts
Oct-16-09, 03:37 PM (EST)
Click to EMail alexb Click to send private message to alexb Click to view user profileClick to add this user to your buddy list  
5. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #4
 
   > please consider

I am not sure what is it you expect. I never wrote on the margins of any book. But if you feel it is a worthy discovery, you should send it for publication. I just have my mind elsewhere.


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
neat_maths
Member since Aug-22-03
Oct-17-09, 08:02 AM (EST)
Click to EMail neat_maths Click to send private message to neat_maths Click to view user profileClick to add this user to your buddy list  
6. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #5
 
   Well since there were 57 posts and 461 reads on the subject of the prime factors of (x^n+y^n)/(x+y) I thought some one might be interested !


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
alexbadmin
Charter Member
2455 posts
Oct-17-09, 08:04 AM (EST)
Click to EMail alexb Click to send private message to alexb Click to view user profileClick to add this user to your buddy list  
7. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #6
 
   > I thought some one might be interested !

Well may be of course. I just question a need for a personal appeal "please consider."


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
neat_maths
Member since Aug-22-03
Nov-03-09, 11:16 PM (EST)
Click to EMail neat_maths Click to send private message to neat_maths Click to view user profileClick to add this user to your buddy list  
8. "Sophie Germain and Fermat's Last Theorem"
In response to message #5
 
   "But if you feel it is a worthy discovery, you should send it for publication"

Can you suggest where ?


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top
alexbadmin
Charter Member
2455 posts
Nov-03-09, 11:23 PM (EST)
Click to EMail alexb Click to send private message to alexb Click to view user profileClick to add this user to your buddy list  
9. "RE: Sophie Germain and Fermat's Last Theorem"
In response to message #8
 
   Depends on where you put emphasis.

You can send it to the Math Magazine in expository incarnation, to the Journal of Number Theory in a formal variant, to the American Math Monthly for something in between. If you take the idea seriously but have no experience with publishing papers, I would advise to stop at the math library of a near-by university and check on their newstands a few journals. Just to get a notion of the submission guidelines and an idea of the general quality/orientaion of their publications.


  Alert | IP Printer-friendly page | Reply | Reply With Quote | Top

Conferences | Forums | Topics | Previous Topic | Next Topic

You may be curious to have a look at the old CTK Exchange archive.
Please do not post there.

Copyright © 1996-2018 Alexander Bogomolny

Search:
Keywords:

Google
Web CTK