Parametrización de $x^2+ay^2=z^k$ donde $\gcd(x,y,z)=1$

Question

$x,y,z$ tres coprime enteros, $a \in \mathbb{Z}>0$ $k$ un entero impar. ¿Cómo puedo encontrar todas las soluciones no triviales de la ecuación de diophantine? $$x^2+ay^2=z^k$$ Es el método que consiste en suponer que la: $$x^2+ay^2=(p^2+aq^2)^k$$ (where $p,q$ son dos coprime enteros) proporcionar el general parametrización?

Answer 1

bien, no. Si $k$ divide al orden del grupo de clase, habrá otros. Por ejemplo, a lo largo de con $x^2 + 11 y^2,$ también contamos $3x^2 + 2xy+4y^2$ $3x^2 - 2xy+4y^2.$ El grupo de clase es de orden 3, y cualquier número de $n,$ incluyendo pero no limitado a los números primos, que tiene una expresión primitiva $n = 3 x^2 + 2xy+4y^2,$ también tiene una primitiva expresión de $$ n^3 = x^2 + 11 y^2. $$ Los primeros números primos representado por $3x^2 + 2xy + 4 y^2$ $$ 3, 5, 23, 31, 37, 59, 67, 71, 89, 97, $$ otros números primitivamente representados incluyen a $4$ $9.$

Nos encontramos $$ 27 = 16 + 11, $$ $$ 125 = 81 + 11 \cdot 4, $$ $$ 12167 = 54^2 + 11 \cdot 29^2, $$ $$ 64 = 16 + 11 \cdot 4, $$ $$ 729 = 25 + 11 \cdot 64, $$

Tuesday afternoon. Finding individual parametrizations can be left to Dirichlet's version of Gauss composition for binary quadratic forms. If I have a binary form $A x^2 + B xy + A^{k-1}y^2,$ it has order $k$ in its class group. For example, using $3 x^2 + 8 y^2 + 9 y^2,$ construimos $$ r = x^3 - 9 x y^2 - 8 y^3, $$ $$ s = 27 x^2 y + 72 x y^2 + 37 y^3, $$ el resultado (no de la forma más atractiva para escribir, y lo admito) $$ 27 r^2 + 8 rs + s^2 = (3x^2 + 8xy+9 y^2)^3. $$ Uno puede ajustar el lado izquierdo por $s = t - 4 r,$ o $t = s+4r,$ conseguir $t^2 + 11 r^2.$ No es bonita, pero que se deriva es algorítmico y determinista.

Para $t^2 + 47 r^2 = k^5,$ podemos proceder a $3 x^2 + 28 xy + 81 y^2$ orden $5$ en su grupo de clase.

Fue a través de él, $$ (14x^5 + 405yx^4 + 3780y^2x^3 + 13410y^3x^2 + 11550y^4x - 14647y^5)^2 + 47 ( x^5 - 270y^2x^3 - 2520y^3x^2 - 8115y^4x - 8344y^5)^2 = (3 x^2 + 28 x y + 81 y^2 )^5 $$

A continuación, como efectivamente se hace en gp-pari:

a=3; a1=3; b=28; c=27; z = x; w = y;

zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;

? a=3; a1=3; b=28; c=27; z = x; w = y;
? zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;
? z
%3 = x^2 - 27*y^2
? w
%4 = 6*y*x + 28*y^2

a1 = 9; c = 9; zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;

? a1 = 9; c = 9; zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;
? z
%6 = x^3 - 81*y^2*x - 252*y^3
? w
%7 = 27*y*x^2 + 252*y^2*x + 541*y^3

a1 = 27; c = 3; zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;
? a1 = 27; c = 3; zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;
? 
? z
%9 = x^4 - 162*y^2*x^2 - 1008*y^3*x - 1623*y^4
? w
%10 = 108*y*x^3 + 1512*y^2*x^2 + 6492*y^3*x + 8344*y^4

a1 = 81; c = 1; zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;


? a1 = 81; c = 1; zz = x * z - c * y * w  ;  ww = a * x * w + a1 * y * z + b * y * w; z = zz; w = ww;
? 
? z
%12 = x^5 - 270*y^2*x^3 - 2520*y^3*x^2 - 8115*y^4*x - 8344*y^5
? w
%13 = 405*y*x^4 + 7560*y^2*x^3 + 48690*y^3*x^2 + 125160*y^4*x + 102169*y^5
? 
? 243 * z^2 + 28 * z * w + w^2
%14 = 243*x^10 + 11340*y*x^9 + 244485*y^2*x^8 + 3200400*y^3*x^7 + 28137390*y^4*x^6 + 173498248*y^5*x^5 + 759709530*y^6*x^4 + 2333091600*y^7*x^3 + 4812198255*y^8*x^2 + 6026540940*y^9*x + 3486784401*y^10
? 243 * z^2 + 28 * z * w + w^2 - (3 * x^2 + 28 * x * y + 81 * y^2)^5
%15 = 0
? 

t = w + 14 * z

? t = w + 14 * z
%16 = 14*x^5 + 405*y*x^4 + 3780*y^2*x^3 + 13410*y^3*x^2 + 11550*y^4*x - 14647*y^5
? z
%17 = x^5 - 270*y^2*x^3 - 2520*y^3*x^2 - 8115*y^4*x - 8344*y^5
? 

t^2 + 47 * z^2 
? 
? t^2 + 47 * z^2
%18 = 243*x^10 + 11340*y*x^9 + 244485*y^2*x^8 + 3200400*y^3*x^7 + 28137390*y^4*x^6 + 173498248*y^5*x^5 + 759709530*y^6*x^4 + 2333091600*y^7*x^3 + 4812198255*y^8*x^2 + 6026540940*y^9*x + 3486784401*y^10
? 
? t^2 + 47 * z^2 -  (3 * x^2 + 28 * x * y + 81 * y^2)^5
%19 = 0
? 

Answer 2

No, no existe un único método. Por ejemplo, tenemos,

$$(p^3-3dpq^2)^2 + d(3p^2q-dq^3)^2 = (p^2+dq^2)^3$$

pero no es más completa. En particular, para $d=47$, Pepin no hay racional $p,q$ que corresponde a la solución,

$$(13u^3+30u^2v-42uv^2-18v^3)^2 + 47(u^3-6u^2v-6uv^2+2v^3)^2 = 2^3(3u^2+uv+4v^2)^3$$

Editar:

El uso de Jagy$x^2+2xy+4y^2$,,

$$(4 x^3 + 15 x^2y - 6 x y^2 - 8y^3)^2 + 11(x^3 - 3 x^2 y - 6 x y^2)^2 = (3x^2 + 2x y + 4y^2)^3$$

Answer 3

Para $k=5$ $a=(4mn-t^2)$

${n}^{5}\,{\left( p\,s\,t+m\,{s}^{2}+n\,{p}^{2}\right) }^{5}=\left( 4\,m\,n-{t}^{2}\right)\cdot\,{\left( -{s}^{5}\,{t}^{4}-5\,n\,p\,{s}^{4}\,{t}^{3}+\left( 3\,m\,n\,{s}^{5}-10\,{n}^{2}\,{p}^{2}\,{s}^{3}\right) \,{t}^{2}+\left( 10\,m\,{n}^{2}\,p\,{s}^{4}-10\,{n}^{3}\,{p}^{3}\,{s}^{2}\right) \,t-{m}^{2}\,{n}^{2}\,{s}^{5}+10\,m\,{n}^{3}\,{p}^{2}\,{s}^{3}-5\,{n}^{4}\,{p}^{4}\,s\right) }^{2}/4+{\left( s\,t+2\,n\,p\right)}^{2}\cdot \,{\left( {s}^{4}\,{t}^{4}+3\,n\,p\,{s}^{3}\,{t}^{3}-5\,m\,n\,{s}^{4}\,{t}^{2}+4\,{n}^{2}\,{p}^{2}\,{s}^{2}\,{t}^{2}-10\,m\,{n}^{2}\,p\,{s}^{3}\,t+2\,{n}^{3}\,{p}^{3}\,s\,t+5\,{m}^{2}\,{n}^{2}\,{s}^{4}\\-10\,m\,{n}^{3}\,{p}^{2}\,{s}^{2}+{n}^{4}\,{p}^{4}\right) }^{2}/4$

Answer 4

Un enfoque consiste en escribir la fórmula General. Para la ecuación.

$$x^2+ay^2=z^{k}$$

La fórmula busca la simplicidad sin coprime soluciones.

$$x=(p^2-as^2)(p^2+as^2)^{k-1}$$

$$y=2ps(p^2+as^2)^{k-1}$$

$$z=(p^2+as^2)^2$$

Después de la sustitución de los números de $p,s - $ a reducir común divisor.

$x,y - $ en el número. $d^k$

$z - $ en el número. $d^2$