>>109
[1]が実数解x=αをとりうるというのは
あるkのときx=αが[1]をみたすということだ
つまり逆手に言い換えると
x=αのとき[1]をみたすkが存在する
ってこった