11. Proof: Squaring both sides of the equation, we get
z4=(x4−4y4)2=x8−8x4y4+16y8=(x8+8x4y4+16y8)−16x4y4=(x4+4y4)2−(2xy)4
Thus,
(2xy)4+z4=(x4+4y4)2
From this, we can see: If x0,y0,z0 is a positive integer solution to the equation x4−4y4=z2, then 2x0y0,z0,x04+4y04 is a positive integer solution to the equation x4+y4=z2. From the proof of Lemma 3, we already know that x4+y4=z2 has no positive integer solutions, so x4−4y4=z2 cannot have positive integer solutions.