我们观察小于10000的奇自然数i(i<5000)和10000-i
  i                k=i^9(mod10000)
10000-i       (10000-i)^9(mod10000)=-i^9 (mod10000)=10000-k (mod10000)
如果i>k 那么10000-i<10000-k
如果i<k 那么10000-i>10000-k
如果i=k 那么10000-i=10000-k
i和10000-i 可以一一对应，因此一样多.

5000是个例外，5000^9的后四位数是0，所以去掉奇数这个条件，后者多1.

想错了，被10整除的9次方后四位数都是0，所以去掉奇数这个条件，后者多999个.

这个问题用到了数的同余和二项式理论(应该是高中的知识)

这里a=10000,b=i和10000-i
例如 3^9=19683 = 9683 (mod10000)
9997^9=(10000-3)^9=(-3)^9=-19683 =20000-19683=317(mod10000)
3+9997=9683+317
这个结果对于9,7，5，3等奇数次方都成立，
而对于8等偶数次方不成立.