Algebraic Number Theory Question

[putongren]

This is actually a Number Theory question, but requires expertise that doesn't go beyond simple algebra.

Homework Statement

Show that (1+xy)(1+zy)(1+zx) is a perfect square iff (1 + xy), (1+yz) , and (1+zx) are perfect squares.

Homework Equations

The Attempt at a Solution

I initially tried to solve it like this

let 1 + xy = s² , 1 + yz = t², 1 + zx = u². I substituted the new variables and got (1+xy)(1+zy)(1+zx) = s²t²u² - s²t²+t⁴-t²+s²

I tried to get the RHS of the equation to be in some square form, but couldn't. I thought that introducing new variables to the problem would add to the complexity of the problem, but I thought that adding new variables would give me a new way to solve the problem also.

So .. any thoughts?

Homework Statement

Homework Equations

The Attempt at a Solution

 

[Hurkyl]

What are x,y,z,s,t,u? Are you working on the 'if' part or the 'only if' part? (or have you not gotten that far yet?) Where did that equation come from?

 

[putongren]

forgot to mention x,y,z are positive integers,

I just defined s,t,u as the number whose square is xy + 1, yz +1, zx + 1 respectively

 

[SammyS]

This is actually a Number Theory question, but requires expertise that doesn't go beyond simple algebra.

Homework Statement

Show that (1+xy)(1+zy)(1+zx) is a perfect square iff (1 + xy), (1+yz) , and (1+zx) are perfect squares.

Homework Equations

The Attempt at a Solution

I initially tried to solve it like this

let 1 + xy = s² , 1 + yz = t², 1 + zx = u². I substituted the new variables and got


(1+xy)(1+zy)(1+zx) = s²t²u² - s²t²+t⁴-t²+s²

That last equation is obviously wrong.

(1+xy)(1+zy)(1+zx) = s²t²u² , which is a perfect square.

That's the easier half of the proof.

Now show that if (1+xy)(1+zy)(1+zx) = w², then each of (1+xy), (1+zy), and (1+zx) are perfect squares.

 

[putongren]

That last equation is obviously wrong.

(1+xy)(1+zy)(1+zx) = s²t²u² , which is a perfect square.

That's the easier half of the proof.

Now show that if (1+xy)(1+zy)(1+zx) = w², then each of (1+xy), (1+zy), and (1+zx) are perfect squares.

Yeah, I suspect it was wrong, but I still have no idea how to show that (1 + xy)(1 + zy)(1 +wz) = w².

 

[SammyS]

Yeah, I suspect it was wrong, but I still have no idea how to show that (1 + xy)(1 + zy)(1 +xz) = w².

Did you try multiplying the left side out? -- Then try refactoring it.