[matemáticas] X [/ matemáticas] es un número entero. Esto se debe a que el conjunto de enteros [math] \ mathbb {Z} [/ math] está cerrado bajo multiplicación, es decir, [math] \ forall (x, y), \ x \ in \ mathbb {Z}, y \ in \ mathbb {Z}, \ xy \ in \ mathbb {Z} \: \ rightarrow (1) [/ math].
2 y 3, que son números naturales, también son números enteros, como por definición de [math] \ mathbb {Z} [/ math], [math] \ mathbb {N} \ subset \ mathbb {Z} [/ math].
Se dice que un número entero [math] x [/ math] es “par” si [math] x \ \ equiv \ 0 \ (\ text {mod} \ 2) [/ math], y “impar” si no lo es t. Tenga en cuenta que “par” o “impar” solo se define para enteros, ya que la aritmética modular solo se define sobre los enteros.
Por lo tanto, sabemos por el hecho de que [matemática] 2X [/ matemática] es par y que [matemática] 3X [/ matemática] es impar que [matemática] 2X [/ matemática] y [matemática] 3X [/ matemática] son enteros . De [math] (1) [/ math], tenemos que ya que los enteros están cerrados bajo multiplicación, y que [math] nX \ in \ mathbb {Z} [/ math] para [math] n \ in {2, \ 3} \ subconjunto \ mathbb {Z} [/ math], [math] X \ in \ mathbb {Z} [/ math].
- Cómo encontrar el resto de 2 ^ 55 dividido por 33
- ¿Cuál es el resto de 88 ^ 77/77?
- ¿Puedes probar 2 = 1?
- Sea f (n) yg (n) igual al número de números primos menores que n = 3mod4 y = 1mod4 respectivamente. ¿Qué es [math] lim_ {n \ to \ infty} \ frac {f (n)} {g (n)} [/ math]?
- Si [math] n [/ math] es un entero positivo tal que [math] 2 + 2 \ sqrt {28n ^ 2 + 1} [/ math] es un entero, ¿cómo muestro que [math] 2 + 2 \ sqrt {28n ^ 2 + 1} [/ math] es el cuadrado de un entero?
Por lo tanto, ya sea la declaración [matemáticas] (i) [/ matemáticas] o [matemáticas] (ii) [/ matemáticas] por sí mismas es suficiente para decir que [matemáticas] X [/ matemáticas] es un número entero.
Tenga en cuenta que ahora incluso podemos mostrar que [math] X [/ math] debe ser impar, porque el resultado de multiplicar cualquier entero por cualquier entero par es par, y el resultado de multiplicar un entero impar con otro entero impar es impar (estos las propiedades se pueden verificar a partir de la definición). Para esto, necesitamos la información de [math] (ii) [/ math], por lo que la segunda opción es apropiada en este caso (mostrando que [math] X [/ math] es impar).