We show that X^5 + aY^5 + aZ^5 = W^2 has infinitely many integer solutions. Related topics: ax^5 + by^5 + cz^5 = w^2. ax^5 + by^5 + cz^5 = w^2 Part2.1.IntroductionEquation X^5 + aY^5 + aZ^5 = W^2 has infinitely many integer solutions. condition: a=-p+1, p is arbitrary. Proof. X^5 + aY^5 + aZ^5 = W^2.........................................................(1) Substitute X=p, Y=t-p, Z=-t to equation (1), we obtain W^2 = -5apt^4+10ap^2t^3-10ap^3t^2+5ap^4t+p^5-ap^5...............................(2) Let a=-p+1, U=t, and V=W, then we obtain equation (3). V^2 = (-5p+5p^2)U^4+(-10p^3+10p^2)U^3+(10p^4-10p^3)U^2+(-5p^5+5p^4)U+p^6........(3) Since quartic equation (3) has a rational solution Q(U,V)=(0,p^3), this quartic equation (3) is birationally equivalent to an elliptic curve below. Y^2+(-5p^2+5p)YX+(-20p^6+20p^5)Y = X^3+(15/4p^4+5/2p^3-25/4p^2)X^2+(20p^7-20p^8)X+25p^11-75p^12+175p^10-125p^9 Transformation is given, U = 1/2(4p^3X+15p^7+10p^6-25p^5)/Y V = 1/8(625p^7X-500p^8X+90p^7X^2+60p^6X^2+8p^3X^3-150p^5X^2+385p^11X-200p^14+600p^15-1400p^13+1000p^12+140p^10X-650p^9X-10p^9Y+110p^8Y-350p^7Y+250p^6Y)/(Y^2) X = (2p^3V+2p^6-5Up^5+5Up^4)/(U^2) Y = 1/2(8p^6V+8p^9-20Up^8+20Up^7+15U^2p^7+10U^2p^6-25U^2p^5)/(U^3). The point corresponding to point Q is P(X,Y)=(-15/4p^4-5/2p^3+25/4p^2, 5/4p^6-55/4p^5+175/4p^4-125/4p^3). This point P is of infinite order, and the multiples mP, m = 2, 3, ...give infinitely many points. Hence we can obtain infinitely many integer solutions for equation (1). Case : m=2 X = p(19p^2-10p-25)^2 Y = -p(11p^2+30p-25)(19p^2-10p-25) Z = -8p^2(p-5)(19p^2-10p-25) W = p^3(19p^2-10p-25)^3(-1875+2500p-1450p^2+980p^3+101p^4) p is arbitrary. Case : m=3 X = p(181p^6-12210p^5-74625p^4+164500p^3-108125p^2+18750p+15625)^2 Y = p(11p^2+30p-25)(3p^2+70p-25)(19p^2-10p-25)(181p^6-12210p^5-74625p^4+164500p^3-108125p^2+18750p+15625) Z = -8(p-5)p^2(-1875+2500p-1450p^2+980p^3+101p^4)(181p^6-12210p^5-74625p^4+164500p^3-108125p^2+18750p+15625) W = p^3(1220703125-4882812500p+12675781250p^2-32507812500p^3+44176171875p^4-18570625000p^5-11322562500p^6+12498875000p^7-4048103125p^8+521613500p^9+225617250p^10+28761500p^11+1169341p^12) (181p^6-12210p^5-74625p^4+164500p^3-108125p^2+18750p+15625)^3 Q.E.D.2.Theorem

HOME