NUEVE

Proposici
on:
Un numero natural menos la suma de sus dgitos es siempre un m
ultiplo de nueve.
Si el n
umero natural es m
ultiplo de nueve, la suma de sus dgitos tambien lo es.

Demostraci
on:
umero natural x de n dgitos se puede representar como una serie del tipo
Un n

n1


x= ai 10i (1)
i=0

donde el conjunto
{a0 , a1 , a2 , . . . , an1 } (2)
es una sucesion de diferentes combinaciones de n n
umeros naturales ai , tal que 0 ai 9, para cualquier i.
Se pretende demostrar que la operacion

n1


z =xy y= ai (3)
i=0

umero entero z que siempre es un m

es un n ultiplo de nueve.
umero z se puede re-escribir como
Veamos, el n

n1

n1


z= ai 10i ai (4)
i=0 i=0

un ai , se obtiene
Sacando el factor com
n1


z= [ ai (10i 1) ] (5)
i=0

donde los factores (10i 1) conforman una sucesion

{0, 9, 99, 999, 9999, . . ., 10i 1, . . . , 10n1 1} (6)

ultiplos de nueve. La sumatoria z de varios n

Todos los elementos de esta sucesion son m umeros como en (5),
cada uno de ellos formado por la multiplicaci
on con un m ultiplo de nueve, da como resultado un n
umero que
tambien es un multiplo de nueve. Esto concluye la demostraci on.

Corolario:
Si, adicionalmente, x es un multiplo de nueve, entonces y = x z tambien es un m ultiplo de nueve,
ya que x y z lo son, y, por consiguiente, a partir de (3), la suma de los dgitos de x, o sea y, tambien es un
multiplo de nueve. Esto se puede aplicar de forma recursiva.

Andres L. Granados M., 05/Marzo/2003.