Diccionario Matemáticas - Fórmulas Matemáticas - Conceptos Matemáticos - Definiciones Matemáticas - Formularios Matemáticos - Glosario Matemático - Términos Matemáticos - Propiedades Matemáticas - Matemáticas - Ecuaciones Matemáticas - Historia Matemática - Constructos Matemáticos - Vocablos Matemáticos - Tips Matemáticos - Reglas Matemáticas - Teoremas - Axiomas

miércoles, 28 de octubre de 2009

Ecuación Diofántica

(Tomado de Wikipedia)

Se llama ecuación diofántica a cualquier ecuación algebraica, generalmente de varias variables, planteada sobre el conjunto de los números enteros \mathbb{Z} o los números naturales \mathbb{N}, es decir, se trata de ecuaciones cuyas soluciones son números enteros.

Un ejemplo de ecuación diofántica es: x + y = 5 \,

Esta ecuación tiene infinitas soluciones en los números reales. Como regla general, sin embargo, las ecuaciones que aparecen en los problemas tienen restricciones que nos ayudan a limitarnos a un pequeño número de casos e incluso a una única solución.

Por ejemplo, en nuestra ecuación, si restringimos los posibles valores de x e y a los enteros positivos, tenemos 4 soluciones para (x,y):

(1,4) (2,3) (3,2) (4,1).

Un problema matemático muy famoso que se resuelve por medio de ecuaciones diofánticas es el del mono y los cocos.

Un caso Particular de Ecuación Diofántica: Ecuación pitagórica

Se llama ecuación pitagórica a la ecuación x^2 + y^2 = z^2 \, con x,y,z \in \mathbb{Z}. Cualquier terna (x, y, z) solución de la ecuación anterior se conoce como terna pitagórica. Además si (x, y, z) es una terna pitagórica solución de la ecuación pitagórica también lo serán:

  1. La terna alternando x e y: (y, x, z).
  2. Una terna múltiplo (ky, kx, kz).
  3. Una terna con algún signo cambiado (-x, y, z), (x, -y, z) o (y, x, -z)
  4. Cualquier otra terna obtenida mediante una combinación de los procedimientos anteriores.

Se dice que una terna es primitiva, si el máximo común divisor de x, y, z es la unidad, es decir, mcd(x,y,z) = 1. En toda terna primitiva al menos uno de los números x o y es par y z es impar. Puede verse que en esas condiciones todas las ternas primitivas que son de la ecuación pitagórica son de la forma:

\begin{cases} x = u^2 - v^2 \qquad y = 2uv  \qquad z = u^2 + v^2 \\ u,v \in \mathbb{N} \; \land \; u \neq v\ (\mbox{mod}\ 2) \; \land \; \mbox{mcd}(u,v) = 1 \end{cases}

No hay comentarios:

Publicar un comentario