> kの関数とみて、
> 0<k<1に実数解を持つ条件を求めればいいのかな

無茶苦茶やな‥