>>452
>>420は不等式じゃなく恒等式。つねにD≧0。
さらにa, b, cが相異なるからD>0。