# Cuatro cuatros

El problema de los cuatro cuatros es uno de los problemas enunciados en el libro El hombre que calculaba (de Malba Tahan).
El origen del problema se da en una conversación entre Beremiz (El hombre que calculaba) y su acompañante, al ver una tienda en la que todo se vendía a cuatro dinares. De ahí que Beremiz recuerde que es una interesante coincidencia que le hace recordar un "hermoso problema".
El problema consiste, según el enunciado, en encontrar la forma matemática para representar cualquier número, usando para ello solo cuatro cuatros (cuatro números cuatro), y a lo sumo, algunos símbolos no literales para las operaciones básicas. Beremiz da algunos ejemplos para algunos de los números más conocidos, como el cero y los números del uno al diez.
Problemas similares pueden plantearse con tres treses, etcétera. Sin embargo, es muy fácil representar con cuatro cuatros muchos números de gran importancia para las civilizaciones actuales.
Es común plantear este problema en dos fases, primero resolver los números de uno al diez, y después del uno al cien. Todos los primeros cien números tienen respuesta.
También existe la variación de hacerlo con los números uno, dos, tres y cuatro, donde cada número debe utilizarse una y solo una vez.

## Ejemplos de representaciones usando cuatro cuatros

A continuación, se presentan algunos ejemplos para varios números.
| 0 | ${4 \over 4}-{4 \over 4}$$44-44$$(4\times 4)-(4\times 4)$$4-4+4-4$$4^{4 \over 4}-4$ |
| 1 | ${4 \over 4}\times {4 \over 4}$${44 \over 44}$$(4\times 4) \over (4\times 4)$ |
| 2 | ${4 \over 4}+{4 \over 4}$${4+{\sqrt {4}}-{\sqrt {4}}} \over {\sqrt {4}}$${4\times 4} \over {4+4}$ |
| 3 | ${{4\times 4-4} \over 4}$${4+4+4} \over 4$${\sqrt {4}}+{\sqrt {4}}-{4 \over 4}$ |
| 4 | $\left((4-4\right)\times 4)+4$${{(4+4)}\times {\sqrt {4}} \over 4}$ |
| 5 | ${{(4\times 4)+4} \over 4}$${\sqrt {4}}+{\sqrt {4}}+{4 \over 4}$$4^{4-4}+4$ |
| 6 | ${{4!\times {4 \over 4}} \over 4}$$4+({4+4 \over 4})$ |
| 7 | ${4! \over {4+4}}+4$${44 \over 4}-4$$4+4-{4 \over 4}$ |
| 8 | $4+4\times {4 \over 4}$$4+4+4-4$$4^{4 \over 4}+4$ |
| 9 | $4+4+{4 \over 4}$ |
| 10 | $4+{\sqrt {4}}+{\sqrt {4}}+{\sqrt {4}}$${(44-4) \over 4}$${4!+(4\times 4)} \over 4$ |
| 11 | $44 \over ({\sqrt {4}}+{\sqrt {4}})$ |
| 12 | ${\sqrt {4}}\times ({\sqrt {4}}+{\sqrt {4}}+{\sqrt {4}})$$4!-4-4-4$$4\times 4-{\sqrt {4\times 4}}$ |
| 13 | ${4! \over {\sqrt {4}}}+{4 \over 4}$ |
| 14 | ${4\times 4}-{4 \over {\sqrt {4}}}$ |
| 15 | ${44 \over 4}+4$${4\times 4}-{4 \over 4}$ |
| 16 | $4+4+4+4$ |
| 17 | $4\times 4+{4 \over 4}$ |
| 18 | $4\times 4+{4 \over {\sqrt {4}}}$ |
| 19 | $4!-{4 \over 4}-4$ |
| 20 | $\left(4+{4 \over 4}\right)\times 4$ |
| 21 | $4!-(4-{4 \over 4})$ |
| 22 | $4!-{\sqrt {4}}\times {4 \over 4}$ |
| 23 | $4!-4^{(4-4)}$$4!-{\sqrt {4}}+{4 \over 4}$ |
| 24 | $4\times 4+4+4$ |
| 25 | $4!+{\sqrt {4}}-{4 \over 4}$ |
| 26 | $4!+{4+4 \over 4}$ |
| 27 | $4!+{\sqrt {4}}+{4 \over 4}$ |
| 28 | $4!+{4*4 \over 4}$$(4+4)\cdot 4-4$ |
| 29 | $4!+4+{4 \over 4}$ |
| 30 | $4!+4+{4 \over {\sqrt {4}}}$ |
| 31 | $4!+{4+4! \over 4}$ |
| 32 | ${{\left(4^{4}\right)} \over {4+4}}$$4!+{{4\times 4} \over {\sqrt {4}}}$ $4\cdot 4+4\cdot 4$ |
| 35 | $4!+{44 \over 4}$ |
| 36 | $4(4+4)+4$ |
| 60 | ${4\times 4\times 4}-4$$4^{\sqrt {4}}+44$ |
| 70 | ${(4+4)! \over 4!\cdot 4!}$$4!+4!+4!-{\sqrt {4}}$ |
| 82 | ${(4!-4)\cdot 4+{\sqrt {4}}}$ |
| 86 | $44\cdot {\sqrt {4}}-{\sqrt {4}}$ |
| 100 | $(4+4+{\sqrt {4}})^{\sqrt {4}}$ |
| 180 | $44\times 4+4$ |
| 250 | $4^{4}-4-{\sqrt {4}}$ |
| 256 | ${4\times 4\times 4\times 4}$ |
| 1024 | ${{(4+4)^{4}} \over 4}$ |
| 4444 | ${4444}$ |

## Prueba para todo número real

Si bien el problema original solo contaba con las operaciones de suma, resta, multiplicación, división, concatenación, raíces, factoriales y conversión a decimales, si se permite también agregar el operador logaritmo, entonces se puede generar una solución para todo número perteneciente a los números reales.
Partiendo que:
$a=b^{c}\Rightarrow \log _{b}a=c$
Quiere decir que:
$4=4^{1}\Rightarrow \log _{4}4=1$
$16=4^{2}\Rightarrow \log _{4}16=2$
$64=4^{3}\Rightarrow \log _{4}64=3$
Y de esta manera sucesivamente, se tiene una respuesta para todos los números reales utilizando $\log _{4}(x)$, ya que $\lim _{x\rightarrow \infty }\log _{4}(x)=\infty$, así que habrá una respuesta para cada número natural.
Además que $\log _{4}4^{n}=n$
Ahora, para utilizar los cuatro cuatros, entonces se procede con que:
${\sqrt {a}}\equiv a^{\frac {1}{2}}$
Utilizando esto en la propiedad anterior se obtiene que:
$\log _{4}{\sqrt {4}}={\frac {1}{2}}$
${\sqrt {\sqrt {a}}}\equiv a^{{\frac {1}{2}}\cdot {\frac {1}{2}}}$
$\log _{4}{\sqrt {\sqrt {4}}}={\frac {1}{4}}$
$\log _{4}{\sqrt {\sqrt {\sqrt {4}}}}={\frac {1}{8}}$
De esta manera, y con los operandos logaritmo y raíz, se utilizan dos de los cuatro cuatros; ahora, se parte de:
$a=b^{c}\Rightarrow \log _{b}a=c$
Para encontrar las respuestas de los anteriores pero esta vez para la base ${\frac {1}{2}}$:
$\log _{\frac {1}{2}}({\frac {1}{2}})=1$
$\log _{\frac {1}{2}}({\frac {1}{4}})\equiv \log _{\frac {1}{2}}({\frac {1}{2}}^{2})=2$
$\log _{\frac {1}{2}}({\frac {1}{8}})\equiv \log _{\frac {1}{2}}({\frac {1}{2}}^{3})=3$
Lo único que se requiere es conseguir expresar ${\frac {1}{2}}$ con los dos cuatros restantes;
${\frac {1}{2}}={\frac {2}{4}}\equiv {\frac {\left|{\sqrt {4}}\right|}{4}}$
Entonces todo lo que se requiere es expresar:
$\log _{\frac {\left|{\sqrt {4}}\right|}{4}}\left[\log _{4}{\sqrt {4}}\right]=n$
Donde n es el número de operando raíces que deben ser colocadas
Con n=1;
$\log _{\frac {\left|{\sqrt {4}}\right|}{4}}\left[\log _{4}{\sqrt {4}}\right]=1$
Con n=2;
$\log _{\frac {\left|{\sqrt {4}}\right|}{4}}\left[\log _{4}{\sqrt {\sqrt {4}}}\right]=2$
Con n=3;
$\log _{\frac {\left|{\sqrt {4}}\right|}{4}}\left[\log _{4}{\sqrt {\sqrt {\sqrt {4}}}}\right]=3$
Con n=4;
$\log _{\frac {\left|{\sqrt {4}}\right|}{4}}\left[\log _{4}{\sqrt {\sqrt {\sqrt {\sqrt {4}}}}}\right]=4$
Recordemos que una raíz n de un número m, es igual a m elevado a la (1/n), por ende al utilizar la raíz cuadrada de 4 dejaríamos de usar solo cuatro cuatros, ya que también estaríamos empleando los números 1 y n respectivamente para la potencia. En conclusión, esta demostración por construcción queda totalmente invalidada porque no cumple con la premisa de partida del problema. Finalmente, podemos deducir que F lau. No olvidar que al asumir la transitividad por la Conjetura de Cliff, se toman solo los números impares.