>>639
(2+√3)^2007+(2-√3)^2007が整数になることは分かったか？
そこから小数点以下1000位まで0の数を引けば、
小数点以下1位から1000位まで9になるよな？