9 votos

Demostrar que si dos enteros tienen paridad opuesta, su producto es par

Si dos enteros tienen paridad opuesta, su producto es par.

Método de prueba: Prueba directa

Si dos enteros tienen paridad opuesta, entonces uno es par y el otro es impar.

Supongamos: $a$ es un número entero par y $b$ es un entero impar, entonces por definición de enteros pares e Impares

$$a = 2m, \quad b = 2n+1,$$ mientras que $m$ et $n$ son números enteros.

$$ ab = 2m(2n+1)= 4mn+2m = 2(2mn+m) $$ Dejemos que $c = 2mn+m$ sea un número entero, entonces $ab=2c$ es incluso

Por lo tanto, el producto de dos enteros de paridad opuesta es par

Gracias.

4 votos

Una sugerencia de mejora: Demostrar que $2mn + m$ es un número entero. Dado que $2, m, n$ son enteros y el producto de enteros es un entero, $2mn$ es un número entero. Dado que $2mn$ y $m$ son enteros y la suma de enteros es un entero, $2mn + m$ es un número entero.

1 votos

Para cualquiera que nos visite desde Stack Overflow y esté tan confundido como yo al principio, paridad en matemáticas no es lo mismo que paridad en informática . En matemáticas, la paridad es si un número entero es par o impar. En informática, la paridad es si el número de 1 bits en la representación binaria del número entero es par o impar. Por ejemplo, en informática, 3 es binario 11 con paridad par. 7 es binario 111 con paridad impar. Y su producto, 21 es binario 10101 por lo que es impar y tiene paridad impar.

0 votos

Otra posible prueba sería : Duh .

6voto

gimusi Puntos 1255

Sí, por supuesto, eso es correcto.

También podemos observar que

  • si $a\in \mathbb{N}$ es incluso $\implies 2\,|\,a\,$ et $\,\forall b \in \mathbb{N} \quad 2\,|\,ab \implies ab$ es uniforme.

5 votos

Utilice \mid para espaciar mejor el símbolo de divisibilidad $\mid$ . Por ejemplo, en lugar de $2|ab$ podría generar $2\mid ab$ . Observe el mejor espaciado.

4 votos

Gracias por la sugerencia, ya lo he arreglado.

1 votos

No hay problema :) ${}$

4voto

user477343 Puntos 173

El lema de Euclides afirma que si un número primo $p$ divide el producto $ab$ de dos enteros $a$ et $b$ entonces $p$ debe dividir al menos uno de esos enteros $a$ et $b$ .

Desde $2$ es un número primo, podemos dejar que $p = 2$ . Ahora queremos demostrar que para los enteros $a$ et $b$ que tienen una paridad opuesta, $2$ debe dividir el producto $ab$ .

Cuando dos números tienen una paridad opuesta, entonces uno de esos números es par y el restante es impar. La definición de un número par es tal que el número es divisible por $2$ . Lo contrario es la definición de un número impar. Por eso dejamos que $p = 2$ en primer lugar.

Dado que cualquiera de los dos $a$ o $b$ debe ser par, siendo por tanto el entero restante impar, entonces $2$ debe dividir $a$ o $b$ . Por lo tanto, $2$ también debe dividir $ab$ lo que hace que ese producto sea un número par.

Ir a aquí para una demostración del lema de Euclides.

4 votos

-1: no estás utilizando el "lema de Euclides" en absoluto. Estás utilizando su inverso (si uno de a o b es par, entonces ab es par), que es casi trivialmente cierto.

0 votos

@TashiWalde Sí, lo siento. Olvidé añadir por qué dejamos que $p = 2$ . Por lo demás, tiene usted razón.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X