>>227
(x＋1)（x＋2）＝0.5^−1
を満たしつつ、
(x＋1)（x＋2）≦0
となるような、実数xは存在しないから必要ないと思う。