>>403
a<0の時、2a(b-c)^2 ≦0となるのは、一目瞭然。
しかし、他の項との兼ね合いで、全体で結果的には不等式が成立する　という可能性は残されていて、
それを否定するために、具体例を挙げた。