Unsolved Mystery: A Diophantine Equation with an Unusual Set of Integers

  • Context: Graduate 
  • Thread starter Thread starter Terry Coates
  • Start date Start date
  • Tags Tags
    Integers Set
Click For Summary

Discussion Overview

The discussion revolves around an unusual set of integers A, B, and C that satisfy the equation A^n + B^n - C^n = A + B - C > 0 for n > 1, with the condition that A, B, and C are positive integers. Participants explore various values of n, the existence of solutions, and the implications of additional conditions such as relative primality.

Discussion Character

  • Exploratory
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that there exists an unusual set of integers A, B, and C that satisfy the given equation for certain values of n.
  • Others question whether n can be a real number or if it must be an integer, seeking clarification on the restrictions of n.
  • Several participants assert that there are infinitely many solutions for n = 2, while others argue that no solutions exist for this case.
  • One participant claims to have found a specific set of integers (16, 13, 17) that satisfies the equation for n = 5.
  • Another participant mentions finding a set (35, 119, 120) that works for n = 3.
  • Some participants discuss the uniqueness of solutions under additional conditions, such as requiring A, B, and C to be relatively prime.
  • There is a suggestion that certain sets can only occur for specific powers (1, 2, 3, and 5), but this is contested by others who provide counterexamples.
  • One participant introduces the idea that there are infinitely many solutions for odd integers n, while expressing uncertainty about even integers.
  • Another participant expresses a lack of familiarity with Diophantine equations and questions the existence of solutions for n > 5.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the existence of solutions for n = 2, with some asserting there are none and others claiming there are infinitely many. There are multiple competing views on the conditions under which solutions exist, particularly regarding the uniqueness and the implications of relative primality.

Contextual Notes

Discussions include various assumptions about the nature of n and the integers involved, with some participants noting the need for clearer formulations of the problem. The exploration of solutions is complicated by differing interpretations of the conditions set forth in the original equation.

Terry Coates
Messages
39
Reaction score
2
Has anyone else spotted an unusual set of three different integers A, B, & C such that
A^n + B^n - C^n = A + B - C > 0 (n > 1 and A x B x C > 0)

I leave the reader to see if they can find this set, or to ask me what they are.
 
Mathematics news on Phys.org
Im assuming here that the 'n' is real and not limited to an integer. Is this allowed or are there restrictions on 'n'?
 
  • Like
Likes   Reactions: Silicon Waffle
I should have said "an unusual set of four integers" as n is included. A search should find the set quite quickly since none of the integers is as high as 20.
 
  • Like
Likes   Reactions: Silicon Waffle
Terry Coates said:
I should have said "an unusual set of four integers" as n is included. A search should find the set quite quickly since none of the integers is as high as 20.
There are infinitely many solutions for n=2.
 
For n = 2 surely there are no solutions. 3^2 + 4^2 - 5^2 = 0 3 + 4 - 5 = 2
 
Terry Coates said:
For n = 2 surely there are no solutions. 3^2 + 4^2 - 5^2 = 0 3 + 4 - 5 = 2
Maybe I misunderstand your question.
Why is, for example, 4²+6²-7²=4+6-7=3 not a solution?
 
  • Like
Likes   Reactions: fresh_42
Samy_A said:
Maybe I misunderstand your question.
Why is, for example, 4²+6²-7²=4+6-7=3 not a solution?
The product of ##A, B## and ##C## should be positive, I think.

No, sorry, I misread. Your example should be fine.
 
Sorry, you are correct. I should have said n > 2. I think that then there is only one set.
 
Terry Coates said:
Sorry, you are correct. I should have said n > 2. I think that then there is only one set.
No, there is more than one set.
 
  • #10
Many thanks for your speedy replies and research. My set is 16^5 + 13^5 - 17^5 = 12
I'd be pleased to see what others you have discovered.
 
  • #11
##35^3+119^3-120^3=35+119-120=34##
 
  • #12
Thanks for that.

I actually found my set while searching for the least possible value for A^n + B^n - C^n which in the case of n = 3 the least possible = 2 (with A, B and C relatively prime) I get 64 for n = 4, 12 for n = 5, 69264 n=6, 2697354 n = 7
 
  • #13
Samy_A said:
##35^3+119^3-120^3=35+119-120=34##

That makes it 3-0 to the Belgian.
 
  • Like
Likes   Reactions: fresh_42
  • #14
PeroK said:
That makes it 3-0 to the Belgian.
Or 15-3 in Rugby counts.
 
  • #15
Seems that these sets can only occur with power 1,2,3 and 5
 
  • #16
Boldings by me.
Terry Coates said:
Seems that these sets can only occur with power 1,2,3 and 5
Terry Coates said:
Sorry, you are correct. I should have said n > 2. I think that then there is only one set.
You already ruled out 1 and 2.
Terry Coates said:
I actually found my set while searching for the least possible value for A^n + B^n - C^n which in the case of n = 3 the least possible = 2 (with A, B and C relatively prime) I get 64 for n = 4, 12 for n = 5, 69264 n=6, 2697354 n = 7
?
 
  • #17
If I add the condition that A, B and C are to be relatively prime, then my set is probably unique
 
  • #18
Terry Coates said:
If I add the condition that A, B and C are to be relatively prime, then my set is probably unique
Not quite, these also satisfy this additional condition:
3,21,55,56
3,31,56,59
3,49,139,141
3,85,91,111
3,101,291,295
 
  • Like
Likes   Reactions: PeroK
  • #19
PeroK said:
That makes it 3-0 to the Belgian.
8-0
It's going to be a disaster ...
 
  • Like
Likes   Reactions: mfb
  • #20
Samy_A said:
Not quite, these also satisfy this additional condition:
3,21,55,56
3,31,56,59
3,49,139,141
3,85,91,111
3,101,291,295
It does not matter, he will keep adding conditions until his set is unique. :)
 
  • Like
Likes   Reactions: mfb
  • #21
fresh_42 said:
8-0
It's going to be a disaster ...
Germany-Brazil in 2014? Is there an isomorphism mapping Samy_A to Germany's soccer team and mapping Terry to Brazil's team?
 
  • #22
WWGD said:
Germany-Brazil in 2014? Is there an isomorphism mapping Samy_A to Germany's soccer team and mapping Terry to Brazil's team?
I don't know about Terry but the other comparison ... would you set up an isomorphism between the Bears and the cheese hats?
 
  • #23
nasu said:
It does not matter, he will keep adding conditions until his set is unique. :)

I fail to see how this is inconsistent with Mathematics in general!
 
  • #24
MostlyHarmless said:
I fail to see how this is inconsistent with Mathematics in general!
It isn't. It only says that either the original problem hasn't been formulated thoroughly enough or carefully enough as, e.g. "How many solutions depending on n does ... have" would have been.
 
  • #25
Sorry to disturb your feel people but there are infinitely many solutions for this.

Just take n= any odd integer.
and the condition b= -1; a+c=0.

If it seems lame, forgive me. I think there are infinite solutions for n=even too, but I am looking at it. Will get back!
 
  • #26
CrazyNinja said:
Sorry to disturb your feel people but there are infinitely many solutions for this.

Just take n= any odd integer.
and the condition b= -1; a+c=0.

If it seems lame, forgive me. I think there are infinite solutions for n=even too, but I am looking at it. Will get back!
Say ##n=2m+1, L(n)=A^n+B^n-C^n, R=A+B-C##.
Then ##B=-1## and ##A= -C## give us ## L(n)=2A^n-1## and ##R=2A-1##.
The condition ##L(n)=R## now reads ##A^{2m}=1## which in ##ℤ## is ##A,C ∈ \{±1\}## contradicting the assumption that ##A,B,C## are pairwise different.
 
  • #27
fresh_42 said:
Say ##n=2m+1, L(n)=A^n+B^n-C^n, R=A+B-C##.
Then ##B=-1## and ##A= -C## give us ## L(n)=2A^n-1## and ##R=2A-1##.
The condition ##L(n)=R## now reads ##A^{2m}=1## which in ##ℤ## is ##A,C ∈ \{±1\}## contradicting the assumption that ##A,B,C## are pairwise different.
Maybe @CrazyNinja meant ##A+B=0, C=-1##.
Then, for odd ##n##, ##A^n+B^n-C^n=A+B-C=1##.

But, probably more interesting, are there solution(s) for ##n>5## with ##A, \ B, \ C## pairwise different positive integers?

No idea. I am not familiar with Diophantine equations, don't know if this has been proven, and if not, how to even start.
 
  • Like
Likes   Reactions: CrazyNinja
  • #28
Samy_A said:
No idea. I am not familiar with Diophantine equations, don't know if this has been proven, and if not, how to even start.
As long as you stay away from book margins everything is alright :wink:
 
  • Like
Likes   Reactions: Samy_A

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
30K
  • · Replies 3 ·
Replies
3
Views
933
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 38 ·
2
Replies
38
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
7K