View Single Post
Old 2008-05-03, 23:20   #3
wblipp's Avatar
May 2003
New Haven

23·5·59 Posts

Zeta-Flux has already observed that a cannot be even (he said it was easy to see, but it took me a while to see that it's because x and y and z must all be odd by the gcd requirement, and xy + xz + yz would then be odd)

let a = 2b+1

x = -(2b+1)^2 * c^2 * (18b+10) - 3*(2b+1)*c*(b+1) + b
y = (2b+1)^2 * c^2 * (54b+30) - (2b+1)*c*(9*b+1) + 1
z = (2b+1)^2 * c^2 * (27b+15) + (2b+1)*c*(9*b+7) + 1

Gives an infinite family of solutions, and the gcd requirement is met because

x = b mod (2b+1)
y = 1 mod (2b+1)
z = 1 mod (2b+1)

Thus there is an infinite family of solutions for all odd a.

wblipp is offline   Reply With Quote