Cómo resolver la ecuación lineal de diofantina [matemática] 3x + 6y + 5z = 7 [/ matemática]

Considera la ecuación

[matemáticas] \ begin {align} \ displaystyle 3x + 6y + 5z-7 = 0 \ end {align} \ tag * {} [/ math]

En el espacio 3D, esto representa un plano con el vector normal [matemática] \ widehat {v} (3,6,5) [/ matemática]. Teniendo esto en cuenta, esto es lo que vamos a hacer:

  • Encuentra un punto en el plano con coordenadas enteras
  • Encuentra dos vectores no paralelos con componentes enteros que se encuentran en el plano
  • Exprese cualquier otro punto en el plano con coordenadas enteras como una combinación lineal de estos dos vectores aplicados a nuestro punto de partida

Paso 1

Intentando algunos valores para [matemática] x [/ matemática], [matemática] y [/ matemática] y [matemática] z [/ matemática] encontramos rápidamente el punto [matemática] P (-1,0,2) [/ matemática ] que se encuentra en el plano y tiene coordenadas enteras.

Paso 2

El vector [matemáticas] \ hat {v} (3,6,5) [/ matemáticas] es normal al plano; por lo tanto, cualquier vector paralelo al plano debe ser perpendicular a [math] \ hat {v} [/ math]. Entonces, si [math] \ widehat {w} [/ math] se encuentra en el plano, entonces [math] \ hat {v} \ cdot {\ hat {w}} = 0 [/ math]. Después de algunos intentos (por ejemplo, para ambos vectores [math] \ hat {w_a} [/ math] y [math] \ hat {w_b} [/ math] que se encuentran en el plano, establezca un componente en [math] 0 [/ math ] y elija los otros dos componentes de tal manera que los productos escalares [math] \ hat {w_a} \ cdot {\ hat {v}} [/ math] y [math] \ hat {w_b} \ cdot { \ hat {v}} [/ math] igual a [math] 0 [/ math]) rápidamente obtenemos [math] \ hat {w_a} (5,0, -3) [/ math] y [math] \ hat {w_b} (0,5, -6) [/ matemáticas].

Paso 3

Deje que [math] \ hat {u} (- 1,0,2) [/ math] sea el vector posicional del primer punto que encontramos. Cualquier otro punto con coordenadas enteras (es decir, su vector posicional) se puede expresar como

[matemáticas] \ begin {align} \ displaystyle \ hat {u} + k \ cdot {\ hat {w_a}} + h \ cdot {\ hat {w_a}} \ end {align} \ tag * {} [/ math ]

De ahí la solución

[matemáticas] \ begin {align} \ displaystyle \ begin {cases} x = -1 + 5k \\ y = 5h \\ z = 2-3k-6h \ end {cases} \ end {align} \ tag * {} [/matemáticas]

con [matemáticas] k, h \ en {\ Z ^ 2} [/ matemáticas].

El sistema está bajo restricción. Las soluciones son vectores 3D pero solo tiene una ecuación, que esencialmente describe un plano en 3D, por lo que técnicamente, hay un número infinito de soluciones. Elija dos números para x e y, y luego resuelva para z.

3 (x + 2y) = 7–5z

7–5z debe ser un múltiplo de 3. Un valor es z = -1; podemos encontrar otros valores por z = -1 + 3 m

Entonces x + 2y = 4–5m.

No hay restricción en y pero x = 4–5m-2y.

Deje resolver la ecuación 3x + 6y + 5z = 0.

Primero, z es múltiple a 3, z = 3u. Entonces x + 2y + 5u = 0.

Para cualquier (y, u) tenemos solución (-2y-5u, y, 3u).

Una solución de la ecuación original es (-1,0,2). Eso significa que cualquier otra solución es (-1-2y-5u, y, 3u + 2)