Veamos en qué se basa $9$ número significa realmente. $$813_9=8\cdot 9^2+1\cdot 9^1+3\cdot 9^0$$ Si queremos escribir esto como potencias de $3$ con coeficientes entre $0$ y $2$ podemos hacer simplemente \begin {align} 3 \cdot 9^0&=1 \cdot 3^1+0 \cdot 3^0 \\ 1 \cdot 9^1&=0 \cdot 3^3+1 \cdot 3^2 \\ 8 \cdot 9^2&=2 \cdot 3^5+2 \cdot 3^4 \\ \end {align}
¿Por qué podemos hacer esto?
¿Por qué podemos escribir $$a_n\cdot 9^n=b_{2n+1}\cdot 3^{2n+1}+b_{2n}\cdot3^{2n}$$ En primer lugar, hay que tener en cuenta que $9^n3^2n$ por lo que al dividir la ecuación por eso, obtenemos $$\frac{a_n\cdot 9^n}{3^{2n}}=a_n=3b_{2n+1}+b_{2n}=\frac{b_{2n+1}\cdot 3^{2n+1}+b_{2n}\cdot3^{2n}}{3^2n}$$ Así que en realidad, el problema se reduce a escribir un número $0\leq a_n<9$ como $3b_{2n+1}+b_{2n}$ , donde $0\leq b_{2n},b{2n+1}<3$ . Esto es obviamente posible.
¿Por qué esto funciona para el binario y el hexadecimal?
En realidad, la respuesta es bastante similar. El problema se puede reducir de forma equivalente, dando como resultado la ecuación $$a_n=8a_{4n+3}+4a_{4n+2}+2a_{4n+1}+a_{4n}$$ Dónde $0\leq a_n<16$ y $0\leq a_{2n+3},a_{2n+2},a_{2n+1},a_{2n}<2$ . La solvencia de esta ecuación es, en mi opinión, un poco menos obvia, pero sigue siendo bastante comprensible; pero, en aras de una comprensión más profunda, podríamos ver la conversión hexadecimal-octagonal. Esto se reduce a la fácil ecuación $a_n=2b_{2n+1}+b_{2n}$ , donde $0\leq a_n<16$ y $0\leq b_{2n+1},b_{2n}<8$ . Esto es claramente solucionable. Haciendo esto para la conversión octogonal-base 4 y para la conversión base 4-binaria, se demuestra con un enfoque similar al de la recurrencia que esto efectivamente funciona para la conversión hexadecimal-binaria.
Espero que esto haya servido de ayuda.