(2+√3)^2007 について、小数第一位から第1000位までの数がすべて9であることを示せ。

とりあえず二項定理で展開してみたのですが、それ以降手も足も出ません。どなたかよろしくお願いします。