How to solve for solutions to the diophantine 5b^2*c^2 = 4a^2(b^2+c^2)


by SeventhSigma
Tags: 4a2b2, 5b2c2, diophantine, solutions, solve
SeventhSigma
SeventhSigma is offline
#1
Dec3-12, 09:39 AM
P: 250
I am trying to find a way to generate solutions to 5b^2*c^2 = 4a^2(b^2+c^2)

Can anyone offer some insight?

I know that (b^2+c^2) is the part that is divisible by 5
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
haruspex
haruspex is offline
#2
Dec3-12, 10:55 PM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,215
The interesting cases will be when HCF(a,b,c)=1, so assume that. First, consider what cases that leaves where some two of the three have a common factor.
When no two have a common factor, look for an interesting factorisation. With squares, that's typically going to be of the form (x-y)(x+y). Hint: try writing the 5 as 4+1.
SeventhSigma
SeventhSigma is offline
#3
Dec3-12, 11:09 PM
P: 250
Quote Quote by haruspex View Post
The interesting cases will be when HCF(a,b,c)=1, so assume that. First, consider what cases that leaves where some two of the three have a common factor.
When no two have a common factor, look for an interesting factorisation. With squares, that's typically going to be of the form (x-y)(x+y). Hint: try writing the 5 as 4+1.
I am sorry, I don't really understand what you mean here at all. Can you provide an example?

haruspex
haruspex is offline
#4
Dec4-12, 12:39 AM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,215

How to solve for solutions to the diophantine 5b^2*c^2 = 4a^2(b^2+c^2)


I'm suggesting breaking the problem into 3 cases:
1. a, b, c have a common factor. This is trivially reducible to the other cases by factoring it out.
2. Some pair of a, b, c have a common factor. E.g. consider p divides a m times and b n times. Then you can show either p = 2 or m=n, and maybe deduce some more consequences.
3. No two have a common factor.
Rewrite the equation as 4b2(c2-a2) = c2(4a2-b2) then factorise. What can the prime factors of c divide on the LHS?
SeventhSigma
SeventhSigma is offline
#5
Dec4-12, 12:47 AM
P: 250
I know you are trying to help but I sincerely have absolutely no idea what that aims to solve?

It seems like you're advocating some form of just iterating through all a,b,c in order to get all the cases and break them out into these three categories, but I'm not sure how this is any better than brute force.

1. You're saying gcd(a,b,c)>1 here?
2. either gcd(a,b)>1, gcd(a,c)>1, or gcd(b,c)>1?
3. gcd(a,b,c)=1

How does rewriting the equation that way help, and factorize which part?

If it helps any, I am only looking for cases for which gcd(a,b,c)=1 and a<b<c<2*a
SeventhSigma
SeventhSigma is offline
#6
Dec4-12, 12:55 AM
P: 250
for example

[209, 247, 286],
[341, 374, 527],
[779, 950, 1025],
[1711, 2146, 2183]
... etc
SeventhSigma
SeventhSigma is offline
#7
Dec4-12, 01:13 AM
P: 250
Lastly, I just tried looking at the prime factors of c with respect to the lhs and nothing unusual cropped up (for instance using the cases I just posted). It's not like the primes all exclusively divide 4b^2 or (c^2-a^2) if that's what you're saying.

It can divide 4*b*b*a*a though; not sure if this matters
haruspex
haruspex is offline
#8
Dec4-12, 03:10 AM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,215
No, not brute force. I'm suggesting that in each case you can make interesting but different logical deductions which might eventually allow you to characterise all solutions.
Take e.g. gcd(a,c)=1 and gcd(b,c) = 1. Then c = 1 or 2. Indeed, if gcd(a,b)=1 then b|c.
Dickfore
Dickfore is offline
#9
Dec4-12, 04:35 AM
P: 3,015
Quote Quote by SeventhSigma View Post
I know that (b^2+c^2) is the part that is divisible by 5
Why?
SeventhSigma
SeventhSigma is offline
#10
Dec4-12, 07:22 AM
P: 250
I don't know why Dickfore; it just is

haruspex: Yes but I am after the gcd(a,b,c) = 1 cases which don't seem to have those same unique attributes
micromass
micromass is online now
#11
Dec4-12, 08:27 AM
Mentor
micromass's Avatar
P: 16,703
Quote Quote by SeventhSigma View Post
I don't know why Dickfore; it just is
That doesn't really make any sense. If you don't know why, then why did you add the condition?? Is it given in the problem statement that 5 divides [itex]a^2+b^2[/itex]?? Or...
haruspex
haruspex is offline
#12
Dec4-12, 02:34 PM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,215
Quote Quote by SeventhSigma View Post
I don't know why Dickfore; it just is
Well, that is very easy to prove.
haruspex: Yes but I am after the gcd(a,b,c) = 1 cases which don't seem to have those same unique attributes
Yes, I understand that. The cases I elaborated upon, like (a,b)=1, necessarily satisfy (a,b,c)=1. Do you mean you are most interested in the cases where (a,b,c)=1 but some pair does have a common factor? Or perhaps where each pair has a common factor?
coolul007
coolul007 is offline
#13
Dec4-12, 05:40 PM
coolul007's Avatar
P: 234
Doesn't (b^2 + c^2) or a^2 have to be divisible by 5 as the left side of the equation has 5 as a factor. Also b or c must be even as 5(B^2)(C^2) is equal to 4 times a number.
Dickfore
Dickfore is offline
#14
Dec4-12, 08:54 PM
P: 3,015
Quote Quote by haruspex View Post
Well, that is very easy to prove.
Apparently, it isn't for the OP. If one is incapable of verifying this statement, then the analysis you suggested is beyond their comprehension.
Dickfore
Dickfore is offline
#15
Dec4-12, 08:57 PM
P: 3,015
Quote Quote by coolul007 View Post
Doesn't (b^2 + c^2) or a^2 have to be divisible by 5?
So, what if we assume that [itex]b^2 + c^2[/itex] is not divisible by 5?
SeventhSigma
SeventhSigma is offline
#16
Dec4-12, 09:07 PM
P: 250
I've since figured out my own problem, no need to discuss this any further
LittleNewton
LittleNewton is offline
#17
Dec5-12, 01:48 AM
P: 12
Quote Quote by SeventhSigma View Post
I've since figured out my own problem, no need to discuss this any further
Hi SeventhSigma,

I am always fascinated by solutions to Diophantine equations.
I am glad that you figured it out, but we haven't learned anything
from this discussion. Can you please share your solution with us?

Thanks,

LittleNewton
ramsey2879
ramsey2879 is offline
#18
Dec5-12, 07:19 AM
P: 891
Quote Quote by SeventhSigma View Post
I've since figured out my own problem, no need to discuss this any further
Well it would be helpful to us to give us some insight as to what you discovered or found. As to the proof that (b^2 + c^2) must be divisible by 5 Dickfore was trying to get you to think like a mathematican. If 5 doesn't divide (b^2 + c^2) then it must divide a^2. But if 5 divides a^2 and not b^2 + c^2 then the right hand side must be divisible by an even power of 5. Is ths so with the left hand side? Don't let this forum get you down, it is very helpful for those willing to think for themselves. It would be nice for you to return the favor.
PS, Although you may have been irritated by one or more of us, please be advised that none of the posts in this thread appear to have been meant to belittle you. It just that its sometimes hard to choose from simply spoon feeding detailed information to someone and just giving that person enough information so that he or she will have the ability to effectively solve a problem. I know that it is human nature for each of us to sometimes have a mental block at times and at that time a little more information to wake us up and help us think straight may be more helpful in the long run than just spoon fed detailed information.


Register to reply

Related Discussions
What is a systematic method to solve this Diophantine equation? Calculus & Beyond Homework 6
solutions of a diophantine equation Linear & Abstract Algebra 1
Diophantine and coprime solutions x,y Linear & Abstract Algebra 2
Accelerated C++ book - no solutions for exercises, should I still solve them? Engineering, Comp Sci, & Technology Homework 22
Newton (iterative) method to solve a diophantine equation Linear & Abstract Algebra 5