Universidad de Santiago de Chile Facultad de Ciencia Departamento de Matemtica y Ciencia de la Computacin Ingeniera Matemtica.

Segundo Laboratorio de Aplicaciones a la Computacin

Alumno: Diego Carva jal Profesor: Mario Fernndez Ayudante: Pascale Cuevas.

Santiago, Octubre del 2013

Multiplicacin Rusa

Algoritmo recursivo utilizado

A continuacin se puede observar el algoritmo creado con el programa Dev c++, el cual simula la Multiplicacin Rusa enseada en clases. int a, b, n; int L, L3; double S = 0, p; cout<< A B = C <<endl; cout<< Coloque un valor para A <<endl; cin>> a; cout<< Coloque un valor para B <<endl; cin>> b; for(int i = 0; i< n; i++)
{ p = pow(2, i); L = a/p; if (L2 !=0 ) { L 3 = b p; S = S + L3; if (L == 1) { cout<< El resultado de la multiplicacin es C: << S <<endl; } } } return0; }

Demostracin de la Multiplicacin Rusa

A continuacin se demostrara la "Multiplicacin Rusa", por medio del conocido mtodo llamado Induccin, ya que la multiplicacin rusa est denida en el conjunto de los naturales. Primero denamos " ", como la multiplicacin habitual, que cumple todos los axiomas bsicos de multiplicacin, tal que para dos nmeros n, m , se cumple que
nm

Es la multiplicacin habitual de dos nmeros naturales.

Por otro lado tenemos a " ", como la multiplicacin rusa, tal que
n m

Ahora tendremos la siguiente igualdad que tendremos que demostrar, la cual es

nm=n m

Entonces procedemos a ocupar induccin, y para eso tomaremos:

1) n = 1 nm=1m=m

En este caso, n pasa a ser el neutro multiplicativo, por otra parte tendremos
n m=1 m

Aplicando el algoritmo ruso, la operacin anterior se vuelve trivial, lo cual quedara

1 m=m

Por lo tanto el algoritmo ruso se cumple para n = 1. 2) Ahora procedemos a tomar como hiptesis a n = k , k , bajo la siguientes operaciones
[k/2] 2m = [k/2] 2m [ ] como la parte entera.

Aplicando el algoritmo ruso tendremos que

k m = [k/2] 2m + x x un numero natural, tal que x = m si k es impar y x = 0 si k es par.

Por otro lado, para la multiplicacin habitual, es inmediato que

k m = [k/2] 2m + x

Siendo x un numero natural, tal que x = m si k es impar y x = 0 si k es par. Por lo tanto, se concluye de esta hiptesis que
[k/2] 2m = [k/2] 2m

Lo cual implica que

km=k m

Cuando n=k .
3) Ahora extenderemos esta demostracin a n = k + 1, k . Lo cual obtenemos

lo siguiente

(k + 1) m = [(k + 1)/2] 2m + x

Siendo x = m, si k + 1 es impar, es decir, si k es par y x = 0, si k + 1 es par, es decir, si k es impar. Para k par, resulta que al hacer k m tenemos que x = 0, de lo cual tenamos la siguiente igualdad
k m = [k/2] 2m

Pero por otro lado n = k + 1, obtenemos (k + 1) m, con la conclusin anteriormente mencionada de los distintos valores que va tomando la variable x, pero notamos que [(k + 1)/2] = (k + 1)/2, es decir, que
(k + 1) m = k m + 1 m = k m + m

Cumpliendo con el axioma de la distributividad. Por el lado de la multiplicacin habitual, tenemos inmediatamente por axioma de la distributividad que
(k + 1) m = k m + m

Luego concluimos que

(k + 1) m = k m + m = k m + m = (k + 1) m

Entonces, hemos demostrado que para cualquier k par en los naturales, se cumple que
km=k m

Anlogamente se cumple para cualquier nmero impar k , de lo cual concluimos por induccin que
nm=n m n, m .