Sean \( x \) e \( y \) dos números que se quiere multiplicar. Digamos que tienen \( n \) dígitos binarios cada uno. Sea \( m=[n/2] \). Demostrar que se puede escribir, de forma única:
\( x=z\cdot 2^{m} + w \)
\( y=k\cdot 2^{m} + q \)
donde \( z,k \) son números con a lo sumo \( [n/2] \) dígitos binarios. Y \( w,q \) son números con a lo sumo \( m \) números binarios.
Explicar por qué para hallar el resultado de multiplicar un número binario \( b \) por \( 2^{k} \) con \( k>0 \) no se necesita hacer ninguna suma ni multiplicación.