Resolver ecuaciones simétricas con 4 variables

Question

¿Existe un método para encontrar o contar el número de soluciones enteras únicas $(n, H, L, W)$ a ecuaciones simétricas como,

$$x = 4n^2 + 2 + 4n(H + L + W) + 2HL + 2HW + 2LW$$

dado $x$? Todas las variables son enteros positivos.

Ni siquiera sé por dónde empezar. Aislar una variable da una ecuación fea. Para cada solución $(H, L, W)$ se puede utilizar la ecuación cuadrática (y por lo tanto la ecuación de Pell) para ver si $n$ es un entero, pero aún así implica probar todas las posibilidades.

Answer 1

Para la ecuación:

$$x=4n^2+4n(H+L+W)+HL+HW+LW+1$$

Puedes registrar tales decisiones.

$$H=c$$

$$L=4d-c+1$$

$$W=12d^2-4dc+c^2+4d-c+x-1$$

$$n=-d$$

O.

$$n=-12d^2+4dc-c^2-7d+c-x$$

Answer 2

No hay una solución fácil al problema, pero la fuerza bruta es suficiente.

Selecciona un límite para $x$ (en el código, MAX_CUBES). Define $c(n, H, L, W)$ como $x$ e itera sobre $H, L, W, n$ con $0 \le H \le L \le W$ y $n \ge 1$. Rompe el bucle cuando se excede el límite. En Python (fácil de reescribir en un lenguaje compilado para mayor velocidad):

def c(n, H, L, W):
    return 4*n**2 + 2 + 4*n*(H + L + W) + 2*H*L + 2*H*W + 2*L*W

MAX_CUBES = 20000  # ajuste
MAX_INT = MAX_CUBES
C = [0] * MAX_CUBES

for H in range(0, MAX_INT):
    if c(1, H, H, H) >= MAX_CUBES: break

    for L in range(H, MAX_INT):
        if c(1, H, L, H) >= MAX_CUBES: break

        for W in range(L, MAX_INT):
            if c(1, H, L, W) >= MAX_CUBES: break

            for n in range(1, MAX_INT):
                if c(n, H, L, W) >= MAX_CUBES: break

                C[c(n, H, L, W)] += 1

Answer 3

Para la ecuación.

$$x=2n^2+2n(H+W+L)+HW+HL+WL+1$$

Puedes registrar tales decisiones.

$$H=d^2+10b^2+10c^2-6bd-6cd+16bc+10b+8c-3d+x+1$$

$$W=2d^2+20b^2+20c^2-12bd-12cd+32bc+30b+24c-9d+2x+9$$

$$L=2d^2+20b^2+20c^2-12bd-12cd+32bc+28b+26c-9d+2x+8$$

$$n=-(d^2+10b^2+10c^2-6bd-6cd+16bc+13b+11c-4d+x+3)$$

O.

$$n=-(4d^2+40b^2+40c^2-24bd-24cd+64bc+55b+47c-17d+4x+15)$$