a^2・(15・10^s-3)-(175・10^2s-4)a+(5・10^2s+1-1)(5・10^s+1)
s=3のとき,
14997a^2-174999996a+49999999・5001
4999a^2-58333332a+83349998333=0
a=1667を代入すると0になるから,この式には間違いはない.
===================================
ところで,(5・10^s+1)/3が解となることがわかる.これを使ってもっと簡単にできそうである.
a^2・(15・10^s-3)-(175・10^2s-4)a+3a(5・10^2s+1-1)
=a^2・(15・10^s-3)+a(15・10^2s+1-3-175・10^2s+4)
=a^2・(15・10^s-3)+a(-25・10^2s+1)
=a{(15・10^s-3)a-25・10^2s+1}
a=(25・10^2s-1)/3(5・10^s-1)
=(5・10^s+1)/3
===================================
これが成り立つとき
10a-3=(5・10^s+1+1)/3
となるかどうか調べることにする.
10a-3=(50・10^s+10)/3-3=(5・10^s+1+1)/3
===================================