Go Back   Science Forums
View Single Post
Old 02-10-2009   #1 (permalink)
CraigD's Avatar
CraigD
Creating


Location:
Silver Spring, MD, USA
 
CraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond reputeCraigD has a reputation beyond repute
 



Not Ranked  0 score     
Question A Generalization of Fermat’s Last Theorem

Using the general formula
b^n = \sum_{i=1}^m a_i^n
where all terms are positive integers, Fermat’s Last Theorem can be written “if m=2, then n \le 2”.

Considering other values of m appears interesting. For example,
5^3+4^3+3^3=6^3
proves that, for m=3, there exist a_1, a_2, a_3 and b such that n = 3.

Because 2^n = \sum_{i=1}^{2^n} 1^n, we know that there exist as and b for m = 2^n for any n. It appears possible for m to be much smaller than 2^n in many cases, for example
4^4+4^4+3^4+2^4+2^4=5^4 and 14^4+9^4+8^4+6^4+4^4=15^4 for n=4 and m=5, and
11^5+9^5+7^5+6^5+5^5+4^5=12^5 for n=5 and m=6

The best my clunky initial searches have managed for n=6 is m=56, proven by
5^6 \, +4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6+4^6
+3^6+3^6+3^6+3^6+3^6+3^6+3^6+3^6+3^6+3^6
+2^6+2^6+2^6+2^6+2^6+2^6+2^6+2^6
+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6+1^6 = 7^6

Lots of questions come to mind, such as
  1. Is there always a solution such that m=n? (proven above for 1, 2 and 3, but not 4, 5, or 6)
  2. If not, is there some other function f(n) \ge m for all n?
  3. Is there any m such that and m<n? Fermat’s Last Theorem states that there is not for m=2. Is there some m for which a “generalized FLT” is false? Edit: Yes – see “one question answered”.
  4. Is there a computationally efficient way to generate examples for a given n and m?
  5. Is there an elementary proof of [1], [2], or [3]? (The only known valid proof or FLT is not elementary)
I’m working on a less clunky approach to [4], and frankly intimidated by [5], and invite you number-crunch and proof-aholics out there to try answering some of these questions, or proposing new ones related to this FMT generalization.

Also, if anyone knows of any literature on this generalization, please share it. Though it seems much too obvious a generalization to be so new, the only mention of it I’ve found is this 2005 arXiv preprint, a 1-page invitation similar to but even briefer than this post.


----------------
Moderator: Computers and Technology; Medical Science; Science Projects and Homework; Philosophy of Science; Physics and Mathematics; Environmental Studies

Last edited by CraigD; 02-13-2009 at 06:55 AM.. Reason: Answered a question
Reply With Quote
 
» Advertisement
» Current Poll
Who's the sexiest man alive? Johnny Depp or Robert Pattinson?
Johnny Depp - 27.27%
3 Votes
Robert Pattinson - 0%
0 Votes
Someone else (please specify) - 45.45%
5 Votes
I'm too macho to think a guy is sexy - 27.27%
3 Votes
Total Votes: 11
You may not vote on this poll.


All times are GMT -8. The time now is 03:49 AM.

Hypography?

Hypography [n.]: A combination of "hyperlink" and "bibliography" - ie, a list of links to electronic documents. Comparable to discography and bibliography, but not cartography.

We have been online since May 2000, and aim to be the best place to find and share science-related content of all kinds.

Share the love!

Please add more science to your life. Use our RSS feeds on your blog, your portal, or your favorite feedreader!


Powered by vBulletin® Version 3.8.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
Copyright © 2000-2009 Hypography
Part of the Hypography - Science for Everyone Network