11111…

 Los números primos son los bloques fundamentales con los que se construyen el resto de números. El teorema fundamental de la aritmética nos garantiza que todo número se descompone de manera única (salvo orden) en producto de números primos.

Conocer tal descomposición no es un problema sencillo, de hecho esta dificultad es la base de los sistemas de seguridad informáticos. En este post vamos a ver una particularidad que tienen los números formados únicamente por "unos" y los números primos. En concreto, vamos a ver el siguiente resultado:

Para todo primo $p$ distinto de $2$ y $5$ existe un número entero formado solo por "unos" (en base 10) que tiene a $p$ como divisor. 

Es decir, para cualquier primo que no sea ni 5 ni 2, como por ejemplo el 13, hay un número como el 1111 tal que 13 es uno de sus divisores. Veamos cómo se prueba este resultado.

Demostración:

Lo primero es ver cómo son los números formados por unos. Por ejemplo, para 111 nos damos cuenta de que $$111=\frac{999}{9}=\frac{1000-1}{9}=\frac{10^3-1}{9}.$$

Con este ejemplo es fácil darse cuenta de que un número formado por $n$ "unos" es de la forma $$\frac{10^n-1}{9}.$$ Ahora que ya tenemos estos números caracterizados, tomamos $p$ un primo distinto de $2$ y $5$ e intentamos buscar $n$ tal que $p$ divida a $(10^n-1)/9$. Si $p\neq 3$, entonces $p$ dividirá al número anterior si y solo si divide al numerador $10^n-1$, ya que al dividir $10^n-1$ entre $9$ tan solo le hemos quitado el factor $3^2$ en su descomposición. 

Ahora bien, que $p$ divida a $10^n-1$ es equivalente a decir que $$10^n-1\equiv 0 \mod{p},$$ o lo que es lo mismo, que $$10^n\equiv 1 \mod{p},$$ es decir, que dividir $10^n$ entre $p$ da como resto $1$. Ahora podemos invocar el conocido como pequeño teorema de Fermat, el cual nos dice que:

Si $p$ es primo y $a$ es un entero que no es múltiplo de $p$, entonces 

$$a^{p-1}\equiv 1 \mod{p}.$$

En nuestro caso, como $p$ no era ni $2$ ni $5$, el número $10^n$ no es múltiplo de $p$ por lo que al aplicar el pequeño teorema de Fermat deducimos que

$$
10^{p-1}\equiv 1\mod{p}.
$$

Por tanto, queda probado que para $p$ primo distinto de $2,3$ y $5$ el número por $p-1$ "unos" es un múltiplo de $p$. Para $p=3$ también se cumple el resultado, ya que por ejemplo, $3$ divide a $111$.

De esta demostración podemos sacar una conclusión más, y es que no solo hemos probado la existencia del número formado por "unos", también hemos descrito cómo es. Este es, salvo para $p=3$, un número formado por $p-1$ "unos". Es decir, si tomamos un primo como el 29, entonces el número formado por 28 "unos" es un múltiplo de de 29. ¿No es sorprendente?

 Recíprocamente, si nos dan un número formado por $n$ "unos" y resulta que $n+1$ es primo entonces este es uno de sus divisores. Por ejemplo, el $1\ 111\ 111\ 111$ Está formado por 10 “unos”, y como 11 es primo entonces el número anterior se pude dividir por 11. Haciendo uso de la calculadora podemos comprobar que efectivamente $$\frac{1\ 111\ 111\ 111}{11}=101\ 010\ 101.$$

Es cierto que es un criterio que solo se puede usar en contadas ocasiones, pero por ello, a mi no me deja de parecer bello. ¿Qué os ha parecido este resultado? ¿Lo conocíais ya? Os invito a dejar vuestras opiniones en los comentarios.

Primer post: Números complejos reales e imaginaros puros

Hola amantes e interesados de las matemáticas. Este es el primer post del blog y vamos a tratar un problema que será muy sencillo para los que tengáis experiencia en el mundo de los números complejos y no muy complicado para los que estéis estudiando los números complejos por primera vez.

El problema es el siguiente:

Halla $a$ para que $\frac{3+2i}{a+6i}$ sea:

a) Un número real.

b) Un número imaginario puro.

Solución habitual

El procedimiento habitual que se suelen aprender los estudiantes de bachillerato es escribir el número anterior en forma binómica e imponer que uno de los dos sumandos sea cero. Para ello se elimina primero la unidad imaginaria del denominador multiplicando por el conjugado en numerador y denominador, es decir, hacemos  $$\frac{3+2i}{a+6i}\cdot\frac{a-6i}{a-6i}.$$

Gracias a la igualdad notable $(x+y)\cdot(x-y)=x^2-y^2$ y recordando que $i^2=-1$ se obtiene que  

$$\frac{3+2i}{a+6i}\cdot\frac{a-6i}{a-6i}=\frac{3a-18i+2ai-12i^2}{a^2-(6i)^2}=\frac{3a+12-18i+2ai}{a^2+36}.$$

Si ahora sacamos factor común la $i$ y separamos la fracción se obtiene

$$
\frac{3a+12-18i+2ai}{a^2+36i}=\frac{3a+12+i(-18+2a)}{a^2+36}=\frac{3a+12}{a^2+36}+i\frac{-18+2a}{a^2+36}.
$$

Por tanto, la parte real del número es $\frac{3a+12}{a^2+36}$ y su parte imaginaria es $\frac{-18+2a}{a^2+36}$. Entonces, si queremos que el número sea real tendremos que imponer que la parte imaginaria sea cero. Como una fracción es cero si y solo si su numerador es cero, obtenemos 

$$\frac{-18+2a}{a^2+36}=0\quad\Longrightarrow\quad -18+2a=0\quad\Longrightarrow\quad a=9.$$

Si queremos que el número sea imaginario puro, entonces hemos de imponer que su parte real sea igual a cero. De la misma manera que antes obtenemos 

$$\frac{3a+12}{a^2+36}\quad\Longrightarrow\quad 3a+12=0 \quad\Longrightarrow\quad a=-4.$$

Una solución más inteligente

El procedimiento anterior aunque efectivo, no resulta demasiado atractivo. Veamos otra posible solución. En realidad la fracción $\frac{3+2i}{a+6i}$ es un cociente de números complejos. La mayoría sabréis que si tenemos dos números complejos en su forma polar, es decir, de la forma $z_1=re^{i\alpha}$ y  $z_2=s e^{i\beta}$, (o para los estudiantes de bachillerato, $z_1=r_{\alpha}$ y $z_2=s_{\beta}$) entonces $$\frac{z_1}{z_2}=\frac{r}{s}e^{i(\alpha-\beta)}.$$

Podemos aprovechar esta propiedad en nuestro favor. Si queremos que el resultado sea un número real, entonces su argumento debe ser $0$ ó $\pi$, mientras que si queremos que el resultado sea imaginario puro entonces el argumento debe ser $\pi/2$ ó $3\pi/2$. 

Si queremos que $z_1/z_2$ sea real, podemos ver $z_1$ y $z_2$ como vectores sobre el plano complejo, entonces sus argumentos diferirán $0$ ó $\pi$ si son paralelos. 

 

         

En estos ejemplos el cociente $z_1/z_2$ será real.

Ahora bien, para ver si dos vectores son paralelos tan sólo hemos de comprobar que son proporcionales. En nuestro ejemplo, tenemos que $z_1=3+2i$ y $z_2=a+6i$, que vistos como vectores del plano real se corresponden con $(3,2)$ y $(a,6)$. Para que sean proporcionales se deberá verificar que 

$$\frac{3}{a}=\frac{2}{6},$$

de donde despejando obtenemos $a=9$. ¿Bastante más rápido que el primer método no? Partiendo de $\frac{3+2i}{a+6i}$ tan sólo hemos tenido que dividir las partes reales de numerador y denominador  (o sea, $3/a$), igualarlo al cociente de las partes imaginarias ($2/6$) y despejar $a$. 

Si ahora queremos que $z_1/z_2$ sea imaginario puro, entonces sus argumentos deben diferir en $\pi$ ó $3\pi/2$, es decir, que vistos como vectores deben ser perpendiculares. 

En estos ejemplos el cociente $z_1/z_2$ será imaginario puro.

Por suerte para nosotros, sabemos que dos vectores reales son perpendiculares si y solo si su producto escalar es cero. Por lo tanto, si vemos de nuevo $z_1$ y $z_2$ como vectores, tan solo hemos de imponer que su producto escalar real sea cero para averiguar el valor de $a$. Como $z_1$ y $z_2$ eran $(3,2)$ y $(a,6)$ vistos como vectores entonces 

$$
(3,2)\cdot (a,6)=0\quad\Longrightarrow\quad 3a+12=0\quad\Longrightarrow\quad a=-4.$$

Como vemos, razonando con las propiedades de los números complejos y del plano real hemos conseguido resolver el problema más rápido, y a mi modo de ver, de una manera más elegante. 

La idea para este post me vino al ver un vídeo de un youtuber que "enseña" a resolver problemas. La sensación que tuve al verlo fue que más que enseñar, lo único que pretendía el vídeo era dar un método mecánico para resolver el problema, el cual es la solución habitual que hemos visto. Sin embargo, quería mostrar que razonando y no actuando de manera mecánica se pueden obtener otras formas de resolución, que aunque necesiten un razonamiento un poco más complejo, nos llevan sin embargo a soluciones más sencillas y elegantes.

Seguramente haya otras formas de resolver este problema. Si conocéis, se os ocurren otras formas, o queréis dar vuestra opinión os invito a dejarlas en los comentarios.