Problema 7, listado 2

a1 b1 mod m; a2 b2 mod m; ::::; an bn mod m

Probar que
n
X n
X
ai bi mod m
i=1 i=1
Resp: Por inducción sobre n:
Caso n = 1: no tiene sentido, ya que tendríamos sólo 1 congruencia.
Caso n = 2: a1 b1 mod m^a2 b2 mod m ! (a1 +b1 ) (a2 +b2 ) mod m
es cierto por Proposición 11, punto 2
Hipótesis de inducción: el caso para n es válido, es decir: si a1 b1 mod m; a2
b2 mod m; ::::; an bn mod m, entonces:
n
X n
X
ai bi mod m
i=1 i=1

Tesis: queremos probar que el caso n + 1 es válido, es decir: si a1

b1 mod m; a2 b2 mod m; ::::; an bn mod m; an+1 bn+1 mod m, en-
tonces:
n+1
X n+1
X
ai bi mod m
i=1 i=1

Demostración de la tesis: vemos que:

n+1
X n
X
ai = ai + an+1
i=1 i=1
n+1
X n
X
bi = bi + bn+1
i=1 i=1

Como an+1 bn+1 mod m y de la hipótesis de inducción vemos que:

n
X n
X
ai bi mod m
i=1 i=1

tenemos por el caso n = 2 que:

n
X n
X
ai + an+1 ( bi + bn+1 ) mod m
i=1 i=1

lo que implica que

n+1
X n+1
X
ai ( bi ) mod m
i=1 i=1

Así, la propiedad vale para todo n 2 N. Esto demuestra lo pedido.