mersenneforum.org > Math Diophantine Equation
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

2009-12-10, 05:36   #1
flouran

Dec 2008

11010000012 Posts
Diophantine Equation

I recently received an email from some postgraduate student in Moscow (possibly a crank) who asked me the following question:
Quote:
 Does the equation x^10+y^10+z^10=t^4 have any solutions in positive integers?
I thought I would ask this forum if anyone could give either an affirmative or negative answer to this question....

Thanks!

 2009-12-10, 11:59 #2 alpertron     Aug 2002 Buenos Aires, Argentina 5·13·23 Posts I received the same message at least 5 times in my e-mail in several years, but I don't know how to solve it.
 2009-12-10, 22:32 #3 Batalov     "Serge" Mar 2008 Phi(4,2^7658614+1)/2 22×5×503 Posts No solutions with x<=y<=z<=1000. (Brute-forced; only with a trivial observation that of x,y,z, one will be odd and two other, even; the case of all of them even is reducible). No solutions above 1000 would be probabilistically expected, I'd think.
2009-12-11, 03:51   #4
flouran

Dec 2008

72×17 Posts

Quote:
 Originally Posted by cmd Hilbert (10) L(k,n,x,y,z,...)=R(k,n,x,y,z,...) no solutions
Are you saying then that the reason why x^10+y^10+z^10 = t^4 does not have any solutions in positive integers is a direct consequence of Matiyasevich's Theorem?

I think that the incorporation of certain ingredients of Matiyasevich's proof and a variant of FLT can be used to prove that x^10+y^10+z^10 = t^4 does not have any solutions in positive integers.

2009-12-11, 05:53   #5
CRGreathouse

Aug 2006

5,987 Posts

Quote:
 Originally Posted by flouran I think that the incorporation of certain ingredients of Matiyasevich's proof and a variant of FLT can be used to prove that x^10+y^10+z^10 = t^4 does not have any solutions in positive integers.
I think not.

1. It's not obvious how Matiyasevich's theorem (Hilbert X, Robinson-Davis-Putnum-Matiyasevich, etc.) applies; it doesn't show that there are no solutions, only that proving that you've found all solutions is hard in the general case.
2. This isn't like the general case. Diophantine equations with 9 variables are known to be universal, but only with ridiculously high degrees (~10^45 as I recall). You have a degree-10 equation with only four variables.
3. Wiles' theorem doesn't seem well-equipped for the additive explosion on the LHS. Three terms is vastly different from two terms.

Also, there aren't many mathematicians in the world capable of extending his proof, and (to my knowledge) none here/

2009-12-11, 06:11   #6
flouran

Dec 2008

72×17 Posts

Quote:
 Originally Posted by CRGreathouse I think not. 1. It's not obvious how Matiyasevich's theorem (Hilbert X, Robinson-Davis-Putnum-Matiyasevich, etc.) applies; it doesn't show that there are no solutions, only that proving that you've found all solutions is hard in the general case. 2. This isn't like the general case. Diophantine equations with 9 variables are known to be universal, but only with ridiculously high degrees (~10^45 as I recall). You have a degree-10 equation with only four variables. 3. Wiles' theorem doesn't seem well-equipped for the additive explosion on the LHS. Three terms is vastly different from two terms.
Thank you for the verification! I appreciate it!
Quote:
 Originally Posted by CRGreathouse Also, there aren't many mathematicians in the world capable of extending his proof, and (to my knowledge) none here/
Would it be worth asking Wiles or one of his former Ph.D. students (i.e. Brian Conrad)?

2009-12-12, 06:17   #7
maxal

Feb 2005

22×5×13 Posts

Quote:
 Originally Posted by flouran I recently received an email from some postgraduate student in Moscow (possibly a crank)
I guess that was the same guy who asked similar questions to a number of members of NMBRTHRY mailing list.

Here is some background info:
Quote:
 Dr. Smirnov already asked a similar question in NMBRTHRY: http://listserv.nodak.edu/cgi-bin/wa...0&F=&S=&P=1025 and his question is actually related to the contest set up by a story "Diophantine dagger" by Yurovitsky, which was also discussed in NMBRTHRY: http://listserv.nodak.edu/cgi-bin/wa...=0&F=&S=&P=271

Last fiddled with by maxal on 2009-12-12 at 06:20

2009-12-12, 18:48   #8
flouran

Dec 2008

72·17 Posts

Quote:
 Originally Posted by maxal I guess that was the same guy who asked similar questions to a number of members of NMBRTHRY mailing list.
You are correct. He emailed me on August 11 saying that his name was Konstantin Smirnov and that he was a post-graduate student studying number theory in Moscow. Noam Elkies mentioned that he had been emailed this same question a dozen times from Mr. Smirnov. I shall cut off communication with Smirnov immediately. I'm glad I have a spam filter.

As a side-note: I have recently discussed the problem with Brian Conrad, Noam Elkies, and Bjorn Poonen, and they said there is no known method for proving that no solutions exist. However, there is most definitely a high likelihood that no solutions exist.

Last fiddled with by flouran on 2009-12-12 at 18:49

 Similar Threads Thread Thread Starter Forum Replies Last Post Nick Number Theory Discussion Group 2 2016-12-18 14:49 jasong jasong 4 2012-02-20 03:33 grandpascorpion Math 11 2009-09-23 03:30 Batalov Puzzles 3 2009-04-10 11:32 philmoore Puzzles 8 2008-05-19 14:17

All times are UTC. The time now is 06:02.

Sat Feb 4 06:02:22 UTC 2023 up 170 days, 3:30, 1 user, load averages: 0.75, 0.92, 0.96

Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔