(1) Use proof by contradiction, suppose z is even, that is z=2z1. The original equation can be rewritten as: z1(2xz1+1)2=(5z1+y)(4z1+y).
Let w=(y,z1), so let y=wy0,z1=wz0, where (y0,z0)=1.
⇒z0(2xwz0+1)2=w(5z0+y0)(4z0+y0)
Because (z0,5z0+y0)=(z0,4z0+y0)=1 and (w,(2xwz0+1)2)=1⇒w∣z0,z0∣w
So w=z0 and (2xwz0+1)2=(5z0+y0)(4z0+y0)
Because (5z0+y0,4z0+y0)=(z0,4z0+y0)=(z0,y0)=1
Therefore we may set 5z0+y0=m2,4z0+y0=n2, where m,n are positive integers, so m>n, that is m−n≥1.
⇒w=z0=m2−n2⇒2xw2+1=2xwz0+1=mn,
Therefore mn=1+2xw2=1+2x(m2−n2)2=1+2x(m−n)2(m+n)2≥1+2x(m+n)2≥1+8xmn≥1+8mn
That is 7mn≤−1 (contradiction), so z is not even.
(2) Let w=(y,z) and y=wy0,z=wz0, where (y0,z0)=1.
⇒z0(xwz0+1)2=w(5z0+2y0)(2z0+y0)
Because (y0,z0)=1 and z0 is odd,
so (z0,2z0+y0)=1=(z0,5z0+2y0)⇒z0∣w,
and also (w,(xwz0+1)2)=1⇒w∣z0
So z0=w,z=wz0=w2, which completes the proof.